# Formalizing Predicate Logic (English to PL)

• Nov 22nd 2009, 09:38 AM
Knark
Formalizing Predicate Logic (English to PL)
I'm stumped on how to formalize these two sentences properly into predicate logic.

The question says nothing about defining a Universe of Discourse.

I tried using

C = is a city

1: If there exists a city and then every road leads to this city.

(∀y)(∃x)[(Cx & Ry) -> Lyx)]

I'm unsure about my use of the existential quantifier, it seems to me that what I wrote translates more into "If there exists a city and each road then each road leads to this city." I'm very confused at this point because this doesn't seem to make sense to me at all.

(∀y)(Ry -> Lyx)

With this one I started writing it and I know that x is unqualified and unquantified because I realized that if I were to add something like (∃x)(Cx) then this one would be identical to the first question. Is that right? I'm sure it is not since the first one says that "All roads lead to a specific city" whereas the second question says that "All roads lead to at least one city".
• Nov 22nd 2009, 10:56 AM
Plato
Quote:

Originally Posted by Knark
1) $\displaystyle \left( {\exists x} \right)\left( {\forall y} \right)\left[ {C_x \wedge \left( {R_y \to L_{yx} } \right)} \right]$
2) $\displaystyle \left( {\forall x} \right)\left( {\exists y} \right)\left[ {R_x \to \left( {C_y \wedge L_{xy} } \right)} \right]$