Udowadnianie tautologii metodą nie wprost

In this video, I explain exactly how to check or prove whether a given formula is a tautology using the indirect method. The indirect method involves assuming that a given formula is false and, using appropriate rules of inference, arriving at a contradiction, making our formula a tautology. 🟥 Check out the MZP University 👉 https://matmazpasja.pl/uniwerek 🟩 What is Math with Passion - Studies? A YouTube channel where you'll find a wealth of educational materials on mathematics at the university level! The second pillar of "Math with Passion" is the Math with Passion University, where you'll find (eventually!) a course on every mathematical topic in university. Because the entire course is online, you can study it anywhere, anytime. Unlike tutoring or in-person courses, you can easily revisit or review the entire material multiple times. 🟦 What will you gain from my courses? All courses are designed to best prepare you for your final exam or final report. 🟪 Who am I? Hi! My name is Marcin Matyja, and I really enjoy mathematics 😎 In my courses, I help my students master material that will enable them not only to pass their final exams but also to get into their dream university. I explain topics at the high school and college levels. I discuss everything in a clear, simple, and easy-to-understand way, even if you don't like math or are a humanities major. I use color charts in my methods; they help you associate and absorb knowledge faster. Where does my passion for mathematics come from? As a child, I spent a lot of time with my grandfather, who taught me chess and solved problems with me. My grandfather was a fantastic explainer, so I quickly mastered the material, which went far beyond the core curriculum. In high school, I chose a mathematics and computer science major and passed my math final exam with a straight A, and I got an A on my oral exam. Because it was a combined final exam, I also got accepted to the Faculty of Mathematics at the Silesian University of Technology in Gliwice. In my third year, I chose a specialization in computer science methods and wrote my master's thesis on game theory, specifically "0-sum matrix games." After graduating, I decided it would be fun to make videos explaining more difficult mathematics concepts. That's where the idea for "Math with Passion" came from.