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

Если символ метода эмпликации клаузы P1,P2,…,Pn-1=>Pn;C (2.2) сместить в крайнее левое положение,то клауза превратится в тафталогию: 1=>Р1,Р2,…,Рn-1,Pn

Для доказательства логических клауз используются методы

1)аксоматический (аксиоматический подход к док-ву логич. Высказываний

2)метод таблицы истинности (конструктивный подход)

3)метод резолюции

4)метод Вонга

5)метод натурального исчисления

Аксоматический метод основан на независимой системы аксиом с помощью которых можно установить истинность или ложность любой клауз:

1) 1=>Aà(BàA)

2) 1=>(Aà(BàC))à((AàB)à(AàC))

3) 1=>(Aà(BàC))à(Bà(AàC))

4) 1=>(AàB)à(BàA)

5) 1=>AàA, 1=>AàA

Данная аксиома отображает:

1) закон отношения порядка

2) закон коммутативности

3) закон ассоциативности

4) закон дистрибутивности

5) закон двойного отрицания (0 и 1)

Доказательство при аксиоматическом подходе сводится к таким эквивалентным преобразованиям логических выражений, с помощью обозначенных выше аксиом, которые приводят к выполнению или не выполнению основной аксиомы логических высказываний, отображающей отношение порядка, и которое может быть представлена в общем случае следующим образом: А,ВàA,что можно выразить так: если раньше было установлена, что А истинно, то истинность В не повлияет так, что А станет ложным