Sunteți pe pagina 1din 18

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

S-ar putea să vă placă și