Учебная работа № 3767. «Контрольная Задание по математической логике
Учебная работа № 3767. «Контрольная Задание по математической логике
Содержание:
Здесь только контрольное задание
Доказать тождества логики Буля
(a ~ b) — (a | b) = ( a v a) v (b v b)
((c ~ b) — (b v c)) v ((a ~ d) v (a — d)) = ((b v d) v (c v d)) | ((a — b) v (a — c))
Доказать клаузы логики высказываний
A, B > C => A ^ B ; B ^ C
A > (B ^ C), B D, (E > F ) > D (A ^ E ) > B > E
Выдержка из похожей работы
Мышление и язык, Естественные и
искусственные языки,
Изучение взаимодействия человека с
окружающим его миром предполагает
анализ второй сигнальной системы –
речи или языка, Эта система отсутствует
у животных, Естественный язык тесно
связан с абстрактной деятельностью,
Мышление без языка невозможно, Поскольку
мышление идеально, язык выступает
средством его материализации, При помощи
разных грамматических форм он выражает
разные по логической форме мысли,
Неразрывная связь мышления и языка
«решает» проблему идеальной природы
мышления, но создает другую – проблему
смысла языковых выражений и понимания,
Начиная формироваться в раннем детстве,
с возрастом мышление обретает своё
содержание и объем, а также средство
его выражения – индивидуальную лексику,
Взаимосвязь мышления и языка имеет не
только количественный аспект,
Естественный язык– результат
длительного процесса формирования, в
ходе которого образуется его многообразие
и сложность, позволяющие в одной ситуации
одно и то же понятие называть одним
словом, а в другой – другим, Лингвистические
науки образуют третью группу наук,
изучающих мышление, и во всех разделах
грамматики прослеживается параллель
логики и лингвистики,
Математическая логика имеет ряд разделов,
пользующихся искусственным языком,
В отличие от естественного языка, в
искусственном каждому символу придано
одно единственное значение, Формализация
простых высказываний (или суждений)
привела к созданиюпропозициональной
логики, илиисчисления
высказываний, Сложные
высказывания образуются из простых при
помощи логических союзов, Их таблица
приведена в III главе, посвященной анализу
сложных суждений, Суждение в математической
логике принято называть высказыванием,
Так, символическая запись: p→q будет
означать сложное высказывание типа:
«если это дерево, то оно не проводит
электрический ток»