Poslední úprava: Mgr. Šárka Stejskalová, Ph.D. (06.01.2021)
Výroková logika
- Formule, atomická formule, logické spojky, ohodnocení, tabulková metoda, splnitelná formule, tautologie a vyplývání
- Disjunktivní normální tvar, konjunktivní normální tvar
- Hilbertovský výrokový kalkulus, axiomy, odvozovací pravidla a pojem důkazu
- Bezesporná a maximalně bezesporná množina formulí
Predikátová logika
- Formule, funkční symboly, predikatové symboly, kvantifikátory, proměnnné a termy
- Struktury, realizace a ohodnocení
- Substituce, platnost formule ve struktuře, logický důsledek (vyplývání) a logicky platná formule
|