https://wiki.taigi.ima.org.tw/w/index.php?action=history&feed=atom&title=B%2CC%2CK%2CW%E7%B3%BB%E7%B5%B1
B,C,K,W系統 - 修訂紀錄
2026-05-20T07:26:37Z
本 wiki 上此頁面的修訂紀錄
MediaWiki 1.43.1
https://wiki.taigi.ima.org.tw/w/index.php?title=B,C,K,W%E7%B3%BB%E7%B5%B1&diff=485536&oldid=prev
TaiwanTonguesApiRobot：從 JSON 檔案批量匯入
2025-08-23T15:40:35Z
<p>從 JSON 檔案批量匯入</p>
<p><b>新頁面</b></p><div>一九三空年哈斯凱爾 ・ 加里佇伊的博士論文《Grundlagen der kombinatorischen Logik》中提議了一个組合子邏輯系統。伊帶有基本組合子'''B'''、'''C'''、'''K'''和'''W'''（採用這馬的號名）。<br />
<br />
==定義==<br />
<br />
*'''B'''x y z=x ( y z )<br />
*'''C'''x y z=x z y<br />
*'''K'''x y=x<br />
*'''W'''x y=x y y<br />
<br />
直覺上，<br />
<br />
*'''B'''x y 是函數複合 x o y<br />
*'''C'''x y z 交換參數 y 和 z<br />
*'''K'''x y 忽略第二个參數 y<br />
*'''W'''x y 複製參數 y<br />
<br />
佇咧當代，干焦兩个基本組合子'''K'''和'''S'''的 SKI 組合子演算成做組合子邏輯的規范方式。'''B , C'''和'''W'''會用得使用'''S'''和'''K'''表達為下：<br />
<br />
*'''B'''='''S'''('''K S''')'''K'''<br />
*'''C'''='''S'''('''S'''('''K'''('''S'''('''K S''')'''K''') )'''S''') ('''K K''')<br />
*'''K'''='''K'''<br />
*'''W'''='''S S'''（'''K'''('''S K K''') )<br />
<br />
佇另外一个方向頂懸，SKI 會當做依據 B , C , K , W 定義做：<br />
<br />
*'''I'''='''W K'''<br />
*'''K'''='''K'''<br />
*'''S'''='''B'''('''B'''('''B W''')'''C''') ('''B B''')='''B'''('''B B B W B''')'''C'''<br />
<br />
<br />
<br />
==佮直覺主義邏輯的連結==<br />
<br />
組合子 $ B $ , $ C $ , $ K $ 和 $ W $ 對應眾所周知的命題邏輯四公理：<br />
<br />
<br />
:'''AB''': ( _ B _ → _ C _ ) → ( ( _ A _ → _ B _ ) → ( _ A _ → _ C _ ) ) ,<br />
<br />
<br />
:'''AC''': ( _ A _ → ( _ B _ → _ C _ ) ) → ( _ B _ → ( _ A _ → _ C _ ) ) ,<br />
<br />
<br />
:'''AK''': _ A _ → ( _ B _ → _ A _ ) ,<br />
<br />
<br />
:'''AW''': ( _ A _ → ( _ A _ → _ B _ ) ) → ( _ A _ → _ B _ ) .<br />
<br />
函數應用對應於肯定的頭前件<br />
<br />
<br />
:'''MP''': 若是 A 而且 A → B，著 B。<br />
<br />
公理 AB , AC , AK 和 AW 以及函數應用規則 MP 對著直覺邏輯的蘊涵片段是完整的。為著使組合邏輯能模型化為直覺邏輯：<br />
<br />
* 古典邏輯的蘊涵命題演算，需要佮排中律相結合，比如講，皮爾士定律；<br />
* 完整的古典邏輯，需要用組合子模擬著命題公式 F → A。<br />
<br />
<br />
<br />
==參見==<br />
<br />
* 組合子邏輯<br />
* SKI 組合子演算<br />
<br />
==引用==<br />
<br />
* Hendrik Pieter Barendregt（一千九百八十四）_ The Lambda Calculus , Its Syntax and Semantics _ , Vol . 一百空三 in _ Studies in Logic and the Foundations of Mathematics _ . North-Holland . ISBN 九百七十八追空九四百四十四抹八七千五百空八孵二<br />
* Haskell Curry（一千九百三十）" Grundlagen der kombinatorischen Logik , " _ Amer . J . Math . 五十二 _ : 五百空九五百三十六 ; 七百八十九石八百三十四 .<br />
* Curry , Haskell B . ; J . Roger Hindley , and Jonathan P . Seldin . Combinatory Logic Vol . II'''二'''. Amsterdam : North Holland . 一千九百七十二 . ISBN 九百七十八追空抹七千二百空四四淋二千二百空八孵五 .<br />
* Raymond Smullyan（一千九百九十四）_ Diagonalization and Self-Reference _ . Oxford Univ . Press .<br />
<br />
==注釋==<br />
<br />
==外部連結==<br />
<br />
* Keenan , David C . ( 兩千空一 ) " To Dissect a Mockingbird . "<br />
* Rathman , Chris , " Combinator Birds . "<br />
* " " Drag'n'Drop Combinators ( Java Applet ) . "<br />
<br />
[[分類: 待校正]]</div>
TaiwanTonguesApiRobot