PL202: Logical connectives

5 flashcards

≡

if and only if, biconditional

∨

disjunction (or)

&

Both, Nevertheless (&) Conjunction

~

It is not the case that ... (Negation)

⊃

if-then