¿Cómo denotar "pero no" en forma de lógica simbólica?

Question

Estoy cursando Estructura Discreta Fundamental y quiero hacer una pregunta lógica.

Sea p sea "Erin lee Berita Harian", sea q sea "Erin lee Kosmo", y sea r ser "Erin lee Metro".

Erin lee Berita Harian o Kosmo, pero no Metro.

¿Puedo saber cómo se escribe en forma simbólica? Sé que la primera será " p ou q "pero ¿cómo incluyo el "pero no Metro"?

Gracias, señor.

Answer 1

$(p \cup q ) \cap $ ~ $ r$ , donde $r$ significa que Erin lee Metro y ~ se utiliza para la negación.

Answer 2

Pero es una forma natural de decir Y al tiempo que se prepara al lector para que el texto siguiente pueda contrastar con lo expuesto hasta ahora. No es necesario dar esta metainformación en matemáticas.

Así que "A, pero no B" sólo significa "A y no B", por lo tanto $A\land\neg B$ .

Answer 3

"Soy rico pero no feliz"

Entonces, ¿soy rico? Sí. ¿Soy feliz? No.

Así que..: $R \land \neg H$

En general, "pero" se traduce por "y".