LOGICA. Stabiliti care dintre urmatoarele formule propozitionale reprezinta legi logice:
a) (p → q) → p
b) p → (q → p)
c) p → (p → q)
d) ¬p → (q → q)
e) (p & ¬p) → q
f) (¬p → p) → p (consequentia mirabilis)
g) [p → (q → p)] → q
h) (p → q) → [(p → ¬q) → ¬p]
i) p → [(p → q) → q]
j) ¬p → (p → q) .