"He encontrado un cuerpo muerto en mi coche."

Question

Dado una declaración "he encontrado un cuerpo muerto en mi coche", y considerando el hecho de que yo no soy dueña de ningún coche, es esta afirmación verdadera?

Si es así, este es un caso especial de la falsa implica cualquier cosa?

Answer 1

Ignorando los asuntos de la ambigüedad del lenguaje natural (ya que este no parece relevante para lo que están pidiendo), la sentencia podría ser reformulada como:

$$\text{'I have found a dead body on a car that I own'}$$

donde 'un coche que tengo es un indefinido descripción según Russell, la teoría de las descripciones. Toda la oración puede formalizarse de la siguiente manera:

$$\exists x,y : car(x) \wedge body(y) \wedge dead(y) \wedge foundOnTopOf(i,y,x) \wedge owns(i,x)$$

Si usted no es dueño de un coche, entonces la afirmación es falsa, ya que son, en parte, la afirmación de que existe un coche que es tuyo.

Answer 2

No hay ninguna implicación en su declaración. Una traducción natural en lógica de primer orden sería algo así como "No existe un coche y una persona de tal forma que: el coche es mío y la persona está muerta, y la persona que está en la parte superior del coche."

Si usted no es dueño de un coche, entonces la afirmación es falsa, ya que "el coche es mío" es siempre falso.

Answer 3

Si no posee alguno de los coches, la siguiente afirmación es verdadera: "he encontrado un cuerpo muerto en cada uno de mis coches".

Answer 4

Así, Roy parecía desaparecer, así que voy a añadir mi comentario como una respuesta: Su declaración es falsa si se incluyen como verdadero el hecho de que "usted no es el propietario del coche". Sin más implicaciones parecen importantes .

Answer 5

El enunciado puede ser verdadero o falso.

Se HAN encontrado un cadáver en MI coche

implica que encontró en el pasado. El hecho de que usted no es dueño de un coche sólo implica ser cierto AHORA.

Así que sin más información no podemos suponer nada. Mi siguiente pregunta sería "¿alguna vez has tenido un coche?" y luego, "Cuando encontraste el cuerpo?".