https://pdkb.chivanet.org/wiki/index.php?action=history&feed=atom&title=Template%3ALogical_connectives_table_and_Hasse_diagram 2026-05-14T02:31:44Z Revision history for this page on the wiki MediaWiki 1.29.1 https://pdkb.chivanet.org/wiki/index.php?title=Template:Logical_connectives_table_and_Hasse_diagram&diff=1213&oldid=prev 2020-10-26T08:27:26Z

<p>Created page with &quot;{| style=&quot;margin: 0 auto;&quot; |- |&lt;imagemap&gt; Image:Logical connectives table.svg|380px rect 399 2 542 39 <a href="/wiki/index.php?title=Truth_table&amp;action=edit&amp;redlink=1" class="new" title="Truth table (page does not exist)">input A</a> rect 400 39 540 73 <a href="/wiki/index.php?title=Truth_table&amp;action=edit&amp;redlink=1" class="new" title="Truth table (page does not exist)">input B</a> rect 4...&quot;</p> <p><b>New page</b></p><div>{| style=&quot;margin: 0 auto;&quot;<br /> |-<br /> |&lt;imagemap&gt;<br /> Image:Logical connectives table.svg|380px<br /> rect 399 2 542 39 [[Truth table|input A]]<br /> rect 400 39 540 73 [[Truth table|input B]]<br /> rect 400 128 542 706 [[Truth table|output f(A,B)]]<br /> rect 3 128 398 163 [[Contradiction|X and ¬X]]<br /> rect 3 162 398 199 [[Logical conjunction|A and B]]<br /> rect 3 198 398 235 [[Converse nonimplication|¬A and B]]<br /> rect 4 234 399 273 [[Proposition|B]]<br /> rect 3 273 398 309 [[Material nonimplication|A and ¬B]]<br /> rect 2 308 397 344 [[Proposition|A]]<br /> rect 2 344 396 379 [[Exclusive or|A xor B]]<br /> rect 2 379 397 415 [[Logical disjunction|A or B]]<br /> rect 3 419 396 454 [[Logical NOR|¬A and ¬B]]<br /> rect 3 453 395 489 [[Logical biconditional|A xnor B]]<br /> rect 3 489 396 525 [[Negation|¬A]]<br /> rect 3 525 396 560 [[Material implication|¬A or B]]<br /> rect 3 563 397 601 [[Negation|¬B]]<br /> rect 2 600 395 636 [[Converse implication|A or ¬B]]<br /> rect 2 634 398 671 [[Sheffer stroke|¬A or ¬B]]<br /> rect 3 670 397 706 [[Tautology_(logic)|X or ¬X]]<br /> desc none<br /> &lt;/imagemap&gt;<br /> |width=&quot;50pt&quot;|<br /> |&lt;imagemap&gt;<br /> Image:Logical connectives Hasse diagram.svg|350px<br /> rect 326 28 416 200 [[Tautology_(logic)|X or ¬X]]<br /> rect 81 233 166 409 [[Sheffer stroke|¬A or ¬B]]<br /> rect 260 231 349 409 [[Converse implication|A or ¬B]]<br /> rect 393 230 481 409 [[Material implication|¬A or B]]<br /> rect 574 232 663 408 [[Logical disjunction|A or B]]<br /> rect 13 436 103 617 [[Negation|¬B]]<br /> rect 147 438 235 617 [[Negation|¬A]]<br /> rect 279 440 368 616 [[Exclusive or|A xor B]]<br /> rect 375 440 464 617 [[Logical biconditional|A xnor B]]<br /> rect 507 439 595 617 [[Proposition|A]]<br /> rect 639 438 732 617 [[Proposition|B]]<br /> rect 79 647 168 826 [[Logical NOR|¬A and ¬B]]<br /> rect 260 647 349 826 [[Material nonimplication|A and ¬B]]<br /> rect 392 646 482 826 [[Converse nonimplication|¬A and B]]<br /> rect 574 646 663 826 [[Logical conjunction|A and B]]<br /> rect 327 853 417 1035 [[Contradiction|X and ¬X]]<br /> desc none<br /> &lt;/imagemap&gt;<br /> |-<br /> | style=&quot;text-align:left;&quot; |[[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives table.svg]] || || style=&quot;text-align:right;&quot; | [[File:Magnify-clip (blue).svg|20px|link=commons:File:Logical connectives Hasse diagram.svg]] &amp;nbsp;&amp;nbsp; [[File:Loupe light.svg|20px|link=http://upload.wikimedia.org/wikipedia/commons/thumb/3/3e/Logical_connectives_Hasse_diagram.svg/1000px-Logical_connectives_Hasse_diagram.svg.png]]<br /> |}<br /> {{clear})</div>

DavidWhitten