About: If and only if   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

If and only if (shortened to iff) is a logical connective between statements which means that the truth of either one of the statements requires the truth of the other. Thus, either both statements are true, or both are false. To put it another way, the first statement will always be true when the second statement is, and will only be true under those conditions. The output of iff is equivalent to the logical negation of the output of an exclusive or operation. An if and only if between statements p and q is written as p ↔ q. The truth table of iff is:

AttributesValues
rdfs:label
  • If and only if
rdfs:comment
  • If and only if (shortened to iff) is a logical connective between statements which means that the truth of either one of the statements requires the truth of the other. Thus, either both statements are true, or both are false. To put it another way, the first statement will always be true when the second statement is, and will only be true under those conditions. The output of iff is equivalent to the logical negation of the output of an exclusive or operation. An if and only if between statements p and q is written as p ↔ q. The truth table of iff is:
sameAs
dcterms:subject
abstract
  • If and only if (shortened to iff) is a logical connective between statements which means that the truth of either one of the statements requires the truth of the other. Thus, either both statements are true, or both are false. To put it another way, the first statement will always be true when the second statement is, and will only be true under those conditions. The output of iff is equivalent to the logical negation of the output of an exclusive or operation. An if and only if between statements p and q is written as p ↔ q. The truth table of iff is:
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software