Nume Mavrichi

Prenume Loredana

Examen Logică simbolică (Evaluarea argumentelor) 

 
I. Să se stabilească, prin oricare din metodele studiate, dacă următoarele argumente
sunt sau nu valide. Specificați ce fel de formule logice sunt:  40 puncte
 
1. Dacă elevul vrea să învețe, el nu are nevoie să fie controlat. Dacă nu vrea să învețe,
atunci el trebuie pedepsit. Prin urmare, dacă îl pedepsești și nu îl controlezi, elevul vrea să
învețe. 
 [(p→ q ) ˄(p̅ → r)] →[(r Ʌq ) →p]

p q r p q p→ q ̅ p̅ → r [(p→ q ̅) r Ʌq (rɅq ) [(p→ q ̅) ˄(p̅ →

˄(p̅ → r) →p r)] →[(r Ʌq ̅)
→p]

1 1 1 0 0 0 1 0 0 1 1
1 1 0 0 0 0 1 0 0 1 1
1 0 1 0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1 0 1 1
0 1 1 1 0 1 1 1 0 1 1
0 1 0 1 0 1 0 0 0 1 1
0 0 1 1 1 1 1 1 1 0 0
0 0 0 1 1 1 0 0 0 1 1

Nu este lege logica

Este realizabila
 2. Căile cometelor sunt sau elipse, sau parabole, sau hiperbole. Calea unei  comete care
revine nu poate fi nici parabolă, nici hiperbolă. Deci, calea acelei comete este o elipsă. 
 

[(pwqwr) ˄(q wr )] →p
p q r p q r pwq pwqwr q wr [(pwqwr) ˄(q wr )] [(pwqwr) ˄(q w
̅ r
̅)] →p
1 1 1 0 0 0 0 1 0 0 1
1 1 0 0 0 1 0 0 1 0 1
1 0 1 0 1 0 1 0 1 0 1
1 0 0 0 1 1 1 1 0 0 1
0 1 1 1 0 0 1 0 0 0 1
0 1 0 1 0 1 1 1 1 1 0
0 0 1 1 1 0 0 1 1 1 0
0 0 0 1 1 1 0 0 0 0 1

Nu este o lege logica

Este realizabila

3.  Daca ești frumos sau deștept, atunci reușești în viață, ceea ce este totuna cu nu ești
frumos și nu ești deștept, sau reușești în viață. Rezultă că sau ești frumos sau nu ești deștept,
și a nu fi frumos este echivalent cu a fi deștept.  
{[(p Vq) →r] ↔[( p̅Ʌq ) Vr]} →[(pwq ) Ʌ ( p↔q)]
p q r p q p Vq [(p ( p̅Ʌq ) [(p̅Ʌq ) {[(p Vq) pwq p↔q [(pwq )
{[(p Vq)
Vq)
Vr]
→r] ↔[( →r] ↔[(
p̅Ʌq )
Ʌ (p
→r] p̅Ʌq )
Vr]} ↔q)] Vr]}
A B →[(pwq )
Ʌ (p
↔q)]

1 1 1 0 0 1 1 0 1 1 1 0 0 0
1 1 0 0 0 1 0 0 0 1 1 0 0 0
1 0 1 0 1 1 1 0 1 1 1 1 1 1
1 0 0 0 1 1 0 0 0 1 1 1 1 1
0 1 1 1 0 1 1 0 1 1 0 1 0 0
0 1 0 1 0 1 0 0 0 1 0 1 0 0
0 0 1 1 1 0 1 1 1 1 1 0 0 0
0 0 0 1 1 0 1 1 1 1 1 0 0 0

Nu este o lege logica; este inconsistentă

4. Dacă echipa de volei a liceului ar fi învins în meciul de ieri, ar fi câştigat etapa zonală şi,
de asemenea, s-ar fi calificat la etapa naţională. Întrucât nu este adevărat că echipa de
volei a liceului a câştigat etapa zonală şi s-a calificat la etapa naţională, înseamnă că a
pierdut meciul de ieri. 
  [p→(qɅr) Ʌ[ p →(q Ʌr )]
 

p q r p q r qɅr p→(qɅr ¿ ¿Ʌr ) [ p→(q Ʌr )]  [p→(qɅr)Ʌ[ p

) ]
→(q Ʌr )]
 

1 1 1 0 0 0 1 1 0 1 1
1 1 0 0 0 1 0 0 0 1 0
1 0 1 0 1 0 0 0 0 1 0
1 0 0 0 1 1 0 0 1 1 0
0 1 1 1 0 0 1 1 0 0 0
0 1 0 1 0 1 0 1 0 0 0
0 0 1 1 1 0 0 1 0 0 0
0 0 0 1 1 1 0 1 1 1 1

Nu este lege logica; este inconsistentă

II. Stabiliți care din formulele următoare sunt logic echivalente cu formula (p & q) → r
și care cu formula (p V q) → r :  20 puncte
  
1. p → (q → r) ↔ (p & q) → r  sunt logic echivalente
2. q → (p → r) ↔ (p & q) → r  sunt logic echivalente
3. (p → r) & (q → r) ↔ (p & q) → r  nu sunt logic echivalente
4. (p → r) V (q → r) ↔ (p V q) → r  nu sunt logic echivalente
 

(p & q) → r

p q r (p&q) (p&q) → r
1 1 1 1 1
1 1 0 1 0
1 0 1 0 1
1 0 0 0 1
 0 1 1 0 1
0 1 0 0 1
0 0 1 0 1
0 0 0 0 1

(p V q) → r
p q r (pVq) (pVq) → r
1 1 1 1 1
1 1 0 1 0
1 0 1 1 1
1 0 0 1 0
0 1 1 1 1
0 1 0 1 0
0 0 1 0 1
0 0 0 0 1

1. Este echivalentă cu (p & q) → r 

p q r (q→r) p → (q → r)
1 1 1 1 1
1 1 0 0 0
1 0 1 1 1
1 0 0 1 1
0 1 1 1 1
0 1 0 0 1
0 0 1 1 1
0 0 0 1 1

2. Este echivalentă cu (p & q) → r 

p q r (p→r) q → (p → r)
1 1 1 1 1
1 1 0 0 0
1 0 1 1 1
1 0 0 0 1
0 1 1 1 1
0 1 0 1 1
0 0 1 1 1
0 0 0 1 1

3. Nu este echivalentă cu (p & q) → r 

p q r (p→r (q→r) (p → r) & (q → r)

 )
1 1 1 1 1 1
1 1 0 0 0 0
1 0 1 1 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 1 0 1 0 0
0 0 1 1 1 1
0 0 0 1 1 1

4. Nu este echivalentă cu (p V q) → r 
p q r (p→r (q→r) (p → r) V (q → r)
)
1 1 1 1 1 1
1 1 0 0 0 0
1 0 1 1 1 1
1 0 0 0 1 1
0 1 1 1 1 1
0 1 0 1 0 1
0 0 1 1 1 1
0 0 0 1 1 1

III. Construiți argumente în limbaj natural pentru: modus tollendo-tollens, modus

ponendo-tollens, dilema constructivă simplă, dilema distructivă complexă 
20 puncte
 
modus tollendo-tollen

Dacă învăț, atunci voi lua note mari; învăț. Prin urmare voi lua note mari.
p→q Dacă învăț, atunci voi lua note mari.
p Invăt
q Voi lua note mari.

modus ponendo-tollens
Sau merg la facultate sau plec în Spania. Merg la facultate. Prin urmare nu plec în Spania.

pwq Sau merg la facultate sau plec în Spania.

p Merg la facultate
q Nu plec în Spania

dilema constructivă simplă

Dacă îmi place să înot, atunci merg la piscină; dacă îmi place să fac scufundări, atunci
merg la piscină. Îmi place să înot sau să fac scufundari, prin urmare merg la piscină.
 p→q Dacă îmi place să înot, atunci merg la piscină

r→q Dacă îmi place să fac scufundări, atunci merg la piscină

p ˅q Îmi place să înot sau să fac scufundari

q Merg la piscină 
Dilema distructivă complexă

Dacă arsenalul nuclear se dezvoltă, atunci creşte riscul unui accident nuclear; iar dacă
creşte armamentul convenţional, atunci se amplifică efectul de seră. Fie nu creşte riscul
unui accident nuclear, fie nu se amplifică efectul de seră. Prin urmare, sau nu creşte
arsenalul nuclear sau nu creşte armamentul convențional.

p→q Dacă arsenalul nuclear se dezvoltă, atunci creşte riscul unui accident nuclear.
r→s Dacă creşte armamentul convenţional, atunci se amplifică efectul de seră.
qws Fie nu creşte riscul unui accident nuclear, fie nu se amplifică efectul de seră
pwr Sau nu creşte arsenalul nuclear sau nu creşte armamentul convențional

IV. Să se cerceteze validitatea următoarei formule logice prin metoda dihotomiei

(Quine):  10 puncte
 

 
{p → [ (qv r) Ʌ (p w q)]} 

p=0

q= 0 q=1

{0 → [ (0v r) Ʌ (0w 0)]} {p → [ (qv r) Ʌ (p w

q)]} 
0 → [ (0v r) Ʌ 0 0 →[ (1v r) Ʌ (0 w 1)]}
  0→ 0 0→ ( 1 Ʌ 1)
  1 0 → 1
1
Deoarece s-a obținut două valori de 1, înseamnă că funcția data nu este contigentă; e validă.

p=1
 q= 0 q=1
r= 1
{p → [ (qv r) Ʌ (p w q)]}  {p → [ (qv r) Ʌ (p w q)]} 

1→[ (0v r) Ʌ (1 w 0)] p → [ (qv r) Ʌ (p w q)]

1→ (0v 1) Ʌ 1 1 → (1v1) Ʌ (1w1)
1→ 1 Ʌ 1 1→ 1 Ʌ 0
1→ 1
1 1→ 0
0
Deoarece s-a obținut o valoare de 0 și alta de 1, înseamnă că funcția data este contigentă; nu
e validă.

V. Să se cerceteze validitatea următoarei formule logice prin metoda deciziei

prescurtate:  10 puncte
 
 
{[ (pɅq) → (rɅs)] Ʌ (r̅ Ʌ s̅)} → (p̅ w q̅)                     
           

           C=  (p̅ w q̅)         = 0                     

           A=     {[ (pɅq) → (rɅs)] Ʌ (r̅ Ʌ s̅)} =1
 
p̅ =0

q̅ =0

{[ (pɅq) → (rɅs)] Ʌ (r̅ Ʌ s̅)} → (p̅ w q̅)                     

 1 1 → 1 1 Ʌ 0 0 0 0 0 0
  1 → 1 Ʌ 0 → 0
  1 Ʌ 0 → 0
0 → 0

1
C=0 a rezultat un A=0 rezultă că expresia este validă

p̅ =1

q̅ =1

{[ (pɅq) → (rɅs)] Ʌ (r̅ Ʌ s̅)} → (p̅ w q̅)                     

 0 0 → 1 1 Ʌ 0 0 0 1 0 1
  0 → 1 Ʌ 0 → 0
  1 Ʌ 0 → 0
 0 → 0

1
C=0 a rezultat un A=0 rezultă că expresia este validă