KODEKS REGUŁ WNIOSKOWANA DLA RACHUNKU ZDAŃ

~~ α

α

------ ON (NN)

------ DN

α

~~ α

α ∧ β

α ∧ β

α

------- ------- OK

β

α

β

------- DK

α ∧ β

α ∨ β

α ∨ β

α

β

~α

~β

-------

------- DA

----------

-------- OA

α ∨ β

α ∨ β

β

α

α → β

α → β

α

~ β

-------- MPP (RO)

-------- MTT

β

~α

α ↔ β

α ↔ β

α → β

-------- -------- OE (OR) β → α

α → β

β → α

------- DE (DR)

α ↔ β

~(α ∧ β)

~(α ∨ β)

----------

NK

----------

NA

~α ∨ ~β

~α ∧ ~β

~(α → β)

~(α ↔ β)

~(α ↔ β)

-----------

NI

-----------

-----------

NE (NR)

α ∧ ~β

~α ↔ β

α ↔ ~β