Навигация

Общие вопросы


по алгебре по мат.логике по истории по физике по геометрии

Зарегистрировано: 160  Online: 1

Экзаменационные вопросы по курсу математической логики

Печать
(8 голосов)
Оглавление
Экзаменационные вопросы по курсу математической логики
Страница 2
Страница 3
Страница 4
Страница 5
Страница 6
Страница 7
Страница 8
Страница 9
Страница 10
Страница 11
Страница 12
Страница 13
Страница 14
Свойства следования:

1) Рефлексивность (F => F)

2) Транзитивность ()

Определить следует ли одна формула из другой можно с помощью:

1) равносильных преобразований, составив импликацию двух формул и упростив эту импликацию.

2) составления таблицы истинности для импликации двух формул и проверки, является ли эта импликация тавтологией.

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

Изначально предполагается, что все посылки истинны => их конъюнкция истинна. Заключение должно быть истинным.

Правильный аргумент - если из конъюнкции посылок следует заключение.

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

Способы проверки:

- таблица истинности;

- упрощение;

- сокращённый метод;

- привести к стандартному виду аргумент.

Стандартные виды аргументов:


Правильные аргументы:

               


Неправильные аргументы:

              


8) Сокращённые способ проверки аргументов

Сокращённый метод проверки аргументов заключается в том, что:

1) Делается предположение, что все посылки истинны, а следствие - ложно, т. е. единственный вариант, когда аргумент неверен

2) Затем мы проводим ряд рассуждений

3) И в наших рассуждениях есть противоречия, то наше предположение неверно => аргумент правильный, если же противоречий нет, то посылки истинны, а следствие ложно => аргумент неправильный.

Главная задача этого метода - определить такой набор переменных, при котором аргумент будет неверен или доказать, что их нет.

Пример:



  Нет комментариев.

Обсудить на форуме. (0 комментариев)

Добавить комментарий


Защитный код
Обновить

« Элементы математической логики