ЛОГИКА ВЫСКАЗЫВАНИЙ
раздел
математической логики, посвящённый изучению логич. форм сложных высказываний,
образованных из элементарных высказываний с помощью связок, аналогичных
союзам "и", "или", "если..., то...", отрицания ("не") и др.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я