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:
“Trust men, and they will be true to you; treat them greatly, and they will show themselves great, though they make an exception in your favor to all their rules of trade.”
—Ralph Waldo Emerson (1803–1882)
“Children can’t make their own rules and no child is happy without them. The great need of the young is for authority that protects them against the consequences of their own primitive passions and their lack of experience, that provides with guides for everyday behavior and that builds some solid ground they can stand on for the future.”
—Leontine Young (20th century)
“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)