This is a longer video drawing out 4 examples of perfect and imperfect duties as analyzed according to Immanuel Kant's three formulations of the categorical imperative.
This video provides an introduction to subproofs: conditional proof and indirect proof. The video provides several examples of proofs using the subproof method.