Játékos logikai feladványok
Dátum
2007-05-07T06:15:51Z
Szerzők
Folyóirat címe
Folyóirat ISSN
Kötet címe (évfolyam száma)
Kiadó
Absztrakt
Néhány játékos logikai feladvány megoldása logikai törvények alkalmazásával, Quine-tábla segítségével és Gentzen-kalkulussal.
Leírás
Kulcsszavak
Logikai törvények, Quine-tábla, Boole-algebra, Gentzen-kalkulus