SOLUTION: How do you solve these two proofs.
SamCol(a,b)
b=c
c=d
____
SamCol(a,d)
and
Smaller(a,b)
Smaller(b,c)
_____
Smaller(a,c)
Algebra ->
Proofs
-> SOLUTION: How do you solve these two proofs.
SamCol(a,b)
b=c
c=d
____
SamCol(a,d)
and
Smaller(a,b)
Smaller(b,c)
_____
Smaller(a,c)
Log On