b
Q
x:A. B(x)
Aq
Qb
q
q
| Def | true | [btrue] | bool 1 | |
| Def | b | [assert] | bool 1 | |
| Def | P Q | [iff] | core | |
| Def | | [bool] | bool 1 | |
| Def | x:A. B(x) | [all] | core | |
| Def | {T} | [guard] | core | |
| Def | false | [bfalse] | bool 1 | |
| Def | A | [not] | core | |
| Def | p=q | [eq_bool] | bool 1 | |
| Def | P Q | [rev_implies] | core | |
| Def | b | [bnot] | bool 1 | |
| Def | pq | [band] | bool 1 | |
| Def | p q | [bor] | bool 1 |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |  |