Practice: First Order Logic
Q1. Translate the statement "David is a professor." into First-Order Logic.
Answer
Professor(David)Q2. Translate the statement "Mohammed Teaches AI." into First-Order Logic.
Answer
Teaches(Mohammed, AI)Q3. Translate the statement "Deans are professors." into First-Order Logic.
Answer
∀x (Dean(x) → Professor(x))Convert the sentence "There exists a product with a price higher than $100" into First-Order Logic.
Answer
∃x (Product(x) ∧ Price(x) > 100)Translate the statement "For every product that has been ordered, there exists a customer who placed the order" into First-Order Logic.
Answer
∀x (Product(x) ∧ Ordered(x) → ∃y (Customer(y) ∧ PlacedOrder(y, x)))Represent the statement "All employees who work on a project are assigned specific tasks" in First-Order Logic.