武卡謝維奇邏輯維基百科,自由的 encyclopedia 在數學中,武卡謝維奇邏輯(Łukasiewicz logic)是非經典、多值邏輯。它最初由揚·武卡謝維奇定義為叫做「三價邏輯」的三值邏輯[1];它後來被推廣為 n 值(對於所有有限 n)和無限多值變體,命題和一階都有[2]。它屬於t-規範模糊邏輯[3] 和亞結構邏輯[4]類。
在數學中,武卡謝維奇邏輯(Łukasiewicz logic)是非經典、多值邏輯。它最初由揚·武卡謝維奇定義為叫做「三價邏輯」的三值邏輯[1];它後來被推廣為 n 值(對於所有有限 n)和無限多值變體,命題和一階都有[2]。它屬於t-規範模糊邏輯[3] 和亞結構邏輯[4]類。