sentential logics

From Wiktionary, the free dictionary