I am very new to proof and logic and I would really appreciate a rundown of this proof.
I use a program called Fitch to construct my proofs.
I understand there are two types of proofs. Direct Proofs and Case Proofs.
Please could someone be so kind as to walk me through both types using this example:
Following this I have deduced the following but I cannot post this as an answer yet as something doesn't check out.
Any advice why this might be. It seems to make logical sense to me to deduce ∨ elim from these sub-proofs.