Opna aðalvalmynd

Breytingar

m
ekkert breytingarágrip
:¬Q
:⊢ ¬P
Þar sem ⊢ stendur fyrir rökfræðilega ályktun ("Þess„Þess vegna er P ósönn"ósönn“).
 
Eða með [[mengjafræði]]legri framsetningu:
:∴x∉ P
 
("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.)
 
Eftirfarandi er dæmi um röksemdafærslu af þessu tagi: