q == q
p
p,q:
. (pq) 
q == 
p 
qp,q:. pq b == if b
false else true fib:. b q == if p true else q fip,q:. (p q) | No other cites to report in MarkB_generic | |
| rev_bimplies | Def pq == qp |
| Thm* p,q:. (pq) | |
| bimplies | Def pq == p q |
| Thm* p,q:. pq | |
| bnot | Def b == if b false else true fi |
| Thm* b:. b | |
| bor | Def p q == if p true else q fi |
| Thm* p,q:. (p q) |
| Syntax: | pq | has structure: | rev_bimplies(p; q) |
About:
 |  |  |  |  |  |  |