Logical implication truth table

In fact, implied propositions are mainly judged by reasoning.

As long as the inference is true, the proposition must be true; When the inference is false, it depends on whether the hypothesis is consistent with the truth value of the inference. If they are consistent, the proposition is true; If it is inconsistent, the proposition is false.

Explanation:

"The hypothesis is false and the inference is true." Hypothesis is a hypothesis because it is impossible to know its true value, so as long as the inference is true, the proposition must be true.

For example, "If it rains at night, I won't go running". And if it didn't rain at night, I still didn't go running, just because I ate too much, hehe ~ ~ So, this happened, so the proposition was established.

"The hypothesis is true and the inference is false." The hypothesis in the proposition has been established, and the inference obtained is false, that is, the event did not occur according to the logical process in the proposition, so the whole implied proposition is false.

For example, it is still the above example. It rained at night, but I went running, which is definitely against the proposition in essence, so the whole proposition is false.