How to use first order logic to represent the statement below?

51 Views Asked by At

I'm trying to represent the following statement in first order logic:

Bill Gates funds all those who Stevie Jobs does not fund.

Not 100% sure about the correctness of the logic that I'm using here:

all x (Funds(Bill Gates,x) & -Funds(Stevie Jobs,x)).
1

There are 1 best solutions below

2
On BEST ANSWER

Bill Gates funds all those who Stevie Jobs does not fund.

all x (Funds(Bill Gates,x) & -Funds(Stevie Jobs,x)).

Your proposed translation says that nobody is funded by Stevie; on the other hand, the given statement does not preclude somebody from being funded by both Bill and Stevie.

Your proposed translation also says that everybody is funded by Bill; on the other hand, the given statement clearly allows for Bill not funding somebody that Stevie funds.

Rewriting the given statement: "All those who Stevie Jobs doesn't fund, Bill Gates funds."

This is a conditional—not a conjunction—statement, and the correct translation is $$\forall x \Big(\lnot S(x)\to B(x)\Big).$$