исчисление высказываний

• výrokový kalkulus

Источник: Русско-чешский словарь на Gufo.me