2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} '''第六章 證明''' 一堆命題序列，由premises（前件）推論到結論。 本文使用 Fitcher…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 12： | 行 12： | ||
* 邏輯操作子有有引入律 indroducion rule 和消去律 elimination rule。 | * 邏輯操作子有有引入律 indroducion rule 和消去律 elimination rule。 | ||
* reiteration 重新迭代律(R)：重複自己。 | * reiteration 重新迭代律(R)：重複自己。 | ||
* 推論右邊的數字x代表引用某律到第x行。 | |||
<pre> | <pre> | ||
1 |_ P Premise | 1 |_ P Premise | ||
| 行 18： | 行 19： | ||
*conjunction交集：有A和B兩個命題，就能證明A&B存在。 | *conjunction交集：有A和B兩個命題，就能證明A&B存在。 | ||
**引入律 | **引入律(&I) | ||
<pre> | <pre> | ||
1 | P Premise | 1 | P Premise | ||
2 |_ Q Premise | 2 |_ Q Premise | ||
3 | (P & Q) 1,2 &I # 套用第1和第2行 | 3 | (P & Q) 1,2 &I # 套用第1和第2行 | ||
</pre> | |||
**消去律(&E) | |||
<pre> | |||
1 | (P & Q) Premise | |||
2 | P 1 &E # P&Q推論P存在 | |||
3 | Q 1 &E #P&Q也可以推論P存在 | |||
</pre> | </pre> | ||