Last updated Unknown

Status: Tags: Links: Discrete Mathematics

Logic and Formal Reasoning

• Propositional Logic
• Logic Equivalence
  • When two statements have the same values
    • ex) Converting a compound statement to CNF
• Open Statements or Predicates
• Quantifiers
• Discrete Math Theorems
• Discrete Math Rules
• Conjunctive Normal Form (CNF)
• Universes

Questions

Logic

• Knights and Knaves
• Showing logical equivalence using logic inference
• NAND questions
• Proving valid arguments
• Two rooms puzzle

Quantifiers & Predicates

• x can fool y

Resources

• slides 1-11

Backlinks

1

list from Logic and Formal Reasoning AND !outgoing(Logic and Formal Reasoning)

References:

Created:: 2021-09-16 16:27