Suppose you are given some facts in First-Order Logics: a) Andi is a professor b) All professors are people. c) Ani is t
Posted: Tue Nov 23, 2021 9:08 am
Suppose you are given some facts in First-Order Logics:
a) Andi is a professor
b) All professors are people.
c) Ani is the dean.
d) All Deans are professors.
e) All professors consider the dean a friend or don’t know
him.
f) Everyone is a friend of someone.
g) People only criticize people that are not their friends.
h) Lucy criticized Ani.
Prove that: Ani is not Andi’s friend.
a) Andi is a professor
b) All professors are people.
c) Ani is the dean.
d) All Deans are professors.
e) All professors consider the dean a friend or don’t know
him.
f) Everyone is a friend of someone.
g) People only criticize people that are not their friends.
h) Lucy criticized Ani.
Prove that: Ani is not Andi’s friend.