Your system is also used in Metamath's pmproofs collection, and it contains a 49-step condensed detachment proof of the same theorem. They call it *2.01. And they don't cheat by using the deduction theorem. :P
Hey love your channel and may I ask a question: If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations? I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?
At time stamp 31:56: that is not Modus Tollens, it's contraposition. Modus Tollens is: ~B (A-> B) -> ~A.
Your system is also used in Metamath's pmproofs collection, and it contains a 49-step condensed detachment proof of the same theorem. They call it *2.01. And they don't cheat by using the deduction theorem. :P
At 40:20: it's "syllogism" not "sylloligism".
interesting Elliot I didn't know you did logic videos too :) this is nice! I love your channel keep uploading.
Why not just assume ~~A in order to derive ~(A->~A)?
U r amazing men, so many topic's ...
Hey love your channel and may I ask a question:
If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations?
I ask this because somebody told me recently that “set theory cannot make truth valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?
what does the weird double line before the second "a" mean
It means "not", which is the negation or the "opposite" of A
make a vid on how u learn so much shiet
A small correction. Modus ponens and indeed categorical syllogisms generally were invented by Aristotle, not Socrates.
Like it, I will apply it. We shall see lol