Introducción al pensamiento matemático

Unidad 1. Lógica proposicional

Actividad 2. Conectivos lógicos

Instrucciones: Identifica si es una proposición simple o compuesta, cuando suceda el

segundo caso separa las proposiciones y escribe el conectivo lógico que los une.

1. Si la suma de los ángulos interiores de un polígono vale dos rectos el polígono es

un triángulo.
Este enunciado es una proposición compuesta de tipo condicional (si… entonces),
en el que si se cumple el antecedente “si” se cumple el consecuente “entonces”. El
enunciado puede entenderse de esta forma: “Si la suma de los ángulos interiores
de un polígono es 180 grados, entonces el polígono es un triángulo”
Las proposiciones son:

P: La suma de los ángulos de los ángulos interiores de un polígono vale dos ángulos
rectos.
Q: El polígono es un triángulo.
𝑷→𝑸

2. Si una recta tiene dos puntos comunes con un plano, toda la recta está contenida
en el plano.
Este enunciado es una proposición compuesta de tipo condicional (si… entonces).
Puede leerse así: “Si una recta tiene dos puntos comunes a un plano, entonces toda
la recta está contenida en el plano.
Las proposiciones son:

P: Una recta tiene dos puntos comunes con un plano.

Q: La recta está contenida en el plano
𝑷→𝑸

3. El dominio de una función está formado por el conjunto de todos los valores posibles
de x y el contradominio de la función está formado por todos los valores posibles
de y.
Este enunciado es una proposición compuesta por dos proposiciones simples
ligadas por una conjunción (y). La primer oración simple es “El dominio de una
función está formado por el conjunto de todos los valores posibles de x”, el conector
lógico de la conjunción es “y”, y la siguiente oración simple es “el contradominio de
la función está formado por todos los valores posibles de y”.
Las proposiciones son:
Introducción al pensamiento matemático
Unidad 1. Lógica proposicional
P: El dominio de una función está formado por el conjunto de todos los valores
posibles de x.
Q: El contradominio de la función está formado por todos los valores posibles de y.
𝑷⋀𝑸

4. Las funciones racionales, se expresan por el cociente de dos funciones polinómicas,

siempre y cuando el dominio de la función que queda como denominador sea
distinto de cero.
Este enunciado es una proposición compuesta de tipo bicondicional (si y sólo si).
Este enunciado nos dice que “son funciones racionales, todas aquellas funciones
polinómicas expresadas por cociente si y sólo si el dominio de la función del
denominador es distinto de cero”.
Este enunciado puede ser compuesto de tipo condicional si hacemos algunos
cambios en las proposiciones. “Si dominio del denominador de una función
polinómica expresada por cociente es distinto a cero, entonces es una función
racional”.
Las proposiciones son:

P: Las funciones racionales, se expresan por el cociente de dos funciones

polinómicas.
Q: El dominio de la función que queda como denominador es distinto de cero.
𝑷⟷𝑸

5. Una función es trascendente si no puede expresarse mediante un número finito de

sumas, diferencias, productos, cocientes y raíces.
Primero que nada, una función trascendente es una función que no satisface a una
ecuación polinómica. Un ejemplo de función trascendente son el logaritmo o las
funciones trigonométricas.
Ahora de acuerdo con este enunciado, es una proposición compuesta por oraciones
simples que utilizan el conector lógico de la conjunción, la negación y la
bicondicional.
Las proposiciones son:
P: Es una función trascendente.
Introducción al pensamiento matemático
Unidad 1. Lógica proposicional
¬Q: No puede expresarse mediante un número finito de sumas.
¬R: No puede expresarse mediante un número finito de diferencias.
¬S: No puede expresarse mediante un número finito de productos.
¬T: No puede expresarse mediante un número finito de cocientes.
¬U: No puede expresarse mediante un número finito de raíces.

𝑷 ↔ ((¬𝑸)⋀(¬𝑹)⋀(¬𝑺)⋀(¬𝑻)⋀(¬𝑼))

Comentarios:
Listo profesor, ya realicé las correcciones a los ejercicios. Gracias

Bibliografía:
Copi, I., y Cohen, C. (2014) Introducción a la lógica. México: Limusa.
Solow, D. (2008) Introducción al razonamiento matemático. México:Limusa.