Documente Academic
Documente Profesional
Documente Cultură
p
p q
pq
p q
p q
ex1:
INTERSECTIE
este adevarata daca si p si q sunt adevarate
si este falsa daca sau p sau q sunt false
ex1 :
p :" x 2" ; v ( p ) A;
q :" x 5" ; v ( q ) A
( p q ) :" x 2 si x 5" ;
v( p q) A
ex 2 :
p :" x 2"; v ( p ) A;
q :" 2 3 1"; v ( q ) F
( p q ) :" x 2 si 2 3 1";
v( p q) F
ex1 :
p :"3 2" ; v ( p ) A;
q :" 7 5" ; v ( q ) F
v( p q) A
Lectia 9 - MULTIMI INTRODUCERE_3232817.xls
10 Page 1
IMPLICATIA , "p IMPLICA q", "DACA p ATUNCI q", "DIN p REZULTA q"
p
( p q) (q p)
(q p) ( p q)
v( p q)
p :"3 2"; v( p) F ;
ECHIVALENTA,
p q q
v( p q ) A
v( p q)
11
111
111
1
IMPLICATIA ,, "p
"p IMPLICA
IMPLICA q",
q", "DACA
"DACA p ATUNCI
ATUNCI q",
q", "DIN
"DIN pp REZULTA
REZULTA q"
q"
IMPLICATIA
IMPLICATIA , "p IMPLICA q",p "DACA
p ATUNCI
q", "DIN p REZULTA
q"
p
:
c) p: "exista x nr. N astfel ca 2x-3=x"
"2x-3=x oricare ar fi x nr. N"(F)
p : "exista nr. care nu sunt pare"(A)
d) p:"orice nr.N este par"
p : "niciun nr N nu este par"(F)
e) p;"cel putin un nr. N este par"(A)
Stabiliti valoarea de adevar a urmatoarelor conjunctii:
a) s=p^q:"2 este nr. par si 3 este impar"
v(p)=1, v(q)=1 =>v(p^q)=1
b) s=p^q:"a,b pare si a*b=3"
v(p)=1, v(q)=0 =>v(p^q)=0
c) s=p^q:"a,b impare si a*b impar"
v(p)=1, v(q)=1 =>v(p^q)=1
Stabiliti valoarea de adevar a urmatoarelor disjunctii:
a) s=p V q:"2 este par sau 3 este impar"
v(p)=1, v(q)=1 =>v(p v q)=1
b) s=p V q:"3,a,b pare sau a*b=3"
v(p)=0, v(q)=0 =>v(p v q)=0
c) s=p V q:"a,b impare sau a*b par"
v(p)=1, v(q)=0 =>v(p v q)=1
Stabiliti valoarea de adevar p=>q si q=>p pentru urmatoarele p si q :
a) p: "a=5"; q: "2a impar "
p=>q: "daca a=5 atunci 2a impar", v(p)=1, v(q)=0 -> v(p=>q)=0
q=>p: "daca 2a impar atunci a=5", v(q)=0 -> v(q=>p)=1
b) p: "a+1 este par"; q: "a este impar "
p=>q: "daca a+1 este par atunci a impar", (p)=1, v(q)=1 ->v(p=>q)=1
q=>p: "daca a este impar atunci a+1 par", v(q)=1, v(p)=1 ->v(q=>p)=1
c) p: "a=17:3 "; q: "17=17*1 "
p=>q: "daca a=17:3 atunci 17=17*1", v(p)=0, v(q)=1 ->v(p=>q)=1
q=>p: "daca 17=17*1 atunci a=17:3", v(q)=1, v(p)=0 ->v(q=>p)=0
Stabiliti valoarea de adevar a urmatoarelor implicatii:
p =>
q
a) "(a+b)par=>a si b par",ex:"1+5=6=>1 si 5 pare"
v(p)=1, v(q)=0, v(p=>q)=0
b)"(a+b)par=>a sau b par",ex:"1+5=6=>1 sau 5 pare";
v(p)=1,v(q)=0, v(p=>q)=0
c)"(a+b)par=>a sau b imp",ex:"2+4=6=>2 sau 6 imp"
v(p)=1,v(q)=0, v(p=>q)=0
d) "(a+b)imp=>a sau b imp",ex:"3+6=9=>3 sau 6 imp"; v(p)=1,v(q)=1, v(p=>q)=1
Stabiliti valoarea de adevar a urmatoarelor propozitii echivalente:
a)p:"a>b",q:"a>b sau a=b",p<=>q:"a>b daca si numai daca a>b sau a=b"
(p=>q):"daca a>b atunci a>b sau a=b"; v(p)=1,v(q)=1=>v(p=>q)=1
v(p<=>q)
(q=>p):"daca a>b sau a=b atunci a>b";v(q)=1,v(p)=1=>v(q=>p)=1
=1
b) s:"a*c=b*c cu a,b,c naturale <=>a=b"
p
<=>
q
(p=>q):"daca 2*0=7*0 atunci 2=7",v(p)=1,v(q)=0=>v(p=>q)=0
(q=>p):"daca a=b atunci a*c=b*c", v(p)=1, v(q)=1 deci v(p=>q)=1
v(p<=>q)=0
2. OPERAT
II CU PROPOZIT
II. OPERATORI LOGICI
2.1. Disjunctia. Propozitia pq, care se citeste p sau q, poarta numele de disjunctia
propozitiilor p si q, propozitie care este adevarata exact atunci cand cel putin una dintre
propozitiile p sau q este adevarata. Asadar, p q este falsa exact atunci cand atat p cat si q
sunt false. Aceasta definitie a valorii de adevar a lui pq se poate da cu ajutorul tabelului de
adevar:
p
1
1
0
0
q pq
1
1
0
1
1
1
0
0
S-au scris pe linii toate combinatiile posibile de valori de adevar pentru p si q. Tabelul se
citeste pe linii: de exemplu, linia 3 a tabelului spune, ca, daca p are valoarea de adevar 0, iar
q are valoarea de adevar 1, atunci p q are valoarea de adevar 1.
Exemplul 2.1.
Florin nu este acasa sau telefonul lui este defect este un enunt de forma p q, unde
p este Florin nu este acasa, iar q este Telefonul lui Florin este defect.
Patrulaterul ABCD este patrat sau patrulaterul ABCD este romb. Aceasta propozitie
este adesea enuntata mai pe scurt Patrulaterul ABCD este patrat sau romb. Este
important de identificat structura logica a unei propozit ii compuse de acest tip.
2.2. Conjunct
ia. Propozitia p q, care se citeste p si q, poarta numele de conjunctia
propozitiilor p si q, propozitie care este adevarat
a exact atunci cand ambele propozitii p si
q sunt adevarate. Deci, p q este falsa exact atunci cand macar una dintre ele este falsa.
Corespunzator, avem tabelul de adevar:
p
1
1
0
0
q pq
1
1
0
0
1
0
0
0
Exemplul 2.2.
Trenul opreste si calatorii coboara.
Patrulaterul ABCD este romb si are un unghi drept.
2.3. Negatia. Data o propozitie p, putem forma propozitia p, numit
a negatia propozitiei
p, care este adevarata exact atunci cand p este falsa. Deci, p este falsa daca p este adevarat
a.
Propozitia p se citeste non p sau nu este adev
arat c
a p.
p p
1 0
0 1
Exemplul 2.3.
Negatia propozitiei Orice om este muritor este Nu orice om este muritor. Forme
echivalente: Exista un om care nu este muritor preferata si Nici un om nu
este muritor pe care o vom evita. Vezi comentariul de mai jos.
Negatia propozitiei Exista triunghiuri cu doua unghiuri drepte este Nu exista
un triunghi care sa aiba doua unghiuri drepte preferata sau formele echivalente
Orice triunghi nu are doua unghiuri drepte preferata si Nici un triunghi nu
are doua unghiuri drepte pe care o vom evita.
Comentariu. In ambele exemple, ultima forma, desi folosita si acceptata n limbajul
curent, va fi evitata n limbajul matematic tocmai pentru a nu permite utilizarea dublei
negatii cu rol de negatie simpla, utilizare av
and drept scop de a accentua caracterul negativ
al constatarii, dar generatoare de posibile ambiguit
ati.
Sa analizam cateva exemple.
1. ELEMENTE DE LOGICA
q p q (p) q,
1
1
0
0
1
1
0
1
2. OPERAT
II CU PROPOZIT
II. OPERATORI LOGICI
q
1
1
0
0
1
1
0
0
r p q p r (p q) (p r) q r p (q r)
1
1
1
1
1
1
0
1
0
1
1
1
1
0
1
1
1
1
0
0
0
0
0
0
1
0
0
0
1
0
0
0
0
0
1
0
1
0
0
0
1
0
0
0
0
0
0
0
10
1. ELEMENTE DE LOGICA
q pq
1
1
0
0
1
0
0
1
2. OPERAT
II CU PROPOZIT
II. OPERATORI LOGICI
11
Mai exista doua variante de demonstratie: folosind tabele de adevar sau folosind calculul propozitional. Lasam n seama cititorului demonstratia bazata pe tabelele de adevar,
margninindu-ne sa exemplificam metoda calculului propozitional (care necesita cunoasterea
unor formule din calculul cu propozitii).
Demostratie. Folosind definitia implicatiei (p q p q), avem:
((p q) p) q ((p q) p) q ((p q) p) q
( (p q) p) q ((p q) p) q ((p q) p) q
((p p) (q p)) q
Dar p p este totdeauna adevarat
a, deci (p p) (q p) q p. Continuam:
((p p) (q p)) q (q p) q (p q) q p (q q)
Am folosit ca disjunctia este asociativa si comutativ
a. Aceasta propozitie este o tautologie
(caci q q este tautologie).
Urmatoarea propozitie colecteaza o serie de tautologii, dintre care unele sunt folosite n
rationamente si au primit nume distinctive. Cateva au mai fost nt
alnite n text, sub forma
unor echivalente logice. Invitam cititorul sa demonstreze cateva dintre ele (macar (6), (7),
(13), (19), (23), (24), (25)), folosind una din metodele descrise mai sus.
Propozitia 2.1. Fie p, q, r variabile propozitionale. Au loc urm
atoarele tautologii :
(1) (p q) (q p) (Comutativitatea disjunctiei).
(2) (p q) (q p) (Comutativitatea conjunctiei).
(3) [(p q) r] [p (q r)] (Asociativitatea disjunctiei).10
(4) [(p q) r] [p (q r)] (Asociativitatea conjunctiei).11
(5) p (q r) [(p q) (p r)] (Distributivitatea lui fat
a de ).
(6) p (q r) [(p q) (p r)] (Distributivitatea lui fat
a de ).
(7) [(p q)] (p q) ; [(p q)] (p q) (Legile lui DeMorgan sau legile de
dualitate).
(8) (p q) [(p q) (q p)]
(9) (p q) (q p)
(10) (p q) (p q)
(11) p p
(12) (p p)
a orice este adev
arat)12.
(13) (p p) q (Pornind de la o contradictie, deducem c
(14) (p) p (Legea dublei negatii).
(15) p p (Legea tertului exclus).
(16) (p p) p
(17) (p p) p
(18) p (q p) (Dac
a p este adev
arat
a, atunci p este adev
arat
a n orice ipotez
a).
(19) [p (q r)] [(p q) r]
(20) (p) (p q)
(21) (p q) (q p)
(22) (p q) (p q)
(23) (p q) (q p) (Principiul de demonstratie prin reducere la absurd: pentru a
demonstra q n ipoteza p, presupunem c
a q este fals
a si demonstr
am p.)
10Asociativitatea disjunctiei ne permite s
a scriem p q r n loc de (p q) r sau de p (q r), f
ar
a
12
1. ELEMENTE DE LOGICA
3. PREDICATE
13
14
1. ELEMENTE DE LOGICA
(3.2)
3. PREDICATE
15
1. ELEMENTE DE LOGICA
16
a, are si o mam
(5) Oricine care are un tat
a.
Exemplu de rezolvare: 5. Oricine care are un tata, are si o mama se traduce astfel: mai ntai observam ca este vorba de o implicatie: Dac
a cineva are un tata, atunci
are si o mama, sau, mai precis, Pentru orice persoana x, daca x are un tata, are si o
mama. Traducem predicatul x are un tata: y (B (y) xCy) . La fel,x are o mama este
z (F (z) xCz) . In concluzie, traducerea enuntului este
x [(y (B (y) xCy))] [z (F (z) xCz)]
Exercitiul 3.2. Sa se reformuleze propozitiile de mai jos n limbaj matematic (LM )
utilizand cuantificatorii si , sa se precizeze negatiile lor n limbaj matematic (N LM ) si
apoi sa se formuleze negatiile gasite n limbajul natural (N LN ).
Exemplu. Propozitia: pentru orice x A exist
a y B astfel nc
at f (x) 6= y se reformuleaza n limbajul matematic (LM ) prin: (x A) (y B) (f (x) 6= y), propozitie
a carei negatie n limbajul matematic (N LM ) este (x A) (y B) (f (x) = y) care,
n limbajul natural (N LN ), are formularea: exist
a x A astfel nc
at, pentru orice y B,
f (x) = y.
4. Solutii
Exercitiul 1.2 (1), (3), (4), (7), (8), (9), (10), (11), (12), (13), (17), (18) sunt propozitii iar
(2), (5), (6), (14), (15), (16) si (19) nu sunt propozitii.
Exercitiul 2.1
(1) Dac
a Ana este blond
a atunci ea c
ant
a frumos.
(2) Dac
a Ana are mere atunci ea este blond
a.
(3) Ana nu este blond
a.
(4) Ana nu are mere si nu este blond
a.
(5) Ana nu are mere sau nu este blond
a.
(6) Dac
a Ana c
ant
a frumos si este blond
a atunci are mere.
(7) Ana c
ant
a frumos si are mere sau este blond
a si are mere.
(8) Ana c
ant
a frumos si este blond
a sau c
ant
a frumos si are mere.
(9) Dac
a Ana c
ant
a frumos atunci ea este blond
a si are mere.
(10) Dac
a Ana c
ant
a frumos atunci ea este blond
a si are mere.
(11) Dac
a Ana c
ant
a frumos atunci ea este blond
a si are mere.
(12) Dac
a Ana are mere si nu este blond
a atunci ea c
ant
a frumos si nu are mere.
Exercitiul 2.2
(2) ((p) (q r) (5) (q) p
(10) r (p).
(3) ((p) (q)) r (6) (p q) (p (r))
(1) (p) r
(11) (q p) (p r).
(4) (q p)
(7) (p q) r
(8) r q
(9) q r
Exercitiul 2.4
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
(13)