русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Умозаключения и их виды


Дата добавления: 2013-12-24; просмотров: 2112; Нарушение авторских прав


Необходимые и достаточные условия

Пример.

А В Если углы вертикальные, то они равны
В А Если углы равны, то они вертикальные
А В Если углы не являются вертикальными, то они не равны
В А Если углы не равны, то они не являются вертикальными

 

 

Необходимым условием некоторого суждения называется такое условие без выполнения которого суждение не может быть истинным. При выполнении же этого условия суждение может быть как истинным, так и ложным.

Достаточным условием некоторого суждения называется такое условие при выполнении которого суждение обязательно истинно.

А В

В необходимое условие для А

А достаточное условие для В

А В

А необходимое и достаточное условие для В

В необходимое и достаточное условие для А

 

 

Умозаключение – это способ получения нового знания на основе некоторого имеющегося.

Умозаключение состоит из посылок и заключения.

Посылки – это высказывания, содержащие исходное знание.

Заключение – это высказывание, содержащее новое знание, полученное из исходного.

Наиболее распространены следующие виды умозаключений: дедукция, индукция, умозаключение по аналогии.

I. Дедуктивным называется умозаключение, в котором посылки и заключение находятся в отношении логического следования.

Дедуктивное умозаключение характеризуется тем, что процесс рассуждения идет от общего к частному.

 

А1, А2, … Аn – посылки

В – заключение

А1, А2, … Аn

В

В логике существуют специальные правила, соблюдая которые, можно строить дедуктивные умозаключения. Эти правила называют правилами вывода или схемами дедуктивных умозаключений.

1. Правило заключения

Пример. Если сумма цифр числа х делится на 3, то число х делится на 3. Сумма цифр числа 2367 делится на 3. Следовательно, число 2367 делится на 3.



2. Правило отрицания

Пример. Если сумма цифр числа х делится на 3, то число х делится на 3. Число 1238 не делится на 3. Следовательно, сумма цифр числа 1238 не делится на 3.

3. Правило силлогизма

Пример. Если число х делится на 18, то оно делится на 9. Если число х делится на 9, то оно делится на 3. Следовательно, если число х делится на 18, то оно делится на 3.

II. Индукция – это метод рассуждения от частного к общему. Различают два вида индукции: полная и неполная.

Полной индукцией называется такой вид умозаключения, в котором вывод делается на основании всех без исключения частных случаев. Греки называли полную индукцию совершенной, поскольку она дает безупречное строгое рассуждение, которое может быть методом доказательства.

Неполна индукция – это умозаключение, в котором на основании того, что некоторые объекты класса обладают определенным свойством, делается вывод о том, что этим свойством обладают все объекты данного класса. Выводы, полученные в ходе неполной индукции, носят характер гипотез и нуждаются в дальнейшей проверке: их надо либо доказать, либо опровергнуть.

III. Аналогия – умозаключение, в котором на основании сходства двух объектов в некоторых свойствах и при наличии дополнительного свойства у одного из них делается вывод о наличии такого же свойства у другого объекта.

Заключение по аналогии может быть представлено в виде следующей схемы:

Объект А обладает свойствами С1, С2, С3

Объект В обладает свойствами С1, С2, С3

Объект А обладает дополнительным свойством D

Вероятно предположить, что объект В обладает свойством D

Отметим, что вывод по аналогии носит характер предположения, гипотезы, и поэтому нуждается либо в доказательстве, либо в опровержении.



<== предыдущая лекция | следующая лекция ==>
Теорема и ее структура. Виды теорем. | Кодекс этики аудиторов


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.028 сек.