Re: William T. Parry gets rid of Disjunction introduction
André G. Isaak <[email protected]>
| Newsgroups | sci.logic,comp.theory,comp.ai.philosophy,sci.math |
|---|---|
| Organization | Christians and Atheists United Against Creeping Agnosticism |
| Message-ID | <[email protected]> |
On 2026-07-06 20:24, olcott wrote: > ∀x(φ(x) ∧ ¬φ(x)) ⊢ ⊥ > and > Γ ⊢ ⊥ > -------------------- > derivation terminated That's simply gibberish. André -- To email remove 'invalid' & replace 'gm' with well known Google mail service.