Искусственный интеллект

30 2.3. Исчисление высказываний -i -i a = а. Обратим внимание, что все аксиомы логики высказываний включают в себя только логические переменные и истинны при любой интерпретации. Поэтому, если нам удастся достаточно адекватно интерпретировать эти законы в какой-либо среде, то исчисление высказываний может служить основой для рассуждений об этой среде. Классическое исчисление высказываний использует два правила вывода. Модус поненс. Из истинности условия импликации и истинности самой импликации следует истинность следствия импликации: Правило подстановки. Из формулы а(/>) выводима формула a (P), получающаяся подстановкой в формулу а(р) вместо каждого вхождения переменной р формулы Р: Другие исчисления высказываний. Существуют и другие исчисления высказываний. Так, например, при решении практических задач удобнее использовать не законы логики высказываний, а правила, их заменяющие. В этом случае логическое исчисление называют натуральным исчислением высказываний. В натуральном исчислении высказываний обычно, помимо правил модус поненс и подстановки, используют следующие правила.