Re: In need of the all-out revision of symbolic logic



On 4月30日, 午後6:44, ST <sara...@xxxxxxxxx> wrote:

Or have I misunderstood something?

It is truly a grave mistake to define “p implies q” by the truth-table.
.