ЛОГИКА ПРОПОЗИЦИОНАЛЬНАЯ

раздел математической логики, связанный с исчислением высказываний, т. е. с математизированным представлением в виде специальных формул и выражений системы логических рассуждений и выводов. Слово пропозиция, входящее в название этой логики, означает предложение или утверждение.