Студопедия


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram

Логическая равносильность. Законы логики




Два высказывания равносильны, если они одновременно истинны или одновременно ложны.

Две формулы равносильны если их эквиваленция является тавтологией (общезначима).

F1↔F2≡1.

Равносильность – это отношение между формулами и как отношение обладает свойствами рефлексивности, симметричности, транзитивности.

Равносильности логики высказываний называют законами логики.

Основные законы логики и основные тавтологии: законы Аристотеля, де Моргана, идемпотентности, а также остальные равносильности, рассмотренные нами в дискретной математике.

Иногда доказывают равносильность формул А и В, если они являются следствием друг друга.

А→В, В→А. Тогда А≡В.

В логике часто используется прием подстановки.

Если в равносильные формулы вместо какой-то переменной или подформулы подставить одну и ту же формулу, то полученные формулы останутся равносильными. Это обозначается так:

(Х||У) или (Х,У) – «вместо Х подставить У».





Дата добавления: 2015-03-27; просмотров: 926; Опубликованный материал нарушает авторские права? | Защита персональных данных | ЗАКАЗАТЬ РАБОТУ


Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: На стипендию можно купить что-нибудь, но не больше... 8898 - | 7209 - или читать все...

Читайте также:

  1. I. Методологическая часть программы
  2. II. Экологическая безопасность
  3. III. Бактериологическая оценка молока
  4. III. ЛОГИЧЕСКАЯ ПЕРСПЕКТИВА СВЯЗНОГО ТЕКСТА
  5. III.3.7. ПСИХОЛОГИЧЕСКАЯ ДИАГНОСТИКА
  6. III.4.7. ПСИХОЛОГИЧЕСКАЯ ДИАГНОСТИКА ДЕТЕЙ ПРИ НАРУШЕНИЯХ ФУНКЦИЙ ОПОРНО-ДВИГАТЕЛЬНОГО АППАРАТА И КОРРЕКЦИЯ ЭТИХ НАРУШЕНИЙ
  7. IV. Технологическая последовательность выполняемых работ
  8. RENATIO. на. Больше того, естественные законы, открывавшие теперь секреты ученым, можно было принять за проявление Божьей воли
  9. V. Шюц А. Формирования понятия и теории в общественных науках // Американская социологическая мысль. М., 1994 (с.485-494)
  10. VI . Этика дает законы не для поступков, a лишь для максим поступков
  11. А. ВВЕДЕНИЕ. 29.1. Организационные структуры, которые необходимо образовать правительству страны для того, чтобы законы о промышленной собственности действовали
  12. Акмеологическая модель мышления


 

3.94.202.6 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.


Генерация страницы за: 0.001 сек.