Vse brano ve vyrokove logice...
1) Mejme konecne prvovyroku. Pro zvolene
jak nalezt formuli
v CNF (oduvodnete dalsi vami pouzite pojmy a znaceni)?
2) Dokazte syntakticky
(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
.
(DNF:
CNF:
)
Vse brano ve vyrokove logice...
1) Mejme konecne prvovyroku. Pro zvolene [latex]M(\varphi)[/latex] jak nalezt formuli [latex]\varphi[/latex] v CNF (oduvodnete dalsi vami pouzite pojmy a znaceni)?
[latex]\bigwedge_{w
otin M(\varphi)}\;\bigvee_{p\in\mathbb{P}}p^{-_1w(p)}[/latex]
2) Dokazte syntakticky [latex]T,\varphi\vdash\psi\to\varphi[/latex] (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 [latex](p\to
eg q)\&(
eg p\to q)\&r[/latex].
(DNF: [latex](
eg p \vee
eg q)\&(p\vee q)\&r[/latex]
CNF: [latex](p\&
eg q\&r)\vee(
eg p\& q\&r)[/latex])