Beta
進入詞條
清除歷史記錄
關閉
反饋
分享
複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/輸出率/8538687
輸出率
鎖定
輸出率是一個邏輯恆等式。
中文名
輸出律
作 用
表示兩個命題變元
定 義
邏輯恆等式
因 素
應用時用命題變元替換
如果P Q R 表示兩個命題
變元
(P∧Q→R)恆等於(P→(Q→R))
應用時用命題變元替換P Q R (代入規則)
也可用(P∧Q→R)和(P→(Q→R))在邏輯表達式用相互替換(替換規則)
詞條統計
瀏覽次數:
次
編輯次數:6次
歷史版本
最近更新:
wujinmiao123
(2022-09-12)
Beta
進入詞條
清除歷史記錄
關閉
反饋
登錄