Help with a problem
- From: Robert Zimmerman <rfz1@xxxxxxxxxxxx>
- Date: Wed, 23 Nov 2005 04:49:35 GMT
I'm am learning logic from Copi's book (as a hobby). There is an
advanced problem:
With the rules of inference, prove the validity of:
A
therefore B v ~B
I am horribly stuck. Any help would be appreciated. I'm losing sleep.
Thanks,
Bob
.
- Follow-Ups:
- Re: Help with a problem
- From: G . Frege
- Re: Help with a problem
- From: George Dance
- Re: Help with a problem
- From: Chris Menzel
- Re: Help with a problem
- Prev by Date: Re: What is the 1st order formal system known as PA?
- Next by Date: Re: What is the 1st order formal system known as PA?
- Previous by thread: question about categoricity
- Next by thread: Re: Help with a problem
- Index(es):
Relevant Pages
|