1. логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность ◆ Иначе обстоит дело с условными суждениями, к которым относятся импликация и эквиваленция. Начнём с эквиваленции, так как её таблица истинности интуитивно очевидна. С. С. Рочев, «Курс общей логики в кратком изложении», 2000 г.
Источник: Викисловарь
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: пародонт — это что-то нейтральное, положительное или отрицательное?
Подобная система «чистилищных» зачётов весьма напоминает эквиваленции пенитенциалов, когда, скажем, столько-то недель поста могут быть заменены заказанной мессой или раздачей милостыни (о тарифицированном покаянии см. [Vogel 1994а]); в случае усопшего заказанные его душеприказчиками мессы и розданные ими деньги точно так же сокращают его пребывание в чистилищном огне.
Да всё очень просто: сначала отрицание, затем конъюнкция (умножение), потом дизъюнкция (сложение), далее импликация и эквиваленция.
То есть импликацию можно представить как отрицание первого и дизъюнкцию со вторым утверждением, а эквиваленцию как конъюнкцию отрицаний обоих суждений на дизъюнкцию конъюнкции обоих суждений.