Can it be "Bizarre" that in typical logic P v Q can collapse to a less complicated method, e.g. just P or perhaps Q and be satisfied? it really is considerably rigid and outdated-fashioned. Devoid of it, as Neat Elf notes, a transparent-Slash strategy appears to be better style https://eugenee197doz8.liberty-blog.com/profile