Переведите следующие суждения на язык логики суждений и с таблиц истинности определите логическое значение полученных сложных суждений: Неверно, что внеземные цивилизации существуют, и не существуют.

Неверно, что внеземные цивилизации существуют, и не существуют = F(x1...xn)

A = {внеземные цивилизации существуют}

F(A) = ¬(A∧¬A)

Судя по последнему столбцу, видим что данное сложное суждение не зависит от входящих в него простых высказываний и всегда истинно, то-есть, является тавтологией