Consider The Following Interpretation Domain 1 2 3 4 B X X Is Even Extension Of B X 2 4 C X X Is Odd E 1 (23.07 KiB) Viewed 34 times
∀x [(B(x) ∨ C(x)) → D(x)]
True or False?
Consider the following interpretation. Domain: 1,2,3,4 • B(x): x is even • Extension of B(x): {2,4} • C(x): x is odd • Extension of C(x): {1,3} • D(x): x is divisible by 1 • Extension of D(x): {1,2,3,4} • R(x, y): x is a multiple of y Extension of R(x, y): {(1, 1), (1, 2), (1,3), (1,4)(2,4)} Given the above interpretation, determine whether the following sentences are true or false.
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!