Similar to 論理積
0
01
1▼-1 trends2
23
34
45
56
67
78
89
9Axiom (数式処理システム)
Axiom (computer algebra system)CR多様体
CR manifold13
13 (number)19
19 (number)40
40 (number)50
50 (number)70
70 (number)12345679
命題
Proposition偶然
Contingency (philosophy)恒真式
Tautology (logic)恒真命題
真理値
Truth value推論
Inference全称命題
Categorical proposition存在命題
existential proposition定理
Theorem補題
Lemma (mathematics)