Re: Help with a problem
- From: Robert Zimmerman <rfz1@xxxxxxxxxxxx>
- Date: Wed, 23 Nov 2005 11:29:04 GMT
In article <slrndo7ure.25n8.cmenzel@xxxxxxxxxxxxxxxxx>,
Chris Menzel <cmenzel@xxxxxxxxxxxxxxxxxxxx> wrote:
> On Wed, 23 Nov 2005 04:49:35 GMT, Robert Zimmerman <rfz1@xxxxxxxxxxxx> said:
> > 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.
>
> What rules of inference do you have available?
The "19 rules of inference" from Copi's book "Intro to Logic" (that's
the short answer). i.e. mp, mt, hs, ds, cd, etc etc.
thanks,
Bob
.
- Follow-Ups:
- Re: Help with a problem
- From: William Elliot
- Re: Help with a problem
- References:
- Help with a problem
- From: Robert Zimmerman
- Re: Help with a problem
- From: Chris Menzel
- Help with a problem
- Prev by Date: Re: complete theory of Rationals
- Next by Date: Re: "|-" and proofs
- Previous by thread: Re: Help with a problem
- Next by thread: Re: Help with a problem
- Index(es):
Relevant Pages
|