Introduction to Mathematical Logic and Its Principles
IN BRIEF Presentation of mathematical logic. Introduction to logical connectors: ¬, ∧, ∨, ⇒, and ⇔. Description of propositions and their value: true or false. Classic statement: example of logical reasoning with Socrates. Distinction between formal logic, material logic, and inductive logic. Importance of symbols and principles in formal demonstrations. Exploration of the fundamental principles … Read more