Conversión de lógica proposicional a lógica predicada

Question

Me llegó a través de una proposición que estoy teniendo un tiempo difícil de convertir en la lī ogica. Ha sido un largo tiempo desde que he tocado el tema.

La propuesta de lee

\begin{align} &\text{Socrates is a human}\\ &\text{Socrates is mortal}\\ &\text{Therefore, some humans are mortal} \end{align}

El uso de la lī ogica, me gustaría configurar esto como

\begin{align} &P(s)\\ &M(s)\\ &\exists x\hspace{0.1cm} (P(x) \land M(x)) \end{align}

que se puede escribir como,

$$P(s) \land M(s) \rightarrow \exists x\hspace{0.1cm} (P(x) \land M(x))$$

Sin embargo, siento que esta es incorrecta. Podría alguien sugerir cómo representar mejor esta proposición el uso de la lī ogica?

Answer 1

No trataría de poner estas tres declaraciones en una sola declaración. Una declaración es diferente de un argumento. Para indicar que está tratando con un argumento, puede usar el símbolo $\therefore$ . Entonces, simbolizaría este argumento como: \begin{align} &P(s)\\ &M(s)\\ &\therefore \exists x\hspace{0.1cm} (P(x) \land M(x)) \end {align}