考试
2022-12-25 20:01:05

先将些列论断符号化,再证明论断的正确性。(共15分)

题目描述

先将些列论断符号化,再证明论断的正确性。(共15分)

本站整理有大量高等教育、资格考试类试题答案,Ctrl+D收藏备用!

答案解析

解: 前提:(x)(P(x)→Q(x)), ┐( x)(P(x)→R(x))无

解: 前提:(x)(P(x)→Q(x)), ┐( x)(P(x)→R(x))

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