Disjunction elimination
id:
disjunction-elimination-320-7522722
title:
Disjunction elimination
text:
In propositional logic, disjunction elimination is the valid argument form and rule of inference that allows one to eliminate a disjunctive statement from a logical proof. It is the inference that if a statement P implies a statement Q and a statement R also implies Q , then if either P or R is true, then Q has to be true. The reasoning is simple: since at least one of the statements P and R is true, and since either of them would be sufficient to entail Q, Q is certainly true. An example in Eng
brand slug:
wiki
category slug:
encyclopedia
description:
Rule of inference of propositional logic
original url:
https://en.wikipedia.org/wiki/Disjunction_elimination
date created:
date modified:
2023-11-15T04:49:23Z
main entity:
{"identifier":"Q5282265","url":"https://www.wikidata.org/entity/Q5282265"}
image:
fields total:
13
integrity:
14