Documentos de Académico
Documentos de Profesional
Documentos de Cultura
P∧Q
Me gustan las frutas y no me gusta el cereal
Explicación:
P: “Me gustan las frutas”
^: En el lenguaje formal es conjunción y en el lenguaje natural es “y”
Q: “No me gusta el cereal”
¬R
Sé preparar omelette
Explicación:
R: “No sé preparar omelette”
¬: En el lenguaje formal es Negación y en el lenguaje natural es
“No”, al tener frase negativa con conector negativo se vuelve la
proposición positiva.
(P ∧ ¬Q) ↔ (Q ∨ R)
Me gustan las frutas y me gusta el cereal, si y solo si no me
gusta el cereal o no sé preparar Omelette
Explicación:
(P^¬Q): P: “Me gustan las frutas”, ^: En el lenguaje formal es
conjunción y en el lenguaje natural es “y”, ¬: En el lenguaje formal es
Negación y en el lenguaje natural es “No”, al tener frase negativa con
conector negativo se vuelve la proposición positiva, Q: “No me gusta
el cereal”
<->: En el lenguaje formal es bicondicional y en el lenguaje natural es
“si y sólo si”
(QvR): Q: “No me gusta el cereal”, v: En el lenguaje formal es
disyunción y en el lenguaje natural es “o”
¬P ∨ ¬Q
No me gustan las frutas o me gusta el cereal
Explicación:
¬ En el lenguaje formal es Negación y en el lenguaje natural es “No”.
P: “Me gustan las frutas”, al tener el conector de negación antes de
la frase se convierte en frase negativa.
Con “Q” siendo una frase negativa, al tener conector negativo se
convierte en una frase positiva.
2- Suponga que P representa a la proposicion ”Fredy tiene cabello rojo”, Q a
“Fredy tiene nariz grande” y R a “A Fredy le gusta comer pasta”. Traduzca
las siguientes proposiciones en símbolos:
Explicación: Tenemos una frase positiva, la cual pasa a ser negativa por
el conector de Negación.
Explicación: “Fredy tiene cabello rojo” representado por la letra “P”, con
conector con conector de negación y conjunción con la frase
representada por la letra “Q”.
Explicación:
“A Fredy le gusta comer pasta” = “R”
“y” = “^” = Conjunción
“Fredy tiene cabello rojo” = “P”
“o” = “v” = Disyunción
“Fredy tiene nariz grande” = “Q”