In propositional calculusdisjunction elimination is the inference that, if "A or B" is true, and A entails C, and B entails C, then we may justifiably infer C. The reasoning is simple: since at least one of the statements A and B is true, and since either of them would be sufficient to entail C, C is certainly true.
For example, it is true that either I'm inside or I'm outside. It is also true that if I'm inside, I have my wallet on me. It's also true that if I'm outside, I have my wallet on me. Given these three premises, it follows that I have my wallet on me.
Disjunction is a binary truth-function, the output of which is a sentence true if at least one of the input sentences (disjuncts) is true, and false otherwise.
q is the disjunction of p and q, and is pronounced as ‘pea vel queue’ or ‘pea vee queue’ or ‘pea or queue’.
In this case, p and q are the disjuncts of the disjunction.
DisjunctionElimination From wff s of the form (φ ∨ ψ), (φ...
...because exclusive disjunction is a modification of ordinary (inclusive) disjunction, which is...
In propositional calculus disjunctionelimination is the inference that, if A or B is true, and both A and B entail C, then we may justifiably infer C. For example, it's true that either I'm inside or I'm outside.
Feeds |
Contact