задание

решение

Фамилия Имя Отчество

Ваши собственные

Определить значение истинности следующих высказываний:
1) Высказывание "10 делится на 2 и 5 больше 3"
2) Высказывание "10 делится на 2 и 5 не больше 3»
3) Высказывание "10 не делится на 2 и 5 больше 3"
4) Высказывание "10 не делится на 2 и 5 не больше 3"

1)

2)

3)

4)

Определить истинность высказывания:

• 2 * 2 = 4 /\ 3 * 3 = 10)  \/  (2 * 2 = 5 /\ 3 * 3 = 9)

• ответ

• решение

записать формулой логики высказываний

• для получения зачета необходимо выполнить все работы

записать формулой логики высказываний

• если выполнять все работы досрочно или, посещая занятия, выполнить их до зачета, то можно получить зачет "автоматом"

по формуле написать реальное высказывание (на любую тему)

• F(A, B) = A /\ B

Если Фамилия Имя пропускает пару у kmp без уважительной причины, которая документально подтверждена, даже предварительно не предупредив преподавателя о своем отсутствии, не отпросившись с пары, без уважительной причины, да еще и в в контексте массового прогула, то Фамилию Имя ждет либо отчисление, либо не просто выполнение запланированной лабораторной работы, но еще и дополнительная самостоятельная работа по пропущенной теме  и лишение себя возможности получить зачет автоматом

Средствами логики высказываний решить задачу (определив кем и в каком году изготовлен мейнфрейм):

Студенты, Иванов, Петров и Сидоров нашли на AliExpress старый мейнфрейм.
Вдохновившись историей Круковcки каждый высказал два предположения.
Иванов: «Это мейнфрейм IBM и создан в 2004 году веке».
Петров: «Это мейнфрейм HP и создан в 1999 году».
Сидоров: «Это мейнфрейм не IBM и создан в 2000 году».
kmp сказал студентам, что каждый из них прав только в одном из двух предположений.
Подсказка
Примечание: Тождественно истинная формула -  истинна при любых значениях входящих в неё переменных)

• правильный ответ на вопрос "Кем создан мейнфрейм?"

• правильный ответ на вопрос "В каком году создан мейнфрейм?"

• подробное решение

Средствами логики высказываний решить задачу (определив куда поступят подруги):

Подруги, Орлова, Соколова и Дроздова решили все вместе получить высшее образование
Каждая высказала свои предпочтения.
Орлова: «Я хочу изучать компьютерную лингвистику».
Соколова: «Я не хочу изучать компьютерное речеведение».
Дроздова: «Я хочу изучать теоретическую семиотику».
Каждая из них слукавила в одном из двух пожеланий (или про компьютерную или про лингвистику; или про компьютерное или про речеведение; или про теоретическую или про семиотику).