It is written , but may also be notated , or "Bpq" (in Bocheński notation).
The truth table of
Converse implication is logically equivalent to the disjunction of and
truth-preserving: The interpretation under which all variables are assigned a truth value of 'true' produces a truth value of 'true' as a result of converse implication.
This section is empty. You can help by adding to it. (July 2010)
"Not q without p."
"p if q."