Proofs:Biconditionals
Jump to navigation
Jump to search
A biconditional of two propositions P and Q takes the form " if and only if ". This can also be written as ", which is equivalent to " and "
A biconditional of two propositions P and Q takes the form " if and only if
". This can also be written as "
, which is equivalent to "
and
"