Thanx Kleinwolf,
So you think i would use another function Degree(edge(X,Y)) ? But how how will I say mathematically that the sum is even Sigma Degree(edge(X,Y)) = 2*n...?
Does anyone have an idea how can we represent certain properties of a graph using
second-order logic, versus fixed-point logic :
like saying that a graph has an even number of edges
I've been trying to find a way to solve this for the past two days !
Any help?
Anyone ?
Hurkyl,
to extend
Ex(Dx) & AxAy((Dx & Dy) -> x = y) : Ex(Dx & Ay(Dy -> x = y).
to make it represent two edges
There exists at least one edges and there exists at most two edges: There exists exactly two edges: There exists two unique edges:
Ex(Dx) & AxAyAz((Dx & Dy & Dz) -> x = y &...