Construct a Derivation to Prove That Each of the Following

question 19

Essay

Construct a derivation to prove that each of the following propositions is a logical truth of PL using any of the twenty-five rules and conditional proof.
-(A ⊃ B) ⊃ {(C ⊃ D) ⊃ [(∼A ⊃ C) ⊃ (∼D ⊃ B)]}

---

Definitions:

Central Nervous System

The division of the nervous system consisting of the brain and spinal cord, which integrates sensory information and directs bodily responses.

Atom

The basic unit of a chemical element, consisting of a nucleus surrounded by electrons.

Neutron

A neutron is a subatomic particle found in the nucleus of an atom, lacking an electric charge and possessing a mass slightly greater than that of a proton.

Electron

A subatomic particle with a negative electric charge, fundamental to chemical bonding and electricity.