这学期拿了一堂课叫 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 -- The world ain't all sunshine n rainbows.It's a very mean n nasty place. N it'll beat u to ur knees n keep u there permanently if u let it. You,me or nobody's gon hit as hard as life. But it ain't about how hard u hit. It's about how hard u can get hit;how hard u can take,n keep movin forward.If u know what u'r worth, then go out n get what u'r worth. But u gotta be willing to take the hit, n not pointing fingers saying u ain't where u r becuz of him, or her or anybody. --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 76.65.26.7