Tabele de adevăr:

p q p→q p≡q pvq p·q p/q

1 1 1 1 1 1 0
1 0 0 0 1 0 1
0 1 1 0 1 0 1
0 0 1 1 0 0 1

Functori:

~ negaţie, non p
→ implicaţie, p implică q
≡ echivlenţă, p echivalent cu q
· conjuncţie, p şi q
v disjuncţie, p sau q
/ incompatibilitate, p incompatibil cu q

Regulă: pentru a construi un tabel de adevăr trebuie să ştim că numărul maxim de

combinaţii dintre valorile de adevăr care formează liniile din tabele se calculează cu
ajutorul formulei 2n, unde 2 este numărul valorilor de adevăr – adevărat (1) şi fals (0) –,
iar n este numărul variabilelor.

Exerciţii:

1. ((p → q) · p) → q
2. ((p → q) · ~q) → ~p
3. ((p ≡ q) · p) → q
4. ((p/q) · p) → ~q
5. ((p v q) · ~p) → q