Could it be "Unusual" that in conventional logic P v Q can collapse to an easier components, e.g. just P or simply Q and be happy? it truly is somewhat rigid and previous-fashioned. Without the need of it, as Awesome Elf notes, a clear-Slice strategy looks superior design and https://johnr764vhr5.bloguerosa.com/profile