ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
記号論理; 記号論理学
形式論理を扱う学問分野で,命題論理と述語論理を含む.数理論理学は,同義語.自然言語のもつあいまいさ及び論理的不十分さを避けるために選定された人工言語を用いて,正当な論証及び演算を行う学問分野.
出典:Wiktionary
symbolic logic (usually uncountable, 複数形 symbolic logics)
記号論理学
symbolic logic
もっともらしい理屈.
specious logic
論理学者
a logician
記号論理学に熟練した人
a person skilled at symbolic logic
形式論理学.
formal logic
論理的帰結
logical entailment
論理学
logic
内包的論理学
intensional logics
論理の微細な点.
a refinement of logic
語彙意味論
lexical semantics
完全無欠な論理
faultless logic
帰納的論理
inductive logic
数学の記号
mathematical signs
論理上の分析.
logical analysis
論理学における証明
a demonstration in logic
一貫した論理.
sustained logic
三段論法の推論
syllogistic reasoning
形而上の推論
metaphysical reasoning
論理的推論の法則.
the laws of logic
論理的思考
a logical mind
共感覚のたとえ
synesthetic metaphor
(ある特別の事物についての)特別論法.
special logic
論理的に演繹的な
logically deductive
まずい論理
poor logic
論理的推論に関する
relating to logical deduction
論理学での類推
in logic, analogy
論理的に論ずる
to argue logically
抽象的な論理
abstract reasoning
誤った論法
bad logic
論理的必然性.
logical necessity