Quick Reference

An Introduction to Formal Logic · LibreTexts

0%

Contents

    Text

    Size
    100%
    Theme
    Typeface
    Line length
    Spacing

    From LibreTexts, under CC BY-SA, as the source states it; its equations are written in TeX, which the PDF shows typeset. This page at LibreTexts.

    \(\mathcal{A}\) ¬\(\mathcal{A}\)

    T

    F

    F

    T
    \(\mathcal{A}\) \(\mathcal{B}\) \(\mathcal{A}\) & \(\mathcal{B}\) \(\mathcal{A}\)∨\(\mathcal{B}\) \(\mathcal{A}\)→\(\mathcal{B}\) \(\mathcal{A}\)↔\(\mathcal{B}\)

    T

    T

    F

    F

    T

    F

    T

    F

    T

    F

    F

    F

    T

    T

    T

    F

    T

    F

    T

    T

    T

    F

    F

    T
    \(\mathcal{A}\) \(\mathcal{¬A}\)

    1

    0

    0

    1
    \(\mathcal{A}\) \(\mathcal{B}\) \(\mathcal{A}\) & \(\mathcal{B}\) \(\mathcal{A}\)∨\(\mathcal{B}\) \(\mathcal{A}\)→\(\mathcal{B}\) \(\mathcal{A}\)↔\(\mathcal{B}\)

    1

    1

    0

    0

    1

    0

    1

    0

    1

    0

    0

    0

    1

    1

    1

    0

    1

    0

    1

    1

    1

    0

    0

    1

    This page titled Quick Reference was last modified on Wed, 10 Mar 2021 06:46:07 GMT and is shared under a CC BY-SA license and was authored, remixed, and/or curated by P.D. Magnus (Fecundity) .