PROPOSITIONAL LOGIC

• Logic


  Study of general patterns of reasoning, without reference to particular meaning or contexts
• Propositional logic


  Logic of compound statements built from simpler statements using so-called Boolean connectives
• Proposition/Statement


  A proposition or statement is used to describe any mathematical structure. If a sentence can be judged to be true or false but not both, it is called a statement or proposition.
• 4 types of sentences

  • Declarative
  • Interrogative
  • Exclamatory
  • Imperative
• Simple statement


  A statement which has only one subject and one predicate.
• Compound statement


  A statement which is formed of two or more than two simple statements. The compound statement is formed by connecting the simple statements with the help of the words 'and', 'or', 'if'…then', 'if and only if'.
• Compound statements


  • John is an intelligent boy and he will join the Quiz Bee.
  • John is an intelligent boy or he will join the Quiz Bee.
  • If John is intelligent then he will join the Quiz Bee.
  • John will join the Quiz Bee if and only if he is intelligent.
• Compound statements


  • Andrew is a CPSU VEC student AND Andrew is a scholar.
  • Andrew is a CPSU VEC student OR Andrew is a scholar.
  • If Andrew is a CPSU VEC student THEN Andrew is a scholar.
  • Andrew is a CPSU VEC student IF AND ONLY IF Andrew is a scholar.