Is it "Unusual" that in normal logic P v Q can collapse to an easier components, e.g. just P or perhaps Q and be contented? it is actually considerably rigid and previous-fashioned. Without the need of it, as Amazing Elf notes, a clear-cut strategy appears greater style to me.|bibbib https://giordanov875zkw7.blogolenta.com/profile