ему равно расстояние от Москвы до Ленинграда.
Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод).
Пример
Дано высказывание: "Все углы равнобедренного треугольника равны". Получить высказывание "Этот треугольник равносторонний" путем умозаключений. Пусть основанием треугольника является сторона с, тогда аb. Так как в треугольнике все углы равны, следовательно, основанием может быть любая другая сторона, например а. Тогда bс. Следовательно, abc. Треугольник равносторонний.
2. Логические выражения и операции
Алгебра - это наука об общих операциях, аналогичных сложению и умножению, которые выполняются не только над числами, но и над другими математическими объектами, в том числе и над высказываниями. Так! алгебра называется алгеброй логики. Алгебра логики отвлекается от смысловой содержательности высказываний и принимает во внимание только истинность или ложность высказывания.
Можно определить понятия логической переменной, логической функции и логической операции.
Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначение - латинская буква. Значением логической переменной могут быть только константы ИСТИНА и ЛОЖЬ (1 и 0).
Составное высказывание - логическая функция, которая содержит несколько простых мыслей, соединенных между собой с помощью логических операций. Ее символическое обозначение - F(A,B,. . . ).
Ú
ø
4
X
Ú
4
Z
尀$葞摧楟На основании простых высказываний могут быть построены составные высказывания.
Логические операции - логическое действие.
Существуют три базовые логические операции - конъюнкция, дизъюнкция и отрицание и доп
Страницы: << < 1 | 2 | 3 | 4 | 5 > >>