Введение в дизъюнкцию
- Введение/устранение дизъюнкции – правило вывода в логике высказываний и других системах дедукции.
- Правило позволяет вводить дизъюнкции в логические доказательства.
- Вывод о том, что если P истинно, то P или Q должны быть истинными.
- Правило является допустимой формой аргументации, если посылка истинна, то вывод также истинен.
- Введение дизъюнкции не является правилом в некоторых парасогласованных логиках из-за риска взрыва.
- Решение проблемы – введение дизъюнкции с избыточными правилами.
- Формальная нотация правила введения дизъюнкции: P ∨ Q является синтаксическим следствием P в логической системе.
Полный текст статьи: