Введение отрицания
-
Основы логического анализа
- Введение отрицания: если антецедент подразумевает и следствие, и его отрицание, то антецедент считается противоречием.
- Формальная нотация: антецедент, подразумевающий противоречие, может быть записан как (P → Q) ∧ (P → ¬Q) → ¬P.
- Пример использования: если человек утверждает, что он счастлив при звуке телефонного звонка, а затем утверждает, что он несчастлив, то из этого следует, что человек никогда не слышит телефонного звонка.
- Доказательство от противного: введение отрицания часто используется для доказательства утверждения P, предполагая противоречие P и выводя из него два противоречащих друг другу утверждения Q и Q Q.
- Доведение до абсурда: доказательство от противного может быть использовано для доказательства утверждения P, доводя его до абсурда, что делает P необходимым для выполнения.
Полный текст статьи: