Reductio ad absurdum in symbolic logic: a durable explainer
logic
Reductio ad absurdum is a form of indirect proof in which to show a statement P is true, you assume ¬P, derive a contradiction, and thereby conclude P. In symbolic logic it map...
Open article