Re: free variables in FOL
- From: Chris Menzel <cmenzel@xxxxxxxxxxxxxxxxxxxx>
- Date: 17 Jun 2005 19:51:30 GMT
On 17 Jun 2005 10:36:40 -0700, Ken Quirici <kquirici@xxxxxxxxx> said:
> ... howcum Mathworld has these rules of inference:
>
> if G=>F(x)
> then G=>AxF(x)
>
> if F(x)=>G
> then ExF(x)=>G
>
> with Ex in the second?
Because they are both logically valid (assuming "x" does not occur free
in G and a semantics on which free variables are implicitly universally
quantified).
.
- References:
- free variables in FOL
- From: Ken Quirici
- Re: free variables in FOL
- From: Jim Spriggs
- Re: free variables in FOL
- From: Ken Quirici
- free variables in FOL
- Prev by Date: Re: Aristotelian syllogistic and monadic FOL
- Next by Date: Re: Aristotelian syllogistic and monadic FOL
- Previous by thread: Re: free variables in FOL
- Next by thread: Re: free variables in FOL
- Index(es):
