... 3 is a constant,
min is a function symbol with arity 2
“min(3,2)” behaves more like x, 3 than “x >y”.
So if let P(x,y) “x > y”, then
s1 can be represented as
we call any expression that can be put on the
argument position of an atomic proposition a term
Obviously, cons ...