数理論理学(数学基礎論) その12

883132人目の素数さん2018/06/13(水) 23:54:29.29ID:qVgQuylU
>>881
数理論理学において、意味とは、命題記号、述語記号、定数記号、関数記号に具体的な命題、述語、対象、写像をマッピングすることを言います

新着レスの表示
レスを投稿する