Skip to content

History / Short Truth Table Rules

Revisions

  • clarified and corrected the Basic Rules descriptions

    @sm-neumann sm-neumann committed Apr 28, 2023
    4653a97

  • clarified and corrected the Contradiction Rules descriptions

    @sm-neumann sm-neumann committed Apr 28, 2023
    8514d7c

  • clarified and corrected the Case Rules descriptions

    @sm-neumann sm-neumann committed Apr 28, 2023
    791cc2d

  • Described the purpose of the Truth Tables section

    @sm-neumann sm-neumann committed Apr 28, 2023
    c91f3f8

  • re-do titles and clarify use of LEGUP

    @sm-neumann sm-neumann committed Apr 28, 2023
    27a8bbd

  • re-updating rule titles

    @sm-neumann sm-neumann committed Apr 28, 2023
    b1f0c66

  • Updated the general description to be more informative for the end-user.

    @sm-neumann sm-neumann committed Apr 28, 2023
    75c1f73

  • Correcting the titles of each rule, as per Bram's suggestions

    @sm-neumann sm-neumann committed Apr 28, 2023
    fff0187

  • Changed the order of LEGUP Proof Rules subsections to Case, Contradiction, Basic, as per Bram's suggestion

    @sm-neumann sm-neumann committed Apr 28, 2023
    3f484b5

  • Changed the name of the "Rules" section to "Truth Table Rules" for clarity, and moved it to the end of the page

    @sm-neumann sm-neumann committed Apr 28, 2023
    69a6ca6

  • Changed Atomic rule to True or False

    @VortiganOfficial VortiganOfficial committed Feb 14, 2023
    2ef476f

  • Added tutorial to Sidebar Also renamed file for consistency

    @shadowluigi27 shadowluigi27 committed Dec 8, 2022
    645a32b