Index - B
| BiImplication | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Bind | Logic.Judge.Prover.Tableau |
| boolean | Logic.Judge.Formula.Parser, Logic.Judge.Formula |
| Branch | |
| 1 (Type/Class) | Logic.Judge.Prover.Tableau |
| 2 (Data Constructor) | Logic.Judge.Prover.Tableau |
| BranchFormula | Logic.Judge.Prover.Tableau |