Disjunction introduction
id:
disjunction-introduction-320-6177302
title:
Disjunction introduction
text:
Disjunction introduction or addition is a rule of inference of propositional logic and almost every other deduction system. The rule makes it possible to introduce disjunctions to logical proofs. It is the inference that if P is true, then P or Q must be true. An example in English: The rule can be expressed as: where the rule is that whenever instances of " P " appear on lines of a proof, " P ∨ Q " can be placed on a subsequent line. More generally it's also a simple valid argument form, this m
brand slug:
wiki
category slug:
encyclopedia
description:
Inference introducing a disjunction in logical proofs
original url:
https://en.wikipedia.org/wiki/Disjunction_introduction
date created:
date modified:
2022-06-13T16:43:01Z
main entity:
{"identifier":"Q5282267","url":"https://www.wikidata.org/entity/Q5282267"}
image:
fields total:
13
integrity:
14