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:

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.

B A

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)