Экзистенциальные суждения

Применением экзистенциальных суждений есть парадокса Лжец.Рассмотрим простой метод построения экзистенциальных суждений для произвольной E‑структуры.В нашем примере таким экзистенциальным суждением будет, в частности.Здесь они называются частными суждениями.Та же ситуация будет, если мы преобразуем в частное суждение не второе, а первое суждение.В традиционной логике их отличают от контрарных суждений и называют контрадикторными.Одним из следствий наших исходных посылок оказалось суждение Э®, т.е. коллизия парадокса.Оказывается, что при подстановке именно этого суждения в структуру парадокса не возникает.Чтобы проверить это, построим для этой системы суждений соответствующую E‑структуру.Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств.