Гетманова_1998 / Глава 10
6)(Pq)*(qr) [pr};
5) р~ ~ р;
Содержание
- Глава X этапы развития логики как науки
- § 1. Краткие сведения из истории классической и неклассических логик
- Логика в Древней Индии
- Логика Древнего Китая
- Логика в Древней Греции
- Логика в средние века
- Логика эпохи Возрождения и Нового времени'
- Логика в России
- Математическая логика
- § 2. Развитие логики в связи с проблемой обоснования математики
- § 3. Интуиционистская логика
- § 4. Конструктивные логики
- Конструктивные исчисления высказываний в. И. Гливенко и а. Н. Колмогорова
- Конструктивная логика а. А. Маркова
- § 5. Многозначные логики
- Трехзначная система Лукасевнча
- Отрицание Лукасевича
- Трехзначная система Гейтинга
- Импликация Гейтинга
- Две бесконечнозначные системы Гетмановой:
- § 6. Законы исключенного третьего и непротиворечия в неклассических логиках (многозначных, интуиционистской, конструктивных)
- § 7. Модальные логики
- 1) P*qq*p;
- 4) (P*q)*rp*(q*r),
- 6)(Pq)*(qr) [pr};
- 7) P*(pq)q.
- § 8. Положительные логики
- § 9. Паранепротиворечивая логика