Could it be "Bizarre" that in regular logic P v Q can collapse to a simpler formula, e.g. just P or just Q and become glad? it really is considerably stiff and previous-fashioned. Without having it, as Amazing Elf notes, a clear-Lower thought appears far better design to me.|bibbib https://carlosj319jte0.wikirecognition.com/user