Logika 2

Objasniti složenije metode provjere očuvanja istine u iskaznoj logici

Suprotstaviti iskaznu i predikatnu logiku

Utvrditi opravdanost nastanka predikatne logike

Argumentirati potrebu nastanka neklasičnih logičkih sustava