Matematická logika - FIIT STU - Slovenská technická univerzita v ...
Matematická logika - FIIT STU - Slovenská technická univerzita v ...
Matematická logika - FIIT STU - Slovenská technická univerzita v ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1 Výroková <strong>logika</strong> I 9<br />
PRÍKLAD 1.1. Nech = { p,q,r,s}<br />
PRÍKLAD 1.2.<br />
PODFORMULY<br />
P je množina výrokových premenných, potom<br />
sú výrokové formuly, zatiaľ čo<br />
( p∧ q) ⇒( p∨<br />
q)<br />
( p ⇒ ( q ⇒ r)<br />
) ⇒ ( ¬ r ⇒¬ s)<br />
( ¬ p ∧ ( r ∨ s)<br />
) ∧ ( p ⇒ s)<br />
( )<br />
( )<br />
( ⇒( ∧ p)<br />
)<br />
(( ⇒⇒ s)<br />
⇒ p)<br />
nie sú výrokové formuly. Každá výroková formula je reprezentovaná pomocou<br />
grafického útvaru nazývaného syntaktický strom, pozri obr. 1.1.<br />
( )<br />
Študujme formulu ( p ( q r)<br />
) (( p q) ( p r)<br />
)<br />
formuly má tvar<br />
ϕ= ∨ ∧ ⇒ ∨ ∧ ∨ , syntaktický strom<br />
∨<br />
ϕ 9<br />
⇒<br />
ϕ 8<br />
∧<br />
ϕ 5<br />
ϕ 6 ϕ 7<br />
ϕ 1<br />
ϕ 2 ϕ 3<br />
ϕ 4<br />
∧ ∨ ∨<br />
q<br />
r<br />
p q p r<br />
Jednotlivé podformuly sú určené takto:<br />
ϕ<br />
1<br />
= p, ϕ<br />
2<br />
= q<br />
1, ϕ<br />
3<br />
= r, ϕ<br />
4<br />
= q ∧ r ,<br />
5 4<br />
( )<br />
ϕ = p∨ϕ = p∨ q∧ r ,<br />
ϕ<br />
6<br />
= p∧ q, ϕ<br />
7<br />
= p∧ r,<br />
ϕ<br />
8<br />
=ϕ6 ∧ϕ<br />
7<br />
= ( p∨q) ∧( p∨ r)<br />
,<br />
( ( )) (( ) ( ))<br />
( )<br />
ϕ=ϕ5 ⇒ϕ<br />
9<br />
= p∨ q∧r ⇒ p∨q ∧ p∨r