formula
Sections
ClassicalProps(jlc)
Doc
Def
subformula(F) == case F:
x
nil;
p
[p];p
q
[p; q];p
q
[p; q];p
q
[p; q];
is not mentioned in this or prior sections.
Try larger context:
ClassicalProps(jlc)
formula
Sections
ClassicalProps(jlc)
Doc
x
nil;
p [p];p
q [p; q];p
q [p; q];p
q [p; q];