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

   МАТ.ЛОГИКА - это наука о средствах и методах мат. доказавтельств. мат.логика изучает принципы построения мат. теорий. предметом мат.логики яв-ся рассуждение.
   по толковому словарю Ожегова:  ЛОГИКА - 1)наука о законах и формах мышления; 2)ход рассуждений, умозаключений; 3)разумность, внутренняя закономерность ч.-л.
   Алфавит форм. логики состоит из заглавных латинских букв (A,B,C,...) и связок (операторов).
   Основные формы мышления: 1)ПОНЯТИЕ - слова и словосочетания, которые описывают существ. признаки предмета (доска, мел, г. Чебоксары,...) 2)суждение (ВЫСКАЗЫВАНИЕ утверждения) - повеств. предл-ия, которые утверждают либо отрицают  ч.-л. о предметах, их свойствах и отношениях между ними (5 - отличная оценка,...). 3)УМОЗАКЛЮЧЕНИЕ - процесс получения или обоснования новых утверждений из исходных. Исходные утверждения наз-ся ПОСЫЛКАМИ (нач. данными или исходными условиями), а заключит. утверждение - ВЫВОДОМ или заключением.
   Суждения бывают ПРОСТЫЕ и СЛОЖНЫЕ. Простое выск-ие - выск-ие, которое в своем составе не содержит других выск-ий. Сложное выск-ие - выск-ие, которое состоит из нескольких простых. 
   3 основных ЗАКОНА форм. логики: 1)ТОЖДЕСТВА - в процессе опред. рассуждения всякое понятие и высказывание должны быть тождественны самим себе. 2)НЕПРОТИВОРЕЧИЯ - невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении. 3)ИСКЛЮЧЕННОГО ЛИШНЕГО - из 2х противоречивых высказываний одно истинно, другое - ложно, а третьего не дано.