Tablas y arboles de verdad : dos metodos de decision para la validez de razonamientos en la logica de enunciados
Autor principal: | Ramirez del Castillo, Carlos |
---|---|
Otras Contribuciones: | Amor Montaño, Jose Alfredo (Asesor) |
Formato: | Tesis de licenciatura |
Publicado: |
MX
1994
|
Materias: | |
Acceso en línea: | https://hdl.handle.net/20.500.14330/TES01000205330 http://132.248.9.195/pmig2016/0205330/Index.html |
Ejemplares similares
-
Abduccion en logica de primer orden : razonamiento automatico a traves de tablas semanticas
por: Reyes Cabello, Araceli Liliana
Publicado: (2005) -
Verdad Lógica Tarskiana
por: Solares Rojas, Alejandro Javier
Publicado: (2015) -
¿Está disponible el método de tablas de verdad para evaluar fórmulas con identidad?
por: Ugalde Reyes, Eduardo
Publicado: (2019) -
Matematica y logica : una busqueda de la verdad
por: Gonzalez Medina, Sergio Ivan
Publicado: (2006) -
Enunciados de ley científica : dos dogmas de la filosofía analítica
por: Pazos, María Alicia
Publicado: (2009)