Please enable JavaScript.
Coggle requires JavaScript to display documents.
LOGIC (Logic (logical connectives (IMPLIES (converse, contraposition,…
LOGIC
Logic
logical connectives
OR
IMPLIES
converse
contraposition
conditional proofs
AND
IF and only IF
NOT
logical equivalence
open statements
truth values
TRUE
FALSE
quantifiers
for all
there exists
laws
Distributive
de Morgan
Tautologies and Contradictions
types of statements
Relations and Functions
Relations
binary relations
Functions
surjection
injection
composition
bijection
image & preimage
max and min
domain and range
Cartesian Products
Ordered pairs
Sets
completeness axiom
archimedian property
supremum and infimum
indexed familion