作者somedoubt (人独立燕双飞)
看板logic
标题Re: [请益] 命题逻辑
时间Wed Sep 26 10:24:23 2007
※ 引述《william0612 (Will)》之铭言：
: 这学期拿了一堂课叫 Logic for computer science
: 但是才刚开始就被搞的有些不知所措..
: 现在在上的这部分叫做 Proposional Logic..
: 第一个作业就不知该从何下手..希望有高手能够教教我...并建议该从何处下手^^"
: (a)
: Prove that the LAST symbol of a formula cannot be ^
: (b)
: Prove that the string ^ V cannot appear as a substring in any formula.
: Prove by Induction On Formulae, or by Analysing Formula-calculations.
: (^ 应该是 and,V 是 or, 另外..请问这些数学符号怎麽打阿? 为什麽我按出来都是乱码)
: 感恩蛤 T_T
若以归纳法的方式解题，大略方式如下
先证atomic formula不具备上述性质，再证不管多复杂的语句A，C只要A，C不具备上述性
质，则从A，C以合法的规则（例如加上～，AC以or或and连接，或者A是一个以C为前件的
条件句，AC做MP）获得的语句B亦不具备上述性质，则证明步骤结束。
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.168.165.156
1F：→ somedoubt:如果你念的是英文版，建议你先从增强英阅能力下手。 09/26 10:27
2F：→ somedoubt:毕竟作业中建议你使用的方法应该在该章节中即有介绍，应 09/26 10:28
3F：→ somedoubt:该是你漏读了。 09/26 10:29
※ 编辑: somedoubt 来自: 218.168.173.146 (09/26 11:44)
4F：推 william0612:感谢解答 我再试试 10/03 09:51