Метод аналитических таблиц

Метод аналитических таблиц

Если при исследовании формул на общезначимость, итоговые таблицы этой

формулы с индексом F все замкнуты, то она является общезначимой.

Аналогично, если формула исследуется с

индексом Т и все итоговые таблицы замкнуты, то она является противоречием.

Впротивном случае формула является

нейтральной.

Метод аналитических таблиц

Среди итоговых таблиц есть незамкнутые, значит, формула не является общезначимой.

Если все итоговые таблицы формулы с индексом F - замкнуты, то формула является общезначимой.

Метод аналитических таблиц

Метод аналитических таблиц

Метод от противного

Метод от противного

Метод равносильных преобразований

Метод равносильных преобразований

Значит, формула общезначима.

Отношение логического следования