Construcción de tablas de verdad de proposiciones y formalización

 A continuación se presenta la solución de las actividades propuestas durante el desarrollo de la AEAE 2: Uniendo las proposiciones simples y compuestas con los conectivos lógicos.





















Comentarios

Publicar un comentario

Entradas populares de este blog

Fundamentos de las Pruebas de Software

 La calidad del software es un pilar fundamental en la era digital. En este contexto,  la prueba de software se erige como un proceso crucial para garantizar la eficacia, confiabilidad y cumplimiento de los estándares en el desarrollo de sistemas informáticos.  Comprobabilidad y Características del Software Comprobable La comprobabilidad, según James Banch, es la facilidad con la que un programa puede ser probad. Se basa en características clave del software: operatividad, observabilidad; controlabilidad, descomponibilidad, simplicidad, estabilidad y comprensibilidad. Un software diseñado con estas característica facilita pruebas eficientes al permitir la detección y resolución rápida de errores. Atributos de una Buena Prueba El articulo de Kaner, Falk y Nguyem subrayan los atributos de una prueba efectiva: la capacidad para encontrar errores, evitar la redundancia, ser la mejor en su categoría y mantener un equilibrio entre la simplicidad y la complejidad. La compre...
Leer más

Portafolio Unidad 3 Investigación de Operaciones

Imagen
El modelo de transporte y el modelo de asignación son dos tipos de problemas clásicos de programación lineal dentro de la investigación de operaciones. Ambos modelos pueden ser utilizados tanto para minimizar costos como para maximizar beneficios, esto bajo ciertas restricciones sobre las cuales pueden estar sujetos los modelos. Modelo de Transporte El modelo de transporte es un tipo de problema de optimización lineal que busca la forma de minimizar el transporte de bienes desde varios puntos de origen a varios puntos de destino, siempre cumpliendo con las restricciones de oferta y demanda a las cuales este sujeto el modelo. Cada origen tiene un cantidad limitada de unidades disponibles, las cuales serian la oferta; y cada destino tiene una necesidad especifica de unidades, lo que seria la demanda; el transporte de una unidad desde un origen hasta un destino tiene un costo asociado, y el objetivo del modelo es el de minimizar el costo total de transporte, respetando la oferta y la dema...
Leer más