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)
“Different rules apply when it gets this late. You know what I mean? It’s, like, after hours.”
—Joseph Minion, U.S. screenwriter, and Martin Scorsese. Peter (Rocco Sisto)
“Rules and particular inferences alike are justified by being brought into agreement with each other. A rule is amended if it yields an inference we are unwilling to accept; an inference is rejected if it violates a rule we are unwilling to amend. The process of justification is the delicate one of making mutual adjustments between rules and accepted inferences; and in the agreement achieved lies the only justification needed for either.”
—Nelson Goodman (b. 1906)