Re: Need help with a simple logic proof.

On Fri, 09 Mar 2007 23:56:05 +0100, G. Frege <nomail@invalid> wrote:


Problem is, that the OP seems to have to use one of Copi's ugly systems of
"natural deduction" (or a descendant of one of his systems). So it's hard
to say which rules are allowed and which are not. Actually, I simply don't
remember all those rules, not even of ONE of his (various) systems. :-(

The OP wrote:

"[Allowed rules are:] modus ponens, modus tollens, hypothetical syllogism,
disjunctive syllogism, constructive dilemma, conjunction, simplification,
addition, transposition, material implication, material equivalence,
exportation, tautology, De Morgan's theorem, computation, association,
distribution, and double negation."

!!! sigh !!!


Copi's systems really should be banned ... imho! :-(((


F.

--

E-mail: info<at>simple-line<dot>de
.

Relevant Pages

  • Re: Need help with a simple logic proof.
    ... "natural deduction" (or a descendant of one of his systems). ... addition, transposition, material implication, material equivalence, ... Only Suppes/ Lemmon style proofs should be prefered. ...
    (sci.logic)
  • Re: Need help with a simple logic proof.
    ... Here's a proof in some standard system of natural deduction. ... have an idea for solving it using conjunction and distribution. ... addition, transposition, material implication, material equivalence, ...
    (sci.logic)