作者copular (睡中乾坤)
看板logic
标题Re: 一个问题
时间Mon Mar 27 21:39:13 2006
※ 引述《lgirl (さびしい)》之铭言：
: 前提一 不及格者均需补考或重修
: 前提二 有人不及格
: 前提三 有人不重修
: 结论有人补考
: 这样正确吗
: 谢谢
题目在这呢
Ax {F(x)->[T(x) V R(x)]}
Ex F(x)
Ex ~R(x)
/∴Ex T(x)
无效论证啦
设论域只有两个人a和b
而这两个人的情况是
F(a),~F(b)
R(a),~R(b)
~T(a),~T(b)
原论证就破工罗
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 210.58.34.176