# Conditionals

###### This wiki is incomplete.

A proposition of type \(A \rightarrow B\) is called a conditional proposition which could be understood as follows: “If \(A\), then \(B\).” A conditional proposition has two equivalents:

\(\neg B\rightarrow (\neg A)\)

\(\neg A \vee B\)

In the conditional, proposition \(A\) is called a hypothesis or antecedent, and proposition \(B\) 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:

\(\text{Truth table for conditional } p\rightarrow q\)

Remember, the negation of a conditional type \(A \rightarrow B\) will be

\[\neg (A\rightarrow B) = A \wedge (\neg B).\]

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.