Hello,
I would like to translate an equation into a predicate :
K=x.B+y.C
K is equal to B weighted by x more C weighted by y
∀K= ∃x ∃y ( xB ^ xC)
is it correct ? it seems not. ( and is it an = or a -> or a ≡ )
An other question can we use = (equal) in predicate ?
Thank's for help.
Kind regards