Definición en forma de teorema:

p: Hoy sale el sol

q: Hoy es sábado

r: Jugamos ajedrez

La formalización corresponde a:

(p ꓥ q) → (r ˄ ¬q), es decir “Si hoy sale el sol y hoy es sábado, entonces, hoy jugamos ajedrez y
hoy no es sábado”

Por definición, la proposición recíproca intercambia la hipótesis y la conclusión, es decir:

(r ꓥ ¬q) → (p ꓥ q), que se lee “Si hoy jugamos ajedrez y hoy no es sábado, entonces, hoy sale el
sol y hoy es sábado”
Por definición, la proposición contrapositiva intercambia la hipótesis y la conclusión, pero niega
ambas, es decir:

¬(r ꓥ ¬q) → ¬(p ꓥ q), Que es lo mismo que decir “Es falso que si hoy jugamos ajedrez y hoy no
es sábado, entonces, es falso que hoy sale el sol y hoy es sábado.

También puede aplicarse las leyes de De Morgan y la de doble negación para obtener:

(¬r ꓦ q) → (¬p ꓦ ¬q) que se lee “Si hoy no jugamos ajedrez o si hoy es sábado, entonces, hoy no
sale el sol o que hoy no es sábado”

En este ejercicio el dominio corresponde a los animales y no a las personas, y se indica que cuando
x es aves, algunas no vuelan, siendo por lo tanto una expresión con la forma particular negativa.
Para ser universal afirmativa, debería decir que “Algunas aves vuelan”, y finalmente en c alguno no
puede ser el dominio ya que es el operador.

En este caso se debe tomar en consideración el orden de prioridad de los operadores, y por tanto
se pueden reescribir de la siguiente forma

a) (A ꓥ B) → C
b) (A ꓥ B) → ¬C
c) (A ꓥ B) ↔¬C
d) (A ꓥ B) ↔ C

Adicionalmente se debe considerar que los valores (A ꓥ B) es falso, ya que la combinación de Falso
y Falso para la conjunción es Falsa. Por tanto, se tienen la combinación de un valor falso con varias
combinaciones. En el primer caso, F → F que es un valor Verdadero según la tabla de verdad del
condicional, en el segundo caso se tiene F → ¬F que sería Falso y Verdadero, por lo tanto el
resultado es Verdadero según la tabla de verdad, en el tercer caso se tiene F ↔ ¬F que es un Falso
y Verdadero, y para el bicondicional se trata de un valor Falso, y finalmente se tiene F ↔ F que
corresponde a un valor Verdadero según las tablas de verdad.
Por medio de las tablas de verdad se llega a la conclusión de que la respuesta correcta es la a.

a)

A B ¬A (B ꓦ A) (¬A → B) (B ꓦ A) → (¬A → B)
V V F V V V
V F F V V V
F V V V V V
F F V F F V

b)

A B (A → B) (B ꓥ (A → B)) (B ꓥ (A → B)) → A
V V V V V
V F F F V
F V V V F
F F V F V

c)

A B ¬A (A → B) (B ꓥ (A → B)) (B ꓥ (A → B)) → A
V V F V V F
V F F F F V
F V V V V V
F F V V F V

d)

A B ¬A (B ꓦ A) (B → ¬A) (B ꓦ A) → (B → ¬A)
V V F V F F
V F F V V V
F V V V V V
F F V F V V
En este caso se define como “p: Gano la lotería” y “q: Voy a Cancún”, con lo cual la formalización
corresponde a p → q. La expresión recíproca establece que es q → p, que se lee “Si voy a Cancún,
entonces gané la lotería”, y la contrapositiva ¬q → ¬p que se lee “Si no voy a Cancún, entonces
no gané la lotería”. Finalmente, en la expresión original la conclusión es “voy a Cancún” y está
precedido por la proposición que es lo mismo que la hipótesis por tanto esta última sería “Gano la
lotería”, la respuesta correcta es la d.

Algunas joyas no brillan (Es o, particular negativa)

P M

Y ningún cuarzo brilla (Es e, universal negativa)

S M

Por tanto, ningún cuarzo es una Joya (Es e, universal negativa)

S P

De lo anterior se deduce que la forma del silogismo es modo oee y la figura 2, es decir “oee-2”,
que corresponde a un silogismo no valido con termino medio Brilla, por tanto, la respuesta es la D.

Por definición los términos están distribuidos solo cuando en la proposición se hace referencia a
todos los miembros de la clase designada por el término. La proposición “Ninguna ingeniera es
bailarina” es una proposición Universal negativa y según la literatura “Ningún S(+) es P(+), es decir
ambos términos (tanto el sujeto como el predicado están distribuidos).

La formalización correcta de la expresión corresponde a (Ɐx) (I(x) → B(x)), y el dominio del discurso
es el de las mujeres, por tanto, las opciones a, b y d son incorrectas al utilizar la expresión
recíproca (que no es un equivalente lógico a diferencia de la contrapositiva) en a y b, y
adicionalmente el operador empleado en d es particular y no universal. También hay que tomar en
consideración que tanto la a como la b, niegan el dominio y eso no se puede hacer. Finalmente, la
respuesta c es la correcta.

La formalización en forma de teorema es

A: Hago la tarea de lógica

B: Voy al concierto

C: Me quedo sin dinero

Por lo tanto, se tiene:

((¬A ꓦ C) → B) ꓥ ¬B) → ¬(¬A ꓦ C)

Hay que notar que la expresión (¬A ꓦ C) puede cambiarse por x, que B se puede cambiar por y, y
se puede reescribir el lado izquierdo de la siguiente manera:

((x → y) ꓥ ¬y), esto tiene la forma aplicable de la regla de inferencia Modus tollens como sigue:

{A → B, ¬B} ˫ ¬A

Por lo tanto, al aplicar el Modus tollens el equivalente lógico de la expresión de la hipótesis

corresponde a:
((¬A ꓦ C) → B) ꓥ ¬B) ≡ ¬(¬A ꓦ C), nótese que la expresión lógicamente equivalente
corresponde exactamente a la conclusión, con lo cual se garantiza que el la conclusión es
derivada de un pensamiento lógicamente válido y por tanto el teorema es válido.

De lo anterior se abstrae que la respuesta correcta es C.

En este caso para la opción a y d, debería existir un paréntesis ya que se esta negando el dominio y
no es correcto, sin embargo, se entiende que se está negando toda la expresión indicando que “es
falso qué”. La primera expresión indicaría que es falso que alguien entrene a todos, y su
equivalente corresponde a decir “Alguien no entrena a todo” o sea negarlo dentro del paréntesis
de la proposición, por tanto, la afirmación es correcta.

En el caso b, si se niega adentro, por tanto, indica lo mismo que en la opción a y es correcta, la
opción c indica que “Todos entrenan a alguien” y la expresión es correcta, finalmente la opción D
es incorrecta ya que es la misma formalización de la opción a y se está confundiendo el operador
indicando Ninguno y Todos mientras que se tiene Ǝ y Ɐ.

Siendo p: el león se suelta y q: todos corren, se tiene la expresión p → q, y la recíproca es q → p,

que se lee “si todos corren entonces el león se suelta” por tanto la opción a es correcta. En la
opción b el león es el sujeto de la proposición al igual que todos corresponde al sujeto, por tanto,
la opción b es falsa. La opción c indica que uno de los predicados es corren y precisamente
acompaña al sujeto todos por tanto es correcta. Finalmente, la opción d indica que todos es un
sujeto y es correcta como ya se indicó anteriormente.

Se procede a analizar los silogismos.

a) Algunos roedores no son peludos

S M
Ningún animal es lampiño.
M P
Por ende, todos los roedores son lampiños.
S P
El silogismo no tiene una presentación estándar, y además el termino medio es diferente
en la premisa mayor y menor, por tanto, no tiene conexión lógica.
 b) Todos los coches tienen llantas
M P
Todos los deportivos son coches
S M
En consecuencia, todos los deportivos tienen llantas
S P

La forma del silogismo es “aaa-1”, este es un silogismo valido

c) Algunos samaritanos no son fisicoculturistas.

S M
Algún fisicoculturista es alegre.
M P
En conclusión, algunos samaritanos son alegres.
S P
En este caso la presentación del silogismo no es estándar, pero si se invierte el orden para
obtener “Algún fisicoculturista es alegre. Algunos samaritanos no son fisicoculturistas. En
conclusión, algunos samaritanos son alegres”, el silogismo adopta la forma de “ioi-1” que
corresponde a una forma no válida de silogismo

d) Todo perro es mortal.

Todo gato es mortal.

En conclusión, algunos perros no son gatos.

En este caso según la regla S6 para silogismo válidos, se tiene que si la conclusión es
particular entonces al menos una de las premisas debe ser particular. En este caso la
conclusión es particular negativo, pero ambas premisas son universales positivas, y el
silogismo es invalido.

Este silogismo tiene en la conclusión como S a criminal, y como P a policía, de esta forma el
termino medio M corresponde a herrero, por otra parte la premisa mayor es universal negativa
(e), la premisa menor es particular negativa (o) y la conclusión es particular afirmativa (i), y la
figura tiene en la premisa mayor M-P y en la menor M-S, por lo tanto es un silogismo de modo eoi
y figura 3 “eoi-3”, siendo un silogismo inválido. En el caso de la premisa mayor se tiene al sujeto y
predicado distribuidos, la premisa menor solo tiene distribuido al predicado y la conclusión no
tiene distribuido ni al sujeto ni al predicado.

La respuesta correcta es la b.

En este caso tener una expresión que se puede simplificar de la siguiente manera.

D ≡ ((A → B) → (¬C ꓥ ¬A))

Y por tanto se podría escribir D → ¬B, en este caso la única forma posible de que la expresión sea
falsa es solo si D tiene un valor Verdadero y la conclusión es Falsa y esto quiere decir que la
negación de B debe ser falsa y por tanto el valor de B debe necesariamente ser verdadero.

Ahora si se sigue analizando el lado izquierdo se tiene que D necesariamente debe ser verdadero
para que al combinarse con ¬B nos genere un resultado Falso que es lo que se pide. Ya
necesariamente se definió que B es verdadero, y al ser verdadero necesariamente A → B va a ser
verdadero porque independientemente de si A es Falso o Verdadero el condicional es verdadero.
Ahora como el primer condicional es verdadero y toda la expresión debe ser verdadera
necesariamente la conjunción debe ser verdadera, y eso solo ocurre si la negación de C y la
negación de A son verdaderas, siendo en este caso los valores de A y C falsos.

D ≡ ((A → B) → (¬C ꓥ ¬A))

V 3 V2 V1 V1 V 3 V2 V3

Los conjuntos de valores que hacen falsa a la expresión general son: A = F, B = V, C = F, la respuesta
correcta es la opción C.

En este caso A(j) define que José es agricultor, y las expresiones G(x) indica que alguna persona es
ganadera, así como ¬A(x) indica que ninguna persona es agricultora (siendo x del dominio de las
personas). Como se tiene el condicional, entonces necesariamente la expresión se refiere a
“Todos” o “Ninguno”, y por tanto la expresión G(x) → ¬A(x) se puede leer como “Ningún ganadero
es agricultor”.
Por tanto, la conexión entre José y la expresión del párrafo anterior es un condicional y debería
leerse así: Si José es agricultor, entonces ningún ganadero es agricultor”. La respuesta correcta es
la c, ya que la b y la d incluyen predicados que no están en la formalización lógica de la expresión.
La respuesta a simplemente no tiene sentido, ya que niega lo que la formalización asevera, es
decir que José es agricultor.

En este caso la primer opción “a” y la primer opción “b”, indican que se realice la división de 47
entre 47, lo cual es 1 en el primer caso 1 no puede ser menor que 1 por tanto la proposición tiene
un valor de Falso. En el segundo caso 1 si es mayor o igual que 1. La segunda opción “a” indica que
1 es mayor o igual que 2, siendo una proposición falsa y en la segunda “b” 7 multiplicado por 2 es
14 y este valor no es igual a 20, siendo en total la expresión Falsa.