операции исчисления высказываний: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность
в исчислении применяется аксиоматический метод доказательств на основе правил преобразования из системы аксиом, формул, объявленных истинными, выводятся новые истинные формулы
рассуждение (умозаключение) - процесс получения новых высказываний
исходное высказывание называется посылками, гипотезами, условиями, а полученное заключением или следствием