This wiki is incomplete.
A proposition of type is called a conditional proposition which could be understood as follows: “If , then .” A conditional proposition has two equivalents:
In the conditional, proposition is called a hypothesis or antecedent, and proposition is a conclusion or consequent. If the antecedent is true but its consequent is false, as the result we get a false conditional. All other combinations of propositions generate a true conditional. The following table clarifies it:
Remember, the negation of a conditional type will be
If Rafael goes to the beach, then his girlfriend will go with him.
Negation: Rafael goes to the beach, but his girlfriend doesn't go with him.