Tabele de adevăr:

p q p → q p ≡ q p v q 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