[請益] 命題邏輯
這學期拿了一堂課叫 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
討論串 (同標題文章)