Answer:
D. If John owns a dog, then he owns a cat
Step-by-step explanation:
The implication p → q (if p, then q) has the same truth table as the logical expression ~p∨q. You have the expression ...
~(John owns a dog) ∨ (he owns a cat)
Matching parts of this expression to the components of the expression ~p∨q, we see we can choose ...
- p = John owns a dog
- q = he owns a cat
and put those into the structure of the implication: if p, then q.
If John owns a dog, then he owns a cat. . . . . matches choice D