If and only if

(Difference between revisions)
Jump to: navigation, search
m (oops, link not needed)
(yeah... I don't think this will ever grow to something that can't be dealt with at Implication)
Line 1: Line 1:
In [[logic]], the phrase '''if and only if''' means "is logically equivalent to", or "is a [[necessary]] and [[sufficient]] condition for". It is often abbreviated '''iff'''.
+
#REDIRECT [[Implication]] [[Category:Logic]]
 
+
For any statements '''P''' and '''Q''',
+
: '''P''' if and only if '''Q'''
+
means the same thing as:
+
: '''P''' [[implies]] '''Q''', and '''Q''' implies '''P'''.
+
 
+
[[Category:Logic]]
+

Revision as of 11:15, 7 December 2009

  1. REDIRECT Implication
Personal tools
Namespaces
Variants
Actions
wiki navigation
IronChariots.Org
Toolbox