Отношения следования и равносильности
Понятие предиката Существуют такие логические схемы рассуждений, которые не могут быть обоснованы в логике высказываний. Рассмотрим умозаключение: «Все люди смертны А. Следовательно, Сократ смертен С ».
Компьютерные сети Системное программное обеспечение Информационные технологии Программирование. Все о программировании Обучение Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации Равносильность и следование предикатов Дата добавления: ; просмотров: ; Нарушение авторских прав. Определение Два n-местных предиката и , заданных над одними и теми же множествами , называются равносильными, если набор предметов элементов превращает первый предикат в истинное высказывание в том и только в том случае, когда этот набор предметов превращает второй предикат в истинное высказывание.
Издательский центр «Академия». Вход Регистрация. Номер страницы:.
