假言推理的符号表达式为(A→B)AA( ),假言三段论为(A→B)A(B→C)=()o
时间: 2023-08-26 14:03:49 浏览: 322
根据假言推理的规则,如果一个条件语句(假言)的前提成立,则可以得出结论。在这个问题中,符号表达式为(A→B)AA( ),其中A和B是命题变量,我们需要填写括号中的内容。
根据假言推理的规则,如果一个条件语句的前提成立,则可以得出结论。因此,我们可以将符号表达式中的前提A→B和前提A带入到假言推理的规则中,得到以下结论:
```
A→B
A
------
B
```
因此,符号表达式(A→B)AA(B)的推导结果为B。
假言三段论是一种常见的推理规则,它的形式为:如果A→B和B→C成立,则可以得出A→C。在这个问题中,假言三段论的符号表达式为(A→B)A(B→C)=(),我们需要填写括号中的内容。
根据假言三段论的规则,我们可以将符号表达式中的前提A→B和前提B→C带入到假言三段论的规则中,得到以下结论:
```
A→B
B→C
------
A→C
```
因此,假言三段论的推导结果为(A→B)A(B→C)推出A→C。
相关问题
假言推理,敢拒式,假言三段论是什么
假言推理是一种逻辑推理方法,通过对假设条件的推断来得出结论。在假言推理中,我们假设一个前提条件,然后根据这个假设条件来推断出一个结论。
敢拒式是一种证明方法,它通过否定所要证明的结论,然后推导出一个矛盾的命题,从而证明原命题的正确性。
假言三段论是一种逻辑推理形式,其中包括两个假设条件和一个结论。假言三段论的结构如下:
如果 A 成立,那么 B 成立。
如果 B 成立,那么 C 成立。
因此,如果 A 成立,那么 C 成立。
假言三段论的推理过程是基于两个假设条件,然后通过逻辑推理得出一个结论。
5、证明:(A→BVC)B-A)A(D9)→(AD)
首先,我们需要使用推导规则,将前提进行拆解,得到以下两个前提:
1. (A → (B ∨ C)) ∧ (B - A)
2. A ∧ (D → 9)
对于第一个前提,我们可以使用前提中的合取规则,将其转化为以下两个前提:
1. A → (B ∨ C)
2. B - A
接着,我们可以使用条件推导规则,得到以下两个结论:
3. A → B
4. A → C
对于第二个前提,我们可以使用合取规则,得到以下两个前提:
5. A
6. D → 9
接着,我们可以使用条件推导规则,得到以下结论:
7. AD
接下来,我们需要使用假言推导规则,将结论拼接起来,证明出所需结论:
8. B - A (前提2)
9. B (假言推导,从8得到B)
10. A → B (假言推导,从9得到A→B)
11. C - A (假言推导,从8得到C-A)
12. A → C (假言推导,从11得到A→C)
13. AD (前提5、6)
14. D (简化,从13得到D)
15. 9 (简化,从13得到9)
16. AD → D (假言推导,从14得到AD→D)
17. AD → 9 (假言推导,从15得到AD→9)
18. (AD) → (D ∧ 9) (合取规则,从16、17得到)
19. (D ∧ 9) → D (简化,从18得到)
20. (D ∧ 9) → 9 (简化,从18得到)
21. A(D ∧ 9) (合取规则,从7、14、15得到)
22. (AD ∧ (D ∧ 9)) (合取规则,从13、18、21得到)
23. AD → (AD ∧ (D ∧ 9)) (假言推导,从22得到AD→(AD ∧ (D ∧ 9)))
24. (AD ∧ (D ∧ 9)) → AD (简化,从22得到)
25. (A → B) ∧ (A → C) ∧ (AD → (AD ∧ (D ∧ 9))) ∧ ((AD ∧ (D ∧ 9)) → AD) (合取规则,从10、12、23、24得到)
26. (A → B ∨ C) ∧ (AD → (AD ∧ (D ∧ 9))) ∧ ((AD ∧ (D ∧ 9)) → AD) (析取三段论,从25得到)
最终得证,证明完成。