Problem Set: first_order_intro

Jabberwock

A logic problem by Brandon Bennett

Your problem is to use first-order logic to represent the following example of reasoning, and use the Prover9 theorem prover to prove that the reasoning is valid.

Use the following template file to create your Prover9 encoding of the problem: jabberwock.p9

Marks: There are two marks for each sentence, making a total of 8 marks.

Problem Statement

A1 The Jabberwock is a creature with eyes of flame.
A2 All creatures with eyes of flame whiffle and burble.
A3 All creatures that whiffle or burble have claws.
Goal The Jabberwock has claws.

Non-Logical Vocabulary

Predicates: FlameyEyes, Creature, Whiffle, Burble, HasClaws

Constants: Jabberwock