How to use Equivalence Schemes | Symbolic Logic Tutorial | Attic Philosophy

Equivalence is another key concept in logic. Equivalent sentences 'mean the same', as far as logic in concerned. That allows us to transform sentences in interesting ways, using equivalence schemes. In this video, we'll learn how to transform sentences using equivalence schemes, without changing their logical meaning.
This is part of a series of videos introducing the basics of logic. If there’s topics you’d like covered, leave me a comment below!
The series so far:
What is Logic? • What is Logic? | Symbo...
Intro to Propositional Logic • Propositional Logic | ...
Truth Tables • How to use Truth Table...
Entailment • What is Entailment? | ...
Equivalence • Logical Equivalence | ...
Equivalence Schemes [this video!]
Rewriting [coming soon!]
Normal Forms [coming soon!]
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#logic #philosophy #equivalence

[@Timjstewart]

I've really enjoyed your videos and I have learned some fun and useful tools from your channel. Your presentation of the concepts is very clear and the visuals you use help a lot. Thank you!

[@AtticPhilosophy]

Thanks Tim! Glad they've been useful.

[@foodmart5122]

I really appreciate your videos bro keep up the good work!!!

[@AtticPhilosophy]

Thanks, will do!

[@RenormalizedAdvait]

Thank you for making these timeless contents packed with knowledge and with marvelous intuitive explanations. Thank you again.

[@AtticPhilosophy]

Thanks, glad you liked!

[@arik_dev]

Just wanted to say that you're a great teacher! And also, I wish I had taken more logic and philosophy courses in university (I took computer science & physics). There are a lot of shared concepts, but this field gets you thinking about them from a new perspective.

[@AtticPhilosophy]

Thanks! Yes there's plenty of overlap, and since you've already got the technical background, there's nothing to stop you learning now (and without exam pressure!)

[@MatPost]

Can you say the same with Whataboutism and Red Herring Fallacy?
Great video btw👍

[@AtticPhilosophy]

Thanks! These are both dialectical issues, what are sometimes called informal fallacies, Rather than logical issues. Sometimes, a dialectical issue isn’t a logical problem at all. For example, a circular argument is a dialectical problem, but the inference from a sentence to itself (A |- A) Is perfect from a logical point of view!

[@saradeleonardis4240]

is the 'or' inclusive or exclusive here?

[@AtticPhilosophy]

Always inclusive, unless explicitly otherwise

[@smileymarie1677]

Laws of reasoning please

[@AtticPhilosophy]

You use the equivalences listed in the video to transform one sentence (eg, the one left of the equivalence) into another (eg on the right)

[@user-pt2zs2gf6e]

Pvq ,q :. P.q

[@AtticPhilosophy]

That’s not a valid inference! p might be false.