Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- == 41 Símbolos Lógicos== {{traducido ref|pt|Lista de símbolos lógicos|oldid=50762723}} …25 kB (3563 palabras) - 04:51 10 mar 2025
Resultados por texto de página
- * [[Anexo:Símbolos lógicos|Símbolos lógicos]] [[Categoría:Símbolos lógicos]] …2 kB (380 palabras) - 22:12 10 jul 2019
- …n]] es monótona, sí y solamente sí, la regla fuera admisible. Los sistemas lógicos con esta propiedad son ocasionalmente llamados lógicas monotónicas con el… …2 kB (339 palabras) - 04:18 20 may 2022
- * [[Lógica|Lógicos]] * Aritméticos y lógicos …2 kB (364 palabras) - 23:50 24 may 2024
- In la mayoría de sistemas lógicos, la [[negación]], el [[condicional material]] y falso se relacionan como: Los sistemas lógicos pueden o no contener el [[principio de explosión]] ("ex falso quodlibet",… …3 kB (540 palabras) - 20:10 26 oct 2024
- …e verdad]] '''V''' (verdadero) y '''F''' (falso), aunque estos dos valores lógicos también se pueden denotar como '''sí''' y '''no''', o como '''1''' y '''0'' === Intersección, producto o multiplicación lógicos === …7 kB (1084 palabras) - 20:12 10 nov 2024
- …s una nueva clase de esquemas de [[lógica plurivalente]] donde los valores lógicos y los [[bit]]s están representados por realizaciones diferentes de un [[pro == Espacio e hiperespacio lógicos basados en el ruido == …10 kB (1482 palabras) - 15:28 23 ene 2025
- [[Categoría:Sistemas lógicos]] …2 kB (293 palabras) - 06:19 21 ago 2020
- …ande el poder expresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.<ref name=SEP/> …lógicas de segundo orden. Debido a esos problemas se han buscado sistemas lógicos intermedios que generalicen la lógica de primer orden sin llegar a ser tan …8 kB (1346 palabras) - 16:30 15 dic 2024
- …sta notación es conocida como [[notación polaca]] y en ella los conectivos lógicos son prefijados en vez de infijados como ocurre en la notación usual. Esta… [[Categoría:Lógicos de Polonia]] …6 kB (972 palabras) - 23:00 24 dic 2023
- …ipio de la [[lógica clásica]] y de algunos otros [[Sistema lógico|sistemas lógicos]] (por ejemplo, la [[lógica intuicionista]]) según el cual de una [[proposi …)|inconsistentes]]. En una solución alternativa a estos problemas, algunos lógicos han ideado teorías alternativas de la [[Lógica matemática|lógica]] llamada …6 kB (930 palabras) - 08:44 21 abr 2024
- …ador universal|universales]], seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Algunos [[sistema lógico|sistemas lógicos]] solo pueden tratar con una [[teoría (lógica)|teoría]] cuyas fórmulas esté …7 kB (1131 palabras) - 08:35 20 oct 2020
- [[Categoría:Símbolos lógicos]] …2 kB (374 palabras) - 11:53 7 feb 2024
- …"lo incondicionalmente obligatorio es obligatorio", es decir (como muchos lógicos han insistido) UA →! A. Mientras tanto, el axioma 5 carece de un objeto al …es verdadero o !X no es satisfactorio. (Esto hace que sea inútil para los lógicos deónticos). …8 kB (1236 palabras) - 15:14 12 jun 2023
- Una formulación alternativa es: los distintos lenguajes lógicos permiten relaciones de consecuencia lógica entre conjuntos infinitos de ora …3 kB (420 palabras) - 12:21 19 abr 2024
- …una '''simbología''' enumera y describe los [[símbolo no lógico|signos no lógicos]] de un [[lenguaje formal]]. En [[álgebra universal]], enumera las operacio …aje de primer orden]] <math>L</math>, al que proporciona los [[símbolos no lógicos]]. Sin embargo, la [[cardinalidad]] del lenguaje <math>L</math> siempre ser …10 kB (1726 palabras) - 20:23 20 ene 2025
- …as variables ligadas, asociadas con [[Cuantificador lógico|cuantificadores lógicos]]; en consecuencia, el valor lógico de esta expresión depende del valor de …orden del árbol. Los operadores de vinculación de variables son operadores lógicos que se encuentran en casi todos los lenguajes formales. Un operador de vinc …9 kB (1601 palabras) - 18:10 19 ago 2024
- …precisa, indicar la operación de '''igualdad lógica''' entre los operandos lógicos ''x'' e ''y'' mediante cualquiera de las siguientes formas: Algunos lógicos, sin embargo, hacen una distinción firme entre una ''forma funcional'', com …6 kB (881 palabras) - 11:44 29 ene 2024
- *[[Anexo:Símbolos lógicos|Lista de símbolos lógicos]] …6 kB (913 palabras) - 14:54 11 dic 2023
- …tal para su funcionamiento. La sincronización de relojes ya sean físicos o lógicos aseguran que los procesos se realicen de manera secuencial y ordenada. Existen 2 tipos de relojes: los físicos y los lógicos. Los primeros están relacionados con el tiempo real mientras que en los seg …6 kB (986 palabras) - 16:48 25 feb 2025
- [[Categoría:Sistemas lógicos|Intuicionista]] …3 kB (423 palabras) - 01:05 2 dic 2023