ПРАВИЛА ВЫВОДА

правила, по которым из посылок получают заключения. Такими правилами являются, в частности, правило подстановки и правило заключения. Первое состоит в том, что при некоторых условиях, которые мы в данном случае не оговариваем, если истинная формула содержит букву А, то допустимо ее всюду заменять произвольной формулой. В результате такой подстановки получается вновь истинная формула. Правило заключения состоит в том, что если А и А-В (А влечет В) являются истинными формулами, то истинно и В.