Caracterizarea propoziţiilor compuse

O propoziţie compusă poate fi redusă la o formulă, utilizând

variabile propoziţionale şi operatori logici.
Formulele obţinute pot fi clasificate în funcţie de:
1. Operatorul principal
2. Valoarea de adevăr
 Caracterizarea propoziţiilor compuse

1. Operatorul principal – este ultimul care apare în

construcţia formulei
Exemplu:
(p&q) →~p
 Caracterizarea propoziţiilor compuse

1. Operatorul principal – este ultimul care apare în

construcţia formulei
Exemplu:
(p&q) →~p este o implicaţie
 Caracterizarea propoziţiilor compuse

1. Operatorul principal – este ultimul care apare în

construcţia formulei
Exemplu:
(p&q) →~p este o implicaţie
(~p&q) ↔ (p&~q)
 Caracterizarea propoziţiilor compuse

1. Operatorul principal – este ultimul care apare în

construcţia formulei
Exemplu:
(p&q) →~p este o implicaţie
(~p&q) ↔ (p&~q) este o echivalenţă
 Caracterizarea propoziţiilor compuse

2. Valoarea de adevăr
a)Exemplu:
p→(pvq)
1 1
1 1
0 0
0 0
 Caracterizarea propoziţiilor compuse

2. Valoarea de adevăr
a)Exemplu:
p→(pvq)
1 1 1
1 1 0
0 0 1
0 0 0
 Caracterizarea propoziţiilor compuse

2. Valoarea de adevăr
a)Exemplu:
p→(pvq)
1 111
1 110
0 011
0 000
 Caracterizarea propoziţiilor compuse

2. Valoarea de adevăr
a)Exemplu:
p→(pvq)
11 111
11 110
01 011
01 000
Tautologie (lege logică) – o formulă este tautologie
sau lege logică daca este adevărată pentru orice
combinaţie de valori de adevăr ale componentelor
sale
 Caracterizarea propoziţiilor compuse

b) Exemplu:
(pvq) → p
1 1
1 1
0 0
0 0
 Caracterizarea propoziţiilor compuse

b)Exemplu:
(pvq) → p
1 1 1
1 0 1
0 1 0
0 0 0
 Caracterizarea propoziţiilor compuse

b)Exemplu:
(pvq) → p
111 1
110 1
011 0
000 0
 Caracterizarea propoziţiilor compuse

b)Exemplu:
(pvq) → p
111 1 1
110 1 1
011 0 0
000 1 0
Formulă contingentă – o formulă este contingentă dacă
este adevărată pentru unele combinaţii de valori de
adevăr ale componentelor sale şi este falsă pentru
celelalte combinaţii de valori de adevăr ale
componentelor sale
 Caracterizarea propoziţiilor compuse

c)Exemplu:
(p&q) ↔ (~pv~q)
1 0
1 0
0 1
0 1
 Caracterizarea propoziţiilor compuse

c)Exemplu:
(p&q) ↔ (~pv~q)
1 1 0 0
1 0 0 1
0 1 1 0
0 0 1 1
 Caracterizarea propoziţiilor compuse

c)Exemplu:
(p&q) ↔ (~pv~q)
111 0 0
100 0 1
001 1 0
000 1 1
 Caracterizarea propoziţiilor compuse

c)Exemplu:
(p&q) ↔ (~pv~q)
111 000
100 011
001 110
000 111
 Caracterizarea propoziţiilor compuse

c)Exemplu:
(p&q) ↔ (~pv~q)
111 0 000
100 0 011
001 0 110
000 0 111
Formulă inconsistentă – o formulă este
inconsistentă dacă este falsă pentru orice combinaţie
de valori de adevăr ale componentelor sale