Словарь по логике

Логика высказываний: Раздел логики, изучающий различные пропозициональные теории, или теории логических (пропозициональных) связок.