Logički formalizmi. Logička implikacija, doslednost i potpunost. Pravila rasuđivanja. (Iskazna logika. Predikatska logika. Univerzalna i egzistencijalna kvantifikacija. Nelogički formalizmi. Semantičke mreže - definicione, iskazne i implikacione.)
Snimljeno 6.5.2016 u LIPS laboratoriji