【形式逻辑试题】形式逻辑题一道!麻烦高手了,用真值表做.“只有具备...
答案:2 悬赏:80 手机版
解决时间 2021-03-04 22:31
- 提问者网友:低吟詩仙的傷
- 2021-03-04 07:14
【形式逻辑试题】形式逻辑题一道!麻烦高手了,用真值表做.“只有具备...
最佳答案
- 五星知识达人网友:患得患失的劫
- 2021-03-04 07:31
【答案】 要画真值表,总要有所依据.除非你看到一个复合命题就知道它的取值情况,否则就只有两种方法:一,将各个原子命题的各种取值组合带入复合命题中,得出相应的取值;二,把它转化成规范的表达式,从表达式可以直接看出它的取值情况.我习惯用第二种:
(1)设原子命题符号:
X:具备逻辑学知识;
Y:思维是严谨的;
(2)复合命题表示及形式转化:
题干:Y → X = XY ∨ Xy ∨ xy;(我省略了“与”的符号,并且用小写字母表示“非”)
A:Y → X = XY ∨ Xy ∨ xy;
B:¬Y ∨ X = XY ∨ Xy ∨ xy;
C:¬X → ¬Y = XY ∨ Xy ∨ xy;
D:¬(Y ∧ ¬X) = XY ∨ Xy ∨ xy;
E:¬(¬X ∧ ¬Y) = XY ∨ Xy ∨ xY;
显然,答案就是:E.
(3)如果非要真值表不可,就列出来(“O” 表示“题干”):
X Y O A B C D E
1 1 1 1 1 1 1 1
1 0 1 1 1 1 1 1
0 1 0 0 0 0 0 1
0 0 1 1 1 1 1 0
(1)设原子命题符号:
X:具备逻辑学知识;
Y:思维是严谨的;
(2)复合命题表示及形式转化:
题干:Y → X = XY ∨ Xy ∨ xy;(我省略了“与”的符号,并且用小写字母表示“非”)
A:Y → X = XY ∨ Xy ∨ xy;
B:¬Y ∨ X = XY ∨ Xy ∨ xy;
C:¬X → ¬Y = XY ∨ Xy ∨ xy;
D:¬(Y ∧ ¬X) = XY ∨ Xy ∨ xy;
E:¬(¬X ∧ ¬Y) = XY ∨ Xy ∨ xY;
显然,答案就是:E.
(3)如果非要真值表不可,就列出来(“O” 表示“题干”):
X Y O A B C D E
1 1 1 1 1 1 1 1
1 0 1 1 1 1 1 1
0 1 0 0 0 0 0 1
0 0 1 1 1 1 1 0
全部回答
- 1楼网友:七十二街
- 2021-03-04 08:30
这个问题的回答的对
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息,可以点下面链接进行举报!
点此我要举报以上问答信息
大家都在看
推荐资讯