Tags: disjunctive-resolution math concept inference-rule

disjunctive-resolution (math concept)

See also

python declaration class | python inclusion class | python sample

Definition

disjunctive-resolution is the inference-rule:

\[\left( \left( \boldsymbol{P} \lor \boldsymbol{Q} \right), \left( \neg \boldsymbol{P} \lor \boldsymbol{R} \right) \right) \vdash \left( \boldsymbol{Q} \lor \boldsymbol{R} \right)\]

Sources