PrintForm
Definitions
decidability
Sections
ClassicalProps(jlc)
Doc
At:
propositional
decidability
S:Sequent. |= S
(
a:Assignment. a |
S)
By:
Analyze 0
Generated subgoal:
1
1.
S:
Sequent
|= S
(
a:Assignment. a |
S)
About:
|= S 
(
a:Assignment. a |
S) 
S:Sequent. |= S (a:Assignment. a | S) |= S (a:Assignment. a | S)
