UNAM UAPA CUAIEED

 

Método de deducción paso a paso


Método de deducción paso a paso

En la presente unidad revisarás elementos suficientes para demostrar la validez de tus argumentos haciendo uso de reglas de inferencia. Para ello es importante el estudio de la lógica, pues te ayuda a estructurar tu pensamiento, es decir, en cómo pensar (no tanto en qué pensar).

Cuando realices alguna investigación, pretendas demostrar una idea, desarrolles una tesis o tengas que probar algún producto de software, en fin, cuando desees convencer a tus amigos de que tu idea es válida, tendrás que usar algún método de la lógica proposicional.
Objetivo Palabras clave
Demostrarás la validez de un argumento o razonamiento haciendo uso del método de deducción paso a paso (MDPP) aplicado a la lógica proposicional.
Entidad Académica Licenciatura Asignatura
Facultad de Ingeniería Ingenieria en Computación Estructuras discretas
Autores Derechos morales Derechos patrimoniales
Zaldívar Zamorategui Orlando, Zaldívar Esquivel Orlando Zaldívar Zamorategui Orlando, Zaldívar Esquivel Orlando CUAED-UNAM/Facultad de Ingeniería
Colaboradores Editor
Tapia Rangel Edtih, Fraire Benitez Moises Cenobio, Elisa Campero Malo, Susana Claudio Vargas, Rodríguez Espino Mariela , Brenda Gómez Sánchez, Baldo Romero Gabriel Alfonso, Jiménez Aguilar Eduardo , Juan De Dios Fuentes Reyes, Fabiola Moncada Cortés, Sánchez Olguín Rocío Azucena, Guzmán Flores Sarahi CUAED-UNAM/Facultad de Ingeniería
Licenciamiento
Puede ser utilizada sin fines de lucro, citando invariablemente la fuente y sin alterar la obra, respetando los términos institucionales de uso y los derechos de propiedad Licencia Creative Commons Con atribución No comercial Sin derivadas
Método de deducción paso a paso por Zaldívar Zamorategui Orlando, Zaldívar Esquivel Orlando se distribuye bajo una Licencia Creative Commons Atribución-NoComercial-SinDerivadas 4.0 Internacional.

Mas temas de la asignatura...


Forma normal disyuntiva principal y forma normal conjuntiva principal


Objetivo:Demostrar que a partir de una fórmula proposicional cualquiera se pueden obtener sus formas normales principales.
... Leer mas

Mas temas de la licenciatura...


Búsquedas y Utilerías en Internet


Asignatura:Fundamentos de Programación
Objetivo:Revisarás algunos motores de búsqueda como Google, otras utilerías de almacenamiento en la nube y sitios virtuales, por medio de sus características, funciones y aplicaciones, a fin de que emplees aquel que responda mejor a las necesidades... Leer mas

Ley de senos y de cosenos


Asignatura:Álgebra
Objetivo:Identificarás la ley de senos y de cosenos, a través de su concepto, características y postulados, con la finalidad de resolver problemas físicos y geométricos necesarios en tu formación académica.

Álgebra booleana


Asignatura:Diseño digital moderno
Objetivo:Expresar las funciones lógicas simplificadas a partir de los postulados y teoremas del álgebra booleana para aplicarlas al diseño de sistemas electrónicos digitales.

Señales continuas, discretas y digitales


Asignatura:Señales y sistemas
Objetivo:Identificarás los tipos de señales, su representación matemática y sus transformaciones, a través de su concepto, clasificación y características, para expresarlas e interpretarlas adecuadamente.

Forma normal disyuntiva principal y forma normal conjuntiva principal


Asignatura:Estructuras discretas
Objetivo:Demostrar que a partir de una fórmula proposicional cualquiera se pueden obtener sus formas normales principales.

Bases numéricas


Asignatura:Diseño digital moderno
Objetivo:Analizarás las bases numéricas que fundamentan el diseño digital, a través de sus propiedades, con la finalidad de emplearlas con posterioridad en el diseño de sistemas electrónicos digitales