symbolic logic

「symbolic logic」のレベル別の例文

• 中学

  She is learning symbolic logic in her math class.

  彼女は数学の授業で記号論理学を学んでいます。

• 高校・英検2級

  Symbolic logic helps students examine arguments more clearly and carefully.

  記号論理学は、学生が論 argumentsをより明確かつ慎重に検討するのに役立ちます。

• TOEIC・ビジネス

  The research team used symbolic logic to verify the software's decision rules.

  研究チームは記号論理学を使って、ソフトウェアの判断規則を検証しました。

• 日常会話

  I've never really understood symbolic logic.

  記号論理学って、正直あまり理解したことがないんだ。

「symbolic logic」のよく使う型

• apply symbolic logic to A記号論理学をAに応用する

  Researchers apply symbolic logic to computer science.

  研究者は記号論理学をコンピューター科学に応用します。

• use symbolic logic in AAで記号論理学を使う

  We can use symbolic logic in formal proofs.

  形式的な証明で記号論理学を使えます。

• the principles of symbolic logic記号論理学の原理

  The course covers the principles of symbolic logic.

  その講座では記号論理学の原理を扱います。

「symbolic logic」とよく一緒に使う語

• formal symbolic logic形式記号論理学
• symbolic logic notation記号論理の表記法
• a system of symbolic logic記号論理学の体系
• an introduction to symbolic logic記号論理学入門
• problems in symbolic logic記号論理学の問題

「symbolic logic」のよくある間違い

• ✕ I learned a symbolic logic.

  ○ I learned symbolic logic.

  学問分野としては通常、数えない名詞として冠詞を付けません。

• ✕ symbolical logic

  ○ symbolic logic

  この学問分野の定着した表現はsymbolic logicです。

「 symbolic logic」の英英 英英

The branch of logic that represents propositions and arguments with formal symbols and systems to analyze validity and inference.

「symbolic logic」のよくある質問