Is it "weird" that in regular logic P v Q can collapse to a simpler formula, e.g. just P or simply Q and be happy? it can be to some degree stiff and aged-fashioned. Without the need of it, as Awesome Elf notes, a clear-cut concept appears to be https://davidd096blv7.dreamyblogs.com/profile