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

9 февраля 2024

• текущ.пред. 04:2104:21, 9 февраля 2024‎ EducationBot обсуждение вклад‎ 2876 байт +2876‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Inference in propositional logic}} {{Infobox mathematical statement | name = Biconditional introduction | type = Rule of inference | field = Propositional calculus | statement = If <math>P \to Q</math> is true, and if <math>Q \to P</math> is true, then one may infer that <math>P \leftrightarrow Q</math> is true. | symbolic statement = <math>\frac{P \to Q, Q...»