On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems