Pisemka Gregor 1.12.2011

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.

Pisemka Gregor 1.12.2011

Příspěvekod mathemage » 3. 12. 2011 12:04

Vse brano ve vyrokove logice...
1) Mejme konecne prvovyroku. Pro zvolene M(\varphi) jak nalezt formuli \varphi v CNF (oduvodnete dalsi vami pouzite pojmy a znaceni)?
\bigwedge_{w
<br />otin M(\varphi)}\;\bigvee_{p\in\mathbb{P}}p^{-_1w(p)}
2) Dokazte syntakticky T,\varphi\vdash\psi\to\varphi (hint: pouzijte k tomu Vetu o dedukci). (Na logicky axiom (PL1) aplikuji vetu o dedukci).
3) Ekvivalentnimi upravami najdete (a zduvodnete pritom svuj postup) CNF a DNF vyroku (p\to
<br />eg q)\&(
<br />eg p\to q)\&r.
(DNF: (
<br />eg p \vee
<br />eg q)\&(p\vee q)\&r
CNF: (p\&
<br />eg q\&r)\vee(
<br />eg p\& q\&r))
Carpe Diem!
mathemage
Matfyz(ák|ačka) level III
 
Příspěvky: 130
Registrován: 14. 1. 2011 10:03
Typ studia: Informatika Ph.D.
Login do SIS: had

Zpět na AIL062 Výroková a predikátová logika

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník