Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- {{Reglas de transformación}} Esta es una lista de [[regla de inferencia|reglas de inferencia]], leyes lógicas que están relacionadas con fórmulas matemáticas. …16 kB (2446 palabras) - 23:24 26 feb 2025
Resultados por texto de página
- {{Reglas de transformación}} …, estoy vivo; Asimismo, es verdad que si estoy vivo, estoy respirando. Las reglas pueden ser establecidas formalmente como sigue: …2 kB (386 palabras) - 17:19 7 nov 2023
- …'<sub>''n''</sub>, en un [[Sistema lógico|sistema]] de axiomas y reglas de inferencia S, escribimos: Un [[teorema]] es una fórmula que se sigue de los axiomas sin hipótesis adicionales, lo cual se escribe [[lenguaje formal …2 kB (300 palabras) - 23:36 8 feb 2024
- {{Reglas de transformación}} …nueva constante o variable simbólica ''c''. La regla tiene la restricción de que los constantes o variables ''c'' introducidas por la regla deben ser nu …1 kB (185 palabras) - 09:52 8 ago 2019
- {{Reglas de transformación}} …ica|pruebas]] más largas mediante la derivación de una de las conjunciones de una conjunción en una línea por sí misma. …2 kB (370 palabras) - 18:05 5 nov 2024
- {{Reglas de transformación}} …'''introducción de la negación''' es una [[regla de inferencia]], o regla de transformación, en el campo del [[Lógica proposicional|cálculo proposiciona …2 kB (265 palabras) - 03:25 15 ene 2022
- {{Reglas de transformación}} …o en un axioma. Es uno de los principios básicos utilizados en la [[teoría de la cuantificación]]. …3 kB (472 palabras) - 15:58 20 mar 2024
- {{Reglas de transformación}} …declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el [[cuantifica …3 kB (392 palabras) - 07:30 12 oct 2020
- {{Reglas de transformación}} …dadera, y la proposición ''q'' es verdadera, entonces la conjunción lógica de dos proposiciones ''p y q'' es verdadera. Por ejemplo, si es verdad que est …2 kB (336 palabras) - 17:22 7 nov 2023
- {{Reglas de transformación}} …sible la introducción de disyunciones de pruebas lógicas. Es la inferencia de que si ''P'' es verdad, entonces ''P'' o ''Q'' tiene que ser verdad. …3 kB (463 palabras) - 17:28 15 oct 2024
- {{Reglas de transformación}} …roposicional]], la '''[[tautología]]''' es una [[reglas de reemplazo|regla de reemplazo]] comúnmente utilizada<ref>{{cita libro |título=A Concise Introdu …3 kB (534 palabras) - 15:19 1 oct 2021
- {{Referencias|t=20240421141417}}{{Reglas de transformación}} …to cadena''', '''regla de cadena''', o el '''principio de transitividad''' de la implicación, y a veces abreviado '''SH'''). …3 kB (463 palabras) - 22:44 4 mar 2025
- …ormal]]) está constituido de [[axiomas]] y [[regla de inferencia|reglas de inferencia]] que pueden ser usados para [[cálculo lógico|derivar]] los [[teorema]]s de …da línea de un [[cálculo lógico]] es meramente una [[consecuencia lógica]] de las líneas que la preceden. No debería haber ningún elemento perteneciente …2 kB (293 palabras) - 06:19 21 ago 2020
- {{Reglas de transformación}} …ltáneamente'' verdaderos; y uno de ellos es verdadero; entonces se puede [[Inferencia|inferir]] que el otro término ''no'' puede ser verdadero. …2 kB (338 palabras) - 19:32 12 nov 2024
- {{Reglas de transformación}} …os una de las afirmaciones P y R son verdaderas, y puesto que al menos una de ellas es suficiente para confirmar Q, entonces Q es ciertamente correcto. …3 kB (500 palabras) - 17:25 7 nov 2023
- {{Reglas de transformación}} …. La introducción del bicondicional es la [[conversión lógica|conversión]] de la [[eliminación del bicondicional]]. …2 kB (364 palabras) - 17:14 7 nov 2023
- {{Reglas de transformación}} …de sus antecedentes es verdadero, entonces alguno de sus consecuentes debe de ser verdadero. …3 kB (502 palabras) - 17:32 7 nov 2023
- …ibliotek Salzburg Artes liberales Logica.jpg|miniaturadeimagen|Ilustración de leyes del pensamiento. ]] …s of thought|obra=[[Enciclopedia Británica]]|fecha=|fechaacceso=18 de mayo de 2021}}</ref> …2 kB (390 palabras) - 23:20 11 ago 2024
- {{Reglas de transformación}} Esta es una lista de [[regla de inferencia|reglas de inferencia]], leyes lógicas que están relacionadas con fórmulas matemáticas. …16 kB (2446 palabras) - 23:24 26 feb 2025
- {{Reglas de transformación}} En [[lógica]], una '''regla de inferencia''', o '''regla de transformación''' es una [[forma lógica]] que consiste en una función que… …11 kB (1834 palabras) - 01:35 23 feb 2025
- {{Reglas de transformación}} …><ref>Hurley</ref><ref>Moore and Parker</ref> '''GEN''') es una [[regla de inferencia]] [[Validez (lógica)|válida]]. Ella establece que si se ha derivado <math> …4 kB (555 palabras) - 09:43 8 ago 2019