E2. Să se verifice dacă următoarele formule
sunt tautologii:
a) (pvq) → (qv p):
b) (p^q) → (q^p):
(comutativitatea disjuncției şi conjuncției)
c) pv (qvr) → (pvq) vr;
d) p^(q^r) → (p^q) ^r;
(asociativitatea disjuncției şi conjuncției)
e) pv (q^r) → (pva)^(pvr);
(distributivitatea disjuncției față de
conjuncție)
f) p^ (qvr) → (p^q) v (p^r);
(distributivitatea conjuncției față de
disjuncție)
g) ((p→q)^p) →q. (modus ponens sau
regula concluziei)