作者Jaies (鸡肋)
看板logic
标题Re: [请益] 一个我想破头的题目
时间Mon Nov 27 13:07:47 2006
※ 引述《Hazel0906 (大自然真奇妙)》之铭言：
: 今天遇到一个题目
: 怎麽想也想不出来
: 烦请版上的各位帮我想想要怎麽解
: ==========
: 1. A
: 2. (B v C)→D
: 3. (AvC)→(B．C) /∴D
1.2.3.式的对应句为{A˙[(B v C)→D]˙[(AvC)→(B．C)]}→D
其真值表为：
A B C D ║{A˙[(B v C)→D]˙[(A v C)→(B˙C)]}→D
────╫───────────────────
T T T T ║ T T T T T T T T
F T T T ║ F T T T T T T T
T F T T ║ F T T F T F F T
F F T T ║ F T T F T F F T
T T F T ║ F T T F T F F T
F T F T ║ F T T T F T F T
T F F T ║ F F T F T F F T
F F F T ║ F F T T F T F T
T T T F ║ F T F F T T T T
F T T F ║ F T F F T T T T
T F T F ║ F T F F T F F T
F F T F ║ F T F F T F F T
T T F F ║ F T F F T F F T
F T F F ║ F T F F F T F T
T F F F ║ F F T F T F F T
F F F F ║ F F T T F T F T
4 1 2 3 1 2 1 5
由真值表结果5.得知其结论为「套套逻辑」，
根据大定理，
其原论证为有效的。
---
参考参考 我怕我的对应式写错
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.231.59.94