[公告] 邏輯丙期末考範圍

[chiachun (等候上帝的旨意)]

一.定義:ex個體
二.證明:量化邏輯用自然演繹法證
三.翻譯:用邏輯語言翻譯中文(非中翻英)
四.反證:證明無效論證
五.問答題
六.神秘題

 另外要注意符號間的轉換ex:用│表示‧,~,v,......等等
     還有用波蘭表示法ex:p‧q => ‧pq

1/9(五)考試,別忘了喔!*^^*

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 61.228.34.142