Презентация на тему "Суждение"

Содержание

• 
  Слайд 1

  Суждение

• 
  Слайд 2

  Общая характеристика суждения

  Суждение – это форма мысли, в которой нечто утверждается или отрицается о существовании предмета, связях между предметом и свойством или об отношениях между предметами. Суждение может быть истинным или ложным. Не всякое предложение является суждением. Не являются суждением вопросительные и побудительные суждения «Закрой дверь», «Кто сегодня дежурный?». По составу суждения делятся на простые и сложные.

• 
  Слайд 3

  Простые суждения, их состав и виды

  Простое атрибутивноесуждениесостоит из следующих структурных элементов: субъекта, предиката, связки, квантора. Субъект суждения – это то, о чем говорится в данном суждении. Обозначается буквой "S" (от лат. subjektum - лежащий в основе). Предикат суждения – это то, что говорится о субъекте суждения. Обозначается буквой "Р"(от лат. слова predikatum - сказанный).

• 
  Слайд 4
  

  Связка выражает отношения, установившиеся в суждении между субъектом и предикатом. Обозначается знаком "тире" (-) и может подразумеваться или быть выражена одним словом или группой слов: "есть", "суть", "не является", "имеется" и т.п. По качеству связки суждения бывают утвердительные (связка «есть») или отрицательными (связка «не есть»)

• 
  Слайд 5
  

  Квантор (кванторное слово) указывает, относится ли суждение ко всему или к части объема понятия, выражающего субъект ("все", "некоторые", "многие", "ни один" и т.п.). «S есть Р», «S не есть Р» Пример: «Все люди смертны», «Ни один злой человек не бывает счастлив»

• 
  Слайд 6
  

  По количеству суждения делятся на единичные: Это S есть(не есть) Р,общие: Все S есть (не есть) Р,частные: Некоторые S есть (не есть)РЕдиничные и общие суждения в процессе рассуждения ведут себя одинаково, так как S берется в этих суждениях в полном объеме. Поэтому единичные утвердительные и общеутвердительные суждения получили обозначение латинской буквой А. Единичные отрицательные и общеотрицательные суждения обозначаются латинской буквой Е

• 
  Слайд 7

  Объединенная классификация суждений

  Общеутвердительные А – все S есть P ОбщеотрицательныеE – все S не есть Р ЧастноутвердительныеI – некоторые S есть Р ЧастноотрицательныеО – некоторые S не есть Р

• 
  Слайд 8

  Распределенность терминов S и Р в суждении

  Распределенным термин считается тогда, когда его объем полностью включен в объем другого термина, либо полностью исключен из объема другого термина. Термин считается нераспределенным, если его объем только частично включается в объем другого термина либо частично исключается из него. Рассмотрим все четыре типа суждений: А,Е,I,О: А: «Все S есть Р» Первый вариант: Все птицы имеют крылья S распределен, Р не распределен Второй вариант: Все квадраты – прямоугольные ромбы S P SP

• 
  Слайд 9

  J: Некоторые S есть РДва варианта:

  1. Некоторые студенты- спортсмены Sи Р - оба не распределены по объемам 2. Некоторые писатели – драматурги S не распределен, Р – распределен Е: Ни одно S не есть Р Оба термина S и Р распределены относительно друг друга S P Р S S P

• 
  Слайд 10

  О: Некоторые S не есть Р

  1. Некоторые студенты не являются спортсменами S не распределено, Р распределен 2. Некоторые змеи не имеют ядовитых зубов S не распределен, Р распределен Р S S Р

• 
  Слайд 11

  Сложные суждения

  Сложные суждения состоят из двух и более простых, соединенных логической связкой. Виды связок:  - конъюнкция (грамматические союзы «и», «а», «но», «да», точка, запятая, двоеточие, точка с запятой, дефис.); V – слабая дизъюнкция (грамматические союзы «или…или», «либо … либо» в значении «и то, и другое вместе»); V – строгая дизъюнкция (грамматические союзы «или … или», «либо … либо» в значении «что-то одно из двух»);  - импликация (грамматические союзы «если …, то», «когда …, тогда», «следовательно», «значит»);  (↔) - эквиваленция (грамматические союзы «если и только если …, то», «тогда и только тогда …, когда»). .

• 
  Слайд 12
  

  По типу применяемого союза все сложные суждения делятся на следующие виды: соединительные (конъюнктивные); разделительные (дизъюнктивные). Существует два вида разделительных (дизъюнктивных) суждений: а) исключающе-разделительные (используется строгая дизъюнкция); б) соединительно-разделительные (используется слабая дизъюнкция); условные (импликативные); эквивалентные.

• 
  Слайд 13
  

  Таблица истинности сложных суждений

• 
  Слайд 14

  Формализация сложных суждений

  При формализации сложных суждений необходимо: выделить в качестве элементов простые суждения и обозначить их переменными; расставить между переменными логические связки, соответствующие союзам. Пример: Обоснуйте правильность вывода с помощью таблицы истинности: Если игроки « Динамо» выиграют предстоящий матч, а команда «Спартак» потерпит поражение, то команда «Торпедо» займет призовое место. Но команда «Торпедо» не заняла призового места. Значит, либо игроки «Динамо» проиграли матч, либо команда «Спартак» не потерпела поражение.

• 
  Слайд 15
  

  Данное сложное суждение содержит следующие простые суждения: А - игроки « Динамо» выиграют предстоящий матч В - команда «Спартак» потерпит поражение С - команда «Торпедо» займет призовое место Не-С - команда «Торпедо» не заняла призового места Не-А - игроки «Динамо» проиграли матч Не-В - команда «Спартак» не потерпела поражение

• 
  Слайд 16
  

  Формула данного сложного суждения: (((А  В)  С) не- С)  (не-АVне-В) Количество строк в таблице истинности определяется по формуле 2, где n – количество переменных. Количество столбиков равно количеству переменных плюс количество подформул, входящих в исходную формулу.

• 
  Слайд 17
  
• 
  Слайд 18
  

  Комбинации «И» и «Л» задаются формулами: * 1 столбик (половина «И», половина «Л») * 2 столбик (четверть «И» , четверть «Л», четверть «И» , четверть «Л») * и т.п. * последний столбик всегда содержит чередование «И» и «Л». для формулы (((А  В)  С) не-С)  (не-АVне- В) * количество строк равно 2 = 8 * чередование комбинаций «И» и «Л» следующее: 1 столбик - 4 раз подряд «И», 4 раз подряд «Л». 2 столбик - 2 раза подряд «И», 2 раза подряд «Л», 2 раза подряд «И», 2 раза подряд «Л». 3 столбик - содержит чередование «И» и «Л». количество столбиков равно 3 (3 переменные) + 5 (5 подформул исходной формулы) = 8. (А  В) (А  В)  С ((А  В)  С)  не-С (не-А V не-В) (((А  В)  С) не-С)  (не-АVне-В) * - (((А  В)  С) не-С)  (не-АVне- В)

• 
  Слайд 19
  

  Данная формула есть логически - нейтральная (не тождественно - истинная), поэтому вывод по этой формуле является логически неправильным, не убедительным.

• 
  Слайд 20

  О противоположении суждений

  Противоположение суждений по истинности в рамках «логического квадрата»

• 
  Слайд 21