Mon 1 Jun, 2009 06:10 pm - To build on VideCorSpoon's point of the purpose of translating english into logic say you have the very hairy looking argument made by a lawyer in a court room:
"If my client is guilty,... (view)
Sun 31 May, 2009 10:26 am - (=x) will be there exists some x
(\/x) will be for all x
(=x)(\/y)[[Bx AND Ax] AND [(Bx AND Ax AND Cx') AND (By AND Ay -> Dy)] -> [Bx AND Cx' AND Dx]]
I am new to this stuff so my... (view)
Sun 31 May, 2009 09:43 am - I think it might be the following...
1)Anyone is accepted as stated before... Members [B]OR [/B]nonmembers.
2)No one is accepted... Members [B]AND[/B] nonmembers. (The person has to be both at the... (view)