Proving Arguments using the Rules of Inference | (SDGs 1, 5, and 13)

This presentation sets up the context for our midterm output, focusing on the application of logic and set theory to the Sustainable Development Goals (SDGs). We will be using logical statements to analyze real-world issues like unemployment, LGBTQ+ rights, and climate change. Throughout the presentation, you’ll see how different logical rules, such as Modus Ponens, Hypothetical Syllogism, and Disjunctive Syllogism, are applied to prove the validity of arguments related to these SDGs.