V Пример. Таблица истинности суждения формы (((aÉb)Ù(cÉa)Ù(dÉc))É(dÉb))свидетельствует о его безусловной истинности

Таблица истинности суждения формы (((aÉb)Ù(cÉa)Ù(dÉc))É(dÉb)) свидетельствует о его безусловной истинности (рис. 8):

Рис. 8

Формулы КЛВ, принимающие значение “истинно” при любых наборах значений, входящих в их состав пропозициональных переменных, называются тождественно-истинными или законами КЛВ. Если же мы построим таблицу истинности (более компактным образом) применительно, например, к формуле Ø((aÉb)Éa)Éa), то обнаружим, что при всех истинностных значениях её подформул она является ложной, т. е. тождественно-ложной (рис. 9):

Рис. 9

Формулы КЛВ, принимающие значение “ложно” при любых наборах значений входящих в их состав пропозициональных переменных называются тождественно-ложными или нарушающими законы КЛВ. Тождественно-истинные и тождественно-ложные формулы КЛВ выражают, соответственно, логически истинные и логически ложные высказывания. Высказывания же, которые не являются ни логически истинными, ни логически ложными, т. е. такие, значения которых невозможно установить, пользуясь исключительно логическими средствами, называют логически недетерминированными. Формулы, выражающие логически недетерминированные высказывания, относят к выполнимым. Выполнимой формулой КЛВ называется формула, принимающая значение «истинно» хотя бы при одном наборе входящих в неё пропозициональных переменных. Другими словами, в КЛВ имеются два типа формул: выполнимые, к которым относятся и тождественно-истинные формулы, и невыполнимые, к которым относятся только тождественно-ложные формулы.