A community for students.
Here's the question you clicked on:
 0 viewing
dwally89
 3 years ago
Logic: Given ((p^¬q)v(¬p^q))  (p v q)
dwally89
 3 years ago
Logic: Given ((p^¬q)v(¬p^q))  (p v q)

This Question is Open

arcticf0x
 3 years ago
Best ResponseYou've already chosen the best response.0Ah, with or without the truth table? And whats your take on how to begin?

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0I'm pretty sure that truth tables are not allowed

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0I've started by assuming ¬(p v q) and hoping to prove by contradiction (Reductio Ad Absurdum)

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0have you studied logic before?

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0because if you've studied logic, then surely you should know what that symbol is...

arcticf0x
 3 years ago
Best ResponseYou've already chosen the best response.0I have a general idea about logics, from digital electronics. This has to be similar right?

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0this is propositional logic

arcticf0x
 3 years ago
Best ResponseYou've already chosen the best response.0if it is, then this contradiction can be easily proved by truth table...

dwally89
 3 years ago
Best ResponseYou've already chosen the best response.0truth tables not allowed

shruti
 3 years ago
Best ResponseYou've already chosen the best response.0Let 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"
Ask your own question
Sign UpFind more explanations on OpenStudy
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.