…as forming the simple (atomic) sentences, and (3) a set of inductive clauses—inductive inasmuch as they stipulate that natural combinations of given sentences formed by such logical connectives as the disjunction “or,” which is symbolized “∨”; “not,” symbolized “∼”; and “for all ,” symbolized “(∀),” are again sentences. [“(∀)” is…
Read More