SOLUTION: Write in symbolic form using p,q,r,~,->,v,^, where p,q,r represent the following statements. p: A dog is friendly q: A dog has a tail r: A dog licks faces a. If a dog has a

Question 192807: Write in symbolic form using p,q,r,~,->,v,^, where p,q,r represent the following statements.
p: A dog is friendly
q: A dog has a tail
r: A dog licks faces
a. If a dog has a tail, then it is not friendly
b. If a dog is not friendly, then it does not lick faces.
c. If a dog has a long tail, then either the dog is friendly or the dog lick faces.
d. If a dog licks faces, then the dog is friendly and the dog has a long tail.

For question a I got q->~p
b: ~p->~r
c:
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

Your answers to a. and b. are correct. The problem you have with c. is that you don't have a statement variable definition for "a dog has a long tail" Your choices are to assume that if a dog has a long tail, then it certainly has a tail and use q as your variable, or to define a new variable.

s: A dog has a long tail.

So your answer, depending on your choice above is:

d. Same problem, so:

John

RELATED QUESTIONS
Assume the following statements: P= the termperature is 70 degrees Q= It is raining... (answered by funmath)

Let p, q, and r be the following statements: p: Roses are red q: The sky is blue... (answered by nerdybill)

Let p, q, and r be the following statements: p: It is raining. q: The clouds are... (answered by solver91311)

determine which of the following statements is a tautology p ^ (p->q) or (p->q) <->... (answered by solver91311)

Let p represent a true statement, while q and r represent false statements. Find the... (answered by jim_thompson5910)

Let p, q, and r represent the following statements. p: Jamie is on the train q:... (answered by Theo)

Is this a valid argument, what is the solution. (p→q)→r ~p V q ________ (answered by Edwin McCravy)

Can you prove/show that the following is a tautology, without using a truth table: [(p v... (answered by MathLover1)

Use truth tables to determine if the following arguments are valid. a) p-> (q V r) p (answered by solver91311)