¿Cuál es el operador lógico para pero?

Question

Vi una frase como,

I am fine but he has flu.

Ahora tengo que convertir en logical sentence uso de logical operators. No tengo ninguna idea de lo que debería, pero ser traducido. Por favor, ayúdenme.

Gracias

Answer 1

Una forma alternativa de expresar la misma información sería decir "estoy bien y tiene la gripe.".

A menudo, la palabra pero se utiliza en inglés para decir y, sobre todo cuando hay un poco de contraste o contradicción entre las declaraciones que se combinan. Para determinar la forma lógica de una declaración que usted debe pensar acerca de lo que la declaración significa que, en lugar de traducir palabra por palabra en forma de símbolos.

Answer 2

Esto parece como un ejercicio de semántica. No puedo pensar en un operador lógico que se ajusta a otras de $\land$.

Sin embargo, si definimos el predicado $\operatorname{Fine}(x)$ que tiene si y sólo si $x$ está bien, entonces podemos asumir "la gripe" es $\lnot\operatorname{Fine}(x)$.

En cuyo caso podemos escribir la frase:

$$\operatorname{Fine}(\textbf{me})\land\lnot\operatorname{Fine}(\textbf{him})$$

Si desea distinguir $\operatorname{Flu}(x)$ simplemente $\lnot\operatorname{Fine}(x)$, entonces estamos reducido a: $$\operatorname{Fine}(\textbf{me})\land\operatorname{Flu}(\textbf{him})$$

Answer 3

Este es de hecho un ejercicio de semántica, como lo menciona @Asaf. Mi interpretación sería: $$fine(\text{me}) \land flue(\text{him})$$ donde $fine, flue$ son predicados y de mí, de él son constantes.

Wikcionario contiene una lista de varios semántica de los significados de 'pero'. Aquí es un intento de traducir en la lógica:

• Pero como preposición:
  Todo el mundo, pero el Padre se fue temprano: $\forall{X} [X \ne \text{father} \implies left(X)]$
  Me gusta todo, pero que: $\forall{X} [X \ne \text{that} \implies i\_like(X)]$

• Pero como adverbio:
  Desde ese día, mi estado de ánimo ha cambiado, pero un poco: $changed(\text{mood}) \land small(\text{change})$

• Pero como conjunción:
  No tengo más remedio que dejar: $\lnot choice (\text{me}) \land leave(\text{me})$
  No soy rico, pero (yo soy) pobres: $\lnot rich (\text{me}) \land poor(\text{me})$
  (o si lo asume $ poor \implies \lnot rich$, sólo $ poor(\text{me})$ )
  Ella es muy viejo, pero sigue siendo atractivo: $old(\text{she}) \land attractive(\text{she})$.

Es instructivo para traducir estos lógica de cláusulas en Prolog y jugar con ellos. Prólogo de Lenguaje Natural y Semántica es un buen artículo sobre la traducción de inglés en Prolog.

Answer 4

Estoy de acuerdo con Jorge en su interpretación. Pero viniendo de un AI fondo, tengo un tipo diferente de tomar:

Su ejemplo "estoy bien, pero él tiene la gripe" tiene que ver con el conocimiento común entre el orador y el público. El altavoz dispone de una cierta creencia de que la anterior es de conocimiento común. El intento de advertir a la audiencia de que la proposición junto a 'pero' es inesperado, dada la proposición antes de "pero".

Nos deja denotar la proposición de una sentencia de $S$ antes de ', sino' $before(S)$ y después de 'pero' como $after(S)$. Permite indicar el contenido de la información de una proposición $B$ al $A$ ya es conocido como $I(B|A)$. Entonces, 'pero': $I(after(S)|before(S)) > I(\lnot after(S)|before(S))$. Es decir, el contenido de la información (sorpresa) de $after(S)$ es de más de $\lnot after(S)$ al $before(S)$ ya es conocido.

Answer 5

Aunque por lo general vas a ver "pero", traducida como la conjunción lógica (Y), el sentido de tal afirmación parece significar "yo estoy bien, y él tiene la chimenea, así que él no está bien, también." Así que con "f" significa "yo estoy bien", "l", que significa "él tiene la mosca", "e", que significa "no está bien", y parece que significa "f, l|=e", donde "|=" indica vinculación. El maestro, casi seguramente, quiere traducir "pero" como conjunción lógica, pero yo simplemente no veo por qué se quiere de manera irreflexiva se traducen en una instrucción lógica, en lugar de traducirla en una metalogical uno.