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:
“The rules of drinking games are taken more serious than the rules of war.”
—Chinese proverb.
“For rhetoric, he could not ope
His mouth, but out there flew a trope;
And when he happen’d to break off
I’ th’ middle of his speech, or cough,
H’ had hard words ready to show why,
And tell what rules he did it by;”
—Samuel Butler (1612–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)