6 terms

Logical Notations

STUDY
PLAY
~
negation
dot
and
V
or
-->
if, then
<-- -->
if and only if
three dots
therefore