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:
“Those rules of old discovered, not devised,
Are Nature sill, but Nature methodized;
Nature, like liberty, is but restrained
By the same laws which first herself ordained.”
—Alexander Pope (1688–1744)
“A man often thinks he rules himself, when all the while he is ruled and managed; and while his understanding directs one design, his affections imperceptibly draw him into another.”
—François, Duc De La Rochefoucauld (1613–1680)
“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)