Documente Academic
Documente Profesional
Documente Cultură
1. Definiţie şi strctură
2. Principalii conectori logici
3. Clasificarea propoziţiilor compuse
4. Metode de determinarea a tipului propoziţiilor compuse
5. Argumente cu propoziţii compuse
1. Propoziţia compusă este o propoziţie alcătuită din cel puţin o propoziţie simplă (categorical) şi
minimum un conector logic.
OBS3: Conectorii (functori, operatori, funcţii de adevăr) sunt elemente care fac legătura între
propoziţiile simple.
EX în limbaj natural: şi, sau, dacă…. atunci etc.
OBS4: În logica clasică propoziţiile pot avea doar 2 valori de adevăr: adevărat şi fals
Valoarea adevărat se notează cu „1”
Valoarea fals se notează cu „0”
p ¬p
1 0
0 1
Obsevaţie: în coloana a doua se calculează non-p. Prin urmare, valorile de adevăr se vor trece
sub operaţie.
Negaţia are o proprietate remarcabilă numită legea dublei negaţii conform căreia dubla negaţie
este echivalentă cu o afirmaţie.
p ¬p ¬ (¬ p)
1 0 1
0 1 0
b) Operatorii binari
Conjucţia = operator care este adevărat dacă şi numai dacă ambele propoziţii sunt adevărate
În LN: şi, dar, iar, virgulă etc.
În LF: Λ, &
Se citeşte: şi
p q pΛq
1 1 1
1 0 0
0 1 0
0 0 0
Disjuncţia inclusivă = operator adevărat dacă şi numai dacă cel puţin o propoziţie este
adevărată.
În LN: sau, ori
În LF: V
Se citeşte: sau
p q pVq
1 1 1
1 0 1
0 1 1
0 1 0
Disjuncţia exclusivă este operatorul adevărat dacă şi numai dacă o singură propoziţie este
adevărată.
În LN: sau....sau, fie...fie
În LF: W
p q pWq
1 1 0
1 0 1
0 1 1
0 0 0
Implicaţia este operatorul fals dacă şi numai dacă prima propoziţie e adevărată, iar cea de-a
doua falsă.
În LN: dacă... atunci
În LF:
OBS: prima propoziţie a implicaţiei se numeşte antecent, iar cea de-a doua convecvent.
p q pq
1 1 1
1 0 0
0 1 1
0 0 1
Replicaţia (implicaţia conversă) este operatorul fals dacă şi numai dacă prima propoziţie este
falsă, iar cea de-a doua adevărată
În LN: Numai dacă... atunci
În LF: ←
p q p←q
1 1 1
1 0 1
0 1 0
0 0 1
Echivalenţa (implicaţia reciprocă) este operatorul adevărat dacă propoziţiile au aceeaşi valoare
de adevăr.
În LN: Dacă şi numai dacă... atunci
În LF: ≡, ↔
p q p≡q
1 1 1
1 0 0
0 1 0
0 0 1