Question

Logic: Given ((p^¬q)v(¬p^q)) |- (p v q)

Answer 1

Ah, with or without the truth table? And whats your take on how to begin?

Answer 2

I'm pretty sure that truth tables are not allowed

Answer 3

I've started by assuming ¬(p v q) and hoping to prove by contradiction (Reductio Ad Absurdum)

Answer 4

any ideas?

Answer 5

hmm, what is the |-?

Answer 6

have you studied logic before?

Answer 7

because if you've studied logic, then surely you should know what that symbol is...

Answer 8

I have a general idea about logics, from digital electronics. This has to be similar right?

Answer 9

not quite

Answer 10

this is propositional logic

Answer 11

is that a \bot?

Answer 12

if it is, then this contradiction can be easily proved by truth table...

Answer 13

truth tables not allowed

Answer 14

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"

Answer 15

copy and paste?