Lector dr.

Mihi Andreea-Diana

Metodatabelelorsemantice
introdus de Smullyan
se bazeaz pe consideraii semantice
ncearc s construiasc modelele unei formule date

(FND)
| U prin respingere, U nu are modele

id
ideea:
descompunerea formulei iniiale n subformule
pn la nivel de literali

Clasedeformule
clasa - formule de tip

conjunctiv

clasa - formule de tip

disjunctiv

AB

AB

(A B)

(A B)

(A B)

AB

l d d
f
l l
Regulidedescompunereaformulelor
regula

AB
|
A
|
B

(A B) (A B)
|
|
A
A
|
|
B
B

regula

AB
A
B
(A B)
A

B
AB

Arborele binar dedescompunere aunei formule

Avnd o formul U,
U ei i se poate asocia o tabel semantic,
semantic
care este de fapt un arbore binar ce conine n nodurile sale
formule i se construiete astfel:
rdcina arborelui este etichetat cu formula U;
fiecare ramur a arborelui care conine o formul va fi

extins
i
cu subarborele
b b l corespunztor regulii
lii de
d
descompunere care se aplic formulei;
extinderea unei ramuri se ncheie n dou situaii:
a)
b)

dac pe ramur apare o formul i negaia sa;

dac au fost descompuse toate formulele de pe acea ramur

Exemplu
U == p (q p) (1)
| regula pentru (1)
p
|
q p (2)
not.

regula pentru (2)

q
p

FND(U) = (p q) (p p) p q

Tipuri deramuri
O ramur a tabelei se numete nchis (simbolizat prin

) dac ea conine o formul i negaia ei, n caz contrar

ramura se numete
t deschis
d hi (simbolizat
( i b li t prin
i ).
)
O ramur a tabelei se numete complet dac ea este fie
nchis fie toate formulele de pe acea ramur au fost
nchis,
descompuse.

Tipuri detabele semantice

O tabel se numete nchis dac toate ramurile sale sunt

nchise. Dac o tabel are cel puin o ramur deschis,

atunci
t i ea se numete
t deschis.
d hi
O tabel se numete complet dac toate ramurile ei sunt
complete.
complete

U (
) (
) (
) (1)
U=(pq)(qr)(pqr)

| regula pentru (1)

pq (2)

Exemplul (2)

(qr) (3)
|

pqr (4)

regula
l pentru (2)
( )

regula pentru (3) |

| regula pentru (3)

regula pentru (4)

p
q r (5)
( )
regula pentru
(5) |
q
|

regula pentru (4)

q r (6)

| regula pentru (6)

q
|

Observaii:
Procesul de construire a unei tabele semantice este unul

nedeterminist deoarece regulile de descompunere se pot

aplica
li n
orice
i ordine
di ii la
l un momentt dat
d t se pott alege
l
maii
multe ramuri pentru extindere. Astfel unei formule i se pot
asocia mai multe tabele semantice,, dar acestea sunt
echivalente.
Pentru a obine tabele semantice ct mai simple (mai
puin ramificate) se recomand:
utilizarea regulilor de tip naintea regulilor de tip care

realizeaz o ramificare;

Observaii(2):
formulele de pe aceeai ramur a unei tabele semantice sunt

legate ntre ele prin conectiva logic , iar ramificarea

corespunde conectivei logice .
tabela
t b l semantic
ti asociat
i t uneii formule
f
l propoziionale
ii l este
t o
reprezentare grafic a formei sale normale disjunctive. Fiecare
ramur reprezint un cub (conjuncia tuturor literalilor de pe acea
ramur),
) iar
i arborele
b l este
t disjuncia
di j i tuturor
t t
ramurilor
il sale.
l
Unei formule consistente i se asociaz o tabel complet
deschis, iar fiecare ramur deschis a tabelei furnizeaz cel
puin un model pentru formula respectiv.
O tabel semantic nchis asociat unei formule indic faptul c
p
n
formula este inconsistent,, adic nu exist nicio interpretare
care formula s fie adevrat

Teorema de corectitudine i completitudine a

Teoremadecorectitudineicompletitudinea
metodeitabelelorsemantice
O formul U este teorem (tautologie) dac i numai dac

exist o tabel semantic nchis pentru formula U.

Teorem
U1,U2,...,Un | Y (echivalent cu U1,U2,...,Un |= Y) dac i

numai dac exist o tabel semantic nchis pentru

f
formula
l U1,U
U2,...,U
Un Y.
Y

p(qr),
(
) rst,
t ustt |? pqu
|? (pq) (qp)