Next:
3 Quantifers
Up:
Module 0053: Symbols for
Previous:
1 About this module
2
Logical operators
means
or
(disjunction)
means
and
(conjunction)
means
implies
, also known as
is a sufficient condition for
.
same as above.
means
if and only if
.
: same as above
means not (negation)
.
Copyright © 2006-09-27 by Tak Auyeung