Logic is a tool for careful reasoning.
Software and hardware development
Foundation for programming languages (PL)
Artificial intelligence, database systems
Proposition - atomic entity, true or false
Propositional Calculus
Three different propositional calculi
Logical operators provide ways to combine propositions for calculation. These are:
∧ (And)
∨ (Or)
¬ (Not)
⊃ (Implication)
≡ (Equivalence)