Consider the following first order logic formula in which R is a binary…
GATE · 2006 · IT
Consider the following first order logic formula in which R is a binary relation symbol.
∀x∀y (R(x, y) => R(y, x))
The formula is
- A.
satisfiable and valid
- B.
satisfiable and so is its negation
- C.
unsatisfiable but its negation is valid
- D.
satisfiable but its negation is unsatisfiable
Attempted by 204 students.
Sign up free to check your answer
Sign up freeLoading lesson…