Re: Stuck on a logic problem

From: "Peter_Smith" <ps218@xxxxxxxxx>
Date: 21 Feb 2007 00:20:18 -0800

On 20 Feb, 19:12, "Snis Pilbor" <snispil...@xxxxxxxxx> wrote:

Hi,

Can anyone give me some pointers for how to approach this problem?
I'm stumped and don't even know how one would begin.

(Exercise 3, Enderton 2nd ed., p. 223)

How about trying the following? In exercise 2, you've shown that the
true quantifier free sentences in that structure are theorems of T. So
(trivially) the true sentences starting with one existential
quantifier will be true, and (by omega-completeness) the true
sentences starting with one universal will be true. Now keep on going
by an induction on the complexity of the true sentences ...

.

References:
- Stuck on a logic problem
  - From: Snis Pilbor

Prev by Date: Re: Can ZFC prove Addition is Associative?
Next by Date: Re: OUTGOEDELING A HUMAN?
Previous by thread: Stuck on a logic problem
Next by thread: "A Glitch in The Matrix Exists"
Index(es):
- Date
- Thread