Conjunctive Normal Form representation/ First Order Logic.

Asked Jul 14 '14 at 06:09

Active Oct 06 '14 at 17:59

Viewed 94 times

in my research problem, I need to represent three types of three types of relationships between the variables x,y as the following::

" y Cooperates with x" relationship: means if there is two variables x,y. then the increasing of satisfaction of x will lead to increase the satisfaction of y.

** I did linear representation such: y= ax+b

" y Contradicts with x" relationship: means if there is two variables x,y. then the increasing of satisfaction of x will lead to decrease the satisfaction of y.

** I did linear representation such: y= -ax+b

"y Irrelevant with x" relationship: means if there is two variables x,y. then the increasing/decreasing of satisfaction of x will NOT affect to increasing/decreasing the satisfaction of y.

** I did this linear representation such: y=b, where b is constant value and y is constant function.

So, please How can I represented those relationships by using FIRST ORDER LOGIC or conjunctive normal form?

edited Oct 06 '14 at 17:59

Brian M. Scott

asked Jul 14 '14 at 06:09

user3804463

Did you post this question earlier? - http://math.stackexchange.com/questions/863729/first-order-logic – Kyle Gannon Jul 14 '14 at 08:22
Yes I asked it before – user3804463 Jul 15 '14 at 23:19

0 Answers0