„Tarski-féle T-séma” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
→‎Példa: a metanyelv legyen magyar, ez a magyar wikipédia
6. sor:
 
=== Példa ===
Legyen '''L''' a [[német nyelv]], mint tárgynyelv, ''M'' aza angol[[magyar nyelv]], mint metanyelv, legyen továbbá az '''S''' mondat a következő: '''Die schnee ist weiß''' („A hó fehér”). Ekkor az '''S''' mondatot a T-sémába helyettesítve tételt kapunk:
 
:AAz "''TheAz Germana sentencenémet mondat, hogy'' »'''Die schnee ist weiß'''« ''is trueakkor ifés andcsak onlyakkor ifigaz, theha snowa is whitefehér.''" ekvivalencia tétele a metaelméletnek.
 
==Néhány metatétel==