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 and/or inference:
“There are two great rules in life, the one general and the other particular. The first is that every one can in the end get what he wants if he only tries. This is the general rule. The particular rule is that every individual is more or less of an exception to the general rule.”
—Samuel Butler (1835–1902)
“The inference is, that God has restated the superiority of the West. God always does like that when a thousand white people surround one dark one. Dark people are always “bad” when they do not admit the Divine Plan like that. A certain Javanese man who sticks up for Indonesian Independence is very lowdown by the papers, and suspected of being a Japanese puppet.”
—Zora Neale Hurston (1891–1960)