Similar to シークエント計算
Mizar
Mizar system/cdn.vox-cdn.com/uploads/chorus_image/image/46397844/B_B_Open.0.0.JPG)
B-Method
B-Method
0
0
1
1▼-1 trends
2
2
3
3▼-1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
数学記号の表
Glossary of mathematical symbols▼-2 trends
論理定項
Logical constant
論理演算
Logical connective
論理記号の一覧
List of logic symbols▼-1 trends
記号論理の記号
&
¦
¬
→
→↓
↓⇔
∃
∄
∧
∨