Resultados de la búsqueda
Apariencia
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Si consideras que este artículo debería existir, conoces nuestros pilares, dispones de fuentes fiables y sabes indicarlas como referencias, puedes crearlo, opcionalmente usando nuestro asistente.
- lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica,…32 kB (5266 palabras) - 23:04 15 jun 2024
- la lógica moderna para el estudio de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional…38 kB (8727 palabras) - 19:54 19 may 2024
- de la lógica y en su aplicación. Esto implica preguntas sobre cómo debe definirse la lógica y cómo se relacionan los diferentes sistemas lógicos entre…103 kB (13 090 palabras) - 11:24 25 nov 2023
- determinado lenguaje formal. Algunos de los sistemas formales más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal. En la teoría…9 kB (1824 palabras) - 11:25 19 abr 2024
- Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal exige únicamente una relación condicional entre las premisas…6 kB (661 palabras) - 13:15 3 mar 2024
- La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles:…4 kB (620 palabras) - 17:32 4 may 2023
- Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo…15 kB (2684 palabras) - 15:58 13 feb 2024
- Proposición (redirección desde Proposicion (logica))lo que no quita nada a la validez formal del silogismo. Hoy día la lógica aristotélica se «interpreta» como lógica de clases:[10] Como la unión o separación…31 kB (4302 palabras) - 10:07 12 jun 2024
- La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado…42 kB (5433 palabras) - 11:50 12 jun 2024
- La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples…43 kB (5302 palabras) - 05:27 7 may 2024
- La lógica informal, o lógica no formal, es el estudio de los argumentos a posteriori en oposición al estudio técnico y teórico de la lógica matemática…2 kB (794 palabras) - 20:39 14 jun 2023
- Precondición más débil Inducción estructural Basado en la lógica de Hoare. El programa, en lógica de Hoare, se específica mediante aserciones que relacionan…9 kB (1238 palabras) - 11:20 27 ene 2024
- Una lógica clásica o lógica estándar[1][2] es un sistema formal que respeta los siguientes principios: Principio del tercero excluido Principio de no…3 kB (2207 palabras) - 00:11 8 abr 2024
- En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.[1] La relación de consecuencia…3 kB (420 palabras) - 03:02 7 may 2021
- En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos…14 kB (1962 palabras) - 23:39 23 abr 2024
- la lógica moderna para el estudio de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional…2 kB (1690 palabras) - 18:39 12 mar 2024
- un determinado lenguaje formal o lengua natural. Las gramáticas formales aparecen en varios contextos diferentes: la lógica matemática, las ciencias…18 kB (2420 palabras) - 17:33 9 abr 2024
- En razonamiento formal, una conjunción lógica ( ∧ {\displaystyle \land } ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta…6 kB (817 palabras) - 07:44 22 mar 2024
- En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,[1] y por extensión la validez…10 kB (1149 palabras) - 19:13 19 sep 2023
- 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 (5606 palabras) - 15:56 13 feb 2024
- signo proposicional con coordenadas lógicas - ésta es la posición lógica. 3.411 Tanto en geometría como en lógica una posición es una posibilidad: algo
- La lógica es la ciencia que expone las leyes, formas y modos del conocimiento científico. Es una ciencia formal que no tiene contenido, sino que se dedica
- etc. Nosotros veremos principalmente la lógica formal. La lógica de las proposiciones es un sistema formal, que incluye: Sintaxis para producir un e
- modelado matemático, el razonamiento matemático y las relaciones entre estos. Sinónimo: lógica matemática. Wikipedia tiene un artículo sobre lógica formal.
- el número de personas vivas en un momento dado?». W. W. Rouse Ball Lógica Formal (1847) Citado en Robert Perceval Graves: La vida de Sir William Rowan