Loading [MathJax]/extensions/mml2jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

Search

  • Filter Results
  • Location
  • Classification
    • Article type
    • Stage
    • Author
    • Cover Page
    • License
    • Show Page TOC
    • Transcluded
    • PrintOptions
    • OER program or Publisher
    • Autonumber Section Headings
    • License Version
    • Print CSS
    • Screen CSS
    • Number of Print Columns
  • Include attachments
Searching in
About 1 results
  • https://math.libretexts.org/Bookshelves/Mathematical_Logic_and_Proof/Gentle_Introduction_to_the_Art_of_Mathematics_(Fields)/02%3A_Logic_and_Quantifiers/2.03%3A_Logical_Equivalences
    Some logical statements are “the same.” For example, we discussed the fact that a conditional and its contrapositive have the same logical content. However, the equals sign (=) has already got a job...Some logical statements are “the same.” For example, we discussed the fact that a conditional and its contrapositive have the same logical content. However, the equals sign (=) has already got a job; it is used to indicate that two numerical quantities are the same. The formal definition of logical equivalence is two compound sentences are logically equivalent if in a truth table, the truth values of the two sentences are equal in every row. Thus, we use the symbol (≅) instead.

Support Center

How can we help?