proposicional
111Lenguaje Fril — Saltar a navegación, búsqueda Fril es un lenguaje de programación para el cálculo de predicados de primer orden. Trabaja con un subconjunto de la semántica del lenguaje Prolog pero no del estándar ISO PROLOG, sino con la sintaxis de micro Prolog …
112Lenguaje formalizado — El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma …
113Leyes de De Morgan — Las leyes de Morgan son una parte de la Lógica proposicional y analítica ,y fue creada por Augustus De Morgan (Madurai,1806 Londres,1871). Las leyes de De Morgan Las leyes de De Morgan declaran que la suma de n variables globalmente negadas (o… …
114Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …
115Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …
116Lógica relevante — La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas sub estructurales no clásicas que impone ciertas restricciones en la implicación. La lógica relevante fue propuesta en 1928… …
117Matemática discreta — Saltar a navegación, búsqueda Matemática discreta es la parte de la matemática encargada del estudio de los conjuntos discretos: finitos o infinitos numerables. En oposición a la matemática continua, que se encarga del estudio de conceptos como… …
118Modelo económico — Se puede entender un modelo económico como una propuesta o representación (modelo), o más en general, un concepto ya sea proposicional o metodologico (Constructo (epistemología)) acerca de algún proceso o fenómeno económico. Como en otras… …
119Modus ponendo tollens — En lógica, el modus ponendo tollens (en latín, modo que afirmando niega) o MPT es una forma válida de argumento que dice: O bien A, o bien B A Por lo tanto, no B Por ejemplo, un razonamiento que sigue la forma del modus ponendo tollens podría ser …
120Silogismo disyuntivo — Saltar a navegación, búsqueda En lógica, el silogismo disyuntivo, históricamente conocido como modus tollendo ponens (en latín, modo que negando afirma) o MTP, es una forma válida de argumento: O es el caso que A, o es el caso que B No A Por lo… …