Логикалық эквиваленттілік және биимпликация

Concept in logic and mathematics

In logic and mathematics, the logical biconditional, also known as material biconditional or equivalence or biimplication or bientailment, is the logical connective used to conjoin two statements and to form the statement " if and only if " (often abbreviated as " iff "), where is known as the antecedent, and the consequent. Nowadays, notations to represent equivalence include
is logically equivalent to both and , and the XNOR (exclusive nor) Boolean operator, which means "both or neither". Semantically, the only case where a logical biconditional is different from a material conditional is the case where the hypothesis (antecedent) is false but the conclusion (consequent) is true. In this case, the result is true for the conditional, but false for the biconditional. Although Boole used mainly on classes, he also considered the case that are propositions in , and at the time is equivalence. in Frege in 1879;
in Bernays in 1918;
in Hilbert in 1927 (while he used as the main symbol in the article);
in Hilbert and Ackermann in 1928 (they also introduced while they use as the main symbol in the whole book; is adopted by many followers such as Becker in 1933);
(prefix) in Łukasiewicz in 1929 and (prefix) in Łukasiewicz in 1951;
in Heyting in 1930;
in Bourbaki in 1954;
in Chazal in 1996;

and so on. Somebody else also use or occasionally.

Logical equality (also known as biconditional) is an operation on two logical values, typically the values of two propositions, that produces a value of true if and only if both operands are false or both operands are true.). In which case, one must take into consideration the surrounding context when interpreting these words. For example, the statement "I'll buy you a new wallet if you need one" may be interpreted as a biconditional, since the speaker doesn't intend a valid outcome to be buying the wallet whether or not the wallet is needed (as in a conditional). However, "it is cloudy if it is raining" is generally not meant as a biconditional, since it can still be cloudy even if it is not raining.