恆真句,矛盾句與適真句(Tautology,Contradiction and ...

恆真句,矛盾句與適真句(Tautology,Contradiction and Contingent sentence), 分類: Mathematical Logic. 先睇下一個複合語句⌈p∨~p⌉既真值表: p |~p |⌈p∨~p⌉|. RonKei25:個人主頁-相簿-訂閱 [QOOZA-論壇-登入] 人氣：21158 RonKei25 暱稱：-性別：男國家：香港地區：元朗區MORE... 最新文章 •Alimitquestionin... •Findingthevalueof... •Findingthevalueof... •不定積分(Indefinite... •微分均值定理(TheMea... 文章分類 •全部(23) •Calculus(11) •Geometry(1) •MathematicalLogic(5) •SetTheory(4) •Trigonometricfunction(2) 網站連結 •Calculus(微積分) •Function(函數) •Limit(極限) •Mathematicallogic(數... •Mathematics(數學) •Settheory(集合論) 2009年5月6日  星期三  恆真句,矛盾句與適真句(Tautology,ContradictionandContingentsentence) 分類:MathematicalLogic 先睇下一個複合語句⌈p∨~p⌉既真值表: p　|~p　|⌈p∨~p⌉| T　|F　 |　T　| F　|T　 |　T　| 無論p係真定假,⌈p∨~p⌉都為真. 又睇下一個例子: 睇睇⌈p∧q→q⌉既真值表: p　|q　|⌈p∧q→q⌉| T　|T　|　　T　｜ T　|F　|　　T　｜ F　|T　|　　T　｜ F　|F　|　　T　｜ 無論p同q係真定假,⌈p∧q→q⌉都為真. 我地稱呢種情況叫「恆真句」(tautology) 又睇下一個例子: 考慮下⌈p∧~p⌉既真值表: p　|~p　|⌈p∧~p⌉| T　|F　 |　F　| F　|T　 |　F　| 無論p係真定假,⌈p∧~p⌉都為假. 呢種情況叫「矛盾句」(contradiction). 同理,既唔係恆真句,又唔係矛盾句既就稱為「適真句」(contingentsentence).(即論證有真有假) 一啲特別符號既介紹: (1)50係一個整數. 如果我地用「a」代表「50」,「R」代表「整數」,我地可以用以下表達(1)既語句. Ra 同理,如果「a」唔係整數,我地會寫成: ~Ra (2)25係5既倍數. 如果我地用「F」代表「是...倍數」;「a」代表「25」;「b」代表「5」,就可以表示為: Fab (3)無論x係咩,Fxa→Px. 用「∀x」表示「無論x是什麼」,表示為: ∀x(Fxa→Px) 有一啲Hx∧~Fx 用「∃x」表示「有一些」,表示為: ∃x(Hx∧~Fx) 發表時間：2009-05-0609:02PM [編輯日誌] [分享至FACEBOOK]  訪客留言(返回RonKei25的日誌) [返回RonKei25的日誌] 返回首頁| 免責聲明| 私隱權聲明| 常見問題| 廣告查詢| 聯絡我們 ©2016QoozaInteractiveLimited.AllRightsReserved