Resultados de la búsqueda
Apariencia
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…44 kB (5602 palabras) - 15:56 13 feb 2024
- En lógica, existen muchas concepciones diferentes de la noción de predicado según el contexto y la tradición. En lógica tradicional el predicado es uno…21 kB (2763 palabras) - 00:20 16 feb 2024
- En lógica de predicados, la ejemplificación existencial (también llamada eliminación existencial)[1][2][3] es una regla de inferencia válida que dice…1 kB (180 palabras) - 08:52 8 ago 2019
- En lógica de predicados, la instanciación universal[1][2][3] (IU, también llamada especificación universal o eliminación universal, y veces confundida…3 kB (398 palabras) - 14:58 20 mar 2024
- En lógica, el dominio de discurso, también llamado universo de discurso, o simplemente dominio, es el conjunto de cosas acerca de las cuales se habla en…1 kB (176 palabras) - 16:51 19 abr 2024
- En lógica de predicados, generalización (también generalización universal o introducción universal,[1][2][3] GEN) es una regla de inferencia válida…4 kB (345 palabras) - 08:43 8 ago 2019
- En la lógica de predicados, la generalización existencial[1][2] (también conocida como introducción existencial, ∃I) es una regla de inferencia válida…3 kB (307 palabras) - 06:30 12 oct 2020
- En filosofía, la mereología (del griego antiguo μέρος, "parte") es el estudio de las relaciones entre partes, tanto de las partes con el todo, como de…3 kB (413 palabras) - 22:24 10 ago 2023
- En lógica formal, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda. Esto es, una fórmula que no contiene…4 kB (488 palabras) - 02:57 25 jul 2023
- En las matemáticas y en otras disciplinas que involucran lenguajes formales, incluidas la lógica matemática y la informática, una variable libre es una…9 kB (1431 palabras) - 02:55 18 feb 2024
- En lógica matemática, una sentencia de una lógica de predicados es una fórmula bien formada con valor booleano y sin variables libres. Una sentencia puede…3 kB (475 palabras) - 04:01 1 mar 2020
- En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando…1 kB (109 palabras) - 16:33 5 ago 2019
- La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados.[1] Para entender lo que son estos aspectos…5 kB (662 palabras) - 15:12 20 abr 2022
- En lógica, una sentencia atómica es un tipo de sentencia declarativa que puede ser verdadera o falsa (también puede ser referido como una proposición,…10 kB (1357 palabras) - 16:51 14 nov 2023
- En matemáticas y lógica, una función proposicional es una función cuyas variables son proposiciones. Esto es, una afirmación expresada de manera que podría…3 kB (188 palabras) - 10:41 7 ago 2019
- En matemáticas y lógica, una lógica de orden superior (abreviada LOS) es una forma de lógica de predicados que se distingue de la lógica de primer orden…10 kB (1182 palabras) - 10:00 10 feb 2024