Písemka 2: predikátová logika (Čt, Pá)

Písemka 2 z predikátové logiky bude Čt 22.12. a Pá 6.1.2023

-- Body pro jednotlivé příklady doplněny.

Čt: 1. (3b) Dk. tablem ; 2. (2b) Strukt. pro neplatnost formule ; 3. (3b) Převod: prenexní tvar, Skolemizace, množ. tvar ; 4. (2b) Rezoluce ; 5. (2b) Definovatelnost v grafu

Pá: 1. (3b) Dk. Tablem s teorií ; 2. (1+1b) Definice rovnosti + funkčního symbolu ; 3. (2+3b) Převod + rezoluce ; 4. (2b) Strukt. pro neplatnost formule

---- časté chyby:

Tablo: začít uzávěrem formule (a pracovat s uzavřenými formulemi), tablo pro kvantifikátor odstraní tento kvantifikátor, nelze použít tablo pro spojku pod kvantifikátorem, změna a úprava formule na ekvivalentní, špatné zavádění konstant, špatné pořadí zavádění konstant (nejdřív svědek, pak všichni), substituce za konstantu ...

Pa 2a. Místo rovnosti: f (resp. P) je symetrická, jen speciální případy 

Rezoluce: Začít negací uzávěru, ne uzávěrem negace ; špatné unifikace a substituce včetně dosazování za konstanty a termy