Open6
#論理数学
論理演算
- 排中律
- A∨￢A=T
- 矛盾律
- A∧￢A=F
- 二重否定律
- ￢￢A=F
- 同一律
- A=A
-
選言標準形
-
命題変数あるいは命題変数の否定のいくつかを連言 (∧)で結び， それらをさらに選言 (∨)で結んだ式が得られている (たとえば (¬p∧¬q)∨(p∧q))．
-
-
連言標準形
-
命題変数あるいは命題変数の否定のいくつかを選言 (∨)で結び， それらをさらに連言 (∧)で結んだ式が得られている (たとえば (p∨¬q)∧(¬p∨q))．
-
ログインするとコメントできます