Rudolf Adamkovič Personal site


Logical connective

A logical connection between statements.

ConnectiveDescriptionTypeNotation
negationnotunary\(\lnot\)
conjunctionandbinary\(\land\)
disjunctionorbinary\(\lor\)
conditionalif, thenbinary\(\implies\)
biconditionalif and only if, thenbinary\(\iff\)
exclusive disjunctioneither, orbinary\(\oplus\)

© 2024 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and the secret alien technologies of yesteryear.