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

2.3.1. Классическое исчисление высказываний В предыдущем параграфе был рассмотрен язык логики высказываний. Если в качестве алфавита логического исчисления взять алфавит логики высказываний, в качестве синтаксических правил — синтаксические правила логики высказываний, в качестве аксиом — некоторое множество общезначимых формул, например законов, а в качестве правил всего два правила: модус поненс и подстановки, указанные ниже, то в результате получим исчисление, называемое обычно исчислением высказываний. Классическим исчислением высказываний обычно называют исчисление, аксиомами которого являются следующие общезначимые формулы: (а з р) => ((а з (р з у)) з (а ID у)), (а л р) z> а,