Propositional Logic

Close All | Expand All

Edit   Delete - Last Modified By: rmc at 25/11/2014 12:29:21 PM

Propositional logic is used to determine if a statement in its entirety is true or false. Different statements may be put together to make more complex compound statements.

Propositional logic is important for computer programming.

Edit   Delete - Last Modified By: rmc at 25/11/2014 8:35:29 AM
Edit   Delete - Last Modified By: rmc at 25/11/2014 8:36:13 AM
Edit   Delete - Last Modified By: rmc at 25/11/2014 8:37:18 AM
Edit   Delete - Last Modified By: rmc at 25/11/2014 12:09:27 PM
Edit   Delete - Last Modified By: rmc at 25/11/2014 12:08:54 PM

Below is a link to a set of propositional logic puzzles based on Knights and Knaves. Knights always tell the truth and Knaves always tell lies. Sometimes there are Spies who can choose to tell the Truth or Lies.

Attempt to solve some of these puzzles using what you know of propositional logic. The puzzles are numbered from 1 to 382. The bigger the number the more difficult the puzzle!