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
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