Учебная работа № 3767. «Контрольная Задание по математической логике

Учебная работа № 3767. «Контрольная Задание по математической логике

Количество страниц учебной работы: 0
Содержание:
Здесь только контрольное задание
Доказать тождества логики Буля
(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

Стоимость данной учебной работы: 585 руб.Учебная работа № 3767.  "Контрольная Задание по математической логике

    Укажите Ваш e-mail (обязательно)! ПРОВЕРЯЙТЕ пожалуйста правильность написания своего адреса!

    Укажите № работы и вариант

    Соглашение * (обязательно) Федеральный закон ФЗ-152 от 07.02.2017 N 13-ФЗ
    Я ознакомился с Пользовательским соглашением и даю согласие на обработку своих персональных данных.

    Выдержка из похожей работы

    Мышление и язык, Естественные и
    искусственные языки,
    Изучение взаимодействия человека с
    окружающим его миром предполагает
    анализ второй сигнальной системы –
    речи или языка, Эта система отсутствует
    у животных, Естественный язык тесно
    связан с абстрактной деятельностью,
    Мышление без языка невозможно, Поскольку
    мышление идеально, язык выступает
    средством его материализации, При помощи
    разных грамматических форм он выражает
    разные по логической форме мысли,

    Неразрывная связь мышления и языка
    «решает» проблему идеальной природы
    мышления, но создает другую – проблему
    смысла языковых выражений и понимания,
    Начиная формироваться в раннем детстве,
    с возрастом мышление обретает своё
    содержание и объем, а также средство
    его выражения – индивидуальную лексику,
    Взаимосвязь мышления и языка имеет не
    только количественный аспект,

    Естественный язык– результат
    длительного процесса формирования, в
    ходе которого образуется его многообразие
    и сложность, позволяющие в одной ситуации
    одно и то же понятие называть одним
    словом, а в другой – другим, Лингвистические
    науки образуют третью группу наук,
    изучающих мышление, и во всех разделах
    грамматики прослеживается параллель
    логики и лингвистики,
    Математическая логика имеет ряд разделов,
    пользующихся искусственным языком,
    В отличие от естественного языка, в
    искусственном каждому символу придано
    одно единственное значение, Формализация
    простых высказываний (или суждений)
    привела к созданиюпропозициональной
    логики, илиисчисления
    высказываний, Сложные
    высказывания образуются из простых при
    помощи логических союзов, Их таблица
    приведена в III главе, посвященной анализу
    сложных суждений, Суждение в математической
    логике принято называть высказыванием,
    Так, символическая запись: p→q будет
    означать сложное высказывание типа:
    «если это дерево, то оно не проводит
    электрический ток»