Facultad de Química, UNAM Departamento de Matemáticas

Lógica matemática-Reglas de Inferencia

ÁLGEBRA SUPERIOR (1110)
SEMESTRE 2023-1
Profesor: M. en I. Juan Enrique Romero Hernández

1. Basándose en el texto sobre los tres filtros de Sócrates que puedes encontrar en el enlace
bit.ly/AlgebraSuperior proponer al menos tres premisas o hipótesis y una conclusión, primero en lenguaje común y
después traducirlo a variables proposicionales (forma simbólica). Después verificar la validez de los razonamientos
propuestos mediante valores de certeza (ceros y unos) y después mediante reglas de inferencia. Puede usar método
directo o indirecto según lo requiera. En caso de no ser demostrable justifique usando tabla de verdad.

2. Traducir las siguientes proposiciones de lenguaje cotidiano a forma simbólica (variables proposicionales).
1) O esta roca es una roca ígnea o es una roca sedimentaria. Esta roca es granito. Si esta roca es granito entonces no es una
roca sedimentaria. Por tanto, esta roca es una roca ígnea.
2) Si el reloj está adelantado, entonces Juan llegó antes de las ocho y vio partir el coche de Andrés. Si Andrés dice la verdad,
entonces Juan no vio partir el coche de Andrés. O Andrés dice la verdad o estaba en el edificio en el momento del crimen.
El reloj está adelantado. Por tanto, Andrés estaba en el edificio en el momento del crimen.
3) Si el agua se congela, entonces sus moléculas forman cristales. Si las moléculas forman cristales, entonces el agua
aumenta de volumen. Por tanto, si el agua se congela, entonces el agua aumenta de volumen.
4) Si Tomás conduce a la velocidad de 50 km/h, entonces en 9 horas habrá recorrido 450 km. Si en 9 horas ha recorrido
450 km, entonces habrá recorrido 90 km más que ayer en el mismo período. No ha recorrido 90 km más que ayer en el
mismo período de tiempo. Por tanto, si no ha recorrido 90 km más que ayer en el mismo período de tiempo, entonces
Tomás no condujo a la velocidad de 50 km/h.
5) Si un haz fino de fotones penetra en un gas en una cámara de niebla, entonces los fotones expulsan electrones de los
átomos del gas. Si los fotones expulsan electrones de átomos de gas, entonces la energía de la luz se convierte en energía
cinética de los electrones. Por tanto, si un haz fino de fotones penetra en un gas en una cámara de niebla, entonces la
energía de la luz se convierte en energía cinética de los electrones.
6) Si Mr. Lincoln era elegido, entonces los Estados del Sur se separarían con seguridad. Si los Estados del Sur se separan,
entonces estallará una guerra civil. Mr. Lincoln fue elegido. Por tanto, estalló una guerra civil.
7) Esta roca o es piedra caliza o es granito. Si es piedra caliza entonces es sedimentaria. Si es granito, entonces es ígnea.
Por tanto, esta roca es una roca ígnea o es una roca sedimentaria.
8) O la planta es una planta verde o es una planta no verde. Si es una planta verde, entonces fabrica su propio alimento. Si
es una planta no verde, entonces depende de las materias primas de otras plantas para su alimento. Por tanto, la planta
fabrica su propio alimento o depende de las materias primas de otras plantas para su alimento.
9) Un líquido es un ácido si y sólo si colorea de azul el papel de tornasol rojo. Un líquido colorea de azul el papel de
tornasol rojo si y sólo si contiene iones de hidrógeno libres. Por tanto, un líquido es un ácido si y sólo si contiene iones
de hidrógeno libres.
10) Si no ocurre que, si un objeto flota en el agua entonces es menos denso que el agua, entonces se puede caminar sobre el
agua. Pero no se puede caminar sobre el agua. Si un objeto es menos denso que el agua, entonces puede desplazar una
cantidad de agua igual a su propio peso. Si puede desplazar una cantidad de agua igual a su propio peso, entonces el
objeto flotará en el agua. Por tanto, un objeto flotará en el agua si y sólo si es menos denso que el agua.

3. Verificar la validez de los razonamientos del ejercicio 2 mediante valores de certeza (ceros y unos) y después
mediante reglas de inferencia. Usar tanto método directo como indirecto para ambas.

4. En los ejercicios que siguen, las premisas están ya en forma simbólica. Hacer una demostración formal usando
reglas de inferencia aplicando ya sea método directo o indirecto (el que más te convenga o el que mejor manejes),
indicando el número de cada paso, la justificación de cada línea mediante la abreviatura de la regla utilizada y los
números de las líneas de las que se deduce cada paso.

Elaboró: M. en I. Juan Enrique Romero Hernández

Facultad de Química, UNAM Departamento de Matemáticas

1) 7) 12)
P→S x y x = y P  T
S x= y→ y5 S →T
P → T x y y =5→ x5 S Q
T y =5 Q  P →U
2) x  5 U
x = y → x  y
8) 13)
y = 0  x  y
x6 S Q
x = 0  xy = 0 → y = 0
y  7  x = y → ( y = 4  x  y ) T → Q
( x = y → y = 0) → x = 0 y  4 → x  6 T → R
 ( x  y  x = 1) x6→x y  R  S
3)  ( y  7  x = y ) 14)
PQ S → ( P  Q)
Q 9)
x  5 → x = 6 x  6 S
P→S
x  5  x  5 → x  5 P
S
x  5 → x  3+ 4 Q
4) x = 3+ 4 x  6
P→S 15)
x = 3+ 4 → x  5 x = 5 x  y
PQ
x  6 x  3 z  2 → z  x  y =1
( S  R ) → T
x y→z2
Q→R 10)
x  5 → x = 6 x  6 x =5→ x3
T
3 x + 2 y = 18  x + 4 y = 16 zx→x=4
5) x = 2 → 3 x + 2 y  18 y = 1 → ( x  3  z  2)
P → (Q  R ) x = 2 y = 3 x = 4
P x4→ y3
T → Q 16)
x = 4 P → Q
TS
11) P R
S
PR R → Q
6) P→S T →Q
x= y→x=z R →T S
x y→xz S T T  S
x  z  y  z
y zx z
y  z

Elaboró: M. en I. Juan Enrique Romero Hernández

Facultad de Química, UNAM Departamento de Matemáticas

( x ) = 3 x 2  ( 3) = 0
17) 18) d 3 d
x = 3 x = 4 tan  = 0.577 → sen = 0.500  cos  = 0.866
dx dx
sen = 0.500  cos  = 0.866 → cot  = 1.732
x = 3 → x 2 − 7 x + 12 = 0 sec  = 1.154  cot   1.732
sec   1.154
d 3
( x ) = 3x 2 → ( x 2 ) = 2 x
d
x = 4 → x 2 − 7 x + 12 = 0 20) dx dx
 tan   0.577
x 2 − 7 x + 12 = 0 → x  2
d 2
( x ) = 2 x  dx ( x ) = 12 → x = 2
d 3

x 2  9 → x  2 x  y x6 dx
x y→x4 x = 2
x 2  9 → x 2 = 9  x 2  9
x  4 → x = 5 x  7
 x2 = 9  x2  9
19) x  6 → x = 5  x  7
x  7 x =5→ z  x y  z
x  y → ( y  z  z  x)
x  6

Elaboró: M. en I. Juan Enrique Romero Hernández