Island of Knights and Knaves Jack says: “At least one of us is a knave.” Question: Is Jack a knight or knave? What about Jill? Answer: If Jack is a knave,

Slides:

Advertisements

Similar presentations

Advertisements

Truth Functional Logic

AE1APS Algorithmic Problem Solving John Drake. The island of Knights and Knaves is a fictional island to test peoples ability to reason logically. There.

PARADOX Chi-Kwong Li. A ‘ VISUAL ’ PARADOX : I LLUSION.

CSE 20 DISCRETE MATH Prof. Shachar Lovett Clicker frequency: CA.

Fuzzy Sets and Fuzzy Logic

Solving Word Problems II

Remarks on Mathematical Logic: Paradoxes and Puzzles AAG Selmer Bringsjord The Minds & Machines Laboratory Department of Philosophy, Psychology.

The Island of Knights and Knaves. Knights always tell the truth.

Copyright © Cengage Learning. All rights reserved.

Fuzzy Logic The restriction of classical propositional calculus to a two- valued logic has created many interesting paradoxes over the ages. For example,

CLASSICAL LOGIC and FUZZY LOGIC. CLASSICAL LOGIC In classical logic, a simple proposition P is a linguistic, or declarative, statement contained within.

© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Chapter 1: (Part 2): The Foundations: Logic and Proofs.

CMPF144 FUNDAMENTALS OF COMPUTING THEORY Module 7: Beyond Classical Logic.

2 February. Discussion Questions What’s the difference between Michael and {Michael}? What would happen if we said Michael = {Michael}?

(CSC 102) Discrete Structures Lecture 14.

2.1 Sets ‒Sets ‒Common Universal Sets ‒Subsets 2.2 Set Operations 2.3 Functions 2.4 Sequences and Summations 1.

CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12- Completeness Proof; Self References and Paradoxes 16 th August,

Russel‘s paradox (also known as Russel‘s antimony)

Some Puzzles About Truth (and belief, knowledge, opinion, and lying)

The Island of Knights and Knaves. Raymond Smullyan 1978 A little learning is a dangerous thing; Drink deep, or taste not the Pierian spring: There shallow.

Logic Puzzles Miran Kim Ben Seelbinder Matthew Sgambati.

Logical and Rule-Based Reasoning Part I. Logical Models and Reasoning Big Question: Do people think logically?

Logical Puzzles Truth and Lies. The Island of Rilas On the island of Rilas there are just two types of people: knights and knaves Knights always tell.

MATH 213 A – Discrete Mathematics for Computer Science Dr. (Mr.) Bancroft.

66 As soon as it was day, the elders of the people, both chief priests and scribes, came together and led Him into their council, saying, 67 “If You are.

Lecture 5 Knights and Knaves.. Administration Show hand in form. Show plagiarism form. Any problems with coursework? Google knight and knaves and look.

Chapter 1: The Foundations: Logic and Proofs

Russell’s Paradox Lecture 24 Section 5.4 Fri, Mar 10, 2006.

Gospel presentation MAY, 15, 2014.

CS 2210 (22C:019) Discrete Structures Introduction and Scope: Propositions Spring 2015 Sukumar Ghosh.

Logic Disjunction A disjunction is a compound statement formed by combining two simple sentences using the word “OR”. A disjunction is true when at.

Hilbert’s Progamme Early in C20, the mathematician Hilbert led a programme to formalise maths; to reduce it to a clear set of axioms and show that all.

Barnett/Ziegler/Byleen Finite Mathematics 11e1 Chapter 7 Review Important Terms, Symbols, Concepts 7.1. Logic A proposition is a statement (not a question.

PROCESS OF ELIMINATION INDUCTIVE REASONING. DISCLAIMER Logic is a very complex field of study. Our goal in this unit is just to starting thinking about.

MATH 224 – Discrete Mathematics

CS621 : Artificial Intelligence Pushpak Bhattacharyya CSE Dept., IIT Bombay Lecture 12- Completeness Proof; Self References and Paradoxes 16 th August,

HAWKES LEARNING Students Count. Success Matters. Copyright © 2015 by Hawkes Learning/Quant Systems, Inc. All rights reserved. Section 3.3 Logical Equivalence.

Thinking Mathematically

Dr. Naveed Riaz Design and Analysis of Algorithms 1 1 Formal Methods in Software Engineering Lecture # 25.

Logic Development Problems. Puzzle #1 Smita has a full 8-quart container (Container A) of peanut oil. She wants to share half of the oil with her sister.

 Founded in 1884 by Gottlob Frege and Richard Dedekind  Math can be reduced to 9 simple logical axioms  2 axioms are not logical  Axiom of infinity.

Section 1.1. Propositions A proposition is a declarative sentence that is either true or false. Examples of propositions: a) The Moon is made of green.

CS 270 Lecture 1 In Class Problems. Q1: Logic Puzzle You arrive at the end of a long hallway. There are two knights guarding two doors. One knight always.

 Statement - sentence that can be proven true or false  Truth value – true or false  Statements are often represented using letters such as p and q.

Pastor’s Message 2016 – Disciple Nations for Christ.

Truth Tables for Negation, Conjunction, and Disjunction

CS 2210:0001 Discrete Structures Introduction and Scope: Propositions

Everyone is either a knight or a knave

Thinking Mathematically

Truth Tables and Equivalent Statements

Truth Tables for Negation, Conjunction, and Disjunction

Chapter 8 Logic Topics

Applications of Propositional Logic

Section 3.5 Symbolic Arguments

3.5 Symbolic Arguments.

CS 220: Discrete Structures and their Applications

PHIL 2000 Tools for Philosophers 1st Term 2016

Symbolic Logic 2/25/2019 rd.

Statements of Symbolic Logic

Associativity of Equivalence

Knights and Knaves.

Let Q be the question Let A be “the native is a knight”

8C Truth Tables, 8D, 8E Implications 8F Valid Arguments

2-2 Logic Part 2 Truth Tables.

2-2 Logic Vocab Statement: A sentence that is either true or false

3.5 Symbolic Arguments.

Presentation transcript:

Island of Knights and Knaves Jack says: “At least one of us is a knave.” Question: Is Jack a knight or knave? What about Jill? Answer: If Jack is a knave, then none of them is a knave since his statement is not true. A contradiction. So Jack can’t be a knave. Jack is a knight, then Jill must be a knave since he tells the truth. No contradiction.

Disjunctive syllogism Jack says: “ I am a knave, or Jill is a knight.” Question: Is Jack a knave? Answer: No. If Jack is a knave, then his statement would be true. That can’t be since he is a knave. Jack must be a knight. Then Jill is also a knight, because what Jack said must be true. Disjunctive syllogism: p or q, but not p, so q. Not a paradox.

Truth table statement: “ I am a knave, or Jill is a knight.” JackJillStatementConclusion Knight Truepossible KnightKnaveFalseNot possible KnaveKnightTrueNot possible Knave TrueNot possible.

Barber example (paradox) Statement: In a small town [a closed community], there is a barber who shaves those and only those who do not shave themselves. Question: Who shaves the barber? Answer: If the barber shaves himself, then he cannot shave himself. On the other hand, if the barber does not shave himself, then he has to shave himself. Either case, it is a contradiction.