If λ is empty (i.e., 0⊢ρ) and ρ is a single formula, then we say that ρ is a theorem of the logic Entailment# λ |= ρ: whenever the formula(s) λ are true, one of the formula(s) in ρ is true In the case where ρ is a single formula, we can determine whether ...