Raționamente cu propoziții compuse

In funcție de numărul de premise din care este dedusă concluzia, putem

identifica două tipuri de raționamente cu propoziții compuse:
A. Argumente cu două premise -se numesc moduri
B. Argumente cu trei premise- se numesc dileme

A. ARGUMENTELE  CU DOUĂ PREMISE sunt de două feluri:

1. Ipotetice (“→”)
2. Disjunctive (“V”; “W”)
1. Argumentele ipotetice:
a. Modul afirmativ- afirmativ- dacă implicația a doua propoziții este adevărată și
antecedentul este adevărat, atunci și consecventul este adevărat.
p→ q
p___
q
[(p→ q)˄p] → q

Exemplu:
Dacă învăț, atunci obțin note bune.
Învăț.
Obțin note bune.

b. Modul negativ-negativ- dacă implicația a două propoziții este adevărată și

consecventul este fals, atunci și antecedentul este fals. 

p→ q
   ~ q
~p

[(p→ q)˄~q ]→ ~p

Exemplu:
Dacă învăț, atunci obțin note bune.
Nu obțin note bune.
Nu învăț.
2. Argumentele disjunctive:
a. Modul afirmativ- negativ- dacă disjuncția a două propoziții este adevărată, iar
una dintre propoziții este adevărată, atunci cealaltă propoziție este falsă. 
Se aplică doar pentru disjuncția exclusivă. 

pWq
p___
~q

[(pWq)˄p]→ ~q

Exemplu:
Sau învăț sau mă duc la plimbare.
Învăț.
Nu mă duc la plimbare.

b. Modul negativ- afirmativ- dacă disjuncția a două propoziții este adevărată, iar
una dintre propoziții este falsă, atunci cealaltă propoziție este adevărată. 
Se aplică pentru ambele tipuri de disjuncții.
pWq
~p__
q

[(pWq)˄~p]→ q
Exemplu: 
Sau învăț sau mă duc la plimbare.
Nu învăț.
Mă duc la plimbare.
pVq
~p__
q
[(pVq)˄~p] →q
Exemplu: 
Învăț sau mă duc la plimbare.
Nu învăț.
Mă duc la plimbare.
B. ARGUMENTELE CU TREI PREMISE
1. Dilema constructivă- concluzia este o propoziție afirmativă 
Poate fi :
a. simplă-concluzia este o propoziție simplă 
b. complexă-concluzia este o propoziție compusă
2. Dilema distructivă- concluzia este o propoziție negativă
a. simplă-concluzia este o propoziție simplă 
b. complexă-concluzia este o propoziție compusă