UnderGround Forums
 

PhilosophyGround >> ATTN: Dogbert (logic ?)


12/17/05 9:35 PM
Ignore | Quote | Vote Down | Vote Up
winnidon
Send Private Message Add Comment To Profile

Edited: 17-Dec-05
Member Since: 11/30/2002
Posts: 129
 
Hey Dogbert (or anyone else) I have another logic question that I'm having problems w/: Where A is a quantifier free sentence, prove by induction that a set containing all the atomic subsentences of a sentence A either implies A or implies A's negation. You may omit the cases of disjunction, the conditional and the biconditional Any ideas on how to prove this?
12/18/05 8:46 PM
Ignore | Quote | Vote Down | Vote Up
winnidon
Send Private Message Add Comment To Profile

Edited: 18-Dec-05
Member Since: 11/30/2002
Posts: 130
ttt for some help!
12/19/05 10:01 AM
Ignore | Quote | Vote Down | Vote Up
Dogbert
Send Private Message Add Comment To Profile

Edited: 19-Dec-05
Member Since: 01/01/2001
Posts: 15077
Induction on the length of a formula.

Reply Post

You must log in to post a reply. Click here to login.