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

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

 

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

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

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

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

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

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

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

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