PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``Re: Reject proof by contradiction?'' by Algeboy on 2006-06-29 11:31:10
Yeah, I was right, wikipedia said and so was Yark.

http://en.wikipedia.org/wiki/Principle_of_bivalence

I was using the principle of bivalence (interesting we are back to prinicples now) which implies the law of the excluded middle.

Thanks for cleaning up my use of the terms yark.
[ reply | up | top ]
Interact
reply