This is an algebraic expression of the disjunctive normal form theorem of sentential logic. |
Boolean algebra is the algebra of two-valued logic with only sentential connectives, or equivalently of algebras of sets under union and complementation. |
By way of contrast, most sentential logics, while able to express inconsistencies, are complete and correct. |
Thus, he does not recognize sentential compounds, such as conjunctions and disjunctions, as single assertions. |
Inbound, unladen tankers are not required to have escorts but instead are assigned a sentential tug during the transit through Prince William Sound. |
There are no sentential complements, though pronouns and some noun phrases can be used to refer to explicit or evoked propositions. |