22.4k views
4 votes
Given a conditional statement p - q, which statement is logically equivalent? -р -, ~q ~q -› ~р • q-, p • p- ~q

1 Answer

3 votes

Final answer:

To find a logical equivalent to the conditional statement 'p implies q', we use the contrapositive which is 'not q implies not p'. This is always logically equivalent to the original statement.

Step-by-step explanation:

The student has asked about finding a logical equivalent to a conditional statement represented as p → q. The logical equivalent to this statement is "˜q → ˜p", which is known as the contrapositive of the original statement. The contrapositive states that if not q then not p, and it is always logically equivalent to the original conditional statement.

The other options presented do not represent the contrapositive. The symbols "-р -, ~q", "~q -› ~р • q-", "p • p- ~q" are likely typos or misrepresentations of logical operators. Correct logical notation is crucial in understanding and forming logical equivalences.

User Hoang Pham
by
7.2k points