A community for students.
Here's the question you clicked on:
 0 viewing
anonymous
 one year ago
Please help me to Validate the argument by rules of inference
~R
Q => R
P V Q
Then P ^ ~Q
anonymous
 one year ago
Please help me to Validate the argument by rules of inference ~R Q => R P V Q Then P ^ ~Q

This Question is Closed

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0dunno how to put this to words, but with >, see: http://www.millersville.edu/~bikenaga/mathproof/truthtables/truthtables13.png T F > F F F > T we have ~R and Q=>R given which means Q is also false the only way we can have P V Q is if P is true I'm not quite sure what I'm doing is right

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0It valid (if solve by truth table) but I try to use by rules of inference, I can't solve i wanna know about solution to solve it

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0~R Q => R is modus tollens

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0so now we have modus tollens ~R Q => R .:.~Q  P V Q Then P ^ ~Q  with elimination, we have ~Q P V Q .:. P

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0sorry that's so disorganized

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0and what we will do with P ^ ~Q, how I know it is true

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I don't think there's an argument for it, it's just what we found we got P from elimination and ~Q from modus tolens

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0Then we can use P and ~Q with conjuction ?

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0oh, wow I'm blind yeah

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I feel confuse about definition of Propositional Logic that can use ~Q again

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0do you understand why modus tollens is true logically?

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I dunno I use follow the rule

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0no point in following rules blindly. this is the truth table we're working with\( \begin{array}{lcr} \text{P} & \text{Q} & \text{P}\implies \text{Q}\\ \hline 0 & 0 & 1 \\ 0 & 1 & 1\\ 1 & 0 & 0 \\ 1 & 1 & 1 \end{array} \)

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0modus tollens states that \( p\implies q\\ \text{~}q\\\text{.^.~p} \)

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I think I have more understand it same modus tollens that you said from p => q is T and ~q is T then q = F then if p => q will T and p = F then ~p = T

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0when we're given a statement, we assume it's true the ~ is a negation so p=>q means we only look at the cases where p=>q evaluates to true

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0then we look at the next statement ~q we need to find a place where q is 0

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0the conclusion from modus tollens says we have ~p or p=false

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0and we can see it's true in the truth table

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0Thanks a lot! I quite understand it

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0no problem, what class is this for btw

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0ah, same. I assume you're a fellow CS major

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0out of curiosity, how much calc did you have to take

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I have grade B calc since freshman until second year

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0I'm sorry if i slow to reply I'm not strong in English language, I try to use it more

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0that's the best way to learn a language :) anyhow good luck with your class

anonymous
 one year ago
Best ResponseYou've already chosen the best response.0You too, Good luck and Thanks for everything that you gave me today.
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.