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