random
Nick Perkins
nperkins7 at home.com
Mon Jun 4 22:48:42 CEST 2001
You are right, and I promise not to try to do logic after 4 in the morning.
My own truth table clearly shows that B implies that P is true.
( and that D is false )
I am the one who was confused, when I drew my conclusion.
( goes to show why explicit logical reasoning is better than statements in
english -- no argument is necessary! )
Thanks, Alex.
"Alex Martelli" <aleaxit at yahoo.com> wrote in message
news:9fflob32q4r at enews2.newsguy.com...
> "Nick Perkins" <nperkins7 at home.com> wrote in message
> news:V7xS6.126372$eK2.29676821 at news4.rdc1.on.home.com...
> ...
> > A: (P implies (not D))
> > "Given a powerful army, I could not defeat Napolean"
> >
> > B: (not (P implies D))
> > "Having a powerful army would not ensure that I could..."
> >
> > truth table:
> > P D A:(P implies (not D)) B:(not (P implies D))
> > 0 0 1 0
> > 0 1 1 0
> > 1 0 1 1
> > 1 1 0 0
> >
> > The difference is that statement A is true if P is false,
> > whereas statement B can only be true if P is true.
> > Therefore, statement B implies that P is false.
>
> I think I'm getting confused. From the truth table above,
> AND for the immediately preceding statement, I would
> deduce the _opposite_ conclusion than yours, i.e., "B
> implies that P is _true_". How do you get the "implies
> that P is _false_" instead?
>
More information about the Python-list
mailing list