sequent
falsification
Sections
ClassicalProps(jlc)
Doc
Def
p
q == case p: 3
q; 3
case q: 3
3
; 3
3
; 3
3
;; 3
3
;
In prior sections:
Kleene
q == case p: 3
q; 3
case q: 3 3; 3 3; 3
3;; 3 3;