PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
1
1
1
1
1
2
1
1
1
1
1.
a1:
2
2.
a2:
2
3.
true
= if 1=
0
true
else false
fi
4.
a1 = 0
5.
a2 = 0
6.
a2 = 1
a1 = a2
By:
Reduce 3
Generated subgoal:
1
3.
true
= false
4.
a1 = 0
5.
a2 = 0
6.
a2 = 1
a1 = a2
About:
= false
a2 = 0
a1 = a2
22 = if 1=0
true else false fia2 = 0 a1 = a2 = falsea2 = 0 a1 = a2
