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:
“Let’s start with the three fundamental Rules of Robotics.... We have: one, a robot may not injure a human being, or, through inaction, allow a human being to come to harm. Two, a robot must obey the orders given it by human beings except where such orders would conflict with the First Law. And three, a robot must protect its own existence as long as such protection does not conflict with the First or Second Laws.”
—Isaac Asimov (1920–1992)
“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)
“I shouldn’t want you to be surprised, or to draw any particular inference from my making speeches, or not making speeches, out there. I don’t recall any candidate for President that ever injured himself very much by not talking.”
—Calvin Coolidge (1872–1933)