About this document

Proposiciones y Conectivos Lógicos en Matemáticas by KADIR GABRIEL BARQUET BRAVO is a document available to read on EtoBox.

La tarea consiste en transformar proposiciones a fórmulas lógicas, realizar tablas de verdad para verificar si son tautologías, contradicciones o contingencias, determinar si fórmulas son lógicamente equivalentes mediante tablas de verdad, simplificar fórmulas lógicas usando leyes del álgebra de proposiciones, y comprobar si son implicaciones tautológicas. El estudiante debe realizar estas operaciones sobre varias fórmulas lógicas dadas y reportar los resultados.

Author

KADIR GABRIEL BARQUET BRAVO

Language

ES