Логика, основные формы мышления. Алгебра высказываний

Понятие, суждение, умозаключение - основные формы мышления.

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

Суждение представляет собой форму мысли, устанавливающую логическую связь между двумя и более понятиями.

Умозаключение— это способ получения нового знания на основе некоторого имеющегося. Он представляет собой переход от некоторых высказываний, фиксирующих наличие некоторых ситуаций в действительности, к новому высказыванию и соответственно к знанию о наличии ситуации, которую описывает это высказывание.

АЛГЕБРА ВЫСКАЗЫВАНИЙ является составной частью одного из современных быстро развивающихся разделов математики – математической логики. Математическая логика применяется в информатике, позволяет моделировать простейшие мыслительные процессы. Одним из занимательных приложений алгебры высказываний – решение логических задач.

Объектами алгебры высказываний являются высказывания. Высказывание – это истинное или ложное повествовательное предложение. Повествовательное предложение, в котором говорится об одном-единственном событии, называется простым высказыванием. Например, предложение «Луна – спутник Земли» есть простое высказывание, предложение «Не сорить!» не является высказыванием.