Analitikus tblzat

p&q
pvr
s
qvrvs

Ha a kvetkez elemeket kell felvinni a tblzatba, akkor gy jrunk el:

(Remlem, az a rsz megvan, hogy a premisszkat s a konklzit talaktjuk gy, hogy ne

legyen bennk kondicionlis, illetve a de Morgan szablyt alkalmazzuk, ha lehet; illetve hogy a
konklzit tagadjuk. Tegyk fel, hogy ezeket mr mind megtettk, gy kaptuk a fenti
formulkat.)

A tblzat gy kszl, hogy elszr felvisszk az &-t tartalmaz s a sem &-t sem v-ot nem
tartalmaz formulk tagjait egyms al.

p
q
s

Majd jnnek a v-osok, mindegy a sorrend, kezdjk mondjuk a (p v r)-rel. Egy v-os formulnak
annyi oszlopot csinlunk, ahny tagja van, ez esetben teht kettt. Hzunk kzpre egy vonalat,
az egyik felre rjuk az egyik tagot, a msikra a msikat. (Kpzeld azt, hogy az a hrom rvid
vonal egy hossz vonal.)

p
q
s
p | r
|
|

Most megvizsgljuk, van-e ellentmonds egy gon bell (egy ghoz azok a formulk tartoznak,
amiket nem vlaszt el vonal), ami egy propozci s a tagadsa. Van, a p s p. Ez az g zrdik,
itt mr nem kell majd tovbb menni, ezt egy kis csillaggal jelljk.
p
q
s
p | r
* |
|

Van mg egy formula, amit fel kell vinni, mg egy v-os, ezt a nyitva maradt gba visszk fel,
ugyangy, mint az elbb: annyi rszre bontjuk az gat, ahny tagja van, itt most 3, teht 2 vonalat
hzunk, s a 3 rszbe belerjuk a tagokat. (A kt-kt rvid vonal itt is egy-egy hossz.)
 p
q
s
p | r
* | q | r | s
| | |

Megint keresnk ellentmondsokat: az els gon q s q; a msodikon r s r; a harmadikon s

s s. Teht mindhrom g zrdik (csillagot rajzolunk oda is), ekkor a kvetkeztets helyes.

p
q
s
p | r
* | q | r | s
| *| * | *

Mg egy kicsit bonyolultabb pldt is nzznk az rai anyagbl, rendesen, ellrl:

P1: Ha sokat esik az es, tavasz van vagy sz.

P2: Ha sokat esik az es, nagyra nnek a nvnyek.
P3: Ha nem esik sokat az es s nem is ntznek, nem nnek nagyra a nvnyek.
P4: Most nincs se tavasz, se sz.
K: Ha nem ntznek, nem nnek nagyra a nvnyek.

Formalizlva:

P1: p (q v r)
P2: ps
P3: ( p & t) s
P4: q&r
K: ts

Ezutn trjuk: kikszbljk a -t, s ha kell alkalmazzuk a de Morgant.

A szksges trsi szablyok:
p q ~p v q
de-Morgan azonossgok: ~ (p & q) ~ p v ~ q s ~ (p v q) ~ p & ~ q

P1: p (q v r) p v (q v r) (itt a zrjel elhagyhat, mert csak v van)

P2: pspvs
P3: ( p & t) s ( p & t) v s (p v t) v s (a zrjel itt is elhagyhat)
P4: q&r
K: tstvs

Utols lps a tblzat eltt: a konklzi tagadsa:

K: t s t v s K: (t v s) t & s

Teht a tblzatba felviend formulk:

(P1) pvqvr
(P2) pvs
(P3) pvtvs
(P4) q&r
( K) t&s

Elszr teht az &-t tartalmaz illetve a sem &-t sem v-ot nem tartalmaz formulkat visszk fel
egyms al. Ez utbbi most nincs, az elbbi igaz P4-re s K-ra, gy ezek tagjai kerlnek egyms
al (sorrend mindegy):

q
r
t
s

Kvetkez lpsben jnnek a v-osok, sorrend mindegy, kezdjk mondjuk az elejn. P1 3 tag,
gy 3 gra bontjuk a tblzatot:

q
r
t
s
p | q | r
| |
| |

Nzzk, zrdik-e valamelyik g: az els nem, ott nincs ellentmonds, a msodik igen (q s q)
s a harmadik is (r s r), ide teht csillagot rajzolunk. A kvetkez v-os formult az els gba
visszk fel, mert ez maradt nyitva (ha tbb g nyitva marad, akkor mindegyikbe fel kell vinni a
kvetkez formult):

q
r
t
s
p | q | r
p | s | * | *
| | |

Most egyik g sem zrdik, teht a kvetkez formult mindkt gba fel kell vinni, vagyis a P3
brzolshoz mindkt gat 3 rszre kell bonatni, s mindkt gba fel kell vinni a tagokat:

q
r
t
s
p | q | r
p | s | * | *
p | t | s | p | t | s | |
* | *| * | * | *| * | | Az sszes g zrdik (csillag), teht a kv. helyes.
Ha a P1 utn nem a P2-t, hanem a P3-at vlasztottuk volna, akkor egyszerbb lett volna a
tblzat, mert mindhrom g zrdott volna, s kiderlt volna, hogy a P2-re nincs is szksg:

q
r
t
s
p | q | r
p | t |s | * | *
* | * | * | |

Mg egy dolog: lehet, hogy olyan formult kell felvinni a tblzatba, amiben & is meg v is van,
ekkor is ugyangy jrunk el: az &-es rszt egyms al rjuk, a v-osat egyms mell. Pl.:

p & (q v r)
p v ( q & r)

Elszr felvisszk az elst: egyms al a p-t s a (q v r)-t, a vagyos rszt egyms mell:
p
q | r
|
|

Egyik g sem zrdott, gy a kvetkez formult mindkt gba felvisszk. A msodik alapveten
egy (kt tag) v-os formula, ezrt mindkt gat kt rszre bontjuk. Az els tagja a p, ez kerl az
els gba, a msodik tagja egy &-es formula, gy tagjait egyms al rjuk a msodik gba:

p
q | r
p | q | p| q
* | r | * | r
| * | | * Minden g zrdik, a kvetkeztets helyes.

Vgl arrl pr szt, hogy mirt gy csinljuk.

Azt tanultuk, hogy helyes a kvetkeztets, ha a premisszk igazsgbl szksgszeren

kvetkezik a konklzi igazsga, vagyis nem lehetsges az, hogy a P-k igazak, a K pedig hamis.

Ez a mdszer egy indirekt bizonyts-fle: ttelezzk fel, hogy mgis lehetsges, s ha

ellentmondsra jutunk minden esetben, akkor teht nem lehetsges, vagyis a kvetkeztets
helyes. Ezrt kell letagadni a konklzit.

A tblzatot pedig azrt gy ptjk, mert ugye azt ttelezzk fel, hogy a formulk igazak. Egy &-
es (meg egy sima) kifejezs csak akkor igaz, ha minden tagja igaz, itt nincs vlasztsi lehetsg,
mindnek igaznak kell lenni, egyms al rjuk ket. Egy v-os formula igazsghoz elg, ha
valamelyik tagja igaz, itt teht tbb lehetsges eset van, ezrt lesz tbb ga a tblzatnak. De ha
mindegyik g zrdik, az azt jelenti, hogy sehogysem lehetsges, hogy a P-k s a K tagadsa
egytt igaz legyen, vagyis a premisszk igazsgbl szksgszeren kvetkezik a konklzi
igazsga, teht a kvetkeztets helyes.
Ennyi.