Welcome! Log In Create A New Profile

Ex 3.3.1 (e) last wff

Announcements		Last Post
	SoC Curricula	09/30/2017 01:08PM
	Demarcation or scoping of examinations and assessment	02/13/2017 07:59AM
	School of Computing Short Learning Programmes	11/24/2014 08:37AM
	Unisa contact information	07/28/2011 01:28PM

Forums Messages New

chaospixel

Ex 3.3.1 (e) last wff
June 13, 2006 07:54AM

IP/Host: ---.enetonline.co.za
Registered: 18 years ago
Posts: 78
Rating: 0

Hello anyone,

I'm having a little difficulty understanding the solution to ex 3.3.1(e) the last wff, specifically how to quantifiers interact.

why is the order not interchangeable? I believe this hinges on the following question. Why can I not use an assignment v" that differs from v' at most on x2 where v' differs from v at most on x1 (v being the arbitrary assignment in which context we're trying to satisfy alpha)? i.e., in the solution, why is u said to be like v and not v'?

clearly there is a reason or the quantifiers would be interchangeable - I just can't see it.

Please help,
-Jason.