Sunteți pe pagina 1din 4

Curs 4 A.I.

Forme normale conjunctive i disjunctive

FORME NORMALE I CONSECINE LOGICE


Logica matematic = logica simbolic n care afirmaiile (pe care le vom numi propoziii) sunt notate
cu literele alfabetului.
Logica propoziiilor = un limbaj formal care conine un alfabet, reguli de sintax, axiome i o regul
de deducie. (studiaz legturile dintre propoziii. (!Aceast propoziie este fals?)).
Propoziii = atom = afirmaii crora li se ataeaz o valoare de adevr.
Logica simbolic = utilizeaz simboluri pentru reprezentarea elementelor universului problemei i a
operaiilor asupra acestora.
Operaii logice:
p
1
1
0
0

Disjuncia exclusiv
p
q
pvq
1
1
0
1
0
1
0
1
1
0
0
0

Disjuncia
q
pvq
1
1
0
1
1
1
0
0

p
1
1
0
0

ordinea efecturii operaiilor logice:

Echivalena
q
pq
1
1
0
0
1
0
0
1

~, ^, v, \/ , ->, <->

Calcul propoziional:
atom = propoziie cu valoare de adevr
formul = propoziie compus
Formul bine format (sau bine formulat - wff): se construiete dup urmtoarele reguli:
R1. Un atom este o formul.
R2. Dac F este o formul, atunci ~F este formul bine format.
R3. Dac F i G sunt formule, atunci : FvG, F^G, F->G, F<->G sunt bine formate.
R4. Orice f.b.f. se obine prin aplicarea regulilor R1,R2,R3.

O formul bine format poate fi:

Curs 4 A.I. Forme normale conjunctive i disjunctive


VALID

INVALID

Totdeauna adevrat.

Nu totdeauna adevrat.
Nu totdeauna fals.
CONSISTENT

Totdeauna fals.
INCONSISTENT

FORME NORMALE
Definiie: Echivalena (se noteaz F=G): F i G sunt echivalente atunci cnd F i G au aceeai valoare
pentru orice interpretare I.
Reguli de echivalen n utilizarea lui .T. i .F.:
P v .F. = P
P v .T. = .T.
P ^ .T. = P
P ^ .F. = .F.
Definiie: Forma normal conjunctiv (FNC): Dac F1,F2,..,Fn sunt formule bine formate care conin
doar literale (atomi sau negaie de atomi) i sunt de forma L1vL2v...vLm (disjuncie de literale), atunci
F1^F2^...^Fn este o fnc.
Definiie: Forma normal disjunctiv (FND): Dac F1,..,Fn sunt formule bine formate care conin
doar literale (atomi sau negaii de atomi) i sunt de forma L1^L2^..^Lm (conjuncie de literale) atunci
F1vF2v...vFn este o fnd.
Exemple: - fnc: (PvQv~R) ^ (Pv~QvR) ^ (~PvQvR)
- fnd: (P ^ ~Q) v (~P ^ ~Q) v (P ^ Q).
Algoritm de transformare a unei formule bine formate ntr-o form normal:
Pas 1: Se elimin echivalena i implicaia:
F<->G = (F->G) ^ (G->F)
F ->G = ~F v G
Pas 2: Se elimin dubla negaie i se distribuie negaia (Legile lui de Morgan):
~(~F)=F
~(FvG)=~F ^ ~G
~(F^G)=~F v ~G
Pas 3: Se aplic distributivitatea pentru separarea operaiilor ^,v:
Fv(G^H)=(FvG)^(FvH)
F^(GvH)=(F^G)v(F^H)
Exemple:
a) fnd: ((P->Q)->(R->S))^(Q->~(P^R))... ...
(P^~Q)v(P^~Q^~R)v(Q^~P)v(Q^~P^~R)v(~R^~P)v(~R^~P)v~Rv(S^~Q)v
v(S^~P)v(S^~R)
b) fnc: P^(Q->R)->S ... (Sv~PvQ)^(Sv~Pv~R)

Curs 4 A.I. Forme normale conjunctive i disjunctive


Consecine logice:
Definiie: Dac F1,..,Fn,G sunt f.b.f., i dac pentru orice interpretare I pentru care F1^F2^...^Fn este
adevrat, atunci G este adevrat atunci se spune c G este o consecin logic a lui F1,...,Fn, iar
F1,..., Fn sunt axiome pentru G.
Teorema1: G este o consecin logic a lui F1,..,Fn dac i numai dac formula F1^...^Fn->G este
valid.
Teorema2: G este o consecin logic a lui F1,..,Fn dac i numai dac formula F1^...^Fn ^ ~G este
inconsistent.
Problema1:
Fie F1: P->Q
F2: ~Q
G: ~P
S se demonstreze c: G este o consecin logic a lui F1 i F2.
Indicaie: Din T1 => F1^F2->G - valid sau din T2 => F1^F2^~G - inconsistent.
Problema2:
Se dau:
P = Parlamentul refuz s acioneze.
Q = Greva s-a terminat.
R = Directorul firmei demisioneaz.
S = Greva continu de mai mult de un an.
F1 : Dac parlamentul refuz s acioneze atunci directorul firmai demisioneaz i greva continu mai
mult de un an.
F2 : Parlamentul refuz s acioneze.
F3 : Greva nu s-a terminat.
Se cere:
i) s se transpun n formule F1, F2 i F3;
ii) s se demonstreze c F3 este o consecin logic a lui F1 ^ F2 ^ F3.
Tema 1
S se construiasc o problem n stilul problemei 2, s se transpun apoi n formule i s se rezolve.

Ex de rezv cu tabele. Tema voastra este sa demonstrati cu ajutorul teoremelor.


Se cunosc:
N = se formeaz numrul;
T = telefonul sun;
L = linie ocupat;
3

Curs 4 A.I. Forme normale conjunctive i disjunctive


A = abonatul rspunde;
M = linie ocupat pe timpul convorbirii.
F1 : Se formeaz numrul, telefonul sun sau linie ocupat.
F2 : Telefonul sun, abonatul rspunde, linia este ocupat pe timpul convorbirii.
F3 : Dac linia nu e ocupat telefonul sun.
F2

F1

F3

NT

NTL

TA

TA
M

LT