Propositional Logic (PRP)

Logic features

• Propositions are true or false (boolean)
• Formulae can be negated, disjoined, conjoined, implied, implied-by, equivalent, inequivalent

Problem

• Axioms
  • If the horse races are fixed or the bookies are crooked, then the tourist trade declines.
  • If the tourist trade declines then the police force is happy.
  • The police force is not happy.
• Conjecture
  • The horse races are not fixed

Challenge problem