Problema: Escriba la frase con símbolos lógicos

Question

El texto es:

Si tuviera mucho dinero, iría a la universidad en un taxi y nunca llegaría tarde. Siempre llega tarde. Eso significa que no tiene mucho dinero.

Creo que las partes importantes de este texto son:

A : She has a lot of money.

B : She drives in a cab.

C : She is never late.

Creo que la respuesta a esta pregunta es la siguiente: $(A \to B)\wedge(B \to C)$

Pero qué pasa con la 3ª parte: "Siempre llega tarde, significa que no tiene mucho dinero".

Yo lo escribiría así: $(\neg C \to \neg A)$ .

Pregunta : Pero, ¿cómo conectarlos de forma correcta? Necesito escribir toda la fórmula en una sola línea.

También necesito comprobar la fórmula lógica completa con el método de resolución, el método de Quine y el método de reducción.

Creo que para el método de Quine necesito resolver esta fórmula con A =(0 y 1) y demostrar que es una tautología.

Answer 1

En primer lugar hay que decir que "nunca" no es la negación de "siempre", por lo que necesitamos otra frase:

• $D$ - siempre llega tarde

Como no se dice nada sobre la referencia entre conducir un taxi y llegar tarde, entonces la parte "ella habría conducido a la universidad en un taxi y nunca llegaría tarde" puede escribirse simplemente utilizando la conjunción $\wedge$ . Las declaraciones particulares también están relacionadas con la conjunción $\wedge$ .

$(A \Rightarrow (B \wedge C))\wedge D \wedge(D \Rightarrow \neg A)\wedge \neg (C\wedge D)$

La última parte ( $\neg (C\wedge D)$ ) es la afirmación, que nos dice, que no es posible llegar siempre tarde y nunca tarde al mismo tiempo.