Настоящее издание представляет собой учебное пособие, подготовленное в соответствии с Государственным образовательным стандартом по дисциплине «Логика». Материал изложен кратко, но четко и доступно, что позволит в короткие сроки успешно подготовиться и сдать экзамен или зачет по данному предмету. Издание предназначено для студентов высших учебных заведений.
Для обозначения науки этот термин ввел в начале III в. до н. э. основатель стоического направления в философии Зенон из Китиона (ок. 336–264 до н. э.).
ромашкой»). I (i) – символ частноутвердительного суждения («Некоторые люди миллионеры»). О (о) – символ частноотрицательного суждения («Некоторые студенты не есть спортсмены»). ∀ – символ квантора общности, в языке выражается словом «для всякого», «для любого» и т. п. ∃ – символ квантора существования, в языке выражается словом «некоторые», «существуют такие» и т. п. ∧ – символ, или знак, соединительного логического союза «и» (конъюнкция). ∨ – символ (знак) разделительного логического союза «или» (дизъюнкция). → – символ условного логического союза «если, то» (импликация). ↔ – символ логического союза тождества, эквивалентности, «тогда и только тогда, когда». «Не» – отрицательная частица, выражается тильдой (∼), например ∼В.
Приведем символику логики. S – символ для обозначения субъекта суждения (логического подлежащего). P – символ для обозначения предиката суждения (логического сказуемого). М – средний термин умозаключения, общее для исходных суждений понятие. «Есть» – «не есть» (суть – не суть и пр.) – логическая связка между субъектом и предикатом суждения, выражаемая иногда с помощью тире между «S» и «Р». R – символ любого отношения. А (а) – символ общеутвердительного суждения («Все школьники – учащиеся»). Е (е) – символ общеотрицательного суждения («Ни один цветок этого букета не является ро
