Б) ровесник

В) сын

Г) начальник

Д) сосед

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

Тождество (рефлексивно, симметрично, транзитивно)

Например, в математике – отношение «=»

Подобие, или толерантность (рефлексивно, симметрично, нетранзитивно)

Например, в математике – отношение «»»

Частичный порядок (рефлексивно, несимметрично, транзитивно)

Например, в математике – отношение «³»

Линейный порядок (антирефлексивно, антисимметрично, транзитивно)

Например, в математике – отношение «>»

Упражнение 7. Докажите следующие теоремы:

А) антитранзитивное отношение не может быть рефлексивным

Б) антисимметричное отношение не может быть рефлексивным

В) любое транзитивное симметричное отношение рефлексивно

ИНДУКТИВНАЯ ЛОГИКА.

Дедукция и индукция как способы познания.

Важнейшей задачей логики является исследование различных познавательных процедур, посредством которых из уже имеющихся у нас сведений можно получать новую информацию. Одна из таких процедур – дедукция (от лат. «deductio» – «выведение»).

Рассуждение называется дедуктивным, если и только если совокупная информация, выраженная в его посылках (A1, …, An), содержит в качестве своей части (иногда в неявной форме) информацию, выраженную в заключении (В).

Дедукция позволяет извлечь эту информацию и представить ее в явной форме. Символически структура дедуктивного рассуждения записывается так:

A1, …, An ú= В

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

Рассуждение в этом случае строится следующим образом: если информация, содержащаяся в посылках A1, …, An верна, то правдоподобно было бы считать, что верно и В.

A1, …, An ú» В

Дата добавления: 2015-06-30; просмотров: 118; Нарушение авторских прав

Мы поможем в написании ваших работ!