Logic translation

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

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

Logic translation

Post by void » Tue Jun 06, 2017 4:59 pm

I would like to translate an equation into a predicate :

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

Who is online

Users browsing this forum: No registered users and 1 guest