Mathematical Logic

1. Sentential Logic:

1) The sentatial logic is a logical system, by which conclusions can be reached via premises, which may or may not be true.
2) The truth of premises does not concern sentential logic. Rather, sentential logic will tell you what conclusions necessarily come from the premises posted.


The sentential, or propositional, logic SL consists of a sentential language, SL, a semantic interpretation of that language, and a sentential derivation system, SD (and SD+).

One might use SL to examine the logical relations among molecular or (compound) sentences generated from atomic (or simple) sentences.

From SL's perspective, only molecular sentences have structure or form, and, therefore, SL is a logic that deals with relations obtaining among molecular sentences in virtue of their structure or form.

Later, in PL, the predicate logic, we shall examine a logic that incorporates SL, but which also looks into the internal structure of atomic sentences.