Iff : If and only if
In mathematics, logic and technical fields that depend on it, iff is used as an abbreviation for "if and only if". It is often, not always, written italicized: iff. The phrase "'P' is necessary and sufficient for 'Q'" is also sometimes used for "P iff Q".A sentence that is composed of two other sentences joined by "iff" is called a biconditional. Iff joins two sentences to form a new sentence. It should not be confused with logical equivalence which is a description of a relation between two sentences. The biconditional "A iff B" uses the sentences A and B, describing a relation between the states of affairs A and B describe. By contrast "'A' is logically equivalent to 'B'" mentions the two sentences: it describes a relation between those two sentences, and not between whatever matters they describe.
(The distinction is a very confusing one, and has led many a philosopher astray. Most of the time, whenever "A iff B" is true, "'A' is logically equivalent to 'B'" is also true, and vice versa. Nonetheless these sentences do not say the same thing. See W. V. Quine's Mathematical Logic, Section 5.)
The corresponding logical symbols are "↔" and "⇔".
When proving the statement "P iff Q", it is equivalent to prove both the two statements "if P, then Q" and "if Q, then P".
The abbreviation appeared in print for the first time in John Kelley[?]'s 1955 book General Topology. Its invention is often credited to the mathematician Paul Halmos[?], but in his autobiography he states that he borrowed it from puzzlers.
In philosophy and logic, for example, "iff" is used to indicate definitions, since definitions are supposed to be universally quantified biconditionals. Here are some examples of true statements that use "iff"—true biconditionals (the first is an example of a definition):
- A person is a bachelor iff that person is an unmarried but marriagable man.
- "Snow is white" (in English) is true iff "Schnee ist weiss" (in German) is true.
- For any p, q, and r: (p & q) & r iff p & (q & r). (Since this is written using variables and "&", the statement would usually be written using "↔", or one of the other symbols used to write biconditionals, in place of "iff").
- x = 2 iff x + 1 = 3
Playfair, a lady the
sounded like liquid coming out of an inverted bottle. "Is he really
prolonged residence abroad. "Was there a woman in the case?"
"Put it in the plural, and you'll be nearer right," laughed Mrs.
dangerous."
Honora seemed to be looking down on them from a great height, and
reputation for astuteness, after that evening, was secure. He had sat
probably at the root of most prophecies. More than once that summer Mr.
known as his list of advisers: a sheepfold of ewes, some one had called
to this, intuition told him that he had taken the name of a deity in
after-dinner conversation to which we are not supposed to listen.
He found Jerry Shorter in a receptive mood, and drew him into Cecil
his lifework of keeping a record of prize winners.
"I believe there is something between Mrs. Spence and Hugh Chiltern,
respect for his friend's diagnoses in these matters. "She was.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|