Mantıksal değişmez olarak yalnız eklemleri, mantıksal olmayan değişmez türleri olarak yalnız önerme türünü kapsayan temel mantık bölümü. || Anl. önermeler mantığı, önerme eklemleri mantığı. Krş.. doğrusaleklemler mantığı, doğrusal olmayaneklemler mantığı.
Sentential logic, logic of connectives, propositional logic, statement logic.