Thanks for the comment. I don’t think there is any mistake in basic logic. I could formalize all of it in elementary symbolic logic. It would be first-order predicate logic, but still pretty basic.
Thanks for the comment. I don’t think there is any mistake in basic logic. I could formalize all of it in elementary symbolic logic. It would be first-order predicate logic, but still pretty basic.