Аксиоматическое система исчисления высказываний

Табличное построение функций истинности не является единственным способом построения логики высказываний. Существуют и другие способы обоснования истинности тех или иных высказываний. Среди них особо существенно аксиоматическое представление логики высказываний. В чем его суть? Выбираются некоторые тавтологии логики высказываний и рассматриваются, как такие высказывания, истинность которых дана заранее. При этом не обязательно, что эти высказывания будут очевидны сами по себе. Важно, чтобы они были удобны для получения вывода. Могут быть выбраны в качестве аксиоматических различные высказывания. Число их так же может быть разным. Большее число аксиом иногда облегчает процесс получения вывода. В известной книге Д. Гильберта и В. Аккермана “Основы теоретической логики” в качестве аксиом берутся четыре формулы логики высказываний: a) a v a ® а b) а ® a v b c)a v b ® b v a d) (а ® b) ® [d v a ® d v b]