Please enable JavaScript.
Coggle requires JavaScript to display documents.
Discrete Math (module 1 (lecture 1: propositional logic (Implication…
Discrete Math
module 1
discrete mathematics
lecture 1: propositional logic
logic
Proposition
compound
Implication
hypothesis
conclusion
Conjunction
Disjunction
Negation
Truth Table
Operator precedence, associativity
lecture 2: logical equivalence
satisfiability
tautology
contradiction
Logical equivalence
contrapositive
Converse
Equivalence Laws
DeMorgan's Laws
lecture 3: argument
argument
premise
conclusion
validity
proving
inference rules
lecture 4: predicate logic
pitfalls of propositional logic
need for an additional system
predicate
quantifiers
universal
truth values
T if P(x) T for every x
F if there is an x such that P(x) false
defn
existential
truth values
T if any x in domain such that P(x) T
F if P(x) F for every x in domain
defn
must specify domain