La lógica proposicional de segundo orden
Artículo que presenta un panorama general de la lógica proposicional de segundo orden Prop2, la cual se obtiene al extender la lógica proposicional usual con un mecanismo de cuantificación universal y existencial sobre proposiciones. Publicado por la revista Aportaciones Matemáticas, número 40, año 2009.
Recurso didáctico
Favio E. Miranda Perea
Área:Otras disciplinas
Nivel educativo:Licenciatura
Fecha de publicación:2019-08-15
Materiales relacionados
Integral definida en diversos contextos: un estudio de casos
Matías Camacho,Ramón Depool,Sabrina Garbín
Autómatas y lenguajes formales preliminares matemáticos.
Francisco Hernández Quiróz
Psychiatric disorders
María de los Ángeles Labardini Flores,Grisel Barrera Del Ángel,Hadassa Amelia Juárez Hernández
Teorema: las mediatrices de los lados de un triángulo son concurrentes
María Juana Linares Altamirano
Modelo atómico de Dalton
Rafael Fernándes Flores
Diseño organizacional [parte 6]
Edith Candelas Ramírez,María Elena García Hernández
Arte, pintura y alfarería en Mesoamérica
Seppe De Vreesse Pieters
Agua, compuesto indispensable
Carlos Eduardo Salas Contreras
Romanticismo francés (antología de textos): estudio introductorio
Marialba Pastor,Clara Ramírez
Falacias políticas
Ambrosio Velasco Gómez