- #1
gravenewworld
- 1,132
- 26
Could someone please help with this problem, I am really stuck.
Show that if c is a constant and t a closed term having the same denotation, then substituting t for c in a sentence does not change the truth value of the sentence. I.E. Whether a sentence F(t) is true depends only on the domain, the denotations of the nonlogical symbols in F(x), and the denotation of the closed term t.
Show that if c is a constant and t a closed term having the same denotation, then substituting t for c in a sentence does not change the truth value of the sentence. I.E. Whether a sentence F(t) is true depends only on the domain, the denotations of the nonlogical symbols in F(x), and the denotation of the closed term t.