Question

Problem 1.Write logical expressions in first-order logic for the following sentence:

a) Every human has a stomach.

b) Everyone is a friend of someone.c) (4 Points) Nobody likes everybody.

Problem 2. Negate the following logical statements
a) ∀x∃yP(x,y) (Assume that x and y belong to the same domain, and this domain is arbitrary).
b)∃x F (x) → ∀y?¬P (y) ∧ ∀zQ(z)? . (Simplify this expression until you have no negation operator).

Answer 1