q == (p
q) 
(
pq)
p,q:
. p=q 
b == if b
false else true fib:. b q == if p q else false fip,q:. (pq) q == if p true else q fip,q:. (p q) | Who Cites eq bool? | |
| eq_bool | Def p=q == (pq) (pq) |
| Thm* p,q:. p=q | |
| bnot | Def b == if b false else true fi |
| Thm* b:. b | |
| band | Def pq == if p q else false fi |
| Thm* p,q:. (pq) | |
| bor | Def p q == if p true else q fi |
| Thm* p,q:. (p q) |
| Syntax: | p=q | has structure: | eq_bool(p; q) |
About:
 |  |  |  |  |  |  |