закон тождества, непротиворечия, исключенного третьего, достаточного основания. Они действуют в любом рассуждении, в какой бы логической форме оно ни протекало и какую бы логическую операцию ни выполняло. Наряду с основными логика изучает законы двойного отрицания, контрапозиции, де Моргана и т.д., которые также действуют в мышлении, обусловливая правильную связь мыслей в процессе рассуждения.
1) Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления – его определенность – выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (А есть А, или А = А, где А – любая мысль). Нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения часто бывает связано с различным выражением одной и той же мысли в языке. С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Отождествление различных мыслей часто связано с различиями в профессии, образовании и др. Отождествление различных понятий представляет собой логическую ошибку – подмену понятий, которая может быть как неосознанной, так и преднамеренной.
2) Закон непротиворечия. Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Данный закон формулируется следующим образом: неверно, что А и не-А (не могут быть истинными две мысли, одна из которых отрицает другую). Закон непротиворечия действует в отношении всех несовместимых суждений
var x, y: integer;
begin
readln(x);
readln(y);
if(x<y) then writeln(x);
else writeln(y);
end.