Propositional Logic

• Propositional logic is a branch of logic that deals with propositions statements that can be either true or false.
• Propositional logic is a branch of logic that deals with propositions statements that can be either true or false. It uses symbols to represent these propositions and logical connectives to combine them into more complex statements.
• A proposition is a declarative statement that has either a truth value of "true” or a truth value of "false“.
• Types of sentences:

  • Declarative
  • Interrogative
  • Imperative
  • Exclamatory
• Truth values:

  • True is denoted by 1
  • False is denoted by 0
• A propositional conventional variable denotes by p, q, r, and s.
• Propositional logical connectives are:

  • and
  • or
  • not