Учебная работа № 6078. «Контрольная Математическая логика 1 задачи
Учебная работа № 6078. «Контрольная Математическая логика 1 задачи
Содержание:
Задание 1.
Заданную систему булевых функций исследовать на полноту с помощью теоремы Поста.
(x│z)+y, x≡ y ∙ ┐z.
Задание 2.
Для данных формул построить таблицу истинностных значений и определить, является ли формула
а) общезначимой б) выполнимой
в) опровержимой г) невыполнимой
(┐x→┐y)→(( ┐y→x)→y),
┐((x→y)→((y→z)→(x→z))),
(x V z)→( ┐(y→z)→((xVy)→z)).
Список использованной литературы:
1. Клини С.К. Математическая логика. М.: Мир, 1973.
2. Куратовский К, Мостовский А. Теория множеств. М.: Мир, 1970.
3. Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965.
4. Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.
5. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математичес-
кой логике и теории алгоритмов. М.: Наука, 1975.
6. Барвайс Дж. (ред.) Справочная книга по математической логике в 4-х т.
М.:Наука,1982-1983.
Выдержка из похожей работы
Мышление и язык, Естественные и
искусственные языки,
Изучение взаимодействия человека с
окружающим его миром предполагает
анализ второй сигнальной системы –
речи или языка, Эта система отсутствует
у животных, Естественный язык тесно
связан с абстрактной деятельностью,
Мышление без языка невозможно, Поскольку
мышление идеально, язык выступает
средством его материализации, При помощи
разных грамматических форм он выражает
разные по логической форме мысли,
Неразрывная связь мышления и языка
«решает» проблему идеальной природы
мышления, но создает другую – проблему
смысла языковых выражений и понимания,
Начиная формироваться в раннем детстве,
с возрастом мышление обретает своё
содержание и объем, а также средство
его выражения – индивидуальную лексику,
Взаимосвязь мышления и языка имеет не
только количественный аспект,
Естественный язык– результат
длительного процесса формирования, в
ходе которого образуется его многообразие
и сложность, позволяющие в одной ситуации
одно и то же понятие называть одним
словом, а в другой – другим, Лингвистические
науки образуют третью группу наук,
изучающих мышление, и во всех разделах
грамматики прослеживается параллель
логики и лингвистики,
Математическая логика имеет ряд разделов,
пользующихся искусственным языком,
В отличие от естественного языка, в
искусственном каждому символу придано
одно единственное значение, Формализация
простых высказываний (или суждений)
привела к созданиюпропозициональной
логики, илиисчисления
высказываний, Сложные
высказывания образуются из простых при
помощи логических союзов, Их таблица
приведена в III главе, посвященной анализу
сложных суждений, Суждение в математической
логике принято называть высказыванием,
Так, символическая запись: p→q будет
означать сложное высказывание типа:
«если это дерево, то оно не проводит
электрический ток»
