Rules of Inference
Like all connectives in first-order logic, the biconditional has rules of inference that govern its use in formal proofs.
Read more about this topic: Logical Biconditional
Famous quotes containing the words rules of, rules and/or inference:
“Each person calls barbarism whatever is not his or her own practice.... We may call Cannibals barbarians, in respect to the rules of reason, but not in respect to ourselves, who surpass them in every kind of barbarity.”
—Michel de Montaigne (1533–1592)
“[O]ur rules can have authority over such natural rights only as we have submitted to them. The rights of conscience we never submitted, we could not submit. We are answerable for them to our God.”
—Thomas Jefferson (1743–1826)
“I shouldn’t want you to be surprised, or to draw any particular inference from my making speeches, or not making speeches, out there. I don’t recall any candidate for President that ever injured himself very much by not talking.”
—Calvin Coolidge (1872–1933)