Existential Quantifier Distributes Over Disjunction Proof Iliekmathphysics

Summary

This video is part of the “Proofs in Logic” playlist of my channel Thanks and enjoy the video! Proofs in Logic Playlist: ... This series mainly references "How to We take a long, ugly quantified statement and rip it apart, slowly and cleanly: ¬∀x [ (∃y ∀z P(x,y,z)) ∧ (∃z ∀y P(x,y,z)) ]Along ... If you haven't seen my propositional logic videos, you may want to begin at the beginning of the playlist: ... Final of three videos (4.6a, 4.6b, and 4.6c) So here's a fundamental thing is can you imagine if we didn't have Final of two videos (4.5a and 4.5b) First of two videos (4.5a and 4.5b) In this video we expand upon our ever-growing understanding of predicate logic by introducing the notion of