Presentation is loading. Please wait.

Presentation is loading. Please wait.

Quiz Logic. 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:

Similar presentations


Presentation on theme: "Quiz Logic. 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:"— Presentation transcript:

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)


Download ppt "Quiz Logic. 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:"

Similar presentations


Ads by Google