„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
Cherybot (vitalap | szerkesztései)
a Robot: Kiskötőjel cseréje gondolatjelre
a német példamondat javítása
8. sor:
 
=== Példa ===
Legyen '''L''' a [[német nyelv]] mint tárgynyelv, ''M'' a [[magyar nyelv]] mint metanyelv, legyen továbbá az '''S''' mondat a következő: '''DieDer schneeSchnee ist weiß''' („A hó fehér”). Ekkor az '''S''' mondatot a T-sémába helyettesítve tételt kapunk:
 
:Az „''Az a német mondat, hogy'' »'''DieDer schneeSchnee ist weiß'''«, ''akkor és csak akkor igaz, ha a hó fehér.''” mondat tétele a metaelméletnek.
 
==Néhány metatétel==