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)