dwally89
Logic: Given ((p^¬q)v(¬p^q)) |- (p v q)
Delete
Share
This Question is Open
arcticf0x
Best Response
You've already chosen the best response.
0
Ah, with or without the truth table? And whats your take on how to begin?
dwally89
Best Response
You've already chosen the best response.
0
I'm pretty sure that truth tables are not allowed
dwally89
Best Response
You've already chosen the best response.
0
I've started by assuming ¬(p v q) and hoping to prove by contradiction (Reductio Ad Absurdum)
dwally89
Best Response
You've already chosen the best response.
0
any ideas?
arcticf0x
Best Response
You've already chosen the best response.
0
hmm, what is the |-?
dwally89
Best Response
You've already chosen the best response.
0
have you studied logic before?
dwally89
Best Response
You've already chosen the best response.
0
because if you've studied logic, then surely you should know what that symbol is...
arcticf0x
Best Response
You've already chosen the best response.
0
I have a general idea about logics, from digital electronics. This has to be similar right?
dwally89
Best Response
You've already chosen the best response.
0
not quite
dwally89
Best Response
You've already chosen the best response.
0
this is propositional logic
arcticf0x
Best Response
You've already chosen the best response.
0
is that a \bot?
arcticf0x
Best Response
You've already chosen the best response.
0
if it is, then this contradiction can be easily proved by truth table...
dwally89
Best Response
You've already chosen the best response.
0
truth tables not allowed
shruti
Best Response
You've already chosen the best response.
0
Let be .
Show that but that neither nor
(Note: this question is using Propositional logic)
My current attempt is this:
1. Given
2. Assume
3. Assume
4. Using "OR introduction"
5. Contradiction in lines 2 and 4
6. Derive using Reductio Ad Absurdum
7. Assume
8. Using "OR introduction"
9. Contradiction in lines 2 and 8
10. Derive using Reductio Ad Absurdum
11. Using "AND introduction"
dwally89
Best Response
You've already chosen the best response.
0
copy and paste?