Got Homework?
Connect with other students for help. It's a free community.
Here's the question you clicked on:
 0 viewing

This Question is Open

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

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

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

dwally89 Group TitleBest ResponseYou've already chosen the best response.0
any ideas?
 2 years ago

arcticf0x Group TitleBest ResponseYou've already chosen the best response.0
hmm, what is the ?
 2 years ago

dwally89 Group TitleBest ResponseYou've already chosen the best response.0
have you studied logic before?
 2 years ago

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

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

dwally89 Group TitleBest ResponseYou've already chosen the best response.0
this is propositional logic
 2 years ago

arcticf0x Group TitleBest ResponseYou've already chosen the best response.0
is that a \bot?
 2 years ago

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

dwally89 Group TitleBest ResponseYou've already chosen the best response.0
truth tables not allowed
 2 years ago

shruti Group TitleBest ResponseYou'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"
 2 years ago

dwally89 Group TitleBest ResponseYou've already chosen the best response.0
copy and paste?
 2 years ago
See more questions >>>
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.