„Neikvæð neitunarregla“: Munur á milli breytinga

Þar sem ⊢ stendur fyrir rökfræðilega ályktun ("Þess„Þess vegna er P ósönn"ósönn“).

("P„P er hlutmengi Q. x er ekki í Q. Þess vegna er x ekki í P."“)

Röksemdafærslan hefur tvær forsendur. Sú fyrri er skilyrðissambandið eða "ef„ef-þá"þá“ setningin, nefnilega að P gefi til kynna Q. Seinni forsendan er að það sé ósatt að Q. Af þessum forsendum tveimur má álykta að það hljóti að vera ósatt að P. (Hvers vegna? Því ef það væri satt að P, þá væri satt að Q skv. forsendu 1; en það er ekki satt að P skv. forsendu 2.)