{"id":25118,"date":"2021-01-18T00:00:14","date_gmt":"2021-01-18T00:00:14","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=25118"},"modified":"2024-08-28T19:16:13","modified_gmt":"2024-08-28T19:16:13","slug":"the-language-of-propositional-logic","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/en\/the-language-of-propositional-logic\/","title":{"rendered":"The Language of Propositional Logic"},"content":{"rendered":"

The Language of Propositional Logic<\/h1>\n

Summary<\/h4>\n

This note reviews the language of propositional logic as a metalanguage used to obtain valid expressions from the base language formed by two symbols. It explains the syntax rules, the concepts of propositional variables and connectors, and also introduces joint negation, the use of parentheses, and reordering to facilitate the reading of expressions. Additionally, the vocalization of propositional logic expressions is mentioned. Finally, the language of propositional logic is synthesized as a fundamental tool in mathematics and logic, and the possibility of finding a \u00abbase language of the base\u00bb from which everything else could be reconstructed is reflected upon.<\/em><\/p>\n

Learning Objectives:<\/h4>\n

Upon completing this section, the student is expected to be able to:<\/em><\/p>\n

    \n
  1. Understand<\/strong> the concept of metalanguage and its application in propositional logic.<\/li>\n
  2. Comprehend<\/strong> the syntax rules of the language of propositional logic.<\/li>\n
  3. Know<\/strong> the concept of propositional variables and their use in constructing expressions.<\/li>\n
  4. Understand<\/strong> the use of the connector and joint negation in the language of propositional logic.<\/li>\n
  5. Learn<\/strong> to use parentheses and reordering to facilitate the reading of expressions.<\/li>\n
  6. Know<\/strong> the vocalizations of propositional logic expressions.<\/li>\n
  7. Synthesize<\/strong> the language of propositional logic as a fundamental tool in mathematics and logic.<\/li>\n
  8. Reflect<\/strong> on the possibility of finding a \u00abbase language of the base\u00bb from which everything else could be reconstructed.<\/li>\n
  9. Apply<\/strong> the learned concepts in constructing propositional logic expressions.<\/li>\n
  10. Use<\/strong> the language of propositional logic to understand and solve mathematical and logical problems.<\/li>\n<\/ol>\n

    Table of Contents<\/h4>\n

    \nTHE LANGUAGE OF PROPOSITIONAL LOGIC: ALPHABETS AND SYMBOL CHAINS<\/strong><\/a>
    \n    LET\u2019S START WITH A SINGLE SYMBOL<\/a>
    \n    LET’S THEN ADD A SECOND SYMBOL<\/a>
    \n    THE LANGUAGE OF PROPOSITIONAL LOGIC: SYNTAX<\/strong><\/a>
    \n    EXAMPLES OF SYNTAX REVIEW<\/a>
    \n    NOTATION CONVENTIONS<\/strong><\/a>
    \n    METAVARIABLES AND THE CONNECTOR \\downarrow<\/span><\/span><\/a>
    \n    EXAMPLES OF THE USE OF JOINT NEGATION<\/a>
    \n    REORDERING AND PARENTHESES<\/a>
    \n    DERIVED CONNECTORS<\/strong><\/a>
    \n    VOCALIZATION OF PROPOSITIONAL LOGIC EXPRESSIONS<\/a>
    \n    SYNTHESIS AND REFLECTIONS ON THE LANGUAGE OF PROPOSITIONAL LOGIC<\/strong><\/a>
    \n    THE MATRIX BEHIND THE MATRIX BEHIND THE UNDERSTANDING OF ALL THINGS<\/a>\n<\/p>\n