Re: Help with a problem



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
.



Relevant Pages

  • Re: Help with a problem
    ... > I'm am learning logic from Copi's book (as a hobby). ... > With the rules of inference, ... Ullrich) ...
    (sci.logic)
  • Help with a problem
    ... I'm am learning logic from Copi's book (as a hobby). ... With the rules of inference, prove the validity of: ...
    (sci.logic)
  • Re: Seven sub-humans exterminated in New Orleans
    ... Your making an invalid ... inference. ... Prev by Date: ...
    (rec.arts.tv)
  • Re: what makes it true?
    ... grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes: ... > By setting out the axioms and rules of inference? ... Prev by Date: ...
    (sci.math)
  • Re: bn
    ... so you have made an inference that a direct ... Tony Cooper ... Orlando FL ... Prev by Date: ...
    (alt.usage.english)