A proposition of the type “if p then q” is called a conditional. It is also be written as “p is sufficient for q”, “q is necessary for p”, “p only if q”, “q provided that p” and so on.
We write in symbolically.
Here p is called antecedent (hypothesis) and q is called consequent (conclusion).
“If in is right-angle, then ” is an example of conditional statement by the connectives “if….then”.
A conditional is false only when p is true and q is false. In all other cases it is true.
The above table represents conditional table.