Глава 3. новлен самый современный процессор Pentium 4» истинно, но пройдет некоторое время, появится более мощный процес­сор

новлен самый современный процессор Pentium 4» истинно, но пройдет некоторое время, появится более мощный процес­сор, и данное высказывание станет ложным.

§5*1

Высказывание - это форма мышления, в которой что-либо утверждается или отрицается о свойст­вах реальных предметов и отношениях между ними. Высказывание может быть либо истинно, либо ложно.

До сих пор мы рассматривали простые высказывания. На основании простых высказываний могут быть построены со­ставные высказывания. Например, высказывание «Процес­сор является устройством обработки информации и принтер является устройством печати» является составным выска­зыванием, состоящим из двух простых, соединенных сою­зом «и».

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

Приведенное выше составное высказывание истинно, так как истинны входящие в него простые высказывания.

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

Например, если мы имеем суждение «Все углы треуголь­ника равны», то мы можем путем умозаключения доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».

•*0\

Умозаключение - это форма мышления, с помо­щью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

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