0% found this document useful (0 votes)
22 views2 pages

September 27 2012 Answers

This document summarizes a CSE311 quiz section that took place on September 27, 2012. It discusses four main topics: [1] introductions, [2] a logic puzzle about knights and knaves on an island, [3] truth tables for implication, and [4] using implication to express conditional statements in English. De Morgan's laws are also explained for rewriting implications.

Uploaded by

kasmss
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
22 views2 pages

September 27 2012 Answers

This document summarizes a CSE311 quiz section that took place on September 27, 2012. It discusses four main topics: [1] introductions, [2] a logic puzzle about knights and knaves on an island, [3] truth tables for implication, and [4] using implication to express conditional statements in English. De Morgan's laws are also explained for rewriting implications.

Uploaded by

kasmss
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

CSE311 Quiz Section: September 27, 2012

Introductions

Lets all introduce ourselves!

Knights and Knaves

You are on an island of knights and knaves. Knights always tell the truth and knaves always lie. You encounter two people, A and B . Determine, if possible, what the two people are: 1. A says At least one of us is a knave and B says nothing. A is a knight and B is a knave. 2. A says The two of us are both knights and B says A is a knave A is a knave and B is a knight. 3. A says I am a knave or B is a knight and B says nothing. Both are knights. 4. Both A and B say I am a knight Either one could either thing.

3
p T T F F

Implication operator: p q
q T F T F pq T F T T p q T F T T

Truth Table:

You can write p q as p q . Can you see why? Compare the truth tables.

Implications
1. It snows whenever the wind blows from the northeast. If it blows from the Northeast, then it snows.

Express each of these statements in the form if p, then q in English.

2. The apple trees will bloom if it stays warm for a week. If it stays warm for a week, then the apple trees will bloom. 3. That the Pistons win the championship implies that they beat the Lakers. If the Pistons are the champions, then they must have beat the Lakers. 4. It is necessary to walk 8 miles to get to the top of Longs Peak. If you are at Longs Peak, then you must have walked 8 miles. 5. To get tenure as a professor, it is sucient to be world-famous. If you are world-famous, then you can get tenure as a professor. 6. Your guarantee is good only if you bought your CD player less than 90 days ago. If your guarantee is good, then you must have bought your CD player less than 90 days ago. For the last one: Some students thought the implication goes the opposite way. Any easy way to see why that is not the case is the following: Suppose that for your guarantee to be good, you must fulll a set of conditions. One of them is the 90 days condition. For the sake of the argument, suppose that the other one is that you must be at least 25 years old. Then notice that the fact that you bought your CD player less than 90 days ago does not suce for your guarantee to be good. On the other hand, if your guarantee is good the it must mean that you bought the CD player at most 90 days ago.

De Morgans Law

We know that we can rewrite p q as p q . What is (p q ) equivalent to? Use De Morgans law. Intuitively, explain what is going on. We know that the only assigment of values to p, q for which the implication is false, is when p is True and q is False. We have that: (p q ) (p) q p q This is a compound proposition created by conjoining p, q , by the logical AND. Therefore it is bound to be True only for a specic assignment of values and that is p =True, q =False, which is precisely when the implication is False.

You might also like