Resultados de la búsqueda

…, «[[Gödel]] existe», «el mundo terminará en una semana»); si se llama esa declaración '''X''', entonces se tiene que '''X''' afirma «Si X es verdad, entonces Y… …anterior se puede reformular como «si X es verdad, entonces Y». Porque esa declaración verdadera es equivalente a '''X''', '''X''' es verdad. Por lo tanto, '''Y'' …

…ional|si y solo si]] el [[antecedente (lógica)|antecedente]] es [[Negación lógica|negado]]. La regla establece que ''P'' implica ''Q'' es lógicamente equival …ógico]] que significa que <math>\neg P \lor Q</math> es una [[Consecuencia lógica|consecuencia sintáctica]] de <math>(P \to Q)</math> en algún [[sistema form …

…[[Disyunción lógica|argumento disjunctivo]] de una [[prueba formal|prueba lógica]]. Es la [[inferencia]] de que la afirmación <math>P</math> implica en la… …lógica|metalógico]] que significa que <math>Q</math> es una [[consecuencia lógica|consecuencia sintáctica]] de <math>P \to Q</math> y <math>R \to Q</math> y …

…una [[regla de inferencia]], o regla de transformación, en el campo del [[Lógica proposicional|cálculo proposicional]]. …esta información contradictoria es que la persona está haciendo una falsa declaración sobre el timbre del teléfono. …

…encendidos» también sería vacuamente verdadera, tanto como la [[conjunción lógica|conjunción]] de las dos: «todos los teléfonos celulares en la habitación es …vacuas porque el hecho de que el antecedente sea falso impide utilizar la declaración para inferir cualquier cosa sobre el valor de verdad del [[apódosis|consecu …

…a una declaración generalizada cuantificada o proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el [[cuantif [[Categoría:Lógica de predicados]] …

[[Archivo:Venn1001.svg|miniaturadeimagen|Equivalencia lógica]] …s los [[Estructura (lógica)|modelos]] (Mendelson 1979:56). La equivalencia lógica de ''p'' y ''q'' algunas veces se expresa como <math>p \equiv q</math>, E'' …

…egla de inferencia|reglas de inferencia]] [[Validez lógica|válidas]] de la lógica proposicional. Esto nos permite [[Inferencia|inferir]] un condicional de un …h> en el primer caso, y <math>(Q \to P)</math> en otros son [[consecuencia lógica|consecuencia sintáctica]] de <math>(P \leftrightarrow Q)</math> en algún [[ …

…az'' es el estado de poseer un valor verdadero negativo o una conectividad lógica nula. En un sistema lógico proposicional de verdad-funcional es uno de los Otro uso es el de varias teorías formales (por ejemplo, cálculo de [[lógica intuicionista]]) donde una constante proposicional (ej. un conectivo nulo, …

En [[lógica proposicional]], la '''[[tautología]]''' es una [[reglas de reemplazo|regla …ica|metalógico]] que representa "puede ser reemplazado en una demostración lógica por". …

…do ampliamente estudiadas y constituyen las extensiones más directas de la lógica finitaria. Sin embargo, estas no son las únicas lógicas infinitarias que se …mma < \delta}{A_{\gamma}}</math> se utilizan para indicar una [[Disyunción lógica|disyunción]] infinita en un conjunto de fórmulas de cardinalidad <math>\del …

En [[lógica matemática]], una sentencia de una [[lógica de predicados]] es una [[fórmula bien formada]] con valor booleano y sin [[ …lsedad) de una sentencia, hay que hacer referencia a una [[Interpretación (lógica)|interpretación]] de la teoría. Para las teorías de primer orden, las inter …

…ógica]]. Alumno de [[Alexius Meinong]], fue uno de los fundadores de la [[lógica deóntica]] y es principalmente conocido por sus contribuciones en ese campo …der Logik und Logistik '' ('' Fundamentos de la teoría de objetos para la lógica y la logística '') con Meinong como supervisor. …

El '''teorema de completitud de Gödel''' es un importante teorema de la [[lógica matemática]], que fue demostrado por primera vez por [[Kurt Gödel]] en 1929 {{teorema|En una [[lógica de primer orden]], toda fórmula que es válida en un sentido lógico es demos …

…f name="Hurley_1">Hurley</ref><ref name="Copi_1">Copi y Cohen</ref> y en [[lógica proposicional]], una [[regla de inferencia]] válida. …iminar una disyunción - el «o» - de una [[demostración formal|demostración lógica]]. …

…Filosofía''. Vol. 5–6, p. 76. Macmillan, 1973.</ref><ref>Copi, Irving M. ''Lógica Simbólica''. 5ta ed. Macmillan, 1979. See the Rules of Replacement, pp.… …gico]] significando que <math>(\neg Q \to \neg P)</math> es [[consecuencia lógica|consecuencia sintáctica]] de <math>(P \to Q)</math> en algún [[Sistema form …

…9; en el Kleene original utiliza un tilde elongado ∾ para una equivalencia lógica, aquí aproximadamente con una "S perezosa".)</ref> …''Lehrbuch der Logic'', § 64, p. 41] "(Hamilton 1860:68)</ref> aunque la [[lógica intuicionista]] no lo permite.<ref>El ^o de fórmula de Kleene *{{ …

…'''regla de inferencia''', o '''regla de transformación''' es una [[forma lógica]] que consiste en una función que toma premisas, analiza su [[sintaxis]],… …emántica de la [[lógica clásica]] (así como la semántica de muchas otras [[lógica no clásica|lógicas no clásicas]]), en el sentido de que si las premisas son …

En [[lógica formal]], un '''cuantificador''' es una expresión que indica la cantidad de …año 1879 su libro [[Begriffsschrift]], en el cual colocó las bases de la [[lógica matemática]] moderna, desarrollando la primera teoría coherente sobre la cu …

== Declaración formal == == Explicación y declaración informal == …