[SL09] Indirect method: exercises


Module: Sentential logic

Quote of the page

The great majority of men and women, in ordinary times, pass through life without ever contemplating or criticising, as a whole, either their own conditions or those of the world at large.

- Bertrand Russell

Help us promote
critical thinking!

Popular pages

  1. What is critical thinking?
  2. What is logic?
  3. Hardest logic puzzle ever
  4. Free miniguide
  5. What is an argument?
  6. Knights and knaves puzzles
  7. Logic puzzles
  8. What is a good argument?
  9. Improving critical thinking
  10. Analogical arguments

Please complete these exercises by filling in the blanks with the correct truth-values. You should find the first four sequents to be valid, and the next four invalid. There might be more than one correct answer even though the answer provided here allows only one of them. Sorry about this.

( P →  ( Q &  ( R → S )))  P ~ S ⊧ ~  ( Q & R )
( P  ↔  ( R →  ( P ∨ ~ Q )))  ~  ( R →  ( P ∨ Q ))  ⊧  Q
( ~ ( P & Q )  &  ~ ( ~ P ∨ ~ Q )) ⊧ ~ ( ~ ( P ∨ Q )  ↔  ( ~ P & ~ Q ))
~ (( ~ P & Q )  ∨  ( R → S ))  ( ~ ( ~ P ∨ ~ Q )  &  ~  ( R → S ))  ⊧ ( ~  (( R → S ) & ~ P )  ↔  ( P ∨  ( R ↔ S )))
 
((( P ∨ Q )  → R )  ↔  (( ~ P & ~ Q ) ↔ R ))  ⊧ ( P ∨ Q )
( P →  ( Q & ~ R )) ( ~ P ∨ ~ ( ~ Q ∨ ~ S ))  ⊧ ( S → ( ~ P ∨ T ))
   
( ~ R  →  ~ Q )  (( ~ P & R )  & ~ Q )  ⊧ ~ ( P  ↔  ( ~ R ∨ Q ))
(( P → Q )  →  ( ~ P ∨ Q ))  ( ~ ( P ∨ Q )  &  ( ~ P & ~ Q ))  ⊧ ~ ( ~ (( P → Q )  &  ( P ∨ ~ Q ))  ∨  ( P ↔ Q ))
       
previous tutorial next tutorial

homepage • top • contact • sitemap

© 2004-2025 Joe Lau & Jonathan Chan