2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 71： | 行 71： | ||
8 | | P 7 (EFQ) | 8 | | P 7 (EFQ) | ||
9 | P 1,3-4,5-8 vE | 9 | P 1,3-4,5-8 vE | ||
</pre> | |||
===conditional條件->=== | |||
*假設寫完之後加橫線 | |||
<pre> | |||
1 | A | |||
2 |_ B | |||
</pre> | |||
我們要假設某個特殊狀況出現，可以用次證明，往右縮排加直線，然後再給定特殊情況的前線： | |||
*假設寫完之後加短橫線 | |||
<pre> | |||
1 | A # 1,2 是母證明的假設 | |||
2 |_ B | |||
3 | |_ C # 3 底下是子證明，假設的最後加橫線 | |||
4 | | ... | |||
</pre> | |||
**引入律(→I) | |||
假設子證明假設 C 可推演到 G，那麼可以做條件引入，如： | |||
<pre> | |||
Problem: A, B |- (A → (A ∨ B)) | |||
1 | ... | |||
2 |_ B Premise | |||
3 | |_ C Assumption | |||
4 | | ... | |||
5 | | D 3 ∨I | |||
6 | (C → D) 3-5 →I | |||
</pre> | |||
<pre> | |||
Problem: A, B |- (A → (A ∨ B)) | |||
1 | A Premise | |||
2 |_ B Premise | |||
3 | |_ A Assumption | |||
4 | | (A ∨ B) 3 ∨I | |||
5 | (A → (A ∨ B)) 3-4 →I | |||
</pre> | </pre> | ||