Числення висловлювань

пропозиційне числення – розділ математичної логіки, який за обсягом збігається з логікою висловлювань і є її формальною побудовою.