a.
Les axiomes
AX1. (pvq)? p
AX2. p? (pvq)
AX3. (pvq)? (qvp)
AX4. (pvq)? [(rvp) ? (rvq)]
AX5. p? p
AX6. (p?q)? (p?q)
AX7. S p? p
AX6. S (p?q)? (Sp?Sq)
AX9. Pp? Sp
AX10. Pp? p
AX11. P (p?q)? (Pp?Pq)
b. Les definitions
Déf.1: p?q = df ~pvq Déf.1: p?q = df ~pvq
Déf.2: pËq = df ~ (~pv~q)
Déf.3: (pq) = df.(p?q)Ë(q?p)
= df. ~ (~ (~ pvq)v~ (~ qvp))
Déf.4: p= df. ~ ~p
Déf.5: -3=déf. (?)
Déf.6: = = déf ( -3)Ë (-3)
Déf.7: Sp = p
Déf.8: Sp = p
Déf.9: Pp = df p
Déf.10: Pp =df. p
| 
