Logic - Fitch-style Natural Deduction Proofs #44 & 45

Logic - Rose - MBHS - Blair - Natural deduction proofs in predicate logic in a Fitch-style system. We prove #44 & 45 from the packet. Proof #45 is a good example of the complexity of proofs with multiple embedded alternating quantifiers. - 10/29/2020