# first order logic representations question

I want to know if these two alternative formulations for English sentences are well represented in first order logic.

"Caracas and Valencia are located in Venezuela."

LOCATED_IN (Caracas ^ Valencia, Venezuela)

"There is a state that borders Indiana and Washington."

Exists s: State(s) ^ Borders (s, Indiana) ^ Borders (s, Washington)

I'm particularly doubtful about my second interpretation, should it have a biconditional <=> to make it not axiomatic and more like a theorem?

-
It depends a lot on you particular formulation; for example, the predicate "LOCATED_IN" is not a common first order logic operator, but I don't know if it is allowed in your setting. That said, I would expect you to need to give the statement as "LOCATED_IN(Caracas, Venezuela)$\land$LOCATED_IN(Valencia, Venezuela)", rather than as you have done it. –  Arturo Magidin Nov 7 '11 at 3:57

LOCATED_IN(Caracas, Venezuela) $\bigwedge$ LOCATED_IN(Valencia, Venezuela)