Discrete Math: Logic and proofs
propositional logic ・ predicates and quantifiers ・ rules of inference ・ introduction to proofs ・ proof methods and strategy
日本の単元
| 単元 | 対応 | 注記 |
|---|---|---|
| 数学I 集合と命題 | 大部分 | 命題・対偶・背理法 |
この単元の用語（42 語）
未確認の 12 件を隠しています。
- 証明 しょうめい proof
- 背理法 はいりほう proof by contradiction
- 対偶を利用した証明 たいぐうをりようしたしょうめい proof by contrapositive
- 含意 がんい implication
- 命題論理 めいだいろんり propositional logic
- 論理結合子 ろんりけつごうし logical connective
- 真理値表 しんりちひょう truth table
- トートロジー とーとろじー tautology
- 述語 じゅつご predicate
- 量化子 りょうかし quantifier
- 全称量化子 ぜんしょうりょうかし universal quantifier
- 存在量化子 そんざいりょうかし existential quantifier
- 推論規則 すいろんきそく rules of inference
- 存在証明 そんざいしょうめい existence proof
- 一般性を失わずに いっぱんせいをうしなわずに without loss of generality
- すべての すべての for all
- 仮定する かていする suppose
- 公理 こうり axiom
- 双条件文 そうじょうけんぶん biconditional statement
- 条件 じょうけん condition
- 矛盾 むじゅん contradiction
- 対偶 たいぐう contrapositive
- 系 けい corollary
- 反例 はんれい counterexample
- 直接証明 ちょくせつしょうめい direct proof
- 同値 どうち equivalent
- 存在する そんざいする exist
- 偽 ぎ false
- 裏 うら inverse
- 肯定式 こうていしき law of detachment
- 矛盾する むじゅんする arrive at a contradiction
- 補題 ほだい lemma
- 必要十分条件 ひつようじゅうぶんじょうけん if and only if
- 必要条件 ひつようじょうけん necessary condition
- 否定をとる ひていをとる negate
- 否定 ひてい negation
- 命題 めいだい statement
- 十分条件 じゅうぶんじょうけん sufficient condition
- 真 しん true
- 真偽 しんぎ truth value
- ド・モルガンの法則 どもるがんのほうそく De Morgan's laws
- 場合分けする ばあいわけする consider … cases