You are not logged in. Login Now register |  search

Grex > Tutoring > #14: Algebra, Geometry, Calculus, Trig, all that good stuff > Response #48
Author Message
srw
response 48 of 132: Jul 12 07:26:32 UTC 1997
T(1) implies that stmt 1 is false, thus T(1) => T(2)
T(2) implies that stmt 2 is true, thus T(2) => L(1)

So T(1) is impossible, and we have L(1).
Also, we note that L(2) => T(1), so we conclude !L(2)

L(1), T(2)  - I guess I know which door I would choose.
Use "back" to return.

- Backtalk version 1.3.30 - Copyright 1996-2006, Jan Wolter and Steve Weiss