Propositional Logic

“If the butler had a motive and the butler was alone with the victim then the butler is guilty.”

Define our atomic formulas:

P: The butler had a motive.

Q: The butler was alone.

R: The butler is guilty.

Express the compound formula:

(P & Q) -> R a typeable version of (P ? Q) ? R

Previous slide

Next slide

Back to first slide

View graphic version