Re: William T. Parry gets rid of Disjunction introduction

On 2026-07-06 14:04, olcott wrote:

> ⊥  ⊢ ⊥ no explosion.

Of course that's an explosion. It says that ⊥ demonstrates that ⊥ is true.

Your problem is that you don't understand even the most basic facts of 
logic. Stuff that would be taught during the first week of an 
introduction to formal logic is beyond your purview, yet you somehow 
feel qualified to pontificate about logic.

André

-- 
To email remove 'invalid' & replace 'gm' with well known Google mail 
service.