Actividad sumativa 2, Lógica

matemática, secciones
T1,T2,T3
Guía de trabajo, prof Oscar Colmenares

18 de octubre de 2021
 Actividad sumativa 2, Lógica
matemática, secciones T1,T2,T3
Guía de trabajo, prof Oscar Colmenares

1) Escriba de forma simbólica cada uno de los siguientes

argumentos.
a) Todos los felinos tienen bigotes
Luigi es un felino
Luego, Luigi tiene bigotes.
b) Todos los domingos voy al parque
Hoy es domingo
Actividad sumativa 2, Lógica matemática, secciones T1,T2,T3 | 18 de octubre de 2021

Luego, hoy iré al parque.

2) Escríbase una forma completa de la forma simbólica para el

la parte a) del ejercicio 1
3) Escriba las proposiciones (en español) que son la negación
de las siguientes
a) Todos los conejos son negros
b) Algunos conejos son negros
c) Ningún conejo es negro
d) Ningún conejo es no negro
4) Usando símbolos convenientes exprese cada una de las
anteriores proposiciones y su negación.
5) Probar que (debe indicar la propiedad que está usando en
cada uno de los pasos)
[( ) ]
6) Demostrar la validez del siguiente razonamiento (justifique
cada paso)

1
7) Construir una prueba formal de validez para el siguiente
razonamiento (justifique cada paso)
( )[ ( ) ( )]
( )[ ( ) ( ) ( )]
( )[ ( )]

( )[ ( ) ( )]

Actividad sumativa 2, Lógica matemática, secciones T1,T2,T3 | 18 de octubre de 2021