有人给出下述推理的证明如下。 前提:∀x ( F ( x) → ¬G ( x) ) , ∀x ( H ( x) →G ( x ) ) 结论:∀x ( H ( x ) →¬F ( x ) )
时间: 2023-12-26 10:05:10 浏览: 30
根据前提可以得出,对于任意的 x,如果 F (x) 成立,那么 ¬G (x) 必须成立,同时如果 H (x) 成立,那么 G (x) 必须成立。因此,如果 H (x) 成立,则 G (x) 成立,根据前提又可以得出 ¬F (x) 成立,因此可以得出结论:对于任意的 x,如果 H (x) 成立,则 ¬F (x) 成立。
相关问题
构造下面推理的证明 前提:p→¬q, r→q, r 结论:¬p
证明如下:
1. 假设p为真,则根据前提1有¬q为真;
2. 根据前提2和3可知q和r都为真;
3. 由2可知,r为真,则根据前提1可知¬q为真,这与2中q为真矛盾;
4. 因此,假设p为真是不成立的,即p为假;
5. 根据1可知¬q为真,再结合4可知p→¬q为真;
6. 综上可得,当p为假时,p→¬q、r→q和r三个前提可以同时成立,故结论是正确的,即¬p为真。
因此,证明完成。
构造推理证明:¬("x)R(x) ├─($x)Q(x)
证明:
1. 假设 ¬("x)R(x) 为真。
2. 对于任意元素x,构造条件语句“如果R(x)为真,则Q(x)为真”。
3. 假设存在一个元素a使得Q(a)为假。
4. 由于 ¬("x)R(x) 为真,因此存在一个元素b使得R(b)为假。
5. 对于元素b,由于R(b)为假,因此条件语句“如果R(b)为真,则Q(b)为真”总是成立。
6. 由于条件语句总是成立,因此无论Q(b)为真或假,条件语句都成立。
7. 与假设存在一个元素a使得Q(a)为假矛盾,因此假设不成立。
8. 由于假设不成立,因此 ¬("x)R(x) ├─($x)Q(x)。
证毕。
相关推荐
![pdf](https://img-home.csdnimg.cn/images/20210720083512.png)
![ppt](https://img-home.csdnimg.cn/images/20210720083527.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)