Download presentation
Presentation is loading. Please wait.
Published byAmelia Hopkins Modified over 9 years ago
1
Quiz Logic
2
Answer with True or False: 1a) If then A and B must have the same value 1b) If a sentence is valid then it is satisfiable Translate into FOL: 2a) All students love AI 2b) At least 2 students love AI 2c) At most 2 students love AI 2d) If a student loves AI then s/he will get an A-grade.
3
Solution 1a) False 1b) True 2a) For all x Student(x) => LoveAI(x) 2b) There exists x,y Student(x) ^ Student(y) ^ LoveAI(x) ^ LoveAI(y) ^ ~(x=y) 2c) For all x,y,z Student(x) ^ Student(y) ^ Student(z) ^ LoveAI(x) ^ LoveAI(y) ^ LoveAI(z) => x=y v x=z v y=z 2d) For all x Student(x) ^ LoveAI(x) => ReceiveGrade(x,A)
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.