On 5/31/07, Kerim Aydin <[EMAIL PROTECTED]> wrote:
Problem is, if (as Eris claims) it's a general rule that (~P -> P) -> P,
In classical logic, (~P -> P) -> P is a tautology, since ~P -> P is
equivalent to P.
--
C. Maud Image (Michael Slone)
You people and your aberrant languages.
-- Kelly, in agora-discussion
