Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Суждения с внешним знаком отрицания.

Тест на логику "Логическое сравнение". 93% не проходят его с первого раза.А ты?

Пройти тест

Суждением с внешним знаком отрицания называется суждение, выражаемое формулой вида Ø А. Например: “Неверно, что все курсанты нашей группы — отличники”. Отрицание, в отличие от конъюнкции, дизъюнкции, импликации и эквивалентности, является одноместной операцией, для которой характерно следующее свойство (в классической логике):

                                    ØØА равносильно А.

Кроме того, отрицание связано с остальными операциями следующим образом:

                           Ø(А & В) равносильно (ØА Ú ØВ)

                           Ø(А Ú В) равносильно (ØА & ØВ)

                             (А É В)  равносильно  (ØА Ú В)

                           (А É В)  равносильно  Ø (А & ØВ)

                           Ø(А É В)  равносильно   (А & ØВ)

                           (А É В)  равносильно   (ØВ É ØА)

                  (А º В)  равносильно  ((А É В) & (ØА É ØВ))

В естественном языке отрицание выражается, как правило, словами “Неверно, что ....”, “Нельзя сказать, что ....”, “В действительности не имеет место ....”. Например:

                Нельзя сказать, что сегодня хорошая погода.

 

Случайная новость