Bono reglas de inferencia, equivalencia y proposiciones categóricas

Nombre: _________________________

1. ¿Cuál de las siguientes proposiciones es equivalente a la siguiente?

P É (R Ú S)
a) ¬[P Ù ¬(R Ú S)]
b) (R Ú S) É P
c) ¬(R Ú S) Ù P
d) ¬(R Ú S) É P

2. Tenemos un argumento con la premisa P y la conclusión R. ¿Qué conjunto de fórmulas es necesario agregar
a las premisas para que el argumento sea válido?

a. {¬P É R, R É ¬P}
b. {¬S É ~ P, ¬S É R}
c. {¬R É ¬S, P É S}
d. {R É S, S É P}
e. {¬S É R, P É S}

3. ¿Cuál es la negación lógica de Voy a ser feliz contigo o sin ti?

a) Voy a ser feliz sin ti o no voy a ser feliz contigo.

b) Voy a ser feliz contigo y no voy a ser feliz sin ti.
c) No voy a ser feliz contigo y voy a ser feliz sin ti.
d) No voy a ser feliz contigo y no voy a ser feliz sin ti.
e) No voy a ser feliz contigo o no voy a ser feliz sin ti.

4. Michael Jordan le dice a Michael Jackson: Si tú eres el rey del pop y yo soy el mejor basquetbolista,
entonces, si tú eres Superman, entonces yo soy Batman. ¿Qué enunciado es equivalente a la negación de
esta afirmación?
a. Tú eres el rey del pop y yo soy el mejor basquetbolista, o tú eres Superman y yo no soy Batman.
b. Tú eres el rey del pop o yo soy el mejor basquetbolista, y tú eres Superman y yo soy Batman.
c. Tú eres el rey del pop y yo soy el mejor basquetbolista, y tú eres Superman y yo no soy Batman.
d. Tú eres el rey del pop o yo soy el mejor basquetbolista, o tú no eres Superman y yo no soy Batman.
e. Tú eres el rey del pop o yo soy el mejor basquetbolista, y tú eres Superman o yo no soy Batman.

5. Tenemos un argumento con la premisa P y la conclusión (S&T). ¿Qué conjunto de fórmulas es necesario
agregar a las premisas para que el argumento sea válido?

a. {P É (¬T& R), ¬R É S, P É ¬S}

b. {R É (P É ¬ (S É T)), P É R}
c. {P É (S É T), (S ÉT) É R, R É S}
d. {S É ¬T, ¬ T É P}
e. {P É (S É ¬T)}

6. ¿Qué fórmula, que contenga sólo negaciones y disyunciones, es equivalente a la siguiente: ¬(P ≡ Q)?

a. (¬P v Q) v (¬Q v P)
b. ¬ (¬P v ¬Q) v (¬ Q v ¬P)
c. (P v Q) v ¬ (Q v P)
 d. ¬ (¬P v Q) v ¬ (¬ Q ¬ P)
e. (¬P v Q) v (¬Q v P)

7. Hugol quiere saber quién ganará el mundial de futbol; así que va con el oráculo del deporte, para que le
dé sus pronósticos. El oráculo le dice: Si España no gana o México gana, entonces Alemania gana. Si
Francia no gana, entonces España no gana. Si Holanda gana, entonces Brasil gana. No es el caso que:
Holanda gana o Francia gana. Como Hugol es un experto en lógica, inmediatamente supo quien ganaría.
De acuerdo a lo dicho por el oráculo y considerando que solo un equipo puede ganar, ¿quién gana el
Mundial? Diccionario: E: España gana. M: México gana. A: Alemania gana. F: Francia gana. H: Holanda
gana. B: Brasil gana.

a. México
b. Francia
c. Brasil
d. España
e. Alemania

8. ¿Cuál de las siguientes fórmulas es equivalente a la negación de: Soy feliz si y solo si soy una lombriz?

a) No soy feliz o soy una lombriz; o no soy una lombriz o soy feliz.
b) No soy una lombriz o no soy feliz; o no es cierto que: no soy feliz o no soy una lombriz.
c) Soy feliz o soy una lombriz; o no es cierto que: soy una lombriz o soy feliz.
d) No es cierto que: no soy feliz o soy una lombriz; o no es cierto que: no soy una lombriz o soy feliz.
e) No soy feliz o soy una lombriz; o, no soy una lombriz o soy feliz.

9. El historiador Octavio Krouza describe así la situación en la Nueva España: Todos los blancos (españoles
peninsulares y criollos) eran explotadores y dueños de medios de producción. No había ningún blanco pobre que
trabajara como sirviente, capataz o arriero. A su vez, todos los indios eran pobres. Y todos los indios trabajaban
como peones o comuneros. Ningún indio o negro era rico. Además, existían indios y negros que no eran
discriminados de manera racista por los blancos. Pero el historiador Kike Some, dice que todas y cada una de las
afirmaciones de Krouza son falsas. Y sabemos que Some siempre dice la verdad.
De las siguientes opciones ¿Cuál sí se sigue de todo lo anterior?

a. Ningún indio rico era discriminado de manera racista por los blancos pobres.
b. Algunos blancos pobres eran discriminados de manera racista por algunos indios ricos
c. Algunos indios ricos no eran discriminados de manera racista por los blancos.
d. Algunos indios ricos eran discriminados de manera racista por blancos pobres.
e. Todos los indios ricos discriminaban de manera racista a los blancos pobres.

10. Suponga que los siguientes enunciados vienen en un libro de floricultura: Algunas flores son rojas. Todas
las flores son hermosas. Todo lo impresionante es rojo. Todas las rosas son rojas. Todas las rosas son
flores. Algunas cosas armoniosas son azules. Ninguna cosa impresionante es armoniosa. Algunas violetas
son preciosas. Todas las violetas son armoniosas. Ninguna cosa roja es azul. Hay cinco floristas que
quieren presumir sus conocimientos y para ello cada uno afirma tres cosas. ¿Cuál de ellos dice algo que o
bien es falso o no es posible saber que se cumple a partir de lo que dice el libro de floricultura?

a. Gerardo: Ninguna cosa armoniosa es impresionante. Algunas violetas no son impresionantes. Algunas
cosas rojas son flores.
b. Mariel: Alguna cosa armoniosa no es impresionante. Algunas violetas son armoniosas. Todas las cosas
impresionantes son rojas.
 c. Andrea: Alguna cosa impresionante es una rosa. Ninguna rosa es armoniosa. Alguna violeta es
impresionante. Andrea se equivoca al decir que Alguna violeta es impresionante.
d. Miguel: Ninguna cosa impresionante es azul. Algunas cosas azules son armoniosas. No es el caso que
alguna violeta no sea armoniosa.
e. Karen: Ninguna cosa azul es roja. Algunas cosas rojas son hermosas. Ninguna rosa es no-flor.

11. Considera el siguiente conjunto de premisas: {P É (Q v R), QÉS, RÉT} ¿Qué premisa hay que agregar
para que se siga la fórmula: ¬ P?

a. S Ù (T v M)
b. (S v T) v M
c. ¬S Ù (¬T Ù M)
d. ¬S Ù (M v T)
e. S v (¬M Ù¬T)

12. Lea el siguiente párrafo y diga cuál de las siguientes afirmaciones NO son verdaderas partiendo
únicamente de lo que dice el párrafo. Recientemente se descubrió una nueva especie de animales llamados
garflexos. Los garflexos tienen un gran maxilar y no son herbívoros. Si los garflexos tienen un gran maxilar son
omnívoros o carnívoros. Si los garflexos son carnívoros tienen un tracto digestivo de tipo B. Los garflexos tienen
un tracto digestivo de tipo A si son omnívoros. Si los garflexos son herbívoros tienen un tracto digestivo de tipo A.
Si y sólo si un animal es herbívoro tiene el estómago dividido en cámaras.

a. Los garflexos no tienen el estómago dividido en cámaras.

b. Los garflexos o bien tienen un tracto digestivo de tipo A o de tipo B.
c. Si los garflexos no tienen un tracto digestivo de tipo A entonces no son omnívoros.
d. No es el caso que los garflexos no tengan un gran maxilar.
e. Los garflexos no tienen un tracto digestivo de tipo A.

13. Simbolice y realice una prueba formal de validez usando las reglas de inferencia del siguiente
fragmento.

Si la Crítica de la Razón Pura sigue siendo una obra de filosofía, entonces su doctrina de la
sensibilidad pertenece al mundo de la ciencia o muchos filósofos sospecharían. Además, si la doctrina
de la sensibilidad pertenece al mundo de la ciencia, los matemáticos se muestran conformes. Sin
embargo, últimamente, ni los matemáticos están conformes, ni los filósofos sospechan. Pero, la Crítica
de la razón pura sigue siendo una obra de filosofía. Por consiguiente, la doctrina de la sensibilidad
pertenece al mundo de la ciencia, y los matemáticos no están conformes.
P=La crítica de la razón pura es una obra de filosofía.
Q=La doctrina de la sensibilidad pertenece al mundo de la ciencia.
R=Los filósofos se cabrean.
S=Los matemáticos están conformes.

14. Simbolice y realice una prueba formal de validez usando las reglas de inferencia del siguiente
fragmento.
Si los Principia mathemática es una obra de lógica, entonces la teoría de los conjuntos es parte de la lógica,
o los lógicos se enfadan. Pero, si la teoría de los conjuntos es parte de la lógica, entonces los matemáticos
están conformes. Pero, ni los matemáticos están conformes, ni los lógicos se enfadan. Sin embargo, los
Principia mathemática es una obra de lógica. Por lo tanto, la teoría de los conjuntos es parte de la lógica y
los matemáticos no están conformes.