On Apr 25, 1:28 pm, Newberry <newberr...@gmail.com> wrote:
> (x)((x+3 < x) --> (x = x+4)) (1) > > does not look manifestly true to me. ... The same problem occurs > at the propositional level: > > (P & ~P) --> Q (2) > > is notoriously counter-intuitive. It is called PARADOX of material > implication, and it motivated research into relevance logics.
They are only paradoxes for relevant implication.
They are not paradoxes of Boolean implication.
-- Battling Bill
** Creation science - one of the flat earth sciences?