Question 289
0 views
Skip to first unread message
Brittany Blassingill
Apr 18, 2010, 6:48:20 PM4/18/10
to utexas-cs313k-spring2010
Ok, I used the existential hypothesis rule to rename the formula into:
(p a) --> (p x).
This looks false to me, but just looking at the original problem makes
it look like it should true. Am I missing something here?
--
Subscription settings: http://groups.google.com/group/utexas-cs313k-spring2010/subscribe?hl=en
(p a) --> (p x).
This looks false to me, but just looking at the original problem makes
it look like it should true. Am I missing something here?
--
Subscription settings: http://groups.google.com/group/utexas-cs313k-spring2010/subscribe?hl=en
Reply all
Reply to author
Forward
0 new messages