Экзамен зачет учебный год 2023 / Logic-1
.docxПоляков Сергей, Родионов Егор, Усаев Никита (219)
2 семинар
Символ |
Название |
Русский язык |
Классификация высказываний |
& |
Конъюнкция |
И, а, но, хотя, да |
Соединительные |
∨ |
Дизъюнкция |
Или, либо |
Разделительные |
⊻ |
Строгая дизъюнкция |
Или-или; либо-либо |
Строго разделительные |
|
Импликация |
Одно вследствие другого |
Условные |
|
Эквиваленция |
Если и только если; тогда и только тогда |
Эквивалентности |
¬ |
Отрицание |
Неверно, что; не |
Отрицательные |
Если идет дождь, то идет дождь или холодно, потому что осень
p→(q→(p∨r)
Все S есть P // SaP (общеутвердительные)
Ни один S это не P (общеотрицательное) // SeP
Некоторые S это P // SiP (частноотрицательные)
Некоторые S это не P (частноотрицательное) // SoP
SaP Sep Контрарность запрещена одновременная истинность
SiP SoP Субконтрарность запрещена одновременная ложность
SoP SeP Подчинение
SaP SiP Подчинение
¬¬А == A
¬(A&B) == ¬A ∨ ¬B
¬(A∨B) == ¬A & ¬B
¬(A→B) == A & ¬B
¬(AB) == A ⊻ B
¬(A ⊻ B) == (AB)
Если завтра дождь (А), то я возьму зонт (В)
Идёт снег или холодно, потому что зима
¬(p(r∨q) == r&(¬p∨q)=== r&¬p&¬q
Если пасмурно (p) и холодно (q) либо прохладно(r), то не лето (t)
¬(p & (q∨r) ¬t) == (p & (qvr)) & t
(Все собаки – S – имеют – a – теплый нос – P) или (некоторые люди – Q – o – не умные – R)
¬(SaP v QoR) == ¬SaP & ¬QoR == SoP & QaR
Некоторые собаки имеют не теплый нос, и все люди умные
-
Шпаргалка
Связь
1
2
3
4
Субконтрарность
ДА
НЕТ
Контрарность
НЕТ
ДА
Противоречие
НЕТ
НЕТ
Эквивалентность
НЕТ
НЕТ
Подчинение
ДА
Подчинение
ДА
Независимость
ДА
ДА
ДА
ДА