• 진리값,truth_value . . . . 2 matches
       [[진리함수,truth_function]] =진리함수,truth_function =,truth_function .
• 진리,truth . . . . 1 match
       [[진리함수,truth_function]]
• 칼큘러스,calculus . . . . 1 match
       각 명제의 [[진리값,truth_value]]을 검토해서, [[진리함수,truth_function]]? { KmsK:진리함수 Ndict:진리함수 Ggl:진리함수 WtEn:truth_function Ggl:truth.function } 관계에 있는, 복합명제{ Ndict:복합명제 Ggl:복합명제 }의 진리값을 산출해내는 것.[* https://terms.naver.com/entry.naver?docId=510581&cid=42126&categoryId=42126]
• 함수,function . . . . 1 match
       [[진리함수,truth_function]]

You can also click here to search title.