Ítéletlogika

Tartalom

• Ítéletlogika alapfogalmai
• Elsőrendű logika alapfogalmai
• Formulák, szemantikus tulajdonságai és azok vizsgálata
• Szintaktikus és szemantikus következményfogalom vizsgálata

• Ítéletkalkulus, Predikátumkalkulus
• Természetes levezetés
• Szekvent kalkulus

• Rezolúció
• Tabló kalkulus