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