From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
de:Benutzer:Roomsixhu/Baustelle with TeX equivalent:
A
≤
(
B
≤
C
)
⊣⊢
A
⋅
B
≤
C
27
u
⊣
27
u
A
n
n
.
A
⋅
B
≤
C
_
A
≤
B
¯
+
C
16
26
u
(
B
≤
C
)
=
(
B
¯
+
C
)
_
(
B
¯
+
C
)
≤
(
B
≤
C
)
2.7
A
≤
(
B
≤
C
)
¯
2.6
⊢
27
u
A
n
n
.
A
≤
(
B
≤
C
)
16
26
u
(
B
≤
C
)
=
(
B
¯
+
C
)
_
(
B
≤
C
)
≤
(
B
¯
+
C
)
2.7
A
≤
(
B
¯
+
C
)
_
A
⋅
B
≤
C
16
¯
2.6
{\displaystyle {\begin{aligned}&A\leq (B\leq C)\dashv \vdash A\cdot B\leq C\qquad 27u\\\\&{\begin{array}{lr}\dashv 27u\\\\&{\begin{array}{l}{\begin{array}{c}Ann.\\{\underline {A\cdot B\leq C}}\\A\leq {\overline {B}}+C\end{array}}\ {\begin{array}{c}\\16\end{array}}\quad {\begin{array}{c}26u\\{\underline {(B\leq C)=({\overline {B}}+C)}}\\({\overline {B}}+C)\leq (B\leq C)\end{array}}\ {\begin{array}{c}\\2.7\end{array}}\\{\overline {\qquad \qquad \quad \ \ A\leq (B\leq C)\qquad \qquad \quad \ \ }}\ {\begin{array}{c}2.6\\\\\end{array}}\\\end{array}}\\\\\vdash 27u\\\\&{\begin{array}{l}{\begin{array}{c}\\Ann.\\A\leq (B\leq C)\end{array}}\ {\begin{array}{c}\\16\end{array}}\quad {\begin{array}{c}26u\\{\underline {(B\leq C)=({\overline {B}}+C)}}\\(B\leq C)\leq ({\overline {B}}+C)\end{array}}\ {\begin{array}{c}\\2.7\end{array}}\\{\overline {\qquad \qquad \quad \ \ {\begin{array}{c}{\underline {A\leq ({\overline {B}}+C)}}\\A\cdot B\leq C\end{array}}\ 16\qquad \qquad \ \ }}\ \,{\begin{array}{c}2.6\\\\\\\end{array}}\end{array}}\end{array}}\end{aligned}}}
Now unused image that should not be an image . WI K Imaniac 18:43, 13 March 2021 (UTC) [ reply ]
Leyo 09:22, 8 November 2021 (UTC) [ reply ]
