6)(Pq)*(qr) [pr};

Содержание

• Глава 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. Паранепротиворечивая логика

Yandex.RTB R-A-252273-4