Animated Logo

IMP

Table of Contents

What is a
Logical Proposition

True Value
and
NOT

AND and OR

XOR

IMP

EQV

Logical Formula
and
Calculation Order

Japanese

TEST

It is also possible to connect two propositions with imply (in short, IMP). The proposition "that flower is red" IMP "that fruit is sweet," is equivalent to "if that flower is red, then that fruit is sweet." Between the two connected propositions, the first is the hypothesis and the second is the result. In the language of logic, IMP is called a connotation or an implication.

The true value list is shown below.

A B A IMP B
F F T
F T T
T F F
T T T

Note that if the premise is false, the formula constructed will be true regardless of how true or false the result turns out to be. This can be understood if we consider the proposition: "if the flower is transparent, then the fruit does not have any taste (considering that there are no transparent flowers)." The formula is shown below:

F IMP F=T
F IMP T=T
T IMP F=F
T IMP T=T

The formula will be false only when the premise is true and the result is false.