Какие правила формируют исчисление высказываний?

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

Для просмотра статистики ответов нужно залогиниться.