reticulo completo de boole logica matematica teoria de conjuntosUniversidad de Oviedo, 2006 - 232 páginas El objetivo esencial de este libro es el desarrollo de la lógica matemática y de la teoría de conjuntos partiendo de su raíz: el retículo de Boole. Aunque su parte más llamativa es que, en él, dasarrollamos una axiomática de lógica binaria con la cual también podemos desarrollar lógica polivalente para 4, 8, 16, 32... valores |
Índice
Prólogo | 9 |
Universo del discurso parámetros variables | 22 |
Relaciones entre proposiciones | 38 |
Definiciones y notaciones | 45 |
Familias de elementos y de conjuntos de U | 60 |
Relación de orden normal en E Propiedades | 96 |
Orden reticular de Boole Propiedades | 131 |
Capítulo V | 145 |
Familias inferiores y superiores de Moore en | 184 |
Capítulo VI | 207 |
Capítulo VII | 217 |
ne N y n 2 Propiedades | 223 |
para n e N y n 2 | 229 |
Términos y frases comunes
a₁ a₂ abreviación además álgebra de Boole Axiomas axiomática B₁ Cambiemos capítulo ción colectivo Complementación composición conjunto Conmutatividad consecuencia convenimos cumple Dado decimos definición definimos Demostración Demostrémoslo determinación Distributividad Dual Dual Sabemos dualidad efecto Ejemplos elementos entonces equivalencia esenciales familia familia inferior igualdad implica indeterminados indicado interna Isotonía lenguaje llamamos lógica max{a máximo mayorante mediante mencionan mínimo Minoración nombre normal números naturales NXEH Operación binaria Operación unitaria orden reticular P V Q P₁ V P₂ parámetros párrafo Pedro es alto podríamos primero propiedad Propiedades proposiciones simples PV Q Px)XEH relación representa respecto reticular de Boole Sabemos Siendo siguientes ẞx sucesivamente sujetos superior de Moore Supuesto tablas tenemos unión universal universo del discurso utilizamos UxeH Ax valores variables VXEHPX ν ν Ах Пхен Пхенах