[公告] 邏輯丙期末考範圍
一.定義:ex個體
二.證明:量化邏輯用自然演繹法證
三.翻譯:用邏輯語言翻譯中文(非中翻英)
四.反證:證明無效論證
五.問答題
六.神秘題
另外要注意符號間的轉換ex:用│表示‧,~,v,......等等
還有用波蘭表示法ex:p‧q => ‧pq
1/9(五)考試,別忘了喔!*^^*
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.228.34.142
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 3 篇)：