𝝨
Part 2 §5: Variables & Functions
Variables, functions, and operators
2-5conjunction7
2-5.1
conjunction
conjunction of and , + and
2-5.2
disjunction
disjunction of and , + or
2-5.3
negation
negation of , + not
2-5.4
implication
implies , + if , then
2-5.5
equivalent
is equivalent to
2-5.6
belonging to
for every belonging to , + the proposition is true
2-5.7
exists
there exists an belonging to for which is true
7 of 7 entries