CS157 Contest: Category 1 -- Propositional Logic

For every problem in the category, the premises and the conclusion are arbitrary sentences in Propositional Logic.

Because there are no background axioms for this category, you need hand nothing in.

Background Axioms

  none

Sample Premises

  (or p q)
  (=> p r)
  (=> q r)
  (=> q s)

Sample Conclusion

  r