Kijelentéslogika
Tartalom
– tananyag, kísérleti változat –
Szerzők:
Csaba Ferenc
Máté András
Mekis Péter
Simonyi András
Zvolenszky Zsófia
IV. fejezet Analitikus táblázatok a kijelentéslogikában
V. fejezet Levezetések a kijelentéslogikában I. : axiomatikus felépítés
VI. fejezet Természetes levezetési rendszerek
VII. fejezet A klasszikus kijelentéslogika egy természetes levezetési rendszere
VIII. fejezet Természetes levezetési példák, feladatok
IX. fejezet Intuicionista logika, grammatika és szintaxis
X. fejezet Intuicionista logika, szemantika
XI. fejezet A logika nyelvtana
Lewis Carroll Mit mondott a Teknős Akhillésznek?
