<p>Implications between statements in <a href="https://en.wikipedia.org/wiki/Predicate_logic" class="extiw" title="w:Predicate logic">predicate logic</a>,<br>
represented by sets of <a href="https://en.wikipedia.org/wiki/Logical_matrix" class="extiw" title="w:Logical matrix">logical matrices</a> for the case that there are 2 individuals.<br><br>
A matrix is in the set, when it's marked red.<br>
The bottom set is this one: <a href="//commons.wikimedia.org/wiki/File:Predicate_logic;_2_variables;_2x2_list_a12.svg" class="image"><img alt="Predicate logic; 2 variables; 2x2 list a12.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg/100px-Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg.png" decoding="async" width="100" height="100" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg/150px-Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg/200px-Predicate_logic%3B_2_variables%3B_2x2_list_a12.svg.png 2x" data-file-width="266" data-file-height="266"></a><br>
It contains only the matrix   
<span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\begin{pmatrix}1&amp;1\\1&amp;1\end{pmatrix}}}"><semantics><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow class="MJX-TeXAtom-ORD"><mrow><mo>(</mo><mtable rowspacing="4pt" columnspacing="1em"><mtr><mtd><mn>1</mn></mtd><mtd><mn>1</mn></mtd></mtr><mtr><mtd><mn>1</mn></mtd><mtd><mn>1</mn></mtd></mtr></mtable><mo>)</mo></mrow></mrow></mstyle></mrow><annotation encoding="application/x-tex">{\displaystyle {\begin{pmatrix}1&amp;1\\1&amp;1\end{pmatrix}}}</annotation></semantics></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/b9f3630b5ed1a756acd7151e34622671776c8642" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -2.505ex; width:8.82ex; height:6.176ex;" alt="{\displaystyle {\begin{pmatrix}1&amp;1\\1&amp;1\end{pmatrix}}}"></span>.
</p>
<table style="color:#000; background:#F8F9FA; border:1px solid #BAB;"><tbody><tr><td><a href="//commons.wikimedia.org/wiki/File:Inkscape_Logo.svg" class="image"><img alt="Inkscape Logo.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/20px-Inkscape_Logo.svg.png" decoding="async" width="20" height="20" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/30px-Inkscape_Logo.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/40px-Inkscape_Logo.svg.png 2x" data-file-width="128" data-file-height="128"></a>
</td><td style="font-size:.85em; padding: 1px 5px;">This <a href="https://en.wikipedia.org/wiki/SVG" class="extiw" title="w:SVG">SVG</a> was created with <a href="https://en.wikipedia.org/wiki/Inkscape" class="extiw" title="w:Inkscape">Inkscape</a>.
</td></tr></tbody></table>
<table><tbody><tr><td style="padding: 15px;"><a href="//commons.wikimedia.org/wiki/File:Watchduck.svg" class="image"><img alt="Watchduck.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/40px-Watchduck.svg.png" decoding="async" width="40" height="46" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/60px-Watchduck.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/80px-Watchduck.svg.png 2x" data-file-width="703" data-file-height="806"></a>
</td>
<td><a href="//commons.wikimedia.org/wiki/User:Watchduck" title="User:Watchduck">Watchduck</a><br><span style="color: gray; font-size: 80%;">You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".</span>
</td></tr></tbody></table>
<span class="int-own-work" lang="en">Own work</span>