PUCP

Facultad de Educación MATEMÁTICA 2019-1

Taller 1

Resuelva cada una de las siguientes cuestiones. Justifique en cada caso su respuesta.

1) Para cada una de las siguientes proposiciones categóricas, identifique la calidad y cantidad.
Luego, elabore un diagrama de Venn para cada una de ellas.
a. Algunos médicos son profesionales en diversas especialidades de la pediatría.
b. No todo número primo es número compuesto.
c. Ningún triángulo tiene diagonales.
d. Todos los números pares son divisibles por sí mismos.
e. Algún número irracional puede ser número racional.
f. No existe cubo que no es un prisma.
g. Algún león es salvaje.
h. Todas las aves no son animales.
i. Algunos abogados son no matemáticos.
j. Algún no S es P.
k. Algún no S no es P.

2) Expresa cada uno de los siguientes enunciados en alguna de las formas típicas de las
proposiciones categóricas (PUA, PUN, PPA, PPN) utilizando S para el término sujeto y P para
el término predicado.
 Cada caballo tiene un jinete.
S: Caballo, P: Jinete.
 Nadie es admitido en la sala a no ser que sea bien educado.
S: Admitidos en sala, P: Bien educados.
 Solo los becarios se reunirán en el auditorio
S: Personas que se reunirán en el auditorio, P: Becarios.
 Todo humano no tiene vida eterna.
S: humano, P: vida eterna.

Prof. Carlos Torres 30/ Marzo /2019

 PUCP
Facultad de Educación MATEMÁTICA 2019-1

3) Complete la tabla que se muestra a continuación, considerando proposiciones categóricas de

las formas típicas en las que estas se presentan (PUA, PUN, PPA, PPN).
Valor
de
Proposición Diagrama de Venn Tipo Evidencia
verdad
(V/F)

Todo cuadrilátero es polígono.

Ningún triángulo es una figura

de cuatro lados.
Algún múltiplo de 6 es múltiplo
de 5.
Algún número par no es un
número primo.
Todo cuadrado no es rectángulo.
Existen estudiantes de MAT133
que usan lentes.
Cada persona nace en un solo
lugar.
No es cierto que dos rectas
secantes no se cortan.

4) Complete la tabla que se muestra a continuación, considerando proposiciones categóricas de

las formas típicas en las que estas se presentan (PUA, PUN, PPA, PPN). Recuerde que puede
usar proposiciones de contexto intra-matemático o de contexto extra-matemático.
Valor Valor
de Contradictoria (Negación de
Proposición Tipo Tipo
verdad de la proposición dada) verdad
(V/F) (V/F)

PUN

PPA

Todos los hombres son mortales.

Todo lo que sube tiene que

caer.
Hay estudiantes que son adultos.

Prof. Carlos Torres 30/ Marzo /2019

 PUCP
Facultad de Educación MATEMÁTICA 2019-1

5) Determine si los siguientes razonamientos son válidos utilizando las formas: Modus Ponens,
Silogismo Hipotético o Modus Tollens. Considere p, q y r como símbolos para las
proposiciones.
Representación ¿Es ¿Por qué?
Razonamiento
simbólica válido?
Si la proposición fuerte de Goldbach se
demuestra, no puede ser una conjetura. La
proposición fuerte de Goldbach se demuestra,
luego no es una conjetura.
Si Gödel hubiera estado joven, habría
demostrado la hipótesis del continuo. Pero
Gödel no demostró la hipótesis del continuo,
luego Gödel no estaba joven.
Si alguien impone su voluntad por la fuerza,
está recurriendo a la ley del más fuerte. Si
alguien recurre a la ley del más fuerte, se está
portando como si fuera una fiera en la selva.
Por tanto, si alguien no se comporta como fiera
de la selva, no impone su voluntad por la fuerza
Si un número A es primo mayor que 2 entonces
no es un número par. El número A no es primo
mayor que 2. Luego, el número A no es par.

6) Pablito afirma: No existen números naturales cuyo producto es igual a 1. ¿Verdad o falso? ¿Por
qué?
7) Cathy afirma: Existen números naturales cuya suma no es menor que 5. ¿Verdad o falso? ¿Por
qué?
8) María dice: La suma de dos números naturales cualquiera es mayor que 2. ¿Verdad o falso?
¿Por qué?
9) Considere la siguiente afirmación como verdadera:
Si “𝒂 es un elemento del conjunto 𝑃 entonces “𝑎 es un elemento del conjunto 𝑄”.
a) Haga una representación en diagramas de Venn para tal proposición.
b) Si nos dan un elemento del conjunto 𝑃, digamos 𝑏, ¿es verdad que 𝑏 será necesariamente
un elemento del conjunto Q?
c) Si nos dicen que 𝑐 es un elemento del conjunto Q, ¿es verdad que 𝑏 será necesariamente
también elemento de 𝑃?
d) Si 𝑢 no es elemento de Q, ¿se puede concluir que 𝑢 no es elemento de P?
e) ¿P es subconjunto de Q?
f) ¿Q está incluido en P?
g) Suponiendo que los conjuntos P y Q son conjuntos no vacíos, ¿es verdad que existe un
elemento de Q que no es elemento de P?

Prof. Carlos Torres 30/ Marzo /2019

 PUCP
Facultad de Educación MATEMÁTICA 2019-1

10) Dada la proposición:

“Si w es un elemento del conjunto 𝑃 entonces w es un rectángulo”
Replantee esta proposición en su forma equivalente como proposición categórica:

_________________________________________________________________________

Replantee esta proposición en su forma equivalente usando las expresiones “es (condición)
suficiente” y “es (condición) necesario(a)”. Complete las siguientes estructuras para tal fin:

a) Es necesario _____________________ para _______________________________

b) ____________________ es condición suficiente para ______________________

11) Dada la proposición:

“Es necesario ser un elemento de Q para ser rojo”
Replantee esta proposición en su forma equivalente como proposición categórica:
_________________________________________________________________________

Replantee esta proposición en su forma equivalente como enunciado condicional, usando “si…
entonces…”:

_________________________________________________________________________

12) Se tiene 36 bloques lógicos de acuerdo a las siguientes características:

- Tres colores: amarillo, azul y rojo
- Tres formas: cuadrado, círculo, triángulo
- Dos tamaños: grande, pequeño
- Dos espesores: grueso, delgado
De acuerdo al conjunto formado por estos 36 bloques, responda cada uno de los siguientes
requerimientos:
a) Escriba las características de un bloque lógico que NO sea un círculo. ¿Este es el único
ejemplo que se puede proporcionar?
b) Escriba las características de un bloque lógico que no sea un cuadrado, ni sea azul.
c) Escriba las características de un bloque lógico que sea un triángulo, pero que no sea
delgado. Indique todos los casos posibles de bloques lógicos que cumplan con estas
condiciones.
d) Ahora considere el conjunto W formado por todos los bloques con forma circular y de
tamaño grande, y responda las siguientes preguntas, justificando adecuadamente:
(d.1) Si un bloque es circular, ¿pertenecerá al conjunto W?
(d.2) ¿Ser circular es una condición necesaria para estar en el conjunto W?
(d.3) ¿Qué características tienen los bloques lógicos que quedan fuera del conjunto W?
(d.4) ¿Es suficiente ser un bloque grande para ser un elemento de W?
Prof. Carlos Torres 30/ Marzo /2019