Re: really basic problem with universal quantifier, free variables and generalisation.

From: Frederick Williams <"Frederick Williams"@antispamhotmail.co.uk.invalid>
Date: Thu, 12 Jul 2007 14:50:34 GMT

DONKEY-BRAIN@xxxxxxxxxxxxx wrote:

F(x) -| AxF(x)

Do you mean F(x) |- Ax F(x) ?

--
Remove "antispam" and ".invalid" for e-mail address.
"He that giveth to the poor lendeth to the Lord, and shall be repaid,"
said Mrs Fairchild, hastily slipping a shilling into the poor woman's
hand.
.

Prev by Date: Re: If your understanding of God is dead try mine.
Next by Date: Re: really basic problem with universal quantifier, free variables and generalisation.
Previous by thread: If your understanding of God is dead try mine.
Next by thread: Re: really basic problem with universal quantifier, free variables and generalisation.
Index(es):
- Date
- Thread

Relevant Pages

Re: The Evidence
... Richard Corfield wrote: ... "He that giveth to the poor lendeth to the Lord, and shall be repaid," ...
(uk.religion.christian)
Sir William Dugdale
... "He that giveth to the poor lendeth to the Lord, and shall be repaid," ...
(uk.local.warwickshire)
Re: If your understanding of God is dead try mine.
... Subtle is the Lord. ... unsubtle. ... "He that giveth to the poor lendeth to the Lord, and shall be repaid," ...
(sci.logic)
Re: book help!!!
... "He that giveth to the poor lendeth to the Lord, and shall be repaid," ... said Mrs Fairchild, hastily slipping a shilling into the poor woman's ...
(sci.logic)
Re: "Speaking out" based on the story of that fire lighting contest
... "He that giveth to the poor lendeth to the Lord, and shall be repaid," ... said Mrs Fairchild, hastily slipping a shilling into the poor woman's ...
(uk.religion.christian)