тождественно истинная формула
Автор Dartmut задал вопрос в разделе Другие языки и технологии
Какая функция называется тождественно истинной, тождественно ложной, выполнимой? и получил лучший ответ
Ответ от Ѐоман Чекрыгин[гуру]
у тебя же в лабарках написанно что тождественно истиная - это та функция которая всё время (при любых входных параметрах) принимает значение 1 или истина, тождественно ложная - которая принимает всё время значение 0 или ложь. Ну а выполнимая - это та которая может принять и 0 и 1 в зависимости от входных параметров
Ответ от Первый курс[активный]
Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных. Вот несколько широко известных примеров тождественно истинных формул логики высказываний:
Законы де Моргана:
1) ;
2) ;
Закон контрапозиции:
;
Законы поглощения:
1) ;
2) ;
Законы дистрибутивности:
1) ;
2) .
Отрицание тождественно истинной формулы будет, очевидно, тождественно ложной формулой, и обратно.
1) все аксиомы суть тождественно истинные формулы, 2) применяя к тождественно истинным формулам правила вывода, мы получаем также тождественно истинные формулы. Отсюда следует, что все выводимые формулы исчисления высказываний, рассматриваемые как формулы алгебры высказываний, являются тождественно истинными.
не все формулы языка логики высказываний являются тождественно-истинными. Имеются также так называемые тождественно - ложные формулы — формулы, принимающие значение Л (ложь) при любых распределениях значений имеющихся в них пропозициональных переменных (символов). Любая тождественно-ложная формула представляет собой отрицание закона логики. Ясно также, что имеет место и обратное — отрицание тождественно-ложной формулы есть закон логики. Наконец, имеются формулы не тождественно-истинные и не тождественно ложные — такие, которые при одних распределениях значений пропозициональных переменных истинны, а при других -ложны.
Их называют обычно выполнимыми, имея в виду узкий смысл этого термина. В широком смысле выполнимыми — принимающими значение «истина» при каких-нибудь значениях переменных — являются и тождественно-истинные формулы.
Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных. Вот несколько широко известных примеров тождественно истинных формул логики высказываний:
Законы де Моргана:
1) ;
2) ;
Закон контрапозиции:
;
Законы поглощения:
1) ;
2) ;
Законы дистрибутивности:
1) ;
2) .
Отрицание тождественно истинной формулы будет, очевидно, тождественно ложной формулой, и обратно.
1) все аксиомы суть тождественно истинные формулы, 2) применяя к тождественно истинным формулам правила вывода, мы получаем также тождественно истинные формулы. Отсюда следует, что все выводимые формулы исчисления высказываний, рассматриваемые как формулы алгебры высказываний, являются тождественно истинными.
не все формулы языка логики высказываний являются тождественно-истинными. Имеются также так называемые тождественно - ложные формулы — формулы, принимающие значение Л (ложь) при любых распределениях значений имеющихся в них пропозициональных переменных (символов). Любая тождественно-ложная формула представляет собой отрицание закона логики. Ясно также, что имеет место и обратное — отрицание тождественно-ложной формулы есть закон логики. Наконец, имеются формулы не тождественно-истинные и не тождественно ложные — такие, которые при одних распределениях значений пропозициональных переменных истинны, а при других -ложны.
Их называют обычно выполнимыми, имея в виду узкий смысл этого термина. В широком смысле выполнимыми — принимающими значение «истина» при каких-нибудь значениях переменных — являются и тождественно-истинные формулы.
Ответ от 22 ответа[гуру]
Привет! Вот подборка тем с похожими вопросами и ответами на Ваш вопрос: Какая функция называется тождественно истинной, тождественно ложной, выполнимой?