Revision history of "Rules of Inference"

Jump to: navigation, search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 14:28, 15 February 2017AliIybar (Talk | contribs). . (1,352 bytes) (+1,352). . (Created page with "{| class="wikitable" border="1" |- ! Order ! Rule Name ! Formula |- ! 1 | Modus Ponens (M.P.) | p → q p .: q |- ! 2 | Modus Tollens (M.T.) | p → q ~ q .: ~ p |- ! 3 |...")