Natural Deductive Logic - Universal and Existential Rules

[@Vlad.007]

yoo when continue this playlist mr. Trevtutor?

[@sahhaf1234]

I finished binge watching also.. Thank you very much..

[@yoga1775]

Here before the logic exam ✌️ Thanks

[@BryanDike-vh2fj]

Can we have an example with universal introduction?

[@peternotpan7507]

great videos to start learning logic!

[@yiqi8526]

Great video, crystal clear

[@sharonlu7347]

He uploaded!

[@prokopismpismpis7319]

Binged watched all the playlist in 2 days, lets see if i can pass a class that i never went to, tomorrow.

[@crimzen147]

Hello I just have a question for the last proof, is Pa not an open assumption? I thought for existential elimination it had to be true and not just assumed

[@aswathcp7824]

Can you please say which Software/App is used for creating the board.

[@dhyeyitaliya7543]

Ig its pdf annotator ..Its a paid programme!

[@gg4y]

can you show examples that cannot deduce conclusion?

[@sanaung3876]

in 7:59, isn't a in the assumption Ra(line2)? @TrevTutor

[@MoonlightMaggie]

@@sanaung3876 Im not sure why its labeled as assumption but it looks like those two are premises

[@topticktom]

Can u please do a video on Residue class rings? can find a great explanation like your videos.

[@poseidonpi3434]

thanks a lot

[@RakibHasan-uc5lr]

A life saver :)

[@sharonlu7347]

Woo hooo