Search   Memberlist   Usergroups
 Page 1 of 1 [3 Posts]
Author Message
Alon
science forum beginner

Joined: 30 May 2005
Posts: 5

Posted: Mon Jun 19, 2006 12:31 pm    Post subject: Re: infinite schema. (logic)

i mean that if you are given a specific wff, and you need to determine is it satisfiable in an infinite domain but not finite or is it satisfiable by a finite domain but not by an infinite domain, is there a general way to determine or you should evaluate every wff as specific cases?
David C. Ullrich
science forum Guru

Joined: 28 Apr 2005
Posts: 2250

Posted: Mon Jun 19, 2006 11:45 am    Post subject: Re: infinite schema. (logic)

On Sun, 18 Jun 2006 09:34:50 EDT, Alon <alon_brookray@walla.com>
wrote:

 Quote: is there a general way to prove that a wff is satisfiable by every infinite domian but not by finite domain?

I think you need to rephrase the question slightly - I can't figure
out exactly what it means for a wff to be "satisfiable" in a given
domain.

There are certainly wffs that have infinite models but no
finite models, for example a wff that "says" that R(x,y)
is a linear order with no largest element. (Of course
that wff is not true in every infinite domain - hence
my confusion about "satisfiable in every infinite domain".)

************************

David C. Ullrich
Alon
science forum beginner

Joined: 30 May 2005
Posts: 5

 Posted: Sun Jun 18, 2006 1:34 pm    Post subject: infinite schema. (logic) is there a general way to prove that a wff is satisfiable by every infinite domian but not by finite domain?

 Display posts from previous: All Posts1 Day7 Days2 Weeks1 Month3 Months6 Months1 Year Oldest FirstNewest First
 Page 1 of 1 [3 Posts]
 The time now is Thu Jan 17, 2019 12:37 pm | All times are GMT
 Jump to: Select a forum-------------------Forum index|___Science and Technology    |___Math    |   |___Research    |   |___num-analysis    |   |___Symbolic    |   |___Combinatorics    |   |___Probability    |   |   |___Prediction    |   |       |   |___Undergraduate    |   |___Recreational    |       |___Physics    |   |___Research    |   |___New Theories    |   |___Acoustics    |   |___Electromagnetics    |   |___Strings    |   |___Particle    |   |___Fusion    |   |___Relativity    |       |___Chem    |   |___Analytical    |   |___Electrochem    |   |   |___Battery    |   |       |   |___Coatings    |       |___Engineering        |___Control        |___Mechanics        |___Chemical

 Topic Author Forum Replies Last Post Similar Topics approximating infinite linear programming problems diegotorquemada@yahoo.com Math 0 Mon Jul 17, 2006 10:29 am ladder logic question bakerjw2000 Control 13 Sun Jul 16, 2006 12:59 am S/W Eng Asks For Intuitive Explanation Of Logic Diagrams ... clusardi2k@aol.com Control 6 Fri Jul 07, 2006 12:23 pm The problem with infinite and the existance of existance Timothy87 Math 4 Fri Jul 07, 2006 5:16 am random selections of integers from the infinite set of al... Pete B Math 42 Thu Jul 06, 2006 3:59 pm