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