[Logic] Proofs and Rules #2

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.

[philipdsouza]

Your missing truth, falsity and negation rules, if anyone needs it...
TRUTH(only has intro) AND FALSITY(only has elimination)
1.⊥
2.A ⊥E, 1 (You can assume anything from false)

1.⊤ ⊤I

NEGATION
1.A
2.⊥
3.¬A ¬I1, 2

1.A
2.¬A
3.⊥ ¬E1, 2

[CASE-vcfm]

Quick question is RAA same as Negation introduction? That's what they're teaching us.

[robertwalter]

Thanks for the videos helped me alot, good job

[KeithMakank]

Its not an acronym is the sound a make when I prove someone is absurdly wrong

[sphemazeka]

so when are you allowed to assume or what happens that leads us to end up assuming a particular premise

[DaFreed]

Why don't you also have to show assuming "not A" and "not C" in the last proof?

[bonbonpony]

04:23 And there's no loo around :)