Skip to main content
Humanities Libertexts

2.4: Alternative Symbolizations for the Conditional

  • Page ID
    3690
  • [ "article:topic" ]

    Some logic books, and some logicians, use alternative symbolizations for the various truth-functional connectives.  The meanings (that is, the truth tables) are always the same, but the symbol used may be different.  For this reason, we will take the time in this text to briefly recognize alternative symbolizations.

    The conditional is sometimes represented with the following symbol:  “”.  Thus, in such a case, (P→Q) would be written

    (P⊃Q)

    • Was this article helpful?