Логическое следствие

1.1. Логическое следствие

Определение. Формула B есть логическое следствие формул A₁, A₂, .., A_n, если формула B принимает истинное значение при тех же значениях, при которых истинна каждая из формул A₁, A₂, .., A_n.

Запись (A₁, A₂, .., A_n)ÞB означает, что B – логическое следствие формул A₁, A₂, .., A_n.

Пример. (A®B, A®)Þ.

Докажем данное следствие.

18. Роль высших растений в почвообразовании - лекция, которая пользуется популярностью у тех, кто читал эту лекцию.

Из определения следует, что противоречие логически влечет любую формулу, а тавтология логически следует из любой формулы логики.

Определение. Формулы F и G называются равносильными, если они являются логическими следствиями друг друга. Обозначение: .

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

Следующие теоремы связывают логическое следствие и импликацию, равносильность и эквиваленцию.

Теорема₁.  тогда и только тогда, когда A®B – тавтология.

Теорема₂.  тогда и только тогда, когда A«B – тавтология.