Please enable JavaScript.
Coggle requires JavaScript to display documents.
Úvod do logiky (pojmy Výroky (výrok (lze uvažovat pravdivost) (unární,…
Úvod do logiky
-
axiomatické systémy
-
-
-
-
-
-
modus ponens - A,AimpB |= B
-
pojmy Predikát
-
-
-
-
Termy (prvky složené pouze z funkčních symbolů, konstant a proměnných)
formule
atomické
P(t1,tn) p nnární predikátový symbol
-
-
-
Rezoluce
-
-
-
-
SLD
používáme pouze Hornovy klauzule,uspořádané, střední klauzule se nemůže později použít jako klauzule boční; pro výrokový počet je korektní, ale není úplná, rezolvujem podle prvního
-
-
-
ostatní logiky
modální logika
Kripkeho rámec
graf .. vrchol jedním ze světů .. při neznalosti výsledku operace se vytvoří 2 světy -- jeden kdy 1 a jeden kdy 0
-
-
-
-
Gentzenovský systém
-
sekventy
-
nazáleží na poředí, vynecháme duplicity, může být prázdná
-