Wiktionary
sentential logic
n. (context logic English) propositional logic
n. (context logic English) propositional logic