Tiga belas aturan dasar itu meliputi:
1. Konjunsi Introduksi
2. Konjungsi Eliminasi
3. Disjungsi Introduksi
4. Disjungsi Eliminasi
5. Implikasi Introduksi
6. Implikasi Eliminasi
7. Negasi Introduksi
8. Negasi Eliminasi
9. Falsum Introduksi
10. Falsum Eliminasi
11. Equivalence Introduksi
12. Equivalence Eliminasi
12. Iterasi





sumber gambar : wikipedia