Навигация
Чехия | Япония
  Новости    Статьи  
  Энциклопедия  
  Страны     Защита картера     Горячие новости  

Энциклопедия

Выбор по первым буквам
Ла Лб Лв Лг Лд
Ле Лж Лз Ли Лй
Лк Лл Лм Лн Ло
Лп Лр Лс Лт Лу
Лф Лх Лц Лч Лш
Лщ Лъ Лы Ль Лэ
Лю Ля


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

ЛОГИКА


ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.