Logika 2, Martin Kuba

výroková logika

rezoluce

predikátová logika

rezolúcia

klauzulárny tvar

unifikace

• 1 Výroková logika
  1.1 Uspořádání a strom
  1.2 Výroky, spojky a pravdivostní tabulky
  2 Tabulky ve výrokové logice
  2.1 Tabulkové důkazy
  2.2 Korektnost a úplnost tabulkových důkazu
  2.3 Dedukce z premis
  3 Rezoluce ve výrokové logice
  3.1 Klauzuláraí tvar formulí
  3.1.1 Alternativní notace
  3.2 Převod formulí do (duálního) klauzulárního tvaru
  3.3 Formule v klauzulárním tvaru
  3.4 Rezoluce
  3.5 Zjeniční rezoluce
  3.5.1 T-rezoluce
  3.5.2 Sémantická rezoluce
  3.6 Lineární rezoluce. Ilornovské klauzule, Prologovská dedukce
  3.7 Opakování
  4 Predikátová logika
  4.1 Opakování pojmů
  4.2 Substituce1 proměnných
  5 Tabulky v predikátové logice
  5.1 Tabulkové důkazy
  5.2 Korektnost a úplnost
  6 Rezoluce v predikátové logice
  6.1 Převod do klauzulárnílio tvaru
  6.1.1 Kvantifikátory
  6.1.2 Funkce existenčního kvantifikátoru
  6.2 Unifikace
  6.3 Robinsonův unifikační algoritmus
  6.4 Rezoluce1
  6.5 Úplnost rezolucí