Documentos de Académico
Documentos de Profesional
Documentos de Cultura
VS1 VS2 Procedimientos Autoprogramación
VS1 VS2 Procedimientos Autoprogramación
VS1 VS2 Procedimientos Autoprogramación
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.
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)
1 POLITÉCNICO GRANCOLOMBIANO