ݺߣ

ݺߣShare a Scribd company logo
Основные понятия логики Суждение, умозаключение, понятие. [email_address]
Введение Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями. Основы формальной логики заложил Аристотель,  который впервые отделил логические формы речи от ее  содержания.  Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.  Логика (древнегреч. Logos - «слово, мысль, понятие, рассуждение закона»)  - наука о законах и формах мышления.  Логика изучает внутреннюю структуру процесса мышления, который реализуется в таких естественно сложившихся формах как  понятие, суждение, умозаключение и доказательство.  [email_address]
Понятие Понятие  - это форма мышления, отражающая наиболее существенные свойства  предмета, отличающие его от других предметов.  Содержание понятия составляет совокупность существенных признаков предмета. Объем понятия определяется совокупностью предметов, на которую оно распространяется, и может быть представлено в форме множества объектов, состоящего из элементов множества. [email_address] Ромбы Треугольники Четырехугольники Прямоугольники
Высказывание Высказывание (суждение)  -  это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности.  [email_address]
Высказывание Высказывания имеют определенную логическую форму. Понятие о предмете мысли называется  субъектом  и обозначается буквой  S , а понятие о свойствах и отношениях предмета мысли называется  предикатом  и обозначается буквой  P . Оба эти понятия -  субъект и предикат называются  терминами  суждения. Отношения  между  субъектом  и  предикатом  выражается  связкой   «есть», «не есть», «является», «если…то», «тогда и только тогда» и т.д.  [email_address]
Математическая логика Высказывание - некоторое предложение, которое может быть истинно или ложно. Называются логическими постоянными или логическими константами. Утверждение - суждение, которое требуется доказать или опровергнуть. Рассуждение - цепочка высказываний или утверждений, определенным образом связанных друг с другом. Умозаключение - логическая операция, в результате которой из одного или нескольких данных суждении получается новое суждение. Область знаний, которая изучает истинность или ложность высказываний - математическая логика. Утверждения в математической логике называют логическими выражениями. [email_address]
Задания  1.  Установите, какие из следующих предложений являются логическими высказываниями, а какие — нет (объясните почему):  а)  “ Солнце есть спутник Земли ”;  б)  “ 2+3 = 4 ”;  в)  “ сегодня отличная погода ”;  г)  “ в романе Л.Н. Толстого “Война и мир” 3 432 536 слов ”;  д)  “ Санкт-Петербург расположен на Неве ”;  е)  “ музыка Баха слишком сложна ”;  ж)  “ первая космическая скорость равна 7.8 км/сек ”;  з)  “ железо — металл ”;  и)  “ если один угол в треугольнике прямой, то треугольник будет тупоугольным ”;  к)  “ если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный ”.  [email_address]
Задания  2.  Укажите, какие из высказываний истинны, какие — ложны, а какие относятся к числу тех, истинность которых трудно или невозможно установить. а)  “ Солнце есть спутник Земли ”;  б)  “ 2+3 = 4 ”;  в)  “ сегодня отличная погода ”;  г)  “ в романе Л.Н. Толстого “Война и мир” 3 432 536 слов ”;  д)  “ Санкт-Петербург расположен на Неве ”;  е)  “ музыка Баха слишком сложна ”;  ж)  “ первая космическая скорость равна 7.8 км/сек ”;  з)  “ железо — металл ”;  и)  “ если один угол в треугольнике прямой, то треугольник будет тупоугольным ”;  к)  “ если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный ”.  [email_address]
Задания  3.  Сформулируйте отрицания следующих высказываний или высказывательных форм:  а)  “ Эльбрус — высочайшая горная вершина Европы ”;  б)  “ 2>=5 ”;  в)  “ 10<7 ”;  г)  “ все натуральные числа целые ”;  д)  “ через любые три точки на плоскости можно провести окружность ”;  е)  “ теннисист Кафельников не проиграл финальную игру ”;  ж)  “ мишень поражена первым выстрелом ”;  з)  “ это утро ясное и теплое ”;  и)  “ число n делится на 2 или на 3 ”;  к)  “ этот треугольник равнобедренный и прямоугольный ”;  л)  &quot; на контрольной работе каждый ученик писал своей ручкой &quot;.  [email_address]
Задания  4.  Определите значения истинности высказываний:  а)  “ наличия аттестата о среднем образовании достаточно для поступления в институт ”;  б)  “ наличие аттестата о среднем образовании необходимо для поступления в институт ”;  в)  “ если целое число делится на 6, то оно делится на 3 ”;  г)  “ подобие треугольников является необходимым условием их равенства ”;  д)  “ подобие треугольников является необходимым и достаточным условием их равенства ”;  е)  “ треугольники подобны только в случае их равенства ”;  ж)  “ треугольники равны только в случае их подобия ”;  з)  “ равенство треугольников является достаточным условием их подобия ”;  и)  “ для того, чтобы треугольники были неравны, достаточно, чтобы они были неподобны ”;  к)  “ для того, чтобы четырёхугольник был квадратом, достаточно, чтобы его диагонали были равны и перпендикулярны ”.  [email_address]

More Related Content

What's hot (20)

Тождество, истина и парадокс анализа
Тождество, истина и парадокс анализаТождество, истина и парадокс анализа
Тождество, истина и парадокс анализа
Victor Gorbatov
логика этапы развития
логика этапы развитиялогика этапы развития
логика этапы развития
School 242
Экспертные системы: лекция №5
Экспертные системы: лекция №5Экспертные системы: лекция №5
Экспертные системы: лекция №5
Laboratory of Information Science and Semantic Technologies
03 классическая логика высказываний
03 классическая логика высказываний03 классическая логика высказываний
03 классическая логика высказываний
Julia Gorbatova
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
Julia Gorbatova
линейное уравнение с одной переменной
линейное уравнение с одной переменной линейное уравнение с одной переменной
линейное уравнение с одной переменной
aviamed
Логика как наука
Логика как наукаЛогика как наука
Логика как наука
Natalitutor
Решения проблемы поиска пути в играх.
Решения проблемы поиска пути в играх.Решения проблемы поиска пути в играх.
Решения проблемы поиска пути в играх.
Lerika
Автоматическое извлечение синтаксических контекстов из текстовой коллекции
Автоматическое извлечение синтаксических контекстов из текстовой коллекцииАвтоматическое извлечение синтаксических контекстов из текстовой коллекции
Автоматическое извлечение синтаксических контекстов из текстовой коллекции
Спецсеминар "Искусственный Интеллект" кафедры АЯ ВМК МГУ
2.1.3.философия
2.1.3.философия2.1.3.философия
2.1.3.философия
Jacob Feldman
Логика 03. Классическая логика высказываний
Логика 03. Классическая логика высказыванийЛогика 03. Классическая логика высказываний
Логика 03. Классическая логика высказываний
Victor Gorbatov
практика01 97
практика01 97практика01 97
практика01 97
cezium
О взаимосвязях между онтологиями и логиками
О взаимосвязях между онтологиями и логикамиО взаимосвязях между онтологиями и логиками
О взаимосвязях между онтологиями и логиками
Irene Pochinok
Мнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксыМнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксы
Victor Gorbatov
Тождество, истина и парадокс анализа
Тождество, истина и парадокс анализаТождество, истина и парадокс анализа
Тождество, истина и парадокс анализа
Victor Gorbatov
логика этапы развития
логика этапы развитиялогика этапы развития
логика этапы развития
School 242
03 классическая логика высказываний
03 классическая логика высказываний03 классическая логика высказываний
03 классическая логика высказываний
Julia Gorbatova
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
Julia Gorbatova
линейное уравнение с одной переменной
линейное уравнение с одной переменной линейное уравнение с одной переменной
линейное уравнение с одной переменной
aviamed
Логика как наука
Логика как наукаЛогика как наука
Логика как наука
Natalitutor
Решения проблемы поиска пути в играх.
Решения проблемы поиска пути в играх.Решения проблемы поиска пути в играх.
Решения проблемы поиска пути в играх.
Lerika
Логика 03. Классическая логика высказываний
Логика 03. Классическая логика высказыванийЛогика 03. Классическая логика высказываний
Логика 03. Классическая логика высказываний
Victor Gorbatov
практика01 97
практика01 97практика01 97
практика01 97
cezium
О взаимосвязях между онтологиями и логиками
О взаимосвязях между онтологиями и логикамиО взаимосвязях между онтологиями и логиками
О взаимосвязях между онтологиями и логиками
Irene Pochinok
Мнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксыМнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксы
Victor Gorbatov

Similar to 2 основные понятия логики (11)

Понятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатамиПонятие предиката. Логические операции над предикатами
Понятие предиката. Логические операции над предикатами
aleksashka3
02 синтаксис и семантика
02 синтаксис и семантика02 синтаксис и семантика
02 синтаксис и семантика
Julia Gorbatova
основы логики
основы логикиосновы логики
основы логики
isva69
Obligationes ( Vigiliae Sophisticae)
Obligationes ( Vigiliae Sophisticae)Obligationes ( Vigiliae Sophisticae)
Obligationes ( Vigiliae Sophisticae)
Vitaliy Dolgorukov
Логика 02. Логика и язык
Логика 02. Логика и языкЛогика 02. Логика и язык
Логика 02. Логика и язык
Victor Gorbatov
01 основы логики
01 основы логики01 основы логики
01 основы логики
http://qo.do.am/ Скачать с сервера

More from zarechneva (20)

40 построение прямоугольного треугольника
40 построение прямоугольного треугольника40 построение прямоугольного треугольника
40 построение прямоугольного треугольника
zarechneva
Аксиомы геометрии
Аксиомы геометрииАксиомы геометрии
Аксиомы геометрии
zarechneva
методическая работа в округе
методическая работа в округеметодическая работа в округе
методическая работа в округе
zarechneva
организация взаимодействия в округе
организация взаимодействия в округеорганизация взаимодействия в округе
организация взаимодействия в округе
zarechneva
материалы к окружному педсовету
материалы к окружному педсоветуматериалы к окружному педсовету
материалы к окружному педсовету
zarechneva
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округ
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округИтоги работы за 2009 2010 год Дмитро-Титовский школьный округ
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округ
zarechneva
1 кодирование графической информации
1 кодирование графической информации1 кодирование графической информации
1 кодирование графической информации
zarechneva
формула хартли
формула хартлиформула хартли
формула хартли
zarechneva
Cпособы передачи информации
Cпособы передачи информацииCпособы передачи информации
Cпособы передачи информации
zarechneva
классификация информации
классификация информацииклассификация информации
классификация информации
zarechneva
1 информация и цивилизация
1 информация и цивилизация1 информация и цивилизация
1 информация и цивилизация
zarechneva
Понятие информации
Понятие информацииПонятие информации
Понятие информации
zarechneva
модель и моделирование
модель и моделированиемодель и моделирование
модель и моделирование
zarechneva
форматы представления чисел
форматы представления чиселформаты представления чисел
форматы представления чисел
zarechneva
4 условия выбора
4 условия выбора4 условия выбора
4 условия выбора
zarechneva
3 ветвление
3 ветвление3 ветвление
3 ветвление
zarechneva
2 способы записи алгоритмов
2 способы записи алгоритмов2 способы записи алгоритмов
2 способы записи алгоритмов
zarechneva
40 построение прямоугольного треугольника
40 построение прямоугольного треугольника40 построение прямоугольного треугольника
40 построение прямоугольного треугольника
zarechneva
Аксиомы геометрии
Аксиомы геометрииАксиомы геометрии
Аксиомы геометрии
zarechneva
методическая работа в округе
методическая работа в округеметодическая работа в округе
методическая работа в округе
zarechneva
организация взаимодействия в округе
организация взаимодействия в округеорганизация взаимодействия в округе
организация взаимодействия в округе
zarechneva
материалы к окружному педсовету
материалы к окружному педсоветуматериалы к окружному педсовету
материалы к окружному педсовету
zarechneva
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округ
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округИтоги работы за 2009 2010 год Дмитро-Титовский школьный округ
Итоги работы за 2009 2010 год Дмитро-Титовский школьный округ
zarechneva
1 кодирование графической информации
1 кодирование графической информации1 кодирование графической информации
1 кодирование графической информации
zarechneva
формула хартли
формула хартлиформула хартли
формула хартли
zarechneva
Cпособы передачи информации
Cпособы передачи информацииCпособы передачи информации
Cпособы передачи информации
zarechneva
классификация информации
классификация информацииклассификация информации
классификация информации
zarechneva
1 информация и цивилизация
1 информация и цивилизация1 информация и цивилизация
1 информация и цивилизация
zarechneva
Понятие информации
Понятие информацииПонятие информации
Понятие информации
zarechneva
модель и моделирование
модель и моделированиемодель и моделирование
модель и моделирование
zarechneva
форматы представления чисел
форматы представления чиселформаты представления чисел
форматы представления чисел
zarechneva
4 условия выбора
4 условия выбора4 условия выбора
4 условия выбора
zarechneva
3 ветвление
3 ветвление3 ветвление
3 ветвление
zarechneva
2 способы записи алгоритмов
2 способы записи алгоритмов2 способы записи алгоритмов
2 способы записи алгоритмов
zarechneva

2 основные понятия логики

  • 1. Основные понятия логики Суждение, умозаключение, понятие. [email_address]
  • 2. Введение Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне-греческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания. Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления. Логика (древнегреч. Logos - «слово, мысль, понятие, рассуждение закона») - наука о законах и формах мышления. Логика изучает внутреннюю структуру процесса мышления, который реализуется в таких естественно сложившихся формах как понятие, суждение, умозаключение и доказательство. [email_address]
  • 3. Понятие Понятие - это форма мышления, отражающая наиболее существенные свойства предмета, отличающие его от других предметов. Содержание понятия составляет совокупность существенных признаков предмета. Объем понятия определяется совокупностью предметов, на которую оно распространяется, и может быть представлено в форме множества объектов, состоящего из элементов множества. [email_address] Ромбы Треугольники Четырехугольники Прямоугольники
  • 4. Высказывание Высказывание (суждение) - это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. [email_address]
  • 5. Высказывание Высказывания имеют определенную логическую форму. Понятие о предмете мысли называется субъектом и обозначается буквой S , а понятие о свойствах и отношениях предмета мысли называется предикатом и обозначается буквой P . Оба эти понятия - субъект и предикат называются терминами суждения. Отношения между субъектом и предикатом выражается связкой «есть», «не есть», «является», «если…то», «тогда и только тогда» и т.д. [email_address]
  • 6. Математическая логика Высказывание - некоторое предложение, которое может быть истинно или ложно. Называются логическими постоянными или логическими константами. Утверждение - суждение, которое требуется доказать или опровергнуть. Рассуждение - цепочка высказываний или утверждений, определенным образом связанных друг с другом. Умозаключение - логическая операция, в результате которой из одного или нескольких данных суждении получается новое суждение. Область знаний, которая изучает истинность или ложность высказываний - математическая логика. Утверждения в математической логике называют логическими выражениями. [email_address]
  • 7. Задания 1. Установите, какие из следующих предложений являются логическими высказываниями, а какие — нет (объясните почему): а) “ Солнце есть спутник Земли ”; б) “ 2+3 = 4 ”; в) “ сегодня отличная погода ”; г) “ в романе Л.Н. Толстого “Война и мир” 3 432 536 слов ”; д) “ Санкт-Петербург расположен на Неве ”; е) “ музыка Баха слишком сложна ”; ж) “ первая космическая скорость равна 7.8 км/сек ”; з) “ железо — металл ”; и) “ если один угол в треугольнике прямой, то треугольник будет тупоугольным ”; к) “ если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный ”. [email_address]
  • 8. Задания 2. Укажите, какие из высказываний истинны, какие — ложны, а какие относятся к числу тех, истинность которых трудно или невозможно установить. а) “ Солнце есть спутник Земли ”; б) “ 2+3 = 4 ”; в) “ сегодня отличная погода ”; г) “ в романе Л.Н. Толстого “Война и мир” 3 432 536 слов ”; д) “ Санкт-Петербург расположен на Неве ”; е) “ музыка Баха слишком сложна ”; ж) “ первая космическая скорость равна 7.8 км/сек ”; з) “ железо — металл ”; и) “ если один угол в треугольнике прямой, то треугольник будет тупоугольным ”; к) “ если сумма квадратов двух сторон треугольника равна квадрату третьей, то он прямоугольный ”. [email_address]
  • 9. Задания 3. Сформулируйте отрицания следующих высказываний или высказывательных форм: а) “ Эльбрус — высочайшая горная вершина Европы ”; б) “ 2>=5 ”; в) “ 10<7 ”; г) “ все натуральные числа целые ”; д) “ через любые три точки на плоскости можно провести окружность ”; е) “ теннисист Кафельников не проиграл финальную игру ”; ж) “ мишень поражена первым выстрелом ”; з) “ это утро ясное и теплое ”; и) “ число n делится на 2 или на 3 ”; к) “ этот треугольник равнобедренный и прямоугольный ”; л) &quot; на контрольной работе каждый ученик писал своей ручкой &quot;. [email_address]
  • 10. Задания 4. Определите значения истинности высказываний: а) “ наличия аттестата о среднем образовании достаточно для поступления в институт ”; б) “ наличие аттестата о среднем образовании необходимо для поступления в институт ”; в) “ если целое число делится на 6, то оно делится на 3 ”; г) “ подобие треугольников является необходимым условием их равенства ”; д) “ подобие треугольников является необходимым и достаточным условием их равенства ”; е) “ треугольники подобны только в случае их равенства ”; ж) “ треугольники равны только в случае их подобия ”; з) “ равенство треугольников является достаточным условием их подобия ”; и) “ для того, чтобы треугольники были неравны, достаточно, чтобы они были неподобны ”; к) “ для того, чтобы четырёхугольник был квадратом, достаточно, чтобы его диагонали были равны и перпендикулярны ”. [email_address]