русс | укр

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

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

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

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


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

Fresison


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


Fesapo

Dimaris

Camenes

Bramantip

Ferison

Bocardo

Felapton

Datisi

Disamis

Darapti

Baroco

Festino

Camestres

Cesare

Ferio

Darii

Celarent

Barbara

Все животные смертны.

Все люди — животные.

Все люди смертны.

Ни одна рептилия не имеет меха.

Все змеи — рептилии.

Ни одна змея не имеет меха.

Все котята игривые.

Некоторые домашние животные — котята.

Некоторые домашние животные — игривые.

Ни одна домашняя работа не весела.

Некоторое чтение — домашняя работа.

Некоторое чтение не весело.

Ни одна здоровая еда не полнит.

Все торты полнят.

Ни один торт не здоровая еда.

Все лошади имеют вздутие живота.

Ни один человек не имеет вздутия живота.

Ни один человек не лошадь.

Ни один ленивый человек не сдаёт экзамены.

Некоторые студенты сдают экзамены.

Некоторые студенты не ленивы.

Все информативные вещи полезны.

Некоторые сайты не полезны.

Некоторые сайты не информативны.

Все фрукты питательны.

Все фрукты вкусны.

Некоторые вкусные продукты питательны

Некоторые кружки красивы.

Все кружки полезны.

Некоторые полезные вещи красивы.

Все прилежные мальчики в этой школе рыжие.

Некоторые прилежные мальчики в этой школе — пансионеры.

Все пансионеры в этой школе рыжие.

Ни один кувшин в этом шкафу не нов.

Все кувшины в этом шкафу треснутые.

Некоторые треснутые вещи в этом шкафу не новы.

Некоторые кошки бесхвосты.

Все кошки — млекопитающие.

Некоторые млекопитающие бесхвосты.

Ни одно дерево не съедобно.

Некоторые деревья зелёные.



Некоторые зелёные вещи не съедобны.

 

Все яблоки в моём саду полезны.

Все полезные фрукты зрелы.

Некоторые зрелые фрукты — яблоки в моём саду.

Все яркие цветы ароматны.

Ни один ароматный цветок не выращен в помещении.

Ни один выращенный в помещении цветок не ярок.

Некоторые небольшие птицы питаются мёдом.

Все питающиеся мёдом птицы цветные.

Некоторые цветные птицы небольшие.

Ни один человек не совершенен.

Все совершенные существа мифические.

Некоторые мифические существа не люди.

Ни один компетентный человек не ошибается.

Некоторые ошибающиеся люди работают здесь.

Некоторые работающие здесь люди некомпетентны.

В соответствии с правилами, формы могут быть преобразованы в другие формы, и все формы могут быть преобразованы в одну из форм первой фигуры.

 

Правила 4-ех фигур:

Основные правила фигур

1.Средний термин должен быть распределен по крайней мере в одной из посылок.

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

2.Термин может быть распределен в заключении лишь тогда, когда он распределен в посылке( правило крайних терминов).

3.Число отрицательных посылок должно быть равно числу отрицательных заключений.

 

 

Это правило означает что:

1) Если одна из посылок отрицательная, то и заключение должно быть отрицательным.

2) Из двух отрицательных посылок правильного заключения сделать нельзя.

3) Из двух утвердительных посылок нельзя получить отрицательное заключение.

 

Дополнения:

1) По крайней мере одна из посылок должна быть общим высказыванием (из 2-х частных высказываний правильное заключение невозможно)

2) Если одна из посылок частная, то и заключение должно быть частным.

 

 

Особые правила фигур:

Первая фигура:

1) Большая посылка должна быть общей (А,Е)

2) Меньшая посылка должна быть – утвердительной (A,I)

Вторая фигура:

1) Большая посылка должна быть общей(А,Е)

2) Одна из посылок отрицательная(Е,О)

Третья фигура:

1) Меньшая посылка должна быть утвердительной(А,I)

2) Заключение – частное(I,O)

Четвертая фигура:

1) Если большая посылка – утвердительная( A,I), то меньшая должна быть общей (А,Е)

2) Если одна из посылок отрицательная(Е,О), то большая должна быть общей(А,Е)



<== предыдущая лекция | следующая лекция ==>
Аргументация | Этапы развития логики как науки


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


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

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

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


 


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

 
 

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

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