Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Формулы F1 и F2 называются равносильными, если их эквиваленция – тавтология





Равносильность двух формул записывается так: (читается: формула F1 равносильна формуле F2).

Проверить, равносильны ли формулы, можно двумя способами: 1) составить их эквиваленцию и с помощью таблицы истинности проверить, не является ли она тавтологией; 2) для каждой формулы составить таблицу истинности и сравнить итоговые результаты; если в итоговых столбцах при одинаковых наборах значений переменных значения истинности обеих формул будут равны, то формулы являются равносильными.

Пример. Выяснить, являются ли формулы равносильными:

Равносильности формул логики высказываний часто называют законами логики. Перечислим наиболее важные из них:

I. - закон тождества (утверждает, что мысль, заключенная в некотором высказывании, остается (считается) неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует).

II. - закон противоречия (никакое предложение не может быть истинным одновременно со своим отрицанием).

III. - закон исключенного третьего (закон альтернативы).

IV. - закон двойного отрицания.

V. ; - законы тождества (или идемпотентности (на латинском языке «idem» означает «то же», а «potentia» - «сила»)).

VI. ; - законы коммутативности (переместительности).

VI. ; - законы ассоциативности (сочетательности).

VII. ; - законы дистрибутивности (распределительности).

VIII ; - законы де Моргана (английский логик, 1806-1871).

Законы логики используются для упрощения сложных формул и для доказательства тождественной истинности или ложности формул.

 

Контрольные вопросы:

 

1. Дайте определение высказывания и высказывательной формы.

2. Перечислите основные логические связки.

3. Дайте определение логической операции.

4. Дайте определение негации, конъюнкции, дизъюнкции, импликации и эквиваленции.

5. Какие переменные называются пропозициональными?

6. Сформулируйте определение формулы логики высказываний.

7. Опишите процедуру формализации высказываний.

8. Для чего нужна таблица истинности?

9. Опишите алгоритм составления таблицы истинности.

10. Какие формулы называются тавтологиями, противоречиями, выполнимыми (опровержимыми)?

11. Какие формулы называются равносильными?

12. Сформулируйте несколько основных законов логики.

13. Для чего нужны законы логики?







Дата добавления: 2015-04-16; просмотров: 791. Нарушение авторских прав; Мы поможем в написании вашей работы!




Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...


Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...


Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...


ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

Примеры задач для самостоятельного решения. 1.Спрос и предложение на обеды в студенческой столовой описываются уравнениями: QD = 2400 – 100P; QS = 1000 + 250P   1.Спрос и предложение на обеды в студенческой столовой описываются уравнениями: QD = 2400 – 100P; QS = 1000 + 250P...

Дизартрии у детей Выделение клинических форм дизартрии у детей является в большой степени условным, так как у них крайне редко бывают локальные поражения мозга, с которыми связаны четко определенные синдромы двигательных нарушений...

Педагогическая структура процесса социализации Характеризуя социализацию как педагогический процессе, следует рассмотреть ее основные компоненты: цель, содержание, средства, функции субъекта и объекта...

Приготовление дезинфицирующего рабочего раствора хлорамина Задача: рассчитать необходимое количество порошка хлорамина для приготовления 5-ти литров 3% раствора...

Дезинфекция предметов ухода, инструментов однократного и многократного использования   Дезинфекция изделий медицинского назначения проводится с целью уничтожения патогенных и условно-патогенных микроорганизмов - вирусов (в т...

Машины и механизмы для нарезки овощей В зависимости от назначения овощерезательные машины подразделяются на две группы: машины для нарезки сырых и вареных овощей...

Studopedia.info - Студопедия - 2014-2025 год . (0.012 сек.) русская версия | украинская версия