MikeMHz Posted October 28, 2012 Posted October 28, 2012 Hey, so I think I know how to do disjunction elimiation... Where I am given A∨B I can assume A => C and B => C, so the result is C after disjunction elimination. Is this always the correct method? For example if I am given: A∨B --- ∨E A How can I prove that this is not sound? Simply by doing what I did above?
Recommended Posts
Create an account or sign in to comment
You need to be a member in order to leave a comment
Create an account
Sign up for a new account in our community. It's easy!
Register a new accountSign in
Already have an account? Sign in here.
Sign In Now