dyadic operator

In logic, a dyadic operator is a symbol that combines two propositions to form a new proposition. These operators are fundamental to the propositional calculus, a basic branch of logic that deals with complete, unanalyzed propositions.

The common dyadic operators and their meanings are:
* Conjunction (symbolized as \u00b7): Represents "and." The resulting proposition is true only if both input propositions are true.
* Disjunction (symbolized as \u2228): Represents "or." The resulting proposition is true if at least one of the input propositions is true. This can be inclusive (one or both) or exclusive (one but not both).
* Implication (symbolized as \u2283): Represents "if... then..." or "implies." The resulting proposition is false only if the first proposition is true and the second is false.
* Equivalence (symbolized as \u2261): Represents "if and only if." The resulting proposition is true if both input propositions have the same truth value.

These operators are truth-functional, meaning their truth value is entirely determined by the truth values of their arguments.12