Is it "Bizarre" that in regular logic P v Q can collapse to a less complicated components, e.g. just P or merely Q and become satisfied? it truly is to some degree rigid and aged-fashioned. Devoid of it, as Great Elf notes, a clear-Reduce idea looks superior fashion to https://peterj431pal3.qodsblog.com/profile