Could it be "Strange" that in regular logic P v Q can collapse to a simpler components, e.g. just P or just Q and be contented? it truly is to some degree stiff and outdated-fashioned. With out it, as Cool Elf notes, a transparent-Reduce idea seems improved fashion to https://collinsu764vgr5.dm-blog.com/profile