Re: [公告] 邏輯丙期末考範圍
※ 引述《chiachun (等候上帝的旨意)》之銘言:
: 一.定義:ex個體
: 二.證明:量化邏輯用自然演繹法證
: 三.翻譯:用邏輯語言翻譯中文(非中翻英)
: 四.反證:證明無效論證
: 五.問答題
: 六.神秘題
: 另外要注意符號間的轉換ex:用│表示‧,~,v,......等等
根據我今天研究很久=.=
p|q = ~(p‧q)
p(箭)q = ~(pvq)
沒去上課的代價真大=.=
: 還有用波蘭表示法ex:p‧q => ‧pq
: 1/9(五)考試,別忘了喔!*^^*
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.216.22.211
討論串 (同標題文章)