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:
“As no one can tell what was the Roman pronunciation, each nation makes the Latin conform, for the most part, to the rules of its own language; so that with us of the vowels only A has a peculiar sound.”
—Henry David Thoreau (1817–1862)
“This was Pharaoh, direct descendent of our deity Amon, god of the sun, who rules the heavens as Pharaoh rules the earth. Again, he brought treasure, gold, and precious jewels taken from our enemies. For to Pharaoh riches were power and power was to be desired. And also again he brought many captives. For is it not by slaves that one becomes even richer and then has even more power?”
—William Faulkner (1897–1962)
“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)