My Math Forum  

Go Back   My Math Forum > College Math Forum > Applied Math

Applied Math Applied Math Forum


Reply
 
LinkBack Thread Tools Display Modes
March 20th, 2014, 08:05 AM   #1
Senior Member
 
Joined: Apr 2010

Posts: 451
Thanks: 1

wf formulas

Which of the following are well formed formulas:





outsos is offline  
 
March 20th, 2014, 12:19 PM   #2
Senior Member
 
Joined: Dec 2013
From: Russia

Posts: 327
Thanks: 108

Re: wf formulas

For one, a quantifier must be followed by a variable.

Do you have the definition of a wff? Have you read any examples of applying this definition?
Evgeny.Makarov is offline  
March 20th, 2014, 04:24 PM   #3
Senior Member
 
Joined: Apr 2010

Posts: 451
Thanks: 1

Re: wf formulas

Quote:
Originally Posted by Evgeny.Makarov
For one, a quantifier must be followed by a variable.

Do you have the definition of a wff? Have you read any examples of applying this definition?
can't you phrase the thing with the symbol 1 as a variable, stating , there is no conflict. Then when you show that 1 is unique (this requires proof) it can be treated as a constant
outsos is offline  
March 24th, 2014, 01:18 PM   #4
Senior Member
 
Joined: Dec 2013
From: Russia

Posts: 327
Thanks: 108

Re: wf formulas

Quote:
Originally Posted by outsos
can't you phrase the thing with the symbol 1 as a variable
Well, is the symbol 1 a variable or a constant? The definition of wffs starts with fixing a vocabulary, which consists of several types of symbols: objects variables, propositional symbols, constants, auxiliary symbols such as parentheses and commas and so on. Once this is fixed, you can't treat a constant as a variable, at least in the standard definition of wffs.

Quote:
Originally Posted by outsos
Then when you show that 1 is unique (this requires proof) it can be treated as a constant
There is indeed a way to introduce new constants and functional symbols. For a constant, you need to prove that, for some property P(x), there exists an object satisfying P(x) and it is unique. Then you can give a name to this object. After that you have a procedure that translates any formula with this name into an equivalent formula that does not use the name and only uses P(x). This procedure works on the metalevel, i.e., the procedure itself and its properties are described in English rather than by formulas of first-order logic. Also, the definition of formulas does not change, but one gets a new vocabulary with an additional constant symbol.

To sum up: the definition of a well-formed formula depends on the vocabulary. If in the given vocabulary 1 is a constant, then it cannot immediately follow a quantifier.
Evgeny.Makarov is offline  
April 24th, 2014, 04:23 PM   #5
Senior Member
 
Joined: Apr 2010

Posts: 451
Thanks: 1

Quote:
Originally Posted by Evgeny.Makarov View Post
Well, is the symbol 1 a variable or a constant? The definition of wffs starts with fixing a vocabulary, which consists of several types of symbols: objects variables, propositional symbols, constants, auxiliary symbols such as parentheses and commas and so on. Once this is fixed, you can't treat a constant as a variable, at least in the standard definition of wffs.

There is indeed a way to introduce new constants and functional symbols. For a constant, you need to prove that, for some property P(x), there exists an object satisfying P(x) and it is unique. Then you can give a name to this object. After that you have a procedure that translates any formula with this name into an equivalent formula that does not use the name and only uses P(x). This procedure works on the metalevel, i.e., the procedure itself and its properties are described in English rather than by formulas of first-order logic. Also, the definition of formulas does not change, but one gets a new vocabulary with an additional constant symbol.

To sum up: the definition of a well-formed formula depends on the vocabulary. If in the given vocabulary 1 is a constant, then it cannot immediately follow a quantifier.
Why the rules of wffs are set in a such a way that we cannot quantify a constant.
outsos is offline  
Reply

  My Math Forum > College Math Forum > Applied Math

Tags
formulas



Search tags for this page
Click on a term to search for related topics.
Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
Formulas yesiam Applied Math 9 September 21st, 2012 04:10 PM
How there can be simultaneously these three formulas? mishin05 Calculus 3 December 26th, 2010 12:59 PM
prime formulas tinynerdi Applied Math 1 December 7th, 2010 06:06 PM
Using Formulas in the Box? empiricus Algebra 3 December 14th, 2009 09:40 PM
Formulas symmetry Algebra 2 July 7th, 2007 07:23 AM





Copyright © 2019 My Math Forum. All rights reserved.