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

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

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

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

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

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

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

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

 
Посмотреть оригинал
< Пред   СОДЕРЖАНИЕ   ОРИГИНАЛ     След >