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:
“... a large portion of success is derived from flexibility. It is all very well to have principles, rules of behavior concerning right and wrong. But it is quite as essential to know when to forget as when to use them.”
—Alice Foote MacDougall (1867–1945)
“... cooking is just like religion. Rules don’t no more make a cook than sermons make a saint.”
—Anonymous, U.S. cook. As quoted in I Dream a World, by Leah Chase, who was quoted in turn by Brian Lanker (1989)
“I have heard that whoever loves is in no condition old. I have heard that whenever the name of man is spoken, the doctrine of immortality is announced; it cleaves to his constitution. The mode of it baffles our wit, and no whisper comes to us from the other side. But the inference from the working of intellect, hiving knowledge, hiving skill,—at the end of life just ready to be born,—affirms the inspirations of affection and of the moral sentiment.”
—Ralph Waldo Emerson (1803–1882)