(3steps)
PrintForm
Definitions
Kleene
Sections
ClassicalProps(jlc)
Doc
At:
K
and
equal
Three
2
x,y:
. x
y = 3
x = 3
& y = 3
By:
UnivCD
THEN
Analyze 0
Generated subgoals:
1
1.
x:
2.
y:
3.
x
y = 3
x = 3
2
1.
x:
2.
y:
3.
x
y = 3
y = 3
About:
(3steps)
PrintForm
Definitions
Kleene
Sections
ClassicalProps(jlc)
Doc
y = 3
x = 3 y = 3 y = 3
x,y:. x y = 3 
x = 3 & y = 3
y = 3 x = 3 y = 3 y = 3
