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

answered
User Hoang Pham
by
8.0k points

Related questions

Welcome to Qamnty — a place to ask, share, and grow together. Join our community and get real answers from real people.