Professional Documents
Culture Documents
Import Policy 2015-2018 (Bangla) 3
Import Policy 2015-2018 (Bangla) 3
∀x(P(x) →Q(x,registered))
P(x) = x is integer
E(x) = x is even
O(x) = x is odd
∃x¬O(x)
The domain of x be all the drivers and let O(x) be the predicate “x obeys the speed limit”
∃x∀yL(x,y)
Variable x and y denote people and predicate (x,y) denotes: “x loves y”.
P(x)= x is student
∃x P(x) Λ T(x)
P(x) = x is basketball player
T(x) = x is tall
8. Every boy who loves Mary hates every boy who Mary loves
∀x ((boy(x) & love (x, Mary)) → ∀y((boy(y) & love(Mary, y))→ hate (x,y)))
P(x) = x is Jamal