Provide further motivation for defining p rightarrow q to be true when p is false For the first change, we call the resulting operator imp1.

Kiana Arias

Kiana Arias

Answered question

2022-09-07

Question: Provide further motivation for defining p q to be true when p is false For the first change, we call the resulting operator imp1.
Show that p imp1 q logically equivalent q imp1 p.
p q p i m p 1 T T T T F F F T F F F T

Answer & Explanation

Yareli Hendrix

Yareli Hendrix

Beginner2022-09-08Added 8 answers

Step1
Since p imp1 q is given by the truth table in your question, we see that
p q p i m p 1 q q i m p 1 p T T T T T F F F F T F F F F T T
Step 2
so p imp1 q is logically equivalent to q imp1 p. Notice that p imp1 q is true only when p and q have the same truth value. This operator is usually called bi-implication and is written and is often read as "if and only if".

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?