rFirst, let us think of my supposing the second propostion of logics as Law of Excluded Middle P ∨ ¬ P, necessarily originally that has b...
https://lovelyhelen.muragon.com/entry/2126.html