Propositional Logic: SEMANTICS

• Multiple interpretations

  • Assignment to each variable either T or F
  • Assignment of T or F to each connective via defns

Note: (P ? Q) equivalent to ? P ? Q

Previous slide

Next slide

Back to first slide

View graphic version