Propozitii compuse - Logica.pdf

1
COLEGIUL NAłIONAL DE INFORMATICĂ „TUDOR VIANU” Brezoiu Gabriel Clasa a IX-a J LOGICĂ ŞI ARGUMENTARE PROPOZIłII COMPUSE I. Forma iniŃială a argumentului „ViaŃa fericită este, se pare, cea comformă cu virtutea. Or, comformă cu virtutea este o viaŃă ce presupune eforturi serioase şi nu una petrecută în joc. Şi trebuie să spunem că lucrurile serioase sunt superioare celor vesele şi amuzante, iar activitatea cea mai serioasă aparŃine totdeauna părŃii celei mai elevate din om şi omului cel mai elevat. Prin urmare, activitatea a ceea ce este mai elevat este ea însăşi superioară şi deci cea mai aptă să aducă fericirea.” (Aristotel, Etica Nicomahică) II. Formalizarea argumentului: O viaŃă este fericită dacă şi numai dacă este virtuoasă. (p≡q) O viaŃă virtuoasă implică eforturi serioase şi lipsa jocului. (q→(r&s)) Dacă poŃi întreprinde o activitate serioasă atunci ai o viaŃă fericită. (r→p) III. Formula argumentului: [(p≡q)&(q→(r&s))]→(r→p) IV. Tabel de adevăr: p q r s p≡q r&s q→(r&s) (p≡q)&(q→(r&s)) r→p [(p≡q)&(q→(r&s))]→(r→p) 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 V. Stabilirea validităŃii: Această propoziŃie compusă reprezintă o tautologie întrucât este adevărată indiferent de valorile de adevăr ale componentelor sale.

description

curs de logica

Transcript of Propozitii compuse - Logica.pdf

Page 1: Propozitii compuse - Logica.pdf

COLEGIUL NAł IONAL DE I NFORMAT ICĂ „TUDOR V IANU”

Brezoiu Gabriel

Clasa a IX-a J

LLOOGGIICCĂĂ ŞŞ II AARRGGUUMMEENNTTAARREE PPRROOPPOOZZIIłłII II CCOOMMPPUUSSEE

I. Forma iniŃială a argumentului

„ViaŃa fericită este, se pare, cea comformă cu virtutea. Or, comformă cu virtutea este o

viaŃă ce presupune eforturi serioase şi nu una petrecută în joc. Şi trebuie să spunem că

lucrurile serioase sunt superioare celor vesele şi amuzante, iar activitatea cea mai serioasă

aparŃine totdeauna părŃii celei mai elevate din om şi omului cel mai elevat.

Prin urmare, activitatea a ceea ce este mai elevat este ea însăşi superioară şi deci cea mai

aptă să aducă fericirea.” (Aristotel, Etica Nicomahică)

II. Formalizarea argumentului:

O viaŃă este fericită dacă şi numai dacă este virtuoasă. (p≡q)

O viaŃă virtuoasă implică eforturi serioase şi lipsa jocului. (q→(r&s))

Dacă poŃi întreprinde o activitate serioasă atunci ai o viaŃă fericită. (r→p)

III. Formula argumentului: [(p≡q)&(q→(r&s))]→(r→p)

IV. Tabel de adevăr:

p q r s p≡q r&s q→(r&s) (p≡q)&(q→(r&s)) r→p [(p≡q)&(q→(r&s))]→(r→p)

1 1 1 1 1 1 1 1 1 1

1 1 1 0 1 0 0 0 1 1

1 1 0 1 1 0 0 0 1 1

1 1 0 0 1 0 0 0 1 1

1 0 1 1 0 1 1 0 1 1

1 0 1 0 0 0 1 0 1 1

1 0 0 1 0 0 1 0 1 1

1 0 0 0 0 0 1 0 1 1

0 1 1 1 0 1 1 0 0 1

0 1 1 0 0 0 0 0 0 1

0 1 0 1 0 0 0 0 0 1

0 1 0 0 0 0 0 0 0 1

0 0 1 1 1 1 1 1 1 1

0 0 1 0 1 0 1 1 1 1

0 0 0 1 1 0 1 1 1 1

0 0 0 0 1 0 1 1 1 1

V. Stabilirea validităŃii: Această propoziŃie compusă reprezintă o tautologie întrucât este adevărată indiferent de

valorile de adevăr ale componentelor sale.