Absurdo, (reducción al absurdo

)
La reducción al absurdo es un método general de razonamiento que consiste en suponer lo contrario de lo que se busca demostrar, de forma que esto queda demostrado si a partir de dicha suposición se llega a una contradicción, a un resultado imposible. Se opone a la demostración del absurdo.

Alfabeto
Los lenguajes formales son aquellos lenguajes artificiales construidos por los lógicos y los matemáticos con la intención (entre otras) de describir otros lenguajes (ya sean estos, a su vez, naturales o formales). El lenguaje considerado como objeto que se presenta a nuestra consideración es el lenguaje objeto, mientras que el lenguaje por medio del cual podemos hablar acerca del lenguaje objeto es el metalenguaje. Un lenguaje formal está formado por un alfabeto y una gramática. El alfabeto es un conjunto de símbolos no interpretables, también llamados ‘sincategoremas’. La gramática es un conjunto de reglas que determinan qué cadenas de símbolos del alfabeto serán gramaticalmente correctas o bien formadas. (v. fbf, formalización, lenguaje artificial, lenguaje natural, lenguaje objeto, metalenguaje, sistema formal)

Antecedente (implicación)
(1) Una implicación es un enunciado molecular con la forma “si A, entonces B” donde A y B son fbfs o proposiciones. La fbf representada por A se denomina ‘antecedente’ (también implicans, hipótesis o prótasis). La fbf representada por B se denomina consecuente (también implicado, conclusión o apódosis). Las implicaciones también se llaman condicionales o enunciados condicionales. (v. condicional correspondiente). (2) Implicación lógica: un enunciado tautológico de implicación material. (3) Implicación material: una función veritativa que es falsa cuando el antecedente es verdadero y su consecuente falso, y verdadero en los demás casos. También es la conectiva que denota esta función; así como la proposición molecular construida con esta conectiva. Se representa A B. Y queda definida por su tabla de verdad: p V V F F q V F V F p q V F V V

(v. función veritativa, paradojas de la implicación material)

Aporía
Literalmente significa camino sin salida, dificultad. En Lógica se entiende que una aporía es una proposición sin salida lógica, como una dificultad lógica insuperable. Frecuentemente se asimila su significado al de “paradoja”, pero ambos terminos significan cosas diferentes. (v. paradoja)

Argumento
Un argumento es un grupo de enunciados en el que uno o más hacen la función de premisas y uno solo la de conclusión. En los argumentos válidos las premisas y la conclusión están vinculadas por una inferencia lógica. Los argumentos pueden ser deductivos (v. inferencia deductiva) o bien inductivos (v. inducción)

Con fines ilustrativos. y se define por la siguiente tabla de verdad: p V V F F q V F V F p V F F V q . como opuesta a una proposición compuesta o molecular. Una proposición simple es una proposición cuya estructura interna no nos interesa. q. Es una fbf sin conectivas. (v. A B. r.Argumento correspondiente (= deducción) Cada enunciado condicional. en la siguiente tabla de verdad (la que define al condicional) se representan en distintos tonos de verde las atribuciones veritativas. interpretación. A B. etc. (v. proposición. es una proposición cuya estructura interna no es captada por nuestro sistema de notación. sistema formal. Se puede considerar que los axiomas son casos particulares de teoremas obtenidos a partir de cero premisas. y en diferentes tonos de rojo las interpretaciones: p V V F F (v. por ello. se representa por las letras enunciativas p. etc. tabla de verdad) q V F V F p q V F V V Axioma Un axioma es una fbf que por ocupar un determinado lugar en un sistema de proposiciones debe considerado verdadero. se lee "p si y sólo si q" o "p es equivalente a q". condicional correspondiente. de modo que p q. El número de atribuciones veritativas de una fórmula con n proposiciones atómicas viene dado por la siguiente fórmula 2 n. denominada argumento correspondiente o derivación correspondiente del condicional. Se representa por el símbolo " ". (v. proposición molecular) Atribución veritativa Una atribución veritativa es cada conjunto de asignaciones de verdad al conjunto de proposiciones atómicas que forman una fórmula. implicación) Atómica (proposición) Una proposición atómica es una proposición simple. una fórmula con dos atómicas tiene 2 2=2×2=4 atribuciones veritativas. así. teorema) Bicondicional El bicondicional (o coimplicación. una fórmula con tres atómicas: 23=2×2×2=8. o equivalencia) es una función veritativa que arroja un valor de verdad verdadero cuando sus dos componentes tienen el mismo valor de verdad. Es un principio intuitivo y evidente (y por tanto que no necesita ser demostrado) que se constituye como el punto de partida de la demostración de los teoremas de un sistema. se puede reexpresar como una derivación.

(v. La tabla de verdad de una fbf contingente tendrá tanto Vs como Fs (unos y ceros) en la columna correspondiente a su conectiva principal. es decir.An B se puede reexpresar como un enunciado condicional con la forma (A1 A2 . El requisito de consistencia exige que en un sistema formal no haya ninguna fbf A tal que A y ¬A sean ambas teoremas.. función veritativa) Conclusión La conclusión es una proposición que es el resultado de un argumento o inferencia. y a veces: p&q. y por tanto será verdadera para algunas interpretaciones y falsa para otras. A2.. La conjunción de p y q se representa p q. Es la fbf derivada o inferida de las premisas. tautología) Contradicción (1) Una contradicción es la conjunción de cualquier proposición con su negación.(v. argumento correspondiente) Conjunción La conjunción es una función veritativa que es verdadera cuando sus dos componentes son verdaderos. contradicción. la consistencia exige que esté vigente en el sistema el principio de no contradicción: ¬(A ¬A) (v. An) B denominada condicional correspondiente del argumento. conectiva. o bien p•q. inferencia) Condicional correspondiente Cada argumento o derivación. (2) También es la negación de una tautología. teorema) Contingencia Una fbf es contingente cuando no es ni contradictoria ni tautológica. La conjunción se define por la siguiente tabla de verdad: p V V F F (v. derivación. Una contingencia depende de un estado de cosas particular para ser verdadera. y falsa en los demás casos. argumento. A 1. función veritativa) q V F V F p q V F F F Consistencia La consistencia es una propiedad que debe tener todo cálculo en un sistema formal. sistema formal.Un bicondicional o equivalencia se representa también con el símbolo ' '. También se usa la voz “conjuntor” para referirse a la conectiva que denota esta función y a la proposición compuesta en la que actúa como conectiva dominante. una contradicción es una fbf que es falsa para cualquiera de sus posibles interpretaciones (i. equivalencia.. (v. En otras palabras. (v.. su tabla de verdad sólo ..e.

las pruebas muestran cómo la verdad de un conjunto de enunciados llamados ‘premisas’ es incompatible con la falsedad de otro enunciado llamado ‘conclusión’. equivalencia) Deducción En 'deducción' ocasiones se utiliza como sinónimo de derivación o prueba. disyunción exclusiva.tiene Fs o ceros en la columna correspondiente a la conectiva principal). tautología) Contrarrecíproco El contrarrecíproco de un enunciado condicional es su recíproco con cada uno de sus dos componentes negado. (v. contingencia. la negación de cada uno de los enunciados del recíproco). conectiva. prueba) Derivación Una derivación o deducción es una secuencia finita. Se escribe Γ A para denotar que la fbf A puede derivarse del conjunto de fbfs Γ) (v. inducción) o bien inferencia deductiva. insatisfacibilidad. prueba) Demostración Una prueba es una forma de mostrar cómo un enunciado llamado ‘conclusión’ se sigue necesariamente de un conjunto de enunciados llamados ‘premisas’. función veritativa) . Dicho de otra manera. También se llama “disyuntor” a la conectiva que representa dicha función de verdad y cuyo símbolo es " ". Así. Los enunciados contradictorios se dice que son insatisfacibles. derivación) Disyunción Una disyunción (inclusiva) es una función de verdad que es verdadera cuando alguno de sus componentes es verdadero. o el resultado de aplicar una regla de inferencia a alguna(s) de las fbfs que le preceden en la secuencia. y falsa cuando sus dos componentes son falsos. Otras veces se habla de argumentos deductivos como opuestos a los inductivos. argumento correspondiente. o alguna de las premisas aceptadas. La disyunción inclusiva se define por la siguiente tabla de verdad: p V V F F q V F V F p q V V V F (v. el contrarrecíproco de p q es ¬q ¬p (es decir. (v. Una implicación y su contrarrecíproco son equivalentes lógicamente.derivación. según se dé en ellos inferencia inductiva (v. (v. de fbfs cuyo último miembro es la fbf derivada. (v. También se denomina “disyunción” al enunciado molecular en el que la conectiva dominante es una disyunción. y cada uno de los demás es o bien un axioma.

Se representa por el símbolo " ". la que relaciona fbfs más complejas. Si A y B son dos proposiciones equivalentes. En otras palabras. pero que parece válido. literalmente. regla de inferencia) Falacia Una falacia es un argumento inválido. Los paréntesis son los símbolos auxiliares que nos pueden ayudar a identificar las relaciones de dominancia en las proposiciones moleculares.Disyunción exclusiva La disyunción exclusiva es una función de verdad que arroja un valor de verdad verdadero cuando sus dos componentes tienen diferente valor de verdad. y que viene a decir que si en una derivación nos encontramos en una línea con una contradicción. la más general. proposición molecular) Equivalencia Dos fbfs son equivalentes cuando sus tablas de verdad arrojan los mismos valores de verdad en la columna de su conectiva dominante para cualquiera de sus interpretaciones. cualquier cosa". Enunciado (proposición) Una proposición o enunciado es el significado de cualquier frase declarativa (o enunciativa) que pueda ser o verdadera (V) o falsa (F). En el caso de las falacias formales la no validez del argumento se debe . en la siguiente línea estamos autorizados para poner cualquier enunciado. si A B es tautológica. La doble negación de un enunciado equivale lógicamente a su afirmación: ¬¬p p Dominancia Una proposición molecular está formada por más de dos fbfs. Se trata de una regla derivada de inferencia también llamada eliminación débil del negador. proposición atómica. o también " " Doble negación Ley lógica que es la negación de la negación de un enunciado. escribimos A B (v. entonces A B. significa "de una contradicción. bicondicional). Su esquema argumental es: A ¬A B (v. Ex contradictione quodlibet Esta expresión. derivación. Se suelen distinguir dos grandes grupos de falacias: las formales y las informales. Nos referimos a V o a F como los valores de verdad del enunciado. las falacias se caracterizan simplemente por ser errores o descuidos en el razonamiento. La conectiva dominante de dicha proposición molecular es la que tiene mayor alcance. argumentando que mientras que los sofismas son intencionales. cálculo. Hay quien distingue entre “falacia” y “sofisma”. (v. Equivalencia tautológica Las equivalencias tautológicas son fbfs que tienen la forma A B donde A y B son proposiciones (atómicas o moleculares) que son lógicamente equivalentes.

el otro es el de verdad. disyunción. (v. Aunque pueda ser razonable aceptar la verdad de una conclusión sobre una base inductiva. p q. conjunción. inferencia. no sería completamente inconsistente no pronunciarse sobre la verdad o falsedad de la conclusión o incluso llegar a negar la verdad de la conclusión (a pesar de la verdad de las premisas). función veritativa) Función veritativa Una función veritativa es una asignación de valores de verdad con valores de verdad. y que cumple con los requisitos que establece dicha gramática como adecuados para las fórmulas bien formadas. cuando no es el caso. cuando no hay inferencia lógica entre ambas. p q. hablamos de fórmulas bien formadas o fbf. fbf) Función Una función es una regla que sirve para asociar un miembro o una secuencia de miembros de un conjunto con otro miembro de otro conjunto. Puede o no adecuarse a la gramática de dicho lenguaje. fórmula. Es una cadena de símbolos del alfabeto del lenguaje formal que forma la gramática del lenguaje formal. implicación. negación. Aprende Lógica hemos examinado las falacias formales de negación del antecedente y de afirmación del consecuente. en caso de que sí se adecúe. es decir. Una proposición es falsa cuando no es verdadera. sintácticas. bicondicional. (v. lenguaje objeto. de estructura del argumento: ningún argumento de su misma forma es válido. metalenguaje) Fórmula Una fórmula es una cadena de símbolos del alfabeto del lenguaje formal. En Aprende Lógica formalizamos cuando traducimos expresiones del lenguaje natural al lenguaje formal de la lógica proposicional. lenguaje formal) Formalización Formalizar un lenguaje equivale a especificar su estructura mediante un metalenguaje (un lenguaje que se usa para hablar sobre otro). (v. p q. p q. validez semántica. (v. valor de verdad) Fbf Acrónimo de ‘fórmula bien formada’. estamos ante un argumento que involucra una inferencia inductiva. (v. Las cinco funciones veritativas que hemos estudiado en Aprende Lógica son: ¬p. tabla de verdad) Invalidez Se dice que un argumento es inválido cuando no se puede justificar lógicamente el paso de las premisas a la conclusión. lenguaje formal. validez sintáctica).a razones puramente formales. Falso Uno de los dos posibles valores de verdad que puede tener una proposición. Las inferencias . (v. verdad. (v. lenguaje natural. Inducción Cuando un argumento únicamente asegura que la verdad de sus premisas hace más probable que la conclusión sea verdadera. Las funciones veritativas de las expresiones anteriores vienen definidas por sus respectivas tablas de verdad.

inferencia. (v. inferencia) Insatisfabilidad Una proposición es insatisfacible cuando no hay ninguna posible interpretación que la haga verdadera. siguiendo la propuesta de Douglas Hofstadter en su libro Gödel. Por otra parte. esto es. definir unas fbfs en términos de otras. Una inferencia deductiva tiene éxito sólo si sus premisas proporcionan un apoyo tan completo e indudable para la conclusión. (Barcelona. inducción. . hay un grupo de reglas de inferencia derivadas que hemos denominado de interdefinición por mostrar cómo las funciones veritativas que definen la conjunción la disyunción y la implicación se pueden expresar de manera equivalente en términos de otras conectivas. Bach: un eterno y grácil bucle. (v. El intercambiador es el título de un ingenioso relato de Fredric W. En otras palabras. Interpretación Una interpretación es cada una de las combinaciones de los posibles valores de verdad de una fbf. desde lo menos general hacia lo más general. deducción. inferencia deductiva) Inferencia deductiva Cuando un argumento asegura que la verdad de sus premisas garantiza la verdad de su conclusión. Ed. El argumento correspondiente de (A B) (¬A B) es: A B ¬A B y es una regla de interdefinición que define el implicador en términos del disyuntor. interpretación) Intercambiador (definición de la implicación en términos de la disyunción) En Aprende Lógica nos hemos referido a la tautología (A B) (¬A B) como "intercambiador". Brown que se puede conseguir siguiendo este enlace.inductivas proceden desde lo particular hacia lo general. o desde lo más general a lo menos general. Las inferencias deductivas permiten establecer conclusiones seguras porque proceden de lo general a lo particular. la expresión verbal de un juicio es un enunciado. Tusquets). Interdefinición Una de las consecuencias del concepto de equivalencia lógica es que permite la interdefinición entre fbfs. (v. se dice que involucra una inferencia deductiva. modelo) Juicio Un juicio es el acto mental que tiene como resultado una proposición o enunciado. atribución veritativa. Otra forma de decir que una proposición molecular es insatisfacible es decir que es contradictoria. argumento. argumento. (v. que sería completamente inconsistente o absurdo suponer simultáneamente la verdad de las premisas y la falsedad de la conclusión. A ello aluden los conceptos de condicional correspondiente y de argumento correspondiente. Escher. contradicción.

y p es verdadero. (v.Lenguaje objeto Un lenguaje objeto es un lenguaje considerado como objeto que se presenta a nuestra consideración. en Aprende Lógica hacemos uso de la metalógica cuando presentamos los signos que usa la el lenguaje formal. nos refererimos a un a ley lógica como a una tautología. Por ejemplo. equivalencia tautológica) Lógica Alfredo Deaño define la lógica la ciencia de los principios de la validez formal de la inferencia. Dicho brevemente. un lenguaje objeto es un lenguaje al que se refiere cualquier metalenguaje. entonces q también debe ser verdadero). que tienen la estrucutra A B. lenguaje objeto. Hemos dividido nuestro estudio de las leyes lógicas en dos: las implicaciones tautológicas. (v. implicación) . metalenguaje) Ley En el contexto de Aprende Lógica. Las investigaciones sobre un lenguaje objeto se realizan por medio de un metalenguaje. un conjunto de fbfs. por su parte que el principal problema que aborda la lógica es "la distinción entre el razonamiento correcto e incorrecto". (v. Cuando tomamos el lenguaje formal como lenguaje objeto. es decir. y las equivalencias tautológicas. Irving Copi afirma. interpretación) Modus ponens Llamado también modus ponendo ponens. con la estructura A B. ej. una fbf. o razonamiento directo. un sistema) son verdaderas para dicha interpretación. lenguaje formal. (v. metalenguaje) Modelo Un modelo es una interpretación en la que las expresiones de interés (p. el enunciado "' ' es una de las conectivas" es un enunciado metalógico. la implicación tautológica conocida como Modus Ponens que afirma que si tenemos una implicación y además la afirmación de su antecedente. la metalógica es el metalenguaje de la lógica. Así. Adquiere la siguiente forma lógica: [(p q) p] q (en lenguaje natural sería algo así como si p implica q. (v. Su argumento correspondiente es: A B A B (v. lenguaje objeto) Metalógica La metalógica es el estudio de los sitemas formales. Metalenguaje Un metalenguaje es un lenguaje por medio del cual hablamos de otro lenguaje llamado lenguaje objeto. podemos inferir como conclusión el consecuente. nos servimos para su estudio de la metalógica.

(v. una paradoja es un concepto o proposición que crea problemas lógicos o semánticos derivados del hecho de que se niega a sí misma después de haberse afirmado a sí misma. pone (afirma)”. El silogismo disyuntivo tiene la siguiente forma lógica: [(p q) (¬p)] q y también [(p q) (¬q)] p Y sus argumentos correspondientes: A B A B ¬A ¬B B A Paradoja Una paradoja era. y (2) que una implicación material es verdadera siempre que el consecuente es verdadero. paradojas de la implicación material) paradojas de la implicación material Dos consecuencias de la definición de la implicación material que violan las intuiciones informales acerca de la implicación son: (1) que la implicación material es verdadera siempre que el antecedente es falso. originalmente. entonces podemos inferir como conclusión el otro miembro de la disyunción de marras. problemática. pero son perfectamente lógicas (no presentan contradicciones). o contraintuitiva. ello nos permite inferir como conclusión la negación del antecedente. especialmente una verdad contraintuitiva. cualquier afirmación sorprendente. Para la lógica moderna. El silogismo disyuntivo es una implicación tautológica que afirma que si disponemos de una disyunción y además la negación de uno de sus miembros. que significa literalmente “modo que quitando (negando). Silogismo disyuntivo Llamado también Modus Tollendo Ponens. paradoja) .modus ponendo tollens Modus Ponendo Tollens significa “modo que poniendo (afirmando) quita (niega)”. y además la negación de su consecuente. (v. o razonamiento indirecto. entonces p también debe ser falso) Su argumento correspondiente es: A B ¬B ¬A (v. y si también disponemos uno de los miembros de dicha conjunción. implicación). Es una implicación tautológica que dice que si tenemos una implicación. Estas llamadas paradojas son problemáticas sólo desde el punto de vista intuitivo. y q es falso. Se expresa en forma de ley: [(p q) ¬q] ¬p (en lenguaje natural sería algo así como si p implica q. ello nos permite inferir la negación del otro miembro como conclusión. implicación. Es una implicación tautológica que afirma que si tenemos la imposibilidad simultánea de la conjunción de los dos miembros de una conjunción. En forma de implicación tautológica se representa: [¬(p q) p] ¬q o bien: [¬(p q) q] ¬p Modus tollens Llamado también modus tollendo tollens [“modo que quitando (negando) quita (niega)”].

q. (v. En Aprende Lógica se estudian multitud de reglas de inferencia. (v. si dos proposiciones son contradictorias. proposición. Principio del tercero excluso También se conoce como "tertium non datur". proposición atómica. Según el principio de tercio excluso. Su representación simbólica corresponde a la tautología: A ¬A (v. como por ejemplo el Modus Ponens o el Modus Tollens. derivación. etc. Es una fbf sin conectivas. teorema) . proposición atómica) Prueba (=demostración) Una prueba es una forma de mostrar cómo un enunciado llamado ‘conclusión’ se sigue necesariamente de un conjunto de enunciados llamados ‘premisas’. Una proposición simple es una proposición cuya estructura interna no nos interesa. (v.Premisa Es una fbf de que se derivan o infieren otras fbfs. En un argumento. se representa por las letras enunciativas p. prueba. (v. Es una fbf con al menos una conectiva binaria. (v. y entre estos dos valores de verdad no se admite nada intermedio o “tercero”. por ello. Dicho de otra manera. sintáctica). r. función. y operan sin referencia a los significados de las fórmulas que manipulan. proposición molecular) Proposición molecular Una proposición molecular es una proposición compuesta. Son funciones que relacionan teoremas con teoremas. toda proposición es verdadera o falsa. de no contradicción y de razón suficiente). derivación) Regla de inferencia También se llaman reglas de transformación o de producción. Una regla de inferencia es una regla explícita para producir un teorema a partir de otro(s) teorema(s) dado(s). Nos referimos a V o a F como los valores de verdad del enunciado. por lo que contiene dos o más proposiciones simples (componentes) unidos por una conectiva. proposición molecular) Proposición atómica Una proposición atómica es una proposición simple. al menos una de ellas es falsa. Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad. en términos semánticos. es una proposición cuya estructura interna no es captada por nuestro sistema de notación. valor de verdad. falso) Proposición Una proposición o enunciado es el significado de cualquier frase declarativa (o enunciativa) que pueda ser o verdadera (V) o falsa (F). verdad. proposición. Una proposición compuesta sólo tiene un valor de verdad para una determinada interpretación. En los sistemas formales las reglas de inferencia son de naturaleza formal (esto es. como opuesta a una proposición compuesta o molecular. las premisas son las proposiciones a las que se apela para apoyar la conclusión. como opuesta a una proposición atómica. las pruebas muestran cómo la verdad de un conjunto de enunciados llamados ‘premisas’ es incompatible con la falsedad de otro enunciado llamado ‘conclusión’.

validez sintáctica) Validez sintáctica Una inferencia es sintácticamente válida si y sólo si su conclusión puede ser derivada (o deducida) de las premisas por medio de las reglas de inferencia establecidas. regla de inferencia. valor de verdad) Tautología Una tautología es una fbf que es verdadera para cualquiera de sus posibles interpretaciones (i. interpretación. validez semántica) Valor de verdad El hecho de ser verdadera o falsa una proposición. La lógica que estudiamos en Aprende Lógica solamente admite estos dos valores de verdad. en la siguiente tabla de verdad (la que define a la conjunción) se representan en distintos tonos de verde las atribuciones veritativas. Los teoremas.(v. derivación. Con fines ilustrativos. se puede definir un axioma como una demostración de cero premisas. y en diferentes tonos de rojo las interpretaciones: p V V F F q V F V F p q V F F F (v. equivalencia tautológica) Teorema Un teorema es una fbf que se ha probado o se puede probar. Por tanto. Se puede ver a los axiomas como casos particulares de los teoremas. así. contingencia. Tabla de verdad Una tabla de verdad es una representación gráfica de todos los posibles valores de verdad de una proposición molecular. son proposiciones no inmediatamente evidentes que se deducen de los axiomas. inferencia. La exclusión de la posibilidad de que una proosición no pueda ser ni verdadera ni falsa queda reflejada . (v. inferencia. A syss B significa que B es condición necesaria y suficiente para A. un teorema es cualquier fbf deducida a partir de axiomas o de otros teoremas mediante reglas de inferencia válidas. atribución veritativa. Notación: A (A es un teorema). su tabla de verdad sólo tendrá Vs en la columna correspondiente a su conectiva principal). con frecuencia.Syss Acrónimo de la expresión “si y sólo si”. por SA (A es un teorema en el sistema S).e. (v. Esta expresión se formaliza: A B. y donde se muestran todas las posibles interpretaciones de cada asignación veritativa. contradicción. prueba. validez sintáctica) Validez semántica Una inferencia es semánticamente válida si y sólo si no puede ser el caso que las premisas sean verdaderas y su conclusión falsa a la vez. cálculo. axioma. (v.

Así. obviamente. falso. verdad. y posible) (v. Una proposición es verdadera cuando no es falsa. falso. valor de verdad) . (v. cuando su significado guarda cierta relación con un estado de cosas del mundo. principio de tertio excluso) Verdad (verdadero) La verdad. es decir.en el principio de tercio excluso (o principio de bivalencia) Las lógicas que no admiten el principio de tercio excluso son las lógicas poliádicas o multivariadas. es uno de los dos valores de verdad que puede adoptar una proposición: el otro es el de falsedad. falso. por ejemplo Lukasiewicz y Tarski han formulado luna lógica de tres valores (trivalente) en la que se admiten tres valores de verdad: verdadero.

Sign up to vote on this title
UsefulNot useful