Sección 5: Ejercicios de práctica

Última actualización
Guardar como PDF

Page ID: 101649

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

* Parte A Usando la clave de simbolización dada, traduzca cada oración en inglés a SL.

M: Esas criaturas son hombres de traje.
C: Esas criaturas son chimpancés.
G: Esas criaturas son gorilas.

1. Esas criaturas no son hombres de traje.
2. Esas criaturas son hombres de traje, o no lo son.
3. Esas criaturas son o gorilas o chimpancés.
4. Esas criaturas no son ni gorilas ni chimpancés.
5. Si esas criaturas son chimpancés, entonces no son ni gorilas ni hombres de traje.
6. A menos que esas criaturas sean hombres de traje, o son chimpancés o son gorilas.

*Parte B Usando la clave de simbolización dada, traduzca cada oración en inglés a SL.

R: El señor Ace fue asesinado.
B: El mayordomo lo hizo.
C: Lo hizo el cocinero.
D: La duquesa está mintiendo.
E: Mister Edge fue asesinado.
F: El arma homicida era una sartén.

1. O Mister Ace o Mister Edge fue asesinado.
2. Si el señor Ace fue asesinado, entonces el cocinero lo hizo.
3. Si Mister Edge fue asesinado, entonces el cocinero no lo hizo.
4. O el mayordomo lo hizo, o la duquesa está mintiendo.
5. El cocinero lo hizo sólo si la duquesa está mintiendo.
6. Si el arma homicida era una sartén, entonces el culpable debió haber sido el cocinero.
7. Si el arma homicida no era una sartén, entonces el culpable era el cocinero o el mayordomo.
8. Mister Ace fue asesinado si y sólo si Mister Edge no fue asesinado.
9. La duquesa miente, a menos que fuera Mister Edge quien fue asesinado.
10. Si el señor Ace fue asesinado, se le acabó con una sartén.
11. Desde que lo hizo el cocinero, el mayordomo no.
12. ¡Por supuesto que la duquesa miente!

* Parte C Usando la clave de simbolización dada, traduzca cada oración en inglés a SL.

E ₁: Ava es electricista.
E ₂: Harrison es electricista.
F ₁: Ava es un fuego de fuego.
F ₂: Harrison es un bombero.
S ₁: Ava está satisﬁcada con su carrera.
S ₂: Harrison está satisﬁcado con su carrera.

1. Ava y Harrison son ambos electricistas.
2. Si Ava es un fuego, entonces está satisﬁcada con su carrera.
3. Ava es un fuego, a menos que sea electricista.
4. Harrison es un electricista insatisfazado.
5. Ni Ava ni Harrison son electricistas.
6. Tanto Ava como Harrison son electricistas, pero ninguno de ellos lo encuentra satisfactorio.
7. Harrison está satisﬁﬁcado sólo si es un bombero.
8. Si Ava no es electricista, entonces tampoco lo es Harrison, pero si ella lo es, entonces él también lo es.
9. Ava está satisfecha con su carrera si y sólo si Harrison no está satisfecho/a con la suya.
10. Si Harrison es a la vez electricista y bombero, entonces debe estar saciado con su trabajo.
11. No puede ser que Harrison sea a la vez electricista y bombero.
12. Harrison y Ava son fuegos de fuego si y sólo si ninguno de ellos es electricista.

* Parte D Dar una clave de simbolización y simbolizar las siguientes frases en SL.

1. Alice y Bob son ambos espías.
2. Si ya sea Alice o Bob es espía, entonces se ha roto el código.
3. Si ni Alice ni Bob son espías, entonces el código permanece intacto.
4. La embajada alemana estará alborotada, a menos que alguien haya roto el código.
5. O el código se ha roto o no lo ha hecho, pero la embajada alemana estará alboroto independientemente.
6. O Alice o Bob es espía, pero no ambos.

*Parte E Dar una clave de simbolización y simbolizar las siguientes frases en SL.

1. Si Gregor juega primera base, entonces el equipo perderá.
2. El equipo perderá a menos que haya un milagro.
3. El equipo o perderá o no lo hará, pero Gregor jugará la primera base independientemente.
4. La mamá de Gregor horneará galletas si y sólo si Gregor juega la primera base.
5. Si hay un milagro, entonces la mamá de Gregor no horneará galletas.

*Parte F Para cada argumento, escriba una clave de simbolización y traduzca el argumento lo mejor posible a SL.

1. Si Dorothy toca el piano por la mañana, entonces Roger se despierta de mal humor. Dorothy toca el piano por la mañana a menos que se distraiga. Entonces, si Roger no se despierta de mal humor, entonces Dorothy debe estar distraída.
2. Ya sea lloverá o nevará el martes. Si llueve, Neville estará triste. Si nieva, Neville hará frío. Por lo tanto, Neville estará triste o frío el martes.
3. Si Zoog se acordaba de hacer sus quehaceres, entonces las cosas están limpias pero no limpias. Si se le olvidó, entonces las cosas están limpias pero no limpias. Por lo tanto, las cosas están bien limpias o bien limpias, pero no ambas.

*Parte G Para cada uno de los siguientes: (a) ¿Es un wde SL? b) ¿Es una sentencia de SL, que permite convenciones notacionales?

1. (\(A\))
2. \(J\)₃₇₄ ¬\(J\) ₃₇₄
3. ¬¬¬¬\(F\)
4. ¬&\(S\)
5. (\(G\)&¬\(G\))
6. \(A\)→\(A\)
7. (\(A\)→ (\(A\)\(D\)&¬\(F\)\(E\)
)) ↔ [(\(Z\)↔\(S\)) →\(W\)] & [\(J\)saba\(X\)]
9. (\(F\)↔ ¬\(D\)\((C\) →\(J\)\(D\))

Parte H

1. ¿Hay alguna cosa de SL que no contenga letras de oración? ¿Por qué o por qué no?
2. En el capítulo, simbolizamos una exclusiva o usando. ¿Cómo podrías traducir una exclusiva o usando solo dos conectivos? ¿Hay alguna manera de traducir una exclusiva o usando solo una conectivo?