„Curry paradoxonja” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
elírás |
|||
16. sor:
Ezzel a levezetéssel beláttuk, hogy abból a kiindulófeltételből, hogy ''„a doboz tartalma igaz”'' következik, hogy ''„a Mikulás létezik”''. Ez a következtetés viszont pontosan az, amit a doboz tartalma állít. Tehát: a doboz igazat állít! Akkor viszont valóban létezik a Mikulás.
Figyeljük meg, hogy a levezetésben sehol nem használtuk ki, hogy mi a következtetés második
== A logika nyelvén ==
|