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
Search found 1 match
- Tue Jun 06, 2017 4:59 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Logic translation
- Replies: 0
- Views: 967