Устранение дизъюнкции - Disjunction elimination

В логика высказываний, устранение дизъюнкции^[1]^[2] (иногда называют доказательство по делам, анализ случая, или же или устранение), это действительный форма аргумента и правило вывода что позволяет устранить дизъюнктивное заявление из логическое доказательство. Это вывод что если заявление ${displaystyle P}$ подразумевает заявление ${displaystyle Q}$ и заявление ${displaystyle R}$ также подразумевает ${displaystyle Q}$ , то если либо ${displaystyle P}$ или же ${displaystyle R}$ верно, тогда ${displaystyle Q}$ должно быть правдой. Рассуждения просты: поскольку по крайней мере одно из утверждений P и R истинно, и поскольку любого из них было бы достаточно, чтобы влечь за собой Q, Q, безусловно, истинно.

Пример в английский:

Если я внутри, у меня при себе кошелек.

Если я на улице, у меня при себе кошелек.

Это правда, что я либо внутри, либо снаружи.

Таким образом, мой кошелек при мне.

Это правило можно сформулировать так:

{displaystyle {frac {P o Q, R o Q, Plor R} {здесь Q}}}

где правило таково: всякий раз, когда экземпляры " ${displaystyle P o Q}$ ", и " ${displaystyle R o Q}$ " и " ${displaystyle Plor R}$ "появляются на строках доказательства", ${displaystyle Q}$ "можно разместить на следующей строке.

Формальное обозначение

В устранение дизъюнкции правило может быть записано в последовательный обозначение:

{displaystyle (P o Q), (R o Q), (Plor R) vdash Q}

куда ${displaystyle vdash}$ это металогический символ, означающий, что ${displaystyle Q}$ это синтаксическое следствие из ${displaystyle P o Q}$ , и ${displaystyle R o Q}$ и ${displaystyle Plor R}$ в некоторой логической системе;

и выражается как функционал истины тавтология или теорема логики высказываний:

{displaystyle (((P o Q) земля (R o Q)) земля (Plor R)) o Q}

куда ${displaystyle P}$ , ${displaystyle Q}$ , и ${displaystyle R}$ суждения, выраженные в некоторых формальная система.

Устранение дизъюнкции - Disjunction elimination

Формальное обозначение

Смотрите также

Рекомендации