Propositional Logic Validity, Soundness, and Entailment

[@mohanish007]

I don't understand why only when the conjunction of all premises entail tautology, it is a valid argument? shouldn't we just looking what conjunction all premises entail when all the propositions are true ? like isn't that is what we assume when looking for valid arguments ?

[@15kazzi]

Quick question. Your videos are incredibly helpful in helping me catch up for class, so I was wondering why some of them are private?

[@Trevtutor]

They are released daily for algorithm & sustainability purposes. I’d love to release them as they’re made, but unfortunately it would hurt the channel from an outreach/algorithm perspective :(

[@mohanish007]

I am extremely confused about why it has to be tautology

[@begejekan1244]

you should put the link of the playlist in your video description, it makes it easier for viewers who came from search results (like me) to follow up on the lecture instead of digging in your listed playlist

[@Trevtutor]

That’s smart. I shall do that. All the videos are updated now :)

[@zerodono]

I know this is far from the point but the Disgaea reference stood out cause I just started playing 5 lol

[@Trevtutor]

Literally, same.

[@augustusg857]

saying that a conclusion follows the premises is saying that the premises create the conclusion or claim, they create the the belief. its like giving the claim 1st and then someone asks what makes you believe that larharl like peas? youd then give them p1 and p2 as reasons or cause for believing such conclusion. ppl also say that the claim is based off of the premises meaning made from them or they say predicated.

[@andreaherrera4854]

TrevTutor I have a question, I stopped the video to try and do the exercise on my own and got a different combination of 1s and 0s for the ((A -> B) ^ (~B -> ~A) ^ B) 1,0,0,0 and (~A v ~B) 1,0,1,0 but still got as an answer all 1s at the end, is that possible or is it wrong and I got lucky?

[@handoll4337]

what program do you use to write?

[@Trevtutor]

PDF Annotator

[@handoll4337]

@@Trevtutor Thanks ♥️🙏

[@T-The-K]

Another great video, you actually make me worry you make it easier than it is in reality. Im preparing for the start of university. But from what i saw there it looks so convoluted. Here it's nice and bite sized. Easy to follow and understand.

[@marc1234562]

i think it is a tautology, if it's right i have hope :D

[@kaushalgogula2138]

Oh no, you missed on one thing, otherwise it would have been a tautology!

[@DaiMoscv]

what is logical consequences I need more of them

[@ProFatXuanAll]

Can we formally define premises as we formally define propositions or valid arguments?

[@ProFatXuanAll]

Or is premise just another word for proposition?