User:1sfoerster/truth

"If Then" is called the "material conditional." "If p Then q" if conventionally compared to the English construction "If...then...", but the conditional statement "p →  q" does not specify a causal relationship between p and q. It is to be understood as "if p is true, then q is also true" such that the statement "p →  q" is false only when p is true and q is false.

"Then IF" is called the "Converse Implication." It might be better stated "Q if P."