Top thank you Secrets
Is it "weird" that in regular logic P v Q can collapse to an easier formulation, e.g. just P or perhaps Q and become happy? it can be fairly stiff and outdated-fashioned. Without having it, as Neat Elf notes, a clear-Lower idea would seem better model to me.|bibbib 73k1313 gold badges119119 silver badges226226 bronze badges Insert a remark | |I