Wierd Truth Table
- From: "Protoman" <Protoman2050@xxxxxxxxx>
- Date: 5 Mar 2006 00:01:17 -0800
I was playing around with prop logic and I made this strange truth
table:
P1 P2 C
A B A->B ~B Therefore ~A
---------------------------------------------
1 1 1 0 0
0 1 1 0 1
1 0 0 1 0
0 0 1 1 1
Apparently, it's impossible to get a case where the premises are both
false...at all!!!!!!!!! And what's even stranger is P1=1 and P2=0 shows
up twice!!!! And C is different in both!!!!!! that Is this some wierd
absurdity in prop logic, or did I make an error? Could you show me an
example of this argument in English? Thanks!!!!!!!!
NB: P1 and P2 are premises; C is the conclusion
.
- Follow-Ups:
- Re: Wierd Truth Table
- From: Jeffrey Ketland
- Re: Wierd Truth Table
- From: The Ghost In The Machine
- Re: Wierd Truth Table
- From: Jeffrey Ketland
- Re: Wierd Truth Table
- From: Owen
- Re: Wierd Truth Table
- From: Roberto Vescarelli
- Re: Wierd Truth Table
- From: William Elliot
- Re: Wierd Truth Table
- Prev by Date: Re: Comparing Proofs of Rosser's 1936 Theorem
- Next by Date: Re: Sorry Godel - All Truths are Provable
- Previous by thread: Further Reduction of the General Incompleteness Principle
- Next by thread: Re: Wierd Truth Table
- Index(es):