es un ejercicio de tema que se llama lógica y tiene sus leyes quien me puede ayudar a resolvérmelo gracias Demostrar C : ∼ g

P1 : f → ∼ t

P2 : ∼ f → (h → ∼ g)

P3: (∼ i ∨ ∼ h) → ∼ (∼ t)

P4 : ∼ i ∨ ∼ d

P5 : d ∧ h.