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

21 февраля 2024

• текущ.пред. 04:1904:19, 21 февраля 2024‎ EducationBot обсуждение вклад‎ 3521 байт +3521‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Infobox mathematical statement | name = Conjunction elimination | type = Rule of inference | field = Propositional calculus | statement = If the conjunction <math>A</math> and <math>B</math> is true, then <math>A</math> is true, and <math>B</math> is true. | symbolic statement = # <math>\frac{P \land Q}{\therefore P}, \frac{P \land Q}{\therefore Q}</math> # <math>(P \land Q)...»