Scribd
Upload
124 views

Question Pool - Propositional Logic

This document contains 9 questions assessing skills in propositional logic. The questions cover identifying propositions, rewriting statements in if-then form, using truth tables and logical equivalences to verify logical statements, determining the validity of arguments, assessing logical equivalence, solving logic puzzles about knights and knaves, and deducing guilt or innocence from statements using propositional logic.

Uploaded by

Srishti Lal
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
124 views

Question Pool - Propositional Logic

This document contains 9 questions assessing skills in propositional logic. The questions cover identifying propositions, rewriting statements in if-then form, using truth tables and logical equivalences to verify logical statements, determining the validity of arguments, assessing logical equivalence, solving logic puzzles about knights and knaves, and deducing guilt or innocence from statements using propositional logic.

Uploaded by

Srishti Lal
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

CE/CZ1001PropositionalLogic 2013

Q1. Which of the following statements are (not) propositions. Explain briefly. a. b. c. d. e. f. g. h. 2+2=5 2+2=4 x=3 Every week has a Sunday Distinct parallel lines never meet Catch 22 is a great book! Have you read Catch 22? I have read Catch 22

Q2. Rewrite the following statements in `if/then form: a. b. c. d. e. f. An apple falling on Newtons head was a necessary condition for him to discover gravity. Being a SCE student is a sufficient condition for a student to study CE/CZ1001. Jason will get good grade only if he studied hard. Gravity is sufficient for a gyroscope to work. Passing CE/CZ1001 is a pre-requisite for CE/CZ 2001. A statement is a proposition only if it has a definite truth value.

Q3. Verify ~ ( p ~ q ) (~ p ~ q ) ~ p
a. Byconstructingatruthtable. b. Bydevelopingaseriesoflogicalequivalences.

Q4. Determine whether the following argument is valid:

p r s ts u p w uw
Q5. Consider the following argument in propositional logic:
p pq q (r s) tr
s t

t w

CE/CZ1001PropositionalLogic 2013

Analyze the validity of the above argument. If it is valid, show the proof with the inference rules and logical equivalence laws. If it is not valid, show a counterexample (which results in all premises being true but the conclusion being false). Q6. Given two logical forms: ( p q ) ( q r ) and p r , are they logically equivalent? Explain your answer. Q7. Consider that you are back in the island of knights and knaves which was introduced in the class. That is, knights always tell the truth, and knaves always lie. What are the following two natives, given: A says Both of us are knights and B says A is a knave? Explain your answer.
Q8. You meet two people, John and Jane in the island of knights and knaves, where knights

always tell the truth, while knaves always lie. John says We are both knaves. Determine who is what. Explain your answer. Q9. Three passengers, Benson, George and Andy are suspects for bringing durians in the MRT. They testify under oath, making the following assertions: Benson said: George is guilty and Andy is innocent. George said: If Benson is guilty then so is Andy. Andy said: I am innocent and at least one of the two others are guilty. Assume that everyone is telling the truth. Apply propositional logic based inference rules to deduce who is/are innocent, who is/are guilty. Use the following notations: B to indicate that Benson is innocent, G to indicate that George is innocent, A to indicate that Andy is innocent, and likewise, B to indicate that Benson is guilty, and so on.

You might also like