Documente Academic
Documente Profesional
Documente Cultură
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:
Echivalena
p q pq
1 1 1
1 0 0
0 1 0
0 0 1
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.
1
Curs 4 A.I. Forme normale conjunctive i disjunctive
VALID INVALID
Totdeauna adevrat. Nu totdeauna adevrat. Totdeauna fals.
Nu totdeauna fals.
CONSISTENT 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.
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).
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)
2
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
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.
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.
F1 F2 F3
T L A M N NT NTL TA TA L LT
M
1 0 1 1 0 1 1 1 1 1 1
1 1 0 0 1 1 1 0 1 0 1
0 0 1 1 1 0 0 1 1 1 0
0 1 0 0 0 1 1 1 0 0 1