, когда оно не соответствует реальной действительности.
Пример: высказывание "Сумма углов треугольника равна 180 градусов" - истинно в геометрии Евклида, но ложно в геометрии Лобачевского.
Высказывание называется простым, если никакая его часть сама не является высказыванием.
На основании простых высказываний могут быть построены составные высказывания. Их истинность или ложность вычисляется с помощью использования алгебры высказываний.
Понятие о предмете мысли называется субъектом и обозначается буквой S, а понятие о свойствах и отношениях предмета мысли называется предикатом и обозначается Р. Оба эти понятия называют терминами суждения. Отношения между субъектом и предикатом выражаются связкой "есть", "не есть", "является", "состоит" и т. д.
Задание 2: Определить, что в суждении "Компьютер состоит из процессора, памяти и внешних устройств"является субъектом, предикатом и связкой.
Ответ: "Компьютер" - субъект, "процессора, памяти и внешних устройств" - предикат, "состоит" - связка.
Предикат первого порядка - "х - человек";
Предикат второго порядка - "х - любит у";
Предикат третьего порядка - "z - сын х и у";
Задание 3: В вышеописанных предикатах заменить неопределённые термины на конкретные понятия, х - "Сократ", у - "Ксантиппа", z - "Софроникс".
Умозаключение - это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).
Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.
Доказательство - мыслительный процесс, направленный на подтв
Страницы: << < 1 | 2 | 3 | 4 > >>