МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 2025 (контрольная) ТУСУР вар 8

Следующее утверждение докажите или опровергните (опровергнуть можно на частном примере) 

Является ли тавтологией формула

Переведите с естественного языка на язык логики предикатов:Зайцы не всегда глупее лис

Переведите с естественного языка на язык логики предикатов: Все честные ученые уважают друг друга

Для бинарного отношения хру--«y=|x|», определенного на множестве вещественных чисел, выясните, какими свойствами оно обладает (рефлексивность, симметричность, антисимметричность, транзитивность) и какими не обладает.

Докажите, что композиция инъективных отображений есть инъективное отображение.

Используя математическую индукцию, докажите, что ....

Расположите следующие 5 функций в порядке увеличения скорости роста (каждая функция есть O (следующая):...