русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

S есть Р


Дата добавления: 2013-12-24; просмотров: 1108; Нарушение авторских прав


Р есть S

S есть Р

 

Обращению подлежат суждения A, E, I

1. Суждение А общеутвердительное. Встречаются два вида обращения:

а) чистое, или простое, обращение, которое бывает при равенстве объемов S и Р (например, в определениях понятий).

Пример:

«Все квадраты – равносторонние прямоугольники». ® «Все равносторонние прямоугольники – квадраты»;

б) обращение с ограничением:

Пример:

«Все дельфины – млекопитающие» ® «Некоторые млекопитающие – дельфины».

2. Суждение Е общеотрицательное.

Так как в нем всегда и S, и Р распределены, то его обращение чистое, или простое.

Пример:

«Ни один прямоугольный треугольник не является равносторонней фигурой». ® «Ни одна равносторонняя фигура не является прямоугольным треугольником».

3. Суждение I частноутвердительное. Имеются два вида обращения:

а) обращение чистое, если S и Р не распределены.

Пример:

«Некоторые мастера спорта являются горнолыжниками» ® «Некоторые горнолыжники являются мастерами спорта»;

б) когда объем Р меньше объема S, т.е. Р распределен, а S не распределен: Пример:

«Некоторые музыканты – композиторы® «Все композиторы являются музыкантами».

Это обращение с ограничением. Понятие «ограничение» означает только то, что происходит перемена кванторного слова: было «некоторое», стало «все».

4. Суждение О частноотрицательное.

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

 

Противопоставление предикату – это преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом – субъект исходного суждения; связка меняется на противоположную

Схема противопоставления предикату:



не-Р не есть S

Противопоставлению предикату подлежат суждения A, E, O

 

Схема преобразования данного суждения выглядит следующим образом:

1) вместо Р берем не-Р;

2) меняем местами S и не-Р;

3) связку меняем на противоположную.

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

Противопоставление предикату для различных видов суждений осуществляется таким образом:

1. А – суждение общеутвердительное:

Структура: Все S есть Р ® Ни одно не-Р не есть S

Пример:

«Все барометры – приборы для измерения атмосферного давления» ® «Ни один прибор, не служащий для измерения атмосферного давления, не является барометром».

2. Е – суждение общеотрицательное:

Структура: Ни одно S не есть Р ® Некоторые не-Р есть S

Пример:

«Ни одна бледная поганка не является съедобным грибом» ® «Некоторые несъедобные грибы есть бледные поганки».

3. О – суждение частноотрицательное:

Структура: Некоторые S не есть Р ® Некоторые не-Р есть S

Пример:

«Некоторые дома не являются газифицированными строениями» ® «Некоторые негазифицированные строения являются домами».

4. I. Из частноутвердительного суждения необходимые выводы не следуют.

 



<== предыдущая лекция | следующая лекция ==>
S не есть не-Р | Умозаключения из суждений с отношениями


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.003 сек.