Unformatted text preview: in interrupt mode.” 4. Construct the truth tables for the following formulas: • ( p → q ) → ( q → p ), • ( p ↔ q ) ⊕ ( ¬ p ↔ q ), (*) 1 • ( p → q ) ∧ ( ¬ p → q ). (*) 5. There are two tribes living on the island of Knights and Knaves: knights and knaves. Knights always tell truth and knaves always lie. You encounter two people A and B. What are A and B if A says, “B is a knight”, and B says, “The two of us are opposite types”? 6. There are two tribes living on the island of Knights and Knaves: knights and knaves. Knights always tell truth and knaves always lie. You encounter two people A and B. What are A and B if A says, “The two of us are both knights”’, and B says, “A is a knave”? (*) 1 A ‘bonus’ problem. 1...
View
Full Document
 Spring '08
 PEARCE
 Logic, Prime number, Logical connective, Firstorder logic

Click to edit the document details