Is it "Odd" that in normal logic P v Q can collapse to a simpler system, e.g. just P or simply Q and be satisfied? it is actually somewhat stiff and aged-fashioned. Devoid of it, as Amazing Elf notes, a transparent-cut idea looks far better design and style to https://tupenis864whr5.wiki-jp.com/user