Please enable JavaScript.
Coggle requires JavaScript to display documents.
理則學3 - Coggle Diagram
理則學3
語句邏輯
翻譯
Only if **
只有p才q
若q 則p
**除非p 否則q
如果 非p 則 q
可以把除 跟 否省略不看
P或q
因為p v ~p(鐵則）且p v q 所以~p則q成立
Ex.除非我回宿舍 不然我拿不到電腦
=如果我不回宿舍 我就拿不到電腦
=要嘛我回宿舍 要嘛我不到電腦
or 或 要嘛要嘛
排他 Or 兼容
if
如果.. 只有.. 充分與必要條件
複句種類
解釋
套套句 tautology
全T
矛盾句 contradiction
全F
適然句 contigent
有真有假
辯證有效or無效
無效
前提一致 但結論為假 的狀況出現至少一次
有效
前提若都不一致 是有效
準則 有否出現 前提一致 結論為假
邏輯符號
單句複句
看有否語句連接詞
If then
左開U 箭頭
Not
Ex. 外面沒有下雨
~
And
A & B 是父子--是單句 （僅是主詞連結 無法拆成兩句
. 倒v &
Or
v
if and Only if
三
等值的意思 就是=的意思
語句變元 常元
變元
小寫
可被帶入語句常元
常元可組成變元
可被常元替代
常元
大寫
只特定要的一句話
真值表
p則q= 非(p且非q)=非p or q
主要語句連接詞
邏輯蘊含及等值*
等值
邏輯等值
每個橫排真假都一樣(不包含A B個別真假)
ex. A則B與 ~A v B 成等值
實質等值
一個橫排
蘊含
邏輯
沒有前件為真 後件為假
實質
兩句話之間有因果(兩句話的條件句)
三種有效論證
特殊
前提不一致
結論是套套句套套句(全真句)
一般型
真值表
簡易真值表
假設結論為假且前提一致
真值表歸謬法
假設前提一致 結論是否一定為真
語句形式之替代例
將常元改成變元有多少組合
主要連接詞
1全部為一句
展開
注意一樣的字母
前提的一致性
一致
至少一橫排一起為真
一起為假為不一致
論證反例的結合
劃出結論的否定句
若前提與論證反例一致 則為無效論證
2-6 第13題
4.定言三段論
三段論標準形式
結構
小前提
結論
大前提
詞
都有兩個詞 全部有三個詞
人 都會死
希臘人 是 人
希臘人 會 死
AAA-I
判斷方式
結論的主詞（小詞） 為小前提詞
結論的謂詞（大詞）是大前提的詞
沒出現在結論的叫中詞（媒介）
三段論形式=格式(figure)+樣式（mood)
格式
中詞決定
W狀
樣式
AEIO
判定三段論有效性
方式
形式
周延與否
范恩圖解
論證規則
中詞至少要周延一次
結論周延的詞 前提也要周延
兩前提都是否定 為無效
結論一定要肯定 前提都肯定
結論是 特稱(I O)
前提一定有特稱 vise versa
前提都是特稱是無效
背法 周周否肯特
范恩圖解
結論的主謂各一圓
三段論延伸
省略三段論
複合三段論
連鎖三段論
假言三段論
若p則q 若非q則非p
兩難論證（雙刀 雙峰）
考試注意
三段論傳統判斷真假
可能有兩個以上為假的理由 不要只看到一個就鬆懈
