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:
“... a large portion of success is derived from flexibility. It is all very well to have principles, rules of behavior concerning right and wrong. But it is quite as essential to know when to forget as when to use them.”
—Alice Foote MacDougall (1867–1945)
“Learn hence for ancient rules a just esteem;
To copy Nature is to copy them.”
—Alexander Pope (1688–1744)
“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)