本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

logical calculi

名詞
活用形 複数形
日本語の意味
「logical calculi」は「logical calculus」の複数形であり、活用形としては複数形を示します。
このボタンはなに?

研究者たちはいくつかの形式論理体系を比較して、どの枠組みが様相推論を最もよく表現するかを調べた。

logical connectives

名詞
活用形 複数形
日本語の意味
論理結合子:論理学において、命題同士を結びつけ、複雑な論理命題を構成する記号や語彙(例:「かつ」、「または」、「ならば」など)を指す。
このボタンはなに?

哲学を学ぶ学生は、複雑な命題の真理を決定する論理結合子の働きをよく学ぶ。

logical systems

名詞
活用形 複数形
日本語の意味
「logical system」(論理体系)の複数形、つまり複数の論理体系を指す表現です。
このボタンはなに?

研究者はどれが人間の推論を最もよくモデル化するかを判断するために、いくつかの論理体系を評価した。

logical constants

名詞
活用形 複数形
日本語の意味
「logical constant」(論理定数)の複数形。つまり、論理定数が複数存在する場合を示す活用形です。
このボタンはなに?

教科書は形式的な証明において、'かつ'、'または'、'非'、'真'、'偽'のような記号(論理定数)がどのように機能するかを説明している。

chop logic

形容詞
比較不可
日本語の意味
議論において、あいまいな論拠や、複雑すぎたり見せかけのある論法によって、正確さや妥当性に欠ける論理展開を指す。 / 不適切な推論、すなわち誤った理由付けやごまかしのある論証の形態を示す。
このボタンはなに?

彼の詭弁的な議論は、データが検証されると崩れた。

chop logic

名詞
不可算名詞 可算名詞 廃用
日本語の意味
不適切な論理、不正確な推論(詭弁)
このボタンはなに?

委員会は、その提案が不適切な推論に基づいており、確かな証拠がないとして却下した。

関連語

plural

chop logic

動詞
日本語の意味
複雑な論理や巧妙な推論を用いて、巧みに議論を交わすこと
このボタンはなに?

討論で、彼女は巧妙な論理展開で相手を論破し、要点を認めさせた。

関連語

present singular third-person

participle present

participle past

past

term logic

名詞
可算名詞 不可算名詞
日本語の意味
命題を主語と述語の2つの項に分け、論理的構造を明らかにする論理学の一分野
このボタンはなに?

ゼミでは、彼女が主語と述語に命題を二分する論理が普遍論に関する中世の議論を支えている仕組みを説明しました。

関連語

plural

logic diagram

名詞
日本語の意味
論理学の分野における図解 / 非空間的・抽象的な図表 / プロジェクト活動間の論理的な関係を示す模式図
このボタンはなに?

プログラムをデバッグするために、彼女は各条件分岐を把握するための論理図を描いた。

関連語

plural

temporal logic

名詞
可算名詞 不可算名詞
日本語の意味
命題の順序や時間的な持続性に関連する性質を推論するために用いられる記号論理の一形式。特に「時相論理」とも呼ばれ、時間の概念を取り入れた論理体系を指す。
このボタンはなに?

研究者たちは、分散システムがメッセージの順序と時間的制約を維持していることを検証するために時相論理を用いた。

関連語

plural

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★