Устранение дизъюнкции
- Устранение дизъюнкции в логике высказываний — допустимая форма аргумента и правило вывода.
- Это позволяет исключить дизъюнктивное утверждение из логического доказательства.
- Рассуждение основано на том, что по крайней мере одно из утверждений P и R истинно.
- Правило может быть сформулировано как возможность поместить Q в следующую строку доказательства.
- Формальная нотация правила включает использование металогического символа ⊢ для обозначения синтаксического следствия.
- Устранение дизъюнкции выражается как истинно-функциональная тавтология или теорема логики высказываний.
Полный текст статьи: