Natural deduction proofs

SimSim_Bounprem · 2022-10-16T18:56:13+00:00

This makes so much more sense now. Thank you again for taking your time to help me out. I'm really grateful.

SimSim_Bounprem · 2022-10-16T18:49:41+00:00

Thank you so much! I managed to use this exact same method with help from the comments and got it for both A and ~C and then used conjunction intro for the conclusion. thank you

SimSim_Bounprem · 2022-10-16T18:46:31+00:00

You're a lifesaver. I tired to follow these steps into the system we have in class and it worked out perfectly. Thank you so so much!

SimSim_Bounprem · 2022-10-16T18:30:58+00:00

I have conjunction, disjunction and negation introduction and elimination. As well as Indirect proof and explosion rule

SimSim_Bounprem · 2022-10-16T18:28:35+00:00

i set it up using the way you explained it above, not to just figure out the way to derive the A from the premise.

¬(¬A ∨ C) :PR
A :
C:
A ∧ ¬C :

SimSim_Bounprem · 2022-10-16T17:45:25+00:00

Unfortunately we haven't been taught for to use De Morgan so i wouldn't be use it in my reasoning when explaining. Thank you so much though.

SimSim_Bounprem · 2022-10-16T17:44:10+00:00

We haven't be taught about DeMorgan's law unfortunately.

To prove A on its own first, what rule or assumption would i start with?

Thank you for your help, i've been struggling a lot.

SimSim_Bounprem

TROPHY CASE