ЛОГИКА ВЫСКАЗЫВАНИ И ПРЕДИКАТОВ
Логическое высказывание – связанное повествовательное предложение, о котором можно сказать истинно оно или ложно (На улице идёт дождь – высказывание, какая хорошая погода – не высказывание). В логике высказываний нас интересует не содержание, а истинностное значение высказываний (0 – Ложь, 1 – Истина). Высказывания А и В равносильны тогда и только тогда, когда истинностные значения А и В совпадают ( Основные операции над логическими высказываниями: (см. вопрос 2.1). Логика предикатов – логическая система, средствами которой можно исследовать структуру высказываний. Предикат – свойство объекта (отношения между объектами). Быть чётным, быть простым, делиться, быть больше.
Предикат – функция, высказывательные переменные которой принимают значения из некоторого множества Для задания предиката должно быть задано: 1. Область определения 2. Множество 3. Правило, по которому каждому элементу из множества Способы задания предиката. 1. Графический. 2. Табличный
3. Словесный Предикат 4. Формульный (аналитический). В логике предикатов для образования предложений можно использовать те же логические операции, что и в логике высказываний, т.е. дизъюнкцию, конъюнкцию, эквиваленцию, в результате получаются новые предикаты. Кванторы. 1. Квантор общности. 2. Квантор существования. Операции, уменьшающие местность предиката. 1. Фиксация значений переменной. 2. Операция связывания квантором Обобщение логических операций с помощью квантора. Пусть Квантор существования обобщает операцию дизъюнкция. Основные равносильности алгебры предикатов, содержащие кванторы. 1. Законы де Моргана. 2. Перестановка одноимённых кванторов (коммунитативные законы). 3. Дистрибутивные законы. 4. Законы ограничения действия кванторов Все законы, которые работают в алгебре высказываний, переносятся в алгебру предикатов. Читайте также: Почему двоичная система счисления так распространена?: Каждая цифра должна быть как-то представлена на физическом носителе... Как построить свою речь (словесное оформление):
При подготовке публичного выступления перед оратором возникает вопрос, как лучше словесно оформить свою... Личность ребенка как объект и субъект в образовательной технологии: В настоящее время в России идет становление новой системы образования, ориентированного на вхождение... ![]() ©2015-2020 megaobuchalka.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. (1059)
|
Почему 1285321 студент выбрали МегаОбучалку... Система поиска информации Мобильная версия сайта Удобная навигация Нет шокирующей рекламы |