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
8.0k points

Related questions

Welcome to QAmmunity.org, where you can ask questions and receive answers from other members of our community.

9.4m questions

12.2m answers

Categories