P. 1
Glosario de lógica

Glosario de lógica

|Views: 17|Likes:

More info:

Published by: Claudio Damian Sacco on Aug 19, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

04/19/2014

pdf

text

original

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)

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

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

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

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. significa "de una contradicción. pero que parece válido. en la siguiente línea estamos autorizados para poner cualquier enunciado. Hay quien distingue entre “falacia” y “sofisma”. o también " " Doble negación Ley lógica que es la negación de la negación de un enunciado. Nos referimos a V o a F como los valores de verdad del enunciado. Si A y B son dos proposiciones equivalentes. proposición atómica. bicondicional). argumentando que mientras que los sofismas son intencionales. 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). Se trata de una regla derivada de inferencia también llamada eliminación débil del negador. 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. regla de inferencia) Falacia Una falacia es un argumento inválido. 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. literalmente. cálculo. entonces A B. Su esquema argumental es: A ¬A B (v. La conectiva dominante de dicha proposición molecular es la que tiene mayor alcance. la que relaciona fbfs más complejas. En el caso de las falacias formales la no validez del argumento se debe . cualquier cosa". las falacias se caracterizan simplemente por ser errores o descuidos en el razonamiento. si A B es tautológica.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. Se suelen distinguir dos grandes grupos de falacias: las formales y las informales. 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. escribimos A B (v. (v. Ex contradictione quodlibet Esta expresión. En otras palabras. Se representa por el símbolo " ". derivación. Los paréntesis son los símbolos auxiliares que nos pueden ayudar a identificar las relaciones de dominancia en las proposiciones moleculares.

fórmula. Es una cadena de símbolos del alfabeto del lenguaje formal que forma la gramática del lenguaje formal. de estructura del argumento: ningún argumento de su misma forma es válido. Las inferencias . Una proposición es falsa cuando no es verdadera. Puede o no adecuarse a la gramática de dicho lenguaje. implicación. validez sintáctica). estamos ante un argumento que involucra una inferencia inductiva. cuando no hay inferencia lógica entre ambas. conjunción. validez semántica. valor de verdad) Fbf Acrónimo de ‘fórmula bien formada’. lenguaje formal) Formalización Formalizar un lenguaje equivale a especificar su estructura mediante un metalenguaje (un lenguaje que se usa para hablar sobre otro). p q. lenguaje objeto. Las funciones veritativas de las expresiones anteriores vienen definidas por sus respectivas tablas de verdad.a razones puramente formales. (v. (v. p q. bicondicional. 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. sintácticas. En Aprende Lógica formalizamos cuando traducimos expresiones del lenguaje natural al lenguaje formal de la lógica proposicional. Las cinco funciones veritativas que hemos estudiado en Aprende Lógica son: ¬p. Inducción Cuando un argumento únicamente asegura que la verdad de sus premisas hace más probable que la conclusión sea verdadera. 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. Aprende Lógica hemos examinado las falacias formales de negación del antecedente y de afirmación del consecuente. p q. 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). Aunque pueda ser razonable aceptar la verdad de una conclusión sobre una base inductiva. (v. es decir. inferencia. hablamos de fórmulas bien formadas o fbf. Falso Uno de los dos posibles valores de verdad que puede tener una proposición. lenguaje formal. negación. (v. (v. lenguaje natural. disyunción. en caso de que sí se adecúe. (v. p q. (v. cuando no es el caso. el otro es el de verdad. 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. metalenguaje) Fórmula Una fórmula es una cadena de símbolos del alfabeto del lenguaje formal. verdad.

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

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

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)”]. o razonamiento indirecto. problemática. pero son perfectamente lógicas (no presentan contradicciones). pone (afirma)”. Estas llamadas paradojas son problemáticas sólo desde el punto de vista intuitivo. que significa literalmente “modo que quitando (negando). cualquier afirmación sorprendente. entonces podemos inferir como conclusión el otro miembro de la disyunción de marras. implicación. y (2) que una implicación material es verdadera siempre que el consecuente es verdadero. ello nos permite inferir la negación del otro miembro como conclusión. o contraintuitiva. y q es falso. implicación). entonces p también debe ser falso) Su argumento correspondiente es: A B ¬B ¬A (v. especialmente una verdad contraintuitiva. originalmente. y si también disponemos uno de los miembros de dicha conjunción. 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. Para la lógica moderna. (v.modus ponendo tollens Modus Ponendo Tollens significa “modo que poniendo (afirmando) quita (niega)”. Se expresa en forma de ley: [(p q) ¬q] ¬p (en lenguaje natural sería algo así como si p implica q. y además la negación de su consecuente. paradoja) . Silogismo disyuntivo Llamado también Modus Tollendo Ponens. 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. 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. (v. 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. 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. ello nos permite inferir como conclusión la negación del antecedente. Es una implicación tautológica que dice que si tenemos una implicación.

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

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

falso.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 decir. falso. (v. por ejemplo Lukasiewicz y Tarski han formulado luna lógica de tres valores (trivalente) en la que se admiten tres valores de verdad: verdadero. principio de tertio excluso) Verdad (verdadero) La verdad. cuando su significado guarda cierta relación con un estado de cosas del mundo. valor de verdad) . y posible) (v. verdad. obviamente. Así. es uno de los dos valores de verdad que puede adoptar una proposición: el otro es el de falsedad. Una proposición es verdadera cuando no es falsa. falso.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->