Notes tagged MathematicalLogic

• Predicate Logic

  Oct 13, 2023 note    DiscreteMath  MathematicalLogic

  

  An extension of propositional logic that involves variables and quantifiers.

  Read More

• Propositional Logic

  Oct 12, 2023 note    DiscreteMath  MathematicalLogic

  

  A system that deals with statements that are either true or false

  Read More

• Propositions

  Oct 11, 2023 note    DiscreteMath  MathematicalLogic  LogicalReasoning

  Declarative sentences that are either true or false (but not both)

  Read More