View source

From Logic

for The Law of Noncontradiction

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in one of the groups: Users, Bureaucrats.

You can view and copy the source of this page:





The Law of Noncontradiction can be proven using [[Propositional Logic]]:

Proof (by reductio):

1) (A & ~A) [Proposition]
2) A [Conjunction elimination from 1]
3) ~A [Conjunction elimination from 1]
4) ~(A & ~A) [Reductio, 1 - 3]

QED

Return to The Law of Noncontradiction.

Retrieved from "http://editthis.info/logic/The_Law_of_Noncontradiction"

Views

Personal tools

Log in

Search

EditThis.info tools

Toolbox

Other sites

Hosting costs for this site are about $100 per month. Help keep EditThis.info ad free!