Логика высказываний

 

  1. Создать документ под именем Фамилия-ЛВ

  2. Прочесть материал, послушать Стивена Вольфрама и познакомиться с  сервисом.
    Послушать введение в
    в язык Wolfram от Стивена Вольфрама (перевод на русский)
    kmp рекомендует
    видео (СВ о теории всего) и видео (СВ о Wolfram Language)

  3. Заполнить в документе ФамилияЛВ Таблицу вида:

задание (вопрос)

решение (ответ)

 

 

 

 

 

 

 

 

 

 

 

 

  1. Познакомиться материалами о программе и с работой программы. Доказать теорему Моргана (доказательством могут служить эквивалентные таблицы истинности для каждого выражения из равенства.

  2. Познакомиться с сервисом...

  3. Познакомиться со стихотворением А.С. Пушкина и с записью его первой строфы на языке логики высказываний. Завершить запись стихотворения на языке формальной логики (переведя ....

  4. Отослать преподавателю письмо с PDF-документом Фамилия-ЛВ и отзывом о работе

  5. Обсудить с преподавателем результаты выполнения работ по логике высказываний, "умные вопросы", решения логических задач.

 

 

Перед выполнением работы прочтите все задания

 

 

http://www.wolframalpha.com/widgets/gallery/view.jsp?id=f128d94556e6a31ce678a58fbaee1ae

 

Правило ввода логических выражений: 

 

Множества или выражения обозначаем большими буквами латинского алфавита A,B,C,D и т.д. 

 A' - штрихом обозначаем дополнения множеств (в данном случае дополнение множества A)

 && - конъюнкция ( логическое "И" )

 || - дизъюнкция ( логическое "ИЛИ" )

 - отрицание (ставим впереди выражения, пример !A)

 \cap - пересечение множеств 

\cup - объединение множеств (сложение множеств)  

A&!B - обозначаем разность множеств A∖B=A-B

A=>B - импликация "Если ...., то"

A<=>B - эквивалентность 

 

 


http://www.wolframalpha-ru.com/search/label/Математическая%20логика

http://www.wolframalpha-ru.com/2012/02/wolframalpha.html
 

калькулятор логических функций



https://www.kontrolnaya-rabota.ru/s/mathlogic/

 

 

kmp