Основные положения Базовые логические операции Логические основы компьютера

Понятие Высказывание Умозаключение Доказательство

 

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

Основы формальной логики заложил Аристотель (384 – 322 до н. э.):

отделил логические формы речи от содержания речи;

исследовал терминологию логики;

разработал теорию умозаключений и доказательств;

описал ряд логических операций;

сформулировал основные законы мышления.

©Максимовская М.А., 2016 год, Москва