PrintForm
Definitions
sequent
valid
Sections
ClassicalProps(jlc)
Doc
At:
formula
valid
iff
sequent
valid
2
1
1
2
1
1.
F:
Formula
2.
a:
Assignment
3.
a |= F
a |
F
a |= < nil,[F] >
a |
< nil,[F] >
By:
Analyze -1
Generated subgoals:
1
3.
a |= F
a |= < nil,[F] >
a |
< nil,[F] >
2
3.
a |
F
a |= < nil,[F] >
a |
< nil,[F] >
About:
a |= < nil,[F] > 
a |
< nil,[F] > F a |= < nil,[F] > a | < nil,[F] > a | F a |= < nil,[F] > a | < nil,[F] > a |= < nil,[F] > a | < nil,[F] > F a |= < nil,[F] > a | < nil,[F] > 
