Современная энциклопедия - математическая логика
Связанные словари
Математическая логика
математическая логика
МАТЕМАТИЧЕСКАЯ логика>, дедуктивная логика>, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Рейтинг статьи:
Комментарии:
См. в других словарях
1.
МАТЕМАТИЧЕСКАЯ логика дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. ...Большой энциклопедический словарь
2.
МАТЕМАТИЧЕСКАЯ ЛОГИКА Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во-первых, краткость, во-вторых, ясность, в-третьих, точность. Приведем пример. Известный силлогизм. Большая посылка: "Все люди смертны". Малая посылка: "Сократ человек". И вывод: "Следовательно, Сократ смертен". Мы можем заменить имена "Сократ", "человек" и свойство "быть смертным" буквами, соответственно С, х и у. Слово "все" называется квантором всеобщности о нем мы скажем ниже. Оно обозначается так называемой гротесковой перевернутой буквой А: У. Итак, запишем символически большую посылку: У(х)(у), то есть для всех индивидов х соблюдается свойство у все люди смертны. Теперь запишем символически малую посылку С(х), то есть индивид С обладает свойством х, Сократ человек. И вывод: С(у), то есть индивид обладает свойством у. Сократ смертен. Теперь запишем весь силлогизм в виде импликации (логического следования): У(х)(у) а С(х) -> С(у) То есть, "если все люди смертны и Сократ человек, то Сократ смертен". Если записывать...Энциклопедия культурологии
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 757 | |
2 | 655 | |
3 | 545 | |
4 | 535 | |
5 | 512 | |
6 | 494 | |
7 | 485 | |
8 | 482 | |
9 | 482 | |
10 | 481 | |
11 | 470 | |
12 | 453 | |
13 | 453 | |
14 | 446 | |
15 | 440 | |
16 | 440 | |
17 | 432 | |
18 | 428 | |
19 | 426 | |
20 | 409 |