Re: Help with a problem

From: Chris Menzel <cmenzel@xxxxxxxxxxxxxxxxxxxx>
Date: 23 Nov 2005 05:17:34 GMT

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?
.

Follow-Ups:
- Re: Help with a problem
  - From: Robert Zimmerman

References:
- Help with a problem
  - From: Robert Zimmerman

Prev by Date: Re: What is the 1st order formal system known as PA?
Next by Date: complete theory of Rationals
Previous by thread: Help with a problem
Next by thread: Re: Help with a problem
Index(es):
- Date
- Thread

Relevant Pages

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: Play "Stump the Intuitionists!"
... I see the validity of the inference now so it doesn't matter. ... to get bogged down in line number annotation questions unless we have ...
(sci.logic)
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)
Re: Help with a problem
... >> I'm am learning logic from Copi's book (as a hobby). ... >> advanced problem: ... >> With the rules of inference, ... Prev by Date: ...
(sci.logic)