predicate-logic-truth-tree2.mp4