Prove that the argument below is invalid by constructing a model Q in which the predicate...

Transcribed Image Text:

Prove that the argument below is invalid by constructing a model Q in which the predicate formula for (P) is true and the predicate formula for (C) is false. The domain D for the variables xand y is the set of all natural numbers including 0. You should construct a model Q by defining F and G such that F = {(x,y) |F(x,y) is true under Q) and G = (x | G(x) is true under Q). Vxy [F(x,y) ^ (G(y) → G(x))]. --(P) Vxy [F(x,y) ^ (G(y) → 3x G( x))]. --(C) Prove that the argument below is invalid by constructing a model Q in which the predicate formula for (P) is true and the predicate formula for (C) is false. The domain D for the variables xand y is the set of all natural numbers including 0. You should construct a model Q by defining F and G such that F = {(x,y) |F(x,y) is true under Q) and G = (x | G(x) is true under Q). Vxy [F(x,y) ^ (G(y) → G(x))]. --(P) Vxy [F(x,y) ^ (G(y) → 3x G( x))]. --(C)

Answer rating: 100% (QA)

We must demonstrate the existence of a model in which the premise P is true and the conclu... View the full answer