Тавтологией является формула (A, B - формулы):
(Отметьте один правильный вариант ответа.)
Варианты ответа
(A∧(A∨B))↔A∨B
(A∧(A∨B))↔A(Верный ответ)
(A∧(A∨B))↔B
Языки и исчисления
Похожие вопросы
Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A,B - формулы):
Тавтологией является формула (A,B - формулы):
Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:
Формулы А и В эквивалентны, если формула:
Формулы А и В эквивалентны, если формула:
Для любой формулы А, формула А → А есть:
Если все П1-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то: