Convert the following statement using an "if-then" structure.
john doesn't own a dog, or he owns a cat. john doesn't own a dog, or he owns a cat.
choose the correct statement:
a. if john doesn't own a cat, then he owns a dog
b. if john owns a cat, then he owns a dog
c. if john doesn't own a dog, then he owns a cat
d. if john owns a dog, then he owns a cat

  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 ...

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