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:
“The great challenge which faces us is to assure that, in our society of big-ness, we do not strangle the voice of creativity, that the rules of the game do not come to overshadow its purpose, that the grand orchestration of society leaves ample room for the man who marches to the music of another drummer.”
—Hubert H. Humphrey (1911–1978)
“The average educated man in America has about as much knowledge of what a political idea is as he has of the principles of counterpoint. Each is a thing used in politics or music which those fellows who practise politics or music manipulate somehow. Show him one and he will deny that it is politics at all. It must be corrupt or he will not recognize it. He has only seen dried figs. He has only thought dried thoughts. A live thought or a real idea is against the rules of his mind.”
—John Jay Chapman (1862–1933)
“Rules and particular inferences alike are justified by being brought into agreement with each other. A rule is amended if it yields an inference we are unwilling to accept; an inference is rejected if it violates a rule we are unwilling to amend. The process of justification is the delicate one of making mutual adjustments between rules and accepted inferences; and in the agreement achieved lies the only justification needed for either.”
—Nelson Goodman (b. 1906)