Logic translation

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
void
Posts: 1
Joined: Tue Jun 06, 2017 4:43 pm

Logic translation

Post by void »

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
Post Reply