Search results- English - English
Keyword:
chop-logic
Related Words
chop logic
Related Words
( present singular third-person )
( participle present )
( participle past )
( past )
mathematical logic
Noun
uncountable
usually
Japanese Meaning
数学的論理学:論理学と数学の一分野で、論理の数学的研究とその知見を他の数学領域へ応用することで、形式論理の表現力や形式的証明体系の推論力に関する問題に取り組む分野
Related Words
logical system
Related Words
logical calculus
Related Words
formal logic
Related Words
temporal logic
Noun
countable
uncountable
Japanese Meaning
命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。
Related Words
deontic logic
Noun
countable
uncountable
Japanese Meaning
義務、許可、その他関連する概念の研究 / 義務と許可の概念を捉える形式的な論理体系
Related Words
modal logic
Noun
countable
uncountable
Japanese Meaning
可能性や必然性、義務や許可などの様相的概念を扱う形式的な論理体系。 / モーダリティ(例:可能性、必然性)に基づいた論理システムとして、様相論理とも呼ばれる。
Related Words
loading!
Loading...
All Loaded
Error
Words
Words(1182733)
Add Word
Sentence
Sentences
(1692699)
Add sentence
Others
Editor
(31)
Editing Guideline
Credit