Переведите следующие суждения на язык логики суждений и с таблиц истинности определите логическое значение полученных сложных суждений: Неверно, что внеземные цивилизации существуют, и не существуют.
Неверно, что внеземные цивилизации существуют, и не существуют = F(x1...xn)
A = {внеземные цивилизации существуют}
F(A) = ¬(A∧¬A)
Судя по последнему столбцу, видим что данное сложное суждение не зависит от входящих в него простых высказываний и всегда истинно, то-есть, является тавтологией
Неверно, что внеземные цивилизации существуют, и не существуют = F(x1...xn)
A = {внеземные цивилизации существуют}
F(A) = ¬(A∧¬A)
Судя по последнему столбцу, видим что данное сложное суждение не зависит от входящих в него простых высказываний и всегда истинно, то-есть, является тавтологией