Логика — наука о мышлении, ее предметом, являются законы и формы, приемы и операции мышления, с помощью которых человек позна­ет окружающий его мир

Простым называется суждение, не включающее другие сужде­ния. Суждение, состоящее из нескольких простых суждений, назы­вается сложным.
Структура простого суждения:  «S есть (не есть) Р»
12. Простое суждение и его виды.
Простым называется суждение, не включающее другие сужде­ния.
Виды простых суждений:
1.Атрибутивным называется суждение о признаке предмета. В нем отражает­ся связь между предметом и его признаком, эта связь утверждается или отрицается.Атрибутивное, или категорическое, суждение состоит из субъек­та, предиката и связки; его логическая схема S есть Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.
2. Суждением с отношением называется суждение об отноше­нии между предметами. Это могут быть отношения равенства, не­равенства, родства, пространственные, временные, причинно-след­ственные и другие отношения.
Принята следующая запись суждения с отношениями: хRу, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними.
3.Суждение существования - утверждает или отрицает существование предметов в действительности. S(есть) то,что E(P) (Существуют Мировые суды).
13. Классификация простых категорических суждений по количеству и качеству.
Категорические суждения делятся 1) по качеству и 2) по количе­ству.
1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого при­знака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным.
Утвердительное и отрицательное суждения различаются харак­тером связки, ее качеством. Утвердительная связка («есть») указы­вает на принадлежность признака предмету. Суждение с отрица­тельным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное.