Re: Need help with simple FOL proof -- without using existential quantifiers
- From: G. Frege <nomail@invalid>
- Date: Thu, 25 Jan 2007 16:33:39 +0100
On 24 Jan 2007 14:10:03 -0800, "Dan Christensen" <dchris@xxxxxxxxx>
wrote:
~Aa ~Ab R(a,b) -> Ab ~Aa ~R(a,b)
Hey Dan!
I'm surprised that you are starting to use standard notation! :-)
F.
--
E-mail: info<at>simple-line<dot>de
.
- Follow-Ups:
- Re: Need help with simple FOL proof -- without using existential quantifiers
- From: Dan Christensen
- Re: Need help with simple FOL proof -- without using existential quantifiers
- References:
- Need help with simple FOL proof -- without using existential quantifiers
- From: Dan Christensen
- Need help with simple FOL proof -- without using existential quantifiers
- Prev by Date: Re: Need help with simple FOL proof -- without using existential quantifiers
- Next by Date: Re: Canonical form with NOR or NAND?
- Previous by thread: Re: Need help with simple FOL proof -- without using existential quantifiers
- Next by thread: Re: Need help with simple FOL proof -- without using existential quantifiers
- Index(es):
