Using the truth tables for three predicates R, S, and T, over the domain D =...

Transcribed Image Text:

Using the truth tables for three predicates R, S, and T, over the domain D = {x, y, z}, where the first argument is the row of our truth table and the second is the column. For example, R(x, z) = T, whereas R(z, x) = F. RX X SN y Z N y F T T T F T F TT SX y F F F T F F SXAN y Z F F F TX y X ▶N y Z Z T F T F F T T FT Evaluate the truth values of the statements of predicate logic below, and given a one line explanation for the truth value. 1. Vxy, S(x, y) 2. xy, R(x, y) 3. xVy, T(y,x) 4. 3xVy, T(x, y) Using the truth tables for three predicates R, S, and T, over the domain D = {x, y, z}, where the first argument is the row of our truth table and the second is the column. For example, R(x, z) = T, whereas R(z, x) = F. RX X SN y Z N y F T T T F T F TT SX y F F F T F F SXAN y Z F F F TX y X ▶N y Z Z T F T F F T T FT Evaluate the truth values of the statements of predicate logic below, and given a one line explanation for the truth value. 1. Vxy, S(x, y) 2. xy, R(x, y) 3. xVy, T(y,x) 4. 3xVy, T(x, y)

Answer rating: 100% (QA)

1 Truth Value False F Explanation Vxy Sx y Sx y F x which is false since Sy y ... View the full answer