Поляков Сергей, Родионов Егор, Усаев Никита (219)

² семинар

Символ	Название	Русский язык	Классификация высказываний
&	Конъюнкция	И, а, но, хотя, да	Соединительные
∨	Дизъюнкция	Или, либо	Разделительные
⊻	Строгая дизъюнкция	Или-или; либо-либо	Строго разделительные
	Импликация	Одно вследствие другого	Условные
	Эквиваленция	Если и только если; тогда и только тогда	Эквивалентности
¬	Отрицание	Неверно, что; не	Отрицательные

Если идет дождь, то идет дождь или холодно, потому что осень

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}

^{¬(AB) == A ⊻ B}

^{¬(A ⊻ B) == (AB)}

^{Если завтра дождь (А), то я возьму зонт (В)}

^{Идёт снег или холодно, потому что зима}

^{¬(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
Субконтрарность	ДА	НЕТ
Контрарность	НЕТ	ДА
Противоречие	НЕТ	НЕТ
Эквивалентность			НЕТ	НЕТ
Подчинение			ДА
Подчинение				ДА
Независимость	ДА	ДА	ДА	ДА