Skip to main content
Engineering LibreTexts

2.1: Propositional Logic

  • Page ID
    9667
  • To start modeling the ambigous and often vague natural languages we first considerpropositional logic. This form of logic is arguably the easiest to work with, but also has limited expressive power. However even with this form we can already encapsulate many arguments and power a number of applications, for instance digital logic in chip design.