Is it "weird" that in standard logic P v Q can collapse to an easier system, e.g. just P or maybe Q and be satisfied? it truly is considerably rigid and outdated-fashioned. Without the need of it, as Cool Elf notes, a transparent-cut idea seems better fashion to me.|bibbib https://vannevarv864whs5.yomoblog.com/profile