Natural Deduction Proofs: practise examples | Attic Philosophy

[@sjoerdv800]

How has this guy only 2.61k subs this is A+++++++++++ level teaching skills thanks so much I will post how my exam tomorrow went

[@AtticPhilosophy]

Thanks, hope the exam went well!

[@sjoerdv800]

@@AtticPhilosophy yes I think I nailed it thanks man

[@Maxikinz]

how are you doing now in life?@@sjoerdv800

[@Reva07]

I was honestly stranded cause I didn't get how my teacher explained it and I have a test tomorrow you really helped me thank you and I would love to see you post again even if I'm new to this channel thank you

[@frankavocado]

That little bit of strategy completely unlocked all of natural deduction for me, thanks!

[@AtticPhilosophy]

Fantastic, glad it helped!

[@alessf4674]

Hello Sir ! Your videos are absolutely wonderful. They're both short and extremely complete + very easy to understand. Thanks a lot for your hard work !

[@AtticPhilosophy]

You’re welcome!

[@gkozgkeiros5750]

you taught me in less than 20 minutes what my prof failed do whole semester.cheers

[@AtticPhilosophy]

Thanks - glad it helped!

[@themysteriousfox3767]

I couldn't figure this out until I watched your video, thank you!

[@user-jy3bh2it2k]

thank you so much, without you, I could never understand the natural deduction

[@macwas5900]

Thanks so much for making this video! :) It helped a lot where my lecturer didn't give great examples or explain them well as he went through

[@AtticPhilosophy]

You're very welcome!

[@userozancinci]

YOU MY MATE !!! YOU JUST MADE MY LIFE WAY EASIER!! IF I WERE NEXT TO YOU RIGHT NOW, I WOULD GIVE YOU A BIG HUG!!! THIS WAS THE TOPIC MY PROFF COULDNT EXPLAİN PROPERLY FOR 2.5 HOURS! APPRECIATE THAT VIDEO!!!!

[@AtticPhilosophy]

Great, glad it helped!

[@natheetarnpanyakorn2954]

Hope you get a lot of subs soon! Thank you for great content.

[@AtticPhilosophy]

Thanks!

[@theMelMxshow]

Now I'm teaching logic, this is SOOO helpful!!! thanks so much!

[@AtticPhilosophy]

Good for you! How's it going? If you share with you students, let me know what they think.

[@theMelMxshow]

@@AtticPhilosophy they had a bit of a hard time, but is becuase mexican universities don't teach logic like in Europe, but I had some students that did really good because they understood the examples (the suppose b, use a conclude c was sooo good! ). I am really greatful for your videos! it made me understand it better so I could teach it ^^ particulary cause as a student this was really hard for me!

[@MrLordAzkar]

Amazing video! Thank you so much for explaining even the tiniest details, it helped my understanding a lot!

[@AtticPhilosophy]

Thanks! Glad it helped.

[@cristiancojocaru3541]

I love how he explains it

[@jasnesciemnienie9107]

These videos are very good. Thank you!

[@AtticPhilosophy]

Thanks!

[@KaleyRaw]

Excellent explanations. THANK YOU!

[@AtticPhilosophy]

Thank you!

[@klaussserwang2265]

thanks, you will save my logic exam!

[@AtticPhilosophy]

Great! Hope it goes well.

[@esmemeh]

You are saving my cs degree

[@AtticPhilosophy]

Great, that’s the idea!

[@BillboMC]

this is my favourite tutorial video on KZbin. not my first comment here!

[@AtticPhilosophy]

Wow, thanks!

[@codejoy-w1e]

bro u drop that👑

[@AtticPhilosophy]

Thanks!

[@csperi-peri2447]

Great video, not many videos show proper sub-proofs

[@AtticPhilosophy]

Thanks!

[@toe_fans]

Your channel is a hidden gem, I absolutely love your channel question: Is A \turnstile B equivalent to \turnstile A --> B ?

[@toe_fans]

I suppose I should try and prove it using equivalences! my bad

[@AtticPhilosophy]

Thanks! Yes, they’re equivalent (in most logics). If you can prove B from A (A l- B) then you can assume A, derive B, and so infer |- A -> B, and vice versa.

[@vuppalasrinivasarao5617]

thank you so much sir I was struggling in it until I found your video...but now I'm not !

[@AtticPhilosophy]

Fantastic, glad it helped!

[@CAOVCorp2]

coming in clutch ty

[@AtticPhilosophy]

Great! Glad it helped.

[@marcosgahan4366]

I love you man

[@ukko8243]

you are a legend

[@gonzajuarez4918]

Heyy thanks for the video. I was just trying to prove the tautologies at the end of the video and came across a problem with one of DeMorgan laws. That one of ~(A ^ B) -| |- ~A v ~B. I can't figure how to start the proof that assumes ~(A ^ B) and concludes ~A v ~B. I have no problem with a proof for ~~(A ^ B) -| |- ~(~A v ~B) since I can use double negation and do a lot more with A ^ B. But comming up with something for ~(A ^ B) is a bit tricky for me

[@AtticPhilosophy]

For this one, you can’t prove ~A and can’t prove ~B, so you can’t use v-intro. The only other option is indirect proof, from assuming ~(~A v ~B). Try that, then you have 2 premises to get a contradiction from.

[@gonzajuarez4918]

@@AtticPhilosophy Ah ok. So given ~(~A v ~B), i think A could be inferred, then B, then A ^ B and get the contradiction with the initial hypothesis ~(A ^ B). Guess that's it. Thanks!

[@markjago5125]

@@gonzajuarez4918 That's it. You need to make extra assumptions along the way (different ways to do this - experiment!) It's a very indirect proof and, incidentally, not intuitionistically valid (since you *have* to use indirect proof).

[@sohambasu660]

Using the above process, we are able to prove left side from right hand side and vice versa. But if question says to prove the validity by natural deduction, and we have an expression. then how do we proceed with it ? we don't have any right hand side or left hand side in that case. A question in my paper has come like: Prove by natural deduction the validty of: (P ->Q) -> (P -> ( P ^ Q)) Please help.

[@AtticPhilosophy]

If you need to prove a sentence (ie with no premises), look at its main connective, and use that intro rule. So in this case, use -> intro, by assuming p->a and reasoning to p->(p&q). Good luck!

[@sohambasu660]

my exam is on this Monday. Can you please solve my query: for example 4, when we were proving from right side to left side, how did you introduce ~B from A ? what rule is that ?

[@AtticPhilosophy]

You assume A & ~B, and from that, infer A on its own, and then ~B on its own. (So ~B comes from A&~B, not from A). Good luck!

[@royeyckmans260]

Goat 🐐

[@BillboMC]

examples speak louder than words. idk just feels right

[@AtticPhilosophy]

Thanks!

[@jtobin1976]

How would you breakdown the following formula? ~W • ~~Z, (~W • X) → Y, ~Z v X, therefore Y My logic class is kicking my butt. The truth tables were fun but this part not so much. Sigh....

[@AtticPhilosophy]

That one's quite tough! Assuming . means 'and' (&) here. So from ~W & ~~Z you get ~W, ~~Z, and Z. Use v-elim on ~Z v X gets you X (you work out the steps involved). That gets you to ~W & X, you can finish it from there!

[@feraudyh]

practice is the noun and practise is the verb. I don't think you are respecting this distinction.

[@feraudyh]

@@nitishgautam5728 it's its, not it's

[@nitishgautam5728]

@@feraudyh right , ... Is this logic right? P = Practice is the noun , Q = Practice is the verb , but we know that Practice can be both noun and verb depending on sentence , this is called lexical ambiguity therefore .... It's not clear which practice we are talking about .

[@EgorSementul]

its really good, thanks but stop putting your face for 5 seconds every 1 minute

[@AtticPhilosophy]

Thanks! So you'd like 10 seconds every minute? Weird.