sentential logic

The logic of whole sentences joined by "not," "and," "or," "if," and "if and only if."

Sentential (propositional) logic studies arguments whose validity depends only on how whole sentences are combined with connectives. Its basic units are sentence letters; it does not look inside a sentence at words like "all" or "some."

Examples

Modus ponens is valid in sentential logic.
"All dogs are mammals; Rex is a dog; so Rex is a mammal" needs more than sentential logic to show it valid.