Если все стороны четырехугольника равны между собой, то он является ромбом. если четырехугольник является ромбом, то его диагонали перпендикулярны. все стороны четырехугольника равны между собой. следовательно, его диагонали перпендикулярны.

  • ID: 42934 
  • 4 страницы

Фрагмент работы:

52. Проверить правильность рассуждения:

Если все стороны четырехугольника равны между собой, то он является ромбом. Если четырехугольник является ромбом, то его диагонали перпендикулярны. Все стороны четырехугольника равны между собой. Следовательно, его диагонали перпендикулярны.

Решение:

Введем обозначения для высказываний:

X – высказывание «все стороны четырехугольника равны между собой»;

Y – высказывание «четырехугольник является ромбом»;

Z – высказывание «диагонали четырехугольника перпендикулярны»;

57. Определить истинность формулы в заданной интерпретации: предметное множество ; значение предикатов и задано таблично:

1 0 1 0 1 0

Решение:

стр. 40, 1б. Построить вывод секвенции в ИС:

Решение:

стр. 85, 1б. Пусть - функциональные, а - предикатные символы. Являются ли формулами следующие слова:

Решение:

стр. 121, 2. Является ли поле комплексных чисел элементарным расширением поля действительных чисел ?

Решение:

стр. 182, 2. Пусть машина Тьюринга Т имеет следующую программу: . Какие функции , , …, , … вычисляет эта машина?

Решение:

стр. 210, 1б. Доказать, что формулы и не выводимы в ИИВ.

Решение: