Introduccin al pensamiento matemtico

Unidad 1. Lgica proposicional

FLORES PRECIADO JENNIFER GUADALUPE
AL12529067

Actividad 2. Conectivos lgicos

Instrucciones: Identifica si es una proposicin simple o compuesta, cuando suceda el
segundo caso separa las proposiciones y escribe el conectivo lgico que los une.

1. Si la suma de los ngulos interiores de un polgono vale dos rectos el polgono es
un tringulo.

Se trata de una proposicin compuesta

p: la suma de los ngulos interiores de un polgono vale dos rectos
q: el polgono es un tringulo

Sientonces
En este caso el conectivo (l) opera como conectivo lgico (entonces)
Por lo tanto es una implicacin.

2. Si una recta tiene dos puntos comunes con un plano, toda la recta est contenida
en el plano.

p: una recta tiene dos puntos comunes con un plano
q: la recta est contenida en el plano.

Si conector lgico CONDICIONAL IMPLICACIN

3. El dominio de una funcin est formado por el conjunto de todos los valores
posibles de x y el contradominio de la funcin est formado por todos los valores
posibles de y.

Se trata de una proposicin compuesta
p: El dominio de una funcin est formado por el conjunto de todos los valores
posibles de x
q: y el contra dominio de la funcin est formado por todos los valores posibles
de y.
El conectivo lgico que los une es y por lo tanto es una conjuncin.




Introduccin al pensamiento matemtico
Unidad 1. Lgica proposicional
FLORES PRECIADO JENNIFER GUADALUPE
AL12529067

4. Las funciones racionales, se expresan por el cociente de dos funciones
polinmicas, siempre y cuando el dominio de la funcin que queda como
denominador sea distinto de cero.

p: Las funciones racionales, se expresan por el cociente de dos funciones
polinmicas, siempre
siempre y cuando conectivo lgico BICONDICIONAL
q: cuando el dominio de la funcin que queda como denominador sea distinto
de cero.

5. Una funcin es trascendente si no puede expresarse mediante un nmero finito de
sumas, diferencias, productos, cocientes y races.
p: Una funcin es trascendente

q: si no puede expresarse mediante un nmero finito de sumas, diferencias,
productos, cocientes y races.

El conectivo lgico es una doble implicacin; p si no q aunque no viene definida
en el captulo de lenguaje formal me parece que es una doble implicacin.