Английская Википедия:Disjunction elimination: история изменений

27 февраля 2024

• текущ.пред. 19:3319:33, 27 февраля 2024‎ EducationBot обсуждение вклад‎ 3698 байт +3698‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Rule of inference of propositional logic}} {{Infobox mathematical statement | name = Disjunction elimination | type = Rule of inference | field = Propositional calculus | statement = If a statement <math>P</math> implies a statement <math>Q</math> and a statement <math>R</math> also implies <math>Q</math>, then if either <math>P</math> or <math>R</math> is t...»