Propositional Logic Truth Trees and or not

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=0bsy1v24dw0

In this video on #Logic / #PhilosophicalLogic I introduce truth trees, inconsistent sets of wffs, and rules for disjunction, conjunction, and the negation. We talk about disjunction decomposition, conjunction decomposition, double negation, negated disjunction decomposition, and negated conjunction decomposition. Then, we do an example of a truth tree. • 0:00 [Intro] • 0:17 [What is a truth tree?] • 2:51 [Rule: Conjunction Decomposition] • 4:04 [Rule: Disjunction Decomposition] • 5:02 [Rule: Double Negation] • 5:20 [Rule: Negated Conjunction Decomposition] • 7:39 [Rule: Negated Disjunction Decomposition] • 8:47 [Inconsistency and Example #1] • 10:51 [Example #2] • Follow along in the Logic playlist: • Philosophical Logic (2024) Lectures • If you want to support the channel, hit the JOIN button above and pick a channel subscription that suits your needs: / @trevtutor • Patreon: http://bit.ly/2EUdAl3 • Website: http://TrevTutor.com • Subscribe: http://bit.ly/1vWiRxW • Facebook: http://on.fb.me/1vWwDRc • -Playlists- • Logic: • Philosophical Logic (2024) Lectures • -Recommended Textbooks- • The Logic Book: https://amzn.to/31h2qR8 • Modal Logic for Philosophers (Garson): https://amzn.to/3dECGn4 • A Friendly Introduction to Mathematical Logic: https://amzn.to/37hMYZa • An introduction to Formal Logic with Philosophical Applications: https://amzn.to/3j3J9sx • Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.

#############################

New on site