Beskrivning av
Formelblad logik för D1 och IT2, vt 2004
Först kommer reglerna för naturlig deduktion enligt
"Inference Rules for Sentential Logic"
från framsidans insida i Forbes bok.
De alternativa E- och I-reglerna för dubbel implikation, se
sammanfattningen av föreläsning 5
(ps-fil)
(pdf-fil).
"Inference Rules for First-Order Logic"
från baksidans insida i Forbes bok.
Sedan kommer SI-regler enligt
stycket "Rule of Sequent Introduction" mitt på sid. 122,
reglerna (a) till (r) på sidan 123 (med förklaringar),
"Extension (1) to the Rule of Sequent Introduction", sid. 204,
"Extension (2) to the Rule of Sequent Introduction", sid. 206 i Forbes.
Därefter tablåregler enligt
diagrammen mitt på sid. 69,
diagrammen på sid. 212 i Forbes bok.
Sist står så Peanos axiom P1-P7 enligt
kompletteringsmaterialet K1.