quiz logic. answer with true or false: 1a) if then a and b must have the same value 1b) if a...
TRANSCRIPT
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)