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