|
|
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я |
|
|
|
|
|
 |
|
 |
|
 |
ЛОГИКА
ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.
|
 |
|
|
 |
 |
|
 |
|
 |
|
|
|