欢迎来到牛牛题库网 牛牛题库官网
logo
全部科目 > 学历类考试试题及答案解析

问答题

简答题

用形式证明的方法证明下列论证的有效性:
本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。

【参考答案】

这个论证是有效的。证明如下:1. 设P(x)表示“x是有经验的C++程序员”,Q(x)表示“x知道对象的概念”,R表示“......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)

点击查看答案
微信小程序免费搜题
微信扫一扫,加关注免费搜题

微信扫一扫,加关注免费搜题