Суждением с отношением называется суждение об отношении между предметами

могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. xRy, где x и y – члены отношения,обозначают понятия о предметах; R – отношения между ними. т.е. запись отрицательного суждения

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.( экзистенциальные суждения) пример существуют статические законы

S есть Р

32) Объединенная квалификация простых категоричных суждений по количеству и качеству.

Объединённая классифик. простых суждений.

Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение — это суждение, общее по количеству и утвердительное по качеству. «Все S есть Р»

Общеотрицательное суждение — суждение, общее по количе­ству и отрицательное по качеству «Ни одно S ни есть Р»

Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. «Некоторые S есть Р»

Частноотрцательное суждение — суждение, частное по количеству и отрицательное по качеству. «Некоторые S не есть Р»

В логике принято сокращенное обозначение суждений по их объединенной классификации.

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не присуще свойство Р.

Не нашли, что искали? Воспользуйтесь поиском: