考试
1970-01-01 08:00:00

证明(∀x)(A(x)→B)⇔(∃x)A(x)→B。以下过程

题目描述

证明(∀x)(A(x)→B)⇔(∃x)A(x)→B。以下过程是正确的。 证明(∀x)(A(x)→B)⇔(∀x)(┐A(x)∨B) ⇔(∀x)┐A(x)∨B ⇔┐(∃x)A(x)∨B ⇔(∃x)A(x)→B

答案解析

加载中...
AI正在思考中,请稍候...