Меню
Главная
Авторизация/Регистрация
 
Главная arrow Логика arrow ЛОГИКА
Посмотреть оригинал

Закон противоречия

Противоречащие друг другу высказывания не могут быть вместе ни истинны, ни ложны

В универсуме логического квадрата должна существовать хотя бы одна вещь, выполняющая формулу фс, или ее отрицание (или и то и другое)

Законы взаимоопределимости кванторов

Каждый квантор может быть определен в терминах противоположного ему квантора. Сказать «Все вещи из универсума круглые» означает сказать «Неверно, что в универсуме существует хотя бы одна некруглая вещь». Аналогично, сказать «В универсуме существует по крайней мере одна круглая вещь» означает сказать «Неверно, что все вещи из универсума некруглые»

Законы дистрибутивности кванторов относительно знака конъюнкции

Высказывание «Все вещи в универсуме круглые И синие» эквивалентно высказыванию «Все вещи в универсуме круглые, и все вещи в универсуме синие». Значит, квантор общности дистрибутивен относительно знака конъюнкции без ограничений

Из высказывания «В универсуме существует круглая и синяя вещь» выводимо высказывание «В универсуме существует круглая вещь, и в универсуме существует синяя вещь», но обратная выводимость в общем неверна. Из того, что какая-то вещь круглая, а другая синяя, не следует с необходимостью, чтц какая-то (возможно третья) вещь круглая и синяя одновременно. Значит, квантор существования дистрибутивен относительно знака конъюнкции с ограничением

 
Посмотреть оригинал
Если Вы заметили ошибку в тексте выделите слово и нажмите Shift + Enter
< Предыдущая   СОДЕРЖАНИЕ   Следующая >
 
Популярные страницы