TALLER

Nombre del taller

Taller de demostraciones básicas
Objetivo de Comprender las principales estrategias para demostrar teoremas de cálculo
aprendizaje proposicional.

Competencias a 1- Aplicar modelos matemáticos en el planteamiento de problemas.

desarrollar
2- Identificar variables o parámetros relevantes en la dinámica del sistema, y así
mismo descartar aspectos irrelevantes, o de poca incidencia con el fin de
llegar a modelos matemáticos que permitan soluciones analíticas.

3- Construir y analizar argumentos matemáticos que modelan y analizan

situaciones tanto abstractas como físicas.
DESCRIPCIÓN DE LA ACTIVIDAD (TALLER, CASO, EJERCICIOS, etc.)

El presente es un taller sobre demostraciones básicas -con los operadores vistos en clase- que pretende avanzar
los conceptos vistos en clase sobre la noción de validez, satisfacibilidad y la demostración como herramienta
básica para la determinación de la veracidad de una afirmación reducida a lenguaje booleano.

REQUISITOS PARA LA ACTIVIDAD (TALLER, CASO, EJERCICIOS, etc.)

1. Conocimiento de teoremas y axiomas de cálculo proposicional.

2. Conocimiento de los métodos de demostración.

INSTRUCCIONES PARA LA ACTIVIDAD

1. Tenga en cuenta en cada uno de los puntos la información adicional que se brinda para solucionarlos.

PLANTEAMIENTO DE LA ACTIVIDAD
Y EJEMPLOS (Si los requiere la actividad)

Taller: Demostraciones (Archivo: tallerDemostracionesBasicas.pdf)

DESARROLLO DE LA ACTIVIDAD (TALLER, CASO, EJERCICIOS, etc.)

Taller: Demostraciones (Archivo: tallerDemostracionesBasicas.pdf)

1 POLITÉCNICO GRANCOLOMBIANO