Математическая логика

Слово «логика» всем хорошо знакомо. Его часто можно встретить на страницах всевозможных печатных изданий, услышать в разговорной речи. Что же означает это слово? Заглянем в толковый словарь С.И. Ожегова. Там сказано: «Логика – наука о законах мышления и его формах» и еще – «Логика – ход рассуждений». Если второе толкование смысла слова «логика» более или менее понятно каждому, то в связи с первым сразу возникает вопрос: а что такое формы и законы мышления?