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 it rains or it is too hot, then the tourist trade declines.
  • If the tourist trade declines then the police force is happy.
  • The police force is not happy.
• Conjecture
  • It is not too hot.

Challenge problem