| 意味 |
Thesaurus:logicの英語
追加できません
(登録数上限)
Wiktionary英語版での「Thesaurus:logic」の英訳 |
Thesaurus:logic
Sense: study of correct inference
同意語
Holonyms
- philosophy [⇒ thesaurus]
- mathematics [⇒ thesaurus]
Meronyms
Various
- inference
- argument [⇒ thesaurus]
- fallacy
- premise
- conclusion
- validity
- proposition
- atomic proposition
- predicate
- relation [⇒ thesaurus]
- inference rule
- syllogism
- modus ponens
- modus tollens
- definition [⇒ thesaurus]
- axiom
- theorem [⇒ thesaurus]
- proof
- derivation
- antecedent
- consequent
- necessity
- possible world
- formula
- sentence
- variable [⇒ thesaurus]
- free variable
- bound variable
- tautology
- contradiction
- Boolean algebra
- truth value
- interpretation
- model [⇒ thesaurus]
- set
- conjunction
- disjunction
- negation
- implication
- material implication
- equivalence
- quantifier [⇒ thesaurus]
Words for logical connectives
Symbols for logical connectives
- ¬
- ~
- ∧
- &
- ∨
- →
- ↛
- ⇒
- ⇏
- ⊃
- ↔
- ⇔
- ≡
|
| 意味 |
|
|
Thesaurus:logicのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、WiktionaryのThesaurus:logic (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
|
ログイン |
Weblio会員(無料)になると
|
-
1parachute
-
2reunion
-
3ハッピーバレンタイン
-
4バレンタイン
-
5requiem
-
6miss
-
7happy valentine's day
-
8prepare
-
9dual
-
10バレンタインデー
「Thesaurus:logic」のお隣キーワード |
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|