计算机填空题较难 ★ 精品

蕴含式与逻辑蕴含 — 计算机填空题

离散数学（大学通用）命题逻辑 AI 三重审校通过

题目

设命题公式 φ = (p→q)∧(q→r)，ψ = ¬r→¬p。则 φ 逻辑蕴含 ψ（即 φ⇒ψ）是否成立？请在空位处填写「成立」或「不成立」：φ⇒ψ ____；若把条件中的 ψ 换为 χ = p→(q∧r)，则 φ⇒χ ____。