LOGICA

El estudio de la lgica es importante en la medida en que ofrece normas de razonamiento que nos sirven para resolver muchos problemas de la vida ordinaria, y para dirigir correctamente nuestra capacidad reflexiva en la bsqueda de la verdad. Es el estudio de mtodos y principios para distinguir los razonamientos correctos y los incorrectos; o ciencia formal como herramienta para comprender las leyes de la naturaleza y pensar correctamente. Su importancia, radica en la expresin con fluidez, desenmascarar polticas y sofistas, y nos ayuda a discernir entre lo verdadero y lo falso. Creada por Aristteles.

1. de modo intuitivo:
Por el cual el entendimiento capta directamente las cosas sin necesidad de razonar por pasos.

En este modo de conocer, el entendimiento no necesita la lgica.

El hombre

conoce la realidad de dos modos

en consecuencia

2. De modo discursivo:
Por el cual la razn humana avanza progresivamente, paso a paso, hacia la verdad.

La lgica es la ciencia que nos ensea a razonar correctamente y a buscar la verdad con orden, con facilidad y sin error.

histricamente la lgica se divide en:

Lgica clsica o Aristotlica, que utiliza el lenguaje natural para razonar sobre la realidad de las cosas.

En este modo de conocer, el entendimiento s necesita la lgica.

Lgica simblica o matemtica, que utiliza un lenguaje artificial, de smbolos semejantes a los de las matemticas

La lgica requiere de un conjunto de reglas o norma para proceder correctamente. En este sentido la lgica es un arte

La lgica ejerce una funcin muy importante en la vida del hombre. Por una parte puede evitar que incurramos en error; por otra, puede permitirnos descubrir los errores a que nos pretenden llevar los dems.

La lgica se deriva de la funcin razonadora de la mente humana, que avanza paso a paso en la bsqueda de la verdad. Por eso, la lgica se hace necesaria para estudiar las verdades de ms difcil acceso. Los principios fundamentales de la lgica son: Principio de Identidad: todo ser o cosa es idntico slo a s mismo. Principio de No Contradiccin: una cosa no puede ser y no ser al mismo tiempo y en las mismas circunstancias. Principio de Tercero excluido: entre Ser y No - Ser (algo) no hay cabida para un tercero (trmino medio). Principio de Razn suficiente: todo tiene una explicacin racional, ya sea como antecedente o como consecuente. Nada puede admitirse sin explicacin racional.
1. 2. 3. 4. Para qu sirve la lgica? En cuntas y cules ramas se divide la lgica? Explica cada una Por qu se dice que la lgica es un arte? La lgica tiene unos principios o fundamentos. Da un ejemplo extrado de tu vida en donde se aplique cada uno de estos principios

HISTORIA DE LA LOGICA Todos los seres humanos tenemos capacidad para inferir unas verdades de otras. Nuestro lenguaje y nuestros actos obedecen a una serie de reglas que se pueden sistematizar en leyes. Por ejemplo, vemos al cielo y decimos: Hay nubes negras, luego va a llover. A esta capacidad de razonar ordenadamente se le denomina lgica natural. Como la lgica natural no resuelve problemas complejos, la filosofa conform la lgica cuyo objetivo fuera orientar la actividad reflexiva del hombre, a fin de que proceda ordenadamente y sin error en el proceso de inferir unas conclusiones a partir de unas premisas. Se divide en dos clases: la lgica clsica o Aristotlica y la lgica simblica o matemtica. LA LGICA CLSICA: Se divide en 3 partes: del concepto, de la proposicin y, del razonamiento. A partir de la lgica de Parmnides, y del desarrollo de la dialctica de Zenn de Elea y Platn, Aristteles constituy una ciencia de razonar, que compil en los libros El Organn y Los Analticos. LA LGICA SIMBLICA: Redujo la lgica a dos partes: la proposicional, que estudia las proposiciones y las relaciones entre proposiciones que constituyen el razonamiento; y, la de clases, que es una representacin grfica de la lgica clsica. Durante la Edad Media, Pedro Abelardo y Guillermo de Ockham discutieron la utilizacin del lenguaje en lgica, pues lo consideraban impreciso. Ramn Llull, siglo XIII, trat de demostrar verdades a base de combinaciones de conceptos que se relacionan en forma automtica. Gottfried Leibniz, siglo XVII, cre las bases del clculo lgico inventado un procedimiento que resolva todas las diferencias y controversias. George Boole, en 1847, realiz la primera aplicacin del lgebra a la lgica. Los filsofos Whitehead y Russell, en 1913, construyeron la lgica simblica. Ludwing Wittgenstein, hace un anlisis del lenguaje llegando a la conclusin de que la lgica matemtica es el nico lenguaje ideal para resolver este tipo de problemas.
LA LOGICA COMO CIENCIA:

LA LGICA CLSICA O ARISTOTLICA Las operaciones de la mente, para el desarrollo de la estructura lgica, son: el concepto o la idea, el juicio o la proposicin y el raciocinio o razonamiento. Los conceptos se expresan verbalmente mediante trminos, los juicios mediante proposiciones y los razonamientos mediante silogismos. es la representacin intelectual de un objeto, sin afirmar ni negar nada de l. Es la unidad mnima del pensamiento. Ejemplo: hombre, mesa, etc.. Tienen dos propiedades: la extensin y el contenido. Por extensin se entiende el nmero de individuos o cosas abarcadas por el concepto. Ejemplo: el concepto flor es mucho ms extenso que el concepto clavel, ya que son muchas ms las realidades a las que se puede aplicar. El contenido del concepto es lo que se puede decir acerca de un objeto, la significacin del objeto, pero distinguindose completamente de l. El concepto nunca reemplaza al objeto, pero lo representa.
EL CONCEPTO:

cosas

sensaciones
Sensoriales

imgenes
Sensoriales Mentales Concretas

conceptos
Mentales Abstractas

Los conceptos pueden ser: Singulares: si se refieren a un solo objeto. Eje: Jorge, este lpiz, etc. Universales: cuando se refieren a todos los objetos de una clase. Eje: avin, animal, etc. Particulares: se refieren a algunos objetos de una clase. Eje: algunos aviones, algunos animales, etc. Ms o Menos extensos: segn el nmero de fenmenos u objetos que encierren. Eje: astro - planeta Ms o Menos comprensivos: segn el nmero de caractersticas que engloben. Eje: hombre - animal Comparables: si tiene elementos comunes. Eje: artista y pintor, tringulo y cuadrado, etc. Incomparables: cuando no tiene elementos comunes. Eje: libertad y nmero, amor y naranja, etc. Compatibles: que pueden coexistir. Eje: luna y planeta, sol y estrella, etc. Incompatibles: que se excluyen mutuamente. Eje: crculo y cuadrado, luna y estrella, etc. Contradictorios: cuando no hay entre ellos un trmino intermedio. Eje: ser y no ser, vivo y no vivo, ciudad y campo, etc. Contrarios: cuando entre ellos puede haber grado de desarrollo diferentes o desiguales. Eje: sano y enfermo, obrero y burgus, etc. Las categoras son conceptos fundamentales que reflejan las propiedades, facetas y relaciones ms generales y esenciales de los fenmenos de la realidad y de la cognicin. Sirven de base para definir o describir otros conceptos o fenmenos. Las categoras se han formado en el proceso de desarrollo histrico del conocimiento sobre la base de la prctica social. Segn Aristteles existan 10 categoras: sustancia - cualidad - cantidad - relacin - lugar - posicin tiempo - estado - accin y pasin. Para el materialismo dialctico son: materia - movimiento - tiempo y espacio - calidad y cantidad - contradiccin - causalidad - necesidad y casualidad - forma y contenido - posibilidad y realidad, etc. La definicin (limitar, determinar, precisar) es un enunciado que indica la esencia de un objeto o fenmeno de tal manera que de distinga de todo aquello que se le parece. Es un recurso lgico que permite diferenciar un objeto o

fenmeno cualquiera. Forman parte de la definicin: el gnero y la diferencia especfica. El gnero es la clase ms cercana a la cual pertenece un objeto o fenmeno y diferencia especfica es aquella caracterstica o peculiaridad que identifica al objeto o fenmeno y que contradice a lo definido del objeto o fenmeno comprendida en el gnero. Eje: el hombre es un animal (gnero) racional (diferencia especfica). El oxgeno es un elemento (gnero) cuyo peso atmico es 16 (diferencia especfica). Mediante las definiciones, se introducen en la ciencia nuevos conceptos, se fijan los resultados de una prolongada investigacin cientfica, se simplifican las complejas descripciones que se encuentran en las ciencias. Las definiciones van a la esencia ignorando lo accidental. No es correcto definir al hombre como mono desnudo ya que no abarca las caractersticas esenciales de lo definido. EL JUICIO: es una frase con sentido que puede ser verdadero o falso. El juicio est compuesta por: sujeto, cpula y predicado. Ejemplo: Las mujeres colombianas son bonitas e inteligentes. Los juicios estn conformados por conceptos relacionados entre s. Pueden ser: simples o compuestos. El sujeto es aquello sobre lo cual se afirma o se niega algo. Eje: Las mujeres colombianas. La cpula establece la relacin entre el sujeto y el predicado. Eje: son. El predicado es aquello que se atribuye o se dice algo. Eje: bonitas e inteligentes. Las proposiciones simples son aquellas en las que un concepto se une a otro por medio de una cpula verbal, como por ejemplo: Juan es hombre. Las proposiciones simples son categricas cuando los conceptos sujeto y predicado de la proposicin tienen una relacin innegable de clases o categoras. Ejemplo: algunos poetas son novelista. En esta proposicin existe una relacin entre el conjunto de los poetas con el conjunto de los novelistas. Las proposiciones categricas pueden ser universales: cuando todos los miembros del sujeto de la proposicin se relacionan o estn incluidos en la clase predicado. Ejemplo: el hombre es un animal; particulares: cuando slo algunos miembros de la clase sujeto se relacionan con la clase predicado. Ejemplo: algn hombre es sabio; individuales: cuando el sujeto se refiere slo a un individuo determinado que constituye l mismo una clase. Ejemplo: Jorge es pintor. Las proposiciones compuestas son aquellas que se forman de la unin de dos o ms proposiciones simples. Esta unin se hace a travs de los llamados conectores lgicos (y, o y si...entonces), que definen tres clases de proposiciones: las copulativas (cpula y) Eje: Mara re y Ana canta; las disyuntivas (cpula o) Eje: Ana re o llora; y las condicionales ( cpula si...entonces) Eje: Si estudias entonces apruebas. Un juicio puede ser: Verdadero: cuando aquello que se afirma o niega coincide con la realidad. Eje: El hielo es agua congelada. Falso: cuando aquello que se afirma o niega no coincide con la realidad. Eje: El oro se disuelve e agua. Singular: si se refiere a u solo objeto. Eje: esta mesa es redonda. Universal:
LA FORMA LGICA DE LAS PROPOSICIONES CQTEGRICAS

Cualidad Afirmativas Negativas

PROPIEDADES ABSOLUTAS DE LA PROPOSICIN:

Cantidad
Universales Todo S es P S es P Ningn S es P S no es P Particulares Algn Algn

adquieren sentido por s mismas. Ellas son: 1.Materia: categora filosfica que designa la realidad objetiva. Es el concepto que conforma la proposicin. 2.Cualidad: es una caracterstica que distingue a una persona, animal o cosa. Determina si la relacin entre los dos conjuntos involucrados en una proposicin se afirma o se niega. 3.Cantidad: es lo que puede expresarse por una medida. Nos permite saber cuantos miembros del conjunto sujeto se relacionan con el conjunto predicado. Son universales cuando todo sujeto(S) es predicado(P); son particulares cuando algn sujeto(S) es predicado(P); y son singulares cuando este sujeto(S) es predicado(P). Tratan sobre la relacin que se puede establecer entre proposiciones. Pueden ser: de oposicin, de equivalencia, y de conversin. Las oposiciones pueden ser contradictorias, contrarias, subcontrarias y subalternas.
PROPIEDADES RELATIVAS DE LA PROPOSICIN:

son las que no dependen de la relacin con otras proposiciones, sino que

La equivalencia de proposiciones se realiza mediante la negacin del sujeto, del predicado o de ambos. Eje: No (S) todo hombre es mortal. Todo hombre No es (P) mortal. No todo hombre No es normal. La conversin de proposiciones consiste en intercambiar el sujeto por el predicado. Eje: Si ningn placer es un bien, es de necesidad igualmente que ningn bien sea un placer Proposicin Simple Universal Negativa. Puede convertirse en Proposicin Simple Particular Positiva. Eje: Si todo placer es un bien, es preciso tambin que algn bien sea un placer. Entre las

Proposiciones particulares, la afirmativa se convierte necesariamente en particular. Eje: Si algn placer es un bien, es preciso igualmente que algn bien sea un placer.

CUADRO DE OPOSICIONES

LEYES DE VERDAD DE LAS PROPOSICIONES OPUESTAS Cuando el predicado se deriva del sujeto, se tiene que: 1. Dos proposiciones EL RAZONAMIENTO o RACIOCINIO: es un conjunto de proposiciones (juicios) relacionados entre s por determinadas leyes y que conducen a una conclusin. En lgica el conjunto de proposiciones (juicios) que constituye el razonamiento se llama SILOGISMO. El silogismo es la expresin verbal del razonamiento. El silogismo normal est compuesto de dos premisas y una conclusin. Ejemplo: Todo animal respira (premisa mayor). Todo hombre es animal (premisa menor). Luego todo hombre respira (conclusin). El silogismo puede ser categrico. Eje: Algunos latinoamericanos son colombianos. Puede ser hipottico. Eje: O el hombre es racional o no es libre.

Los trminos son los lmites de las premisas: el lmite del comienzo(Sujeto), y el lmite del final(Predicado). Las premisas se descomponen en dos trminos definidos as: el trmino medio (M) es el que est en las dos premisas y no en la conclusin. El trmino mayor (P) suele estar de predicado de la conclusin y en la premisa mayor. El trmino menor (S) suele hacer de sujeto de la conclusin y est en la premisa menor. es la correcta disposicin de las premisas segn su cantidad y su cualidad, de manera que haya consecuencia correcta. Las premisas pueden estar constituidas por: ( A ): Una proposicin Universal Afirmativa. Eje: Todo hombre es mortal. ( E ): Una proposicin Universal Negativa. Eje: Ningn hombre es inmortal. ( I ): Una proposicin Particular Afirmativa. Eje: Algunos hombres son mdicos. ( O ): Una proposicin Particular Negativa. Eje: algunos hombres no son estudiantes.
MODOS DEL SILOGISMO: REGLAS DEL SILOGISMO:

Para los trminos: 1. Todo silogismo tiene 3 trminos: el mayor, el medio y el menor. 2. Los trminos no pueden tener mayor extensin en la conclusin que en las premisas. 3. El trmino medio no puede estar en la conclusin. 4. El trmino medio debe ser universal, al menos en una de las premisas. Para las proposiciones: 1. De premisas afirmativas no se puede llegar a una conclusin negativa. 2. De dos premisas negativas no se sigue nada. 3. De dos premisas particulares no se sigue nada. 4. La conclusin debe llevar siempre la parte ms dbil.
ALGUNAS FORMAS ESPECIALES DEL SILOGISMO

es aquel en el cual se omite una de las premisas o la conclusin. Eje: Este muchacho no es estudiante del colegio ya que no est matriculado. Se omite la premisa mayor. Quien es patriota debe participar en la poltica de su pas; por lo tanto todos los estudiantes deben participar en poltica. Aqu se omite la premisa menor. Todo ser humano es respetable y nosotros somos seres humanos. En este caso se omite la conclusin.
ENTINEMA:

es un razonamiento compuesto por una serie de silogismos en la cual a partir del segundo silogismo se omite la premisa menor. Eje: El futuro del pas son sus nios debemos construir nuestro futuro luego debemos educar a los nios, debemos defender sus derechos, debemos formar a los padres, debemos respetarlos, etc
SORITES:

es un razonamiento compuesto de dos entinemas (silogismo abreviado). Eje: Los recicladores merecen respeto puesto que son seres humanos y por lo tanto tienen derecho a un techo digno. El razonamiento completo sera: Los seres humanos merecen respeto. Los recicladores son seres humanos luego los recicladores merecen respeto. Quien merece respeto tiene derecho a un techo digno. Los recicladores merecen respeto luego los recicladores tienen derecho a un techo digno.
EPIQUEREMA:

es un silogismo disyuntivo en el cual, cualquiera sea la respuesta, el resultado es el mismo. Eje: Este dinero o lo recibiste de un narcotraficante o no. Si lo recibiste de un narcotraficante te enriquecistes ilcitamente. Si no lo recibiste, eres un ladrn, luego eres un delincuente.
DILEMA: CLASES DE RAZONAMIENTOS DEDUCTIVO: aquel que va de un conocimiento de mayor grado de universalidad a otro de menor grado de universalidad. INDUCTIVO: aquel que va de lo particular a lo universal o de un conocimiento de menor universalidad a otro de

universalidad.

mayor

CONDICIONES GENERALES PARA LA VALIDEZ DE UN RAZONAMIENTO

Que las premisas u observaciones sean verdaderas. Que las premisas se relacionen entre s con sujecin a las leyes de la lgica.

La demostracin es el razonamiento con que se fundamenta la veracidad o falsedad de un pensamiento. El pensamiento que se ha de demostrar se llama tesis de la demostracin. Los juicios en que se apoya la demostracin y de los que se sigue lgicamente la tesis, se denominan argumentos (bases) de la misma. La demostracin que establece la veracidad de una tesis se llama simplemente demostracin; la que establece su falsedad se denomina refutacin. Los argumentos pueden ser: De razonamiento: demuestran que un concepto o tesis es consistente, no es contradictorio. Los argumentos de razonamiento conducen a verdades lgicas, como pasa en las matemticas. Eje: El todo es mayor que las partes. De hecho: utilizan la observacin y experimentacin. Tales argumentos conducen a verdades de hecho, como sucede en las ciencias naturales. Eje: las hormiga son herbvoras.

Son errores de demostracin o refutacin: Pretender haber demostrado o refutado una tesis, mientras se ha demostrado o refutado otra. Eje: el capitalismo es la mejor opcin para la humanidad, porque ha sobrevivido ms de 500 aos. Aunque la conclusin sea verdadera, los argumentos utilizados en la demostracin no son aptos. Eje: Felipe sac mayor puntaje en las pruebas del ICFES que Pedro; luego Felipe es ms inteligente que Pedro.
De la induccin por enumeracin solamente se pueden sacar conclusiones probables. De la observacin de una caracterstica que se repite en una serie de objetos homogneos, se infiere que dicha caracterstica se aplica a todos los objetos del mismo gnero. Cuanto mayor sea el nmero de hechos constatados, ms probable es la conclusin. Eje: Este papel se quema y este otro tambin; luego todo papel se quema en presencia de la llama. Sin embargo, de la constatacin de una determinada caracterstica, no se puede concluir que todos los objetos de esa clase tengan dicha caracterstica. Mediante el estudio de las caractersticas esenciales de un fenmeno u objeto, se busca descubrir nexos de causalidad necesaria entre ellos, que en determinadas condiciones deben producir los mismos efectos; esto se denomina induccin cientfica. As descubriendo las caractersticas esenciales de un fenmeno, las causas que lo originan y las condiciones necesarias para que se origine, se saca la conclusin general que dicho fenmeno ocurrir siempre y cuando se den las causas y condiciones necesarias para ello. Eje: Fenmeno: las piedras caen Causa: fuerza de atraccin de los cuerpos o gravitacin universal Condiciones: no hay fuerza mayor que lo impida Los pasos de la induccin cientfica son la observacin y la experimentacin. La observacin es el proceso mediante el cual se recogen de la experiencia datos necesarios para la obtencin de inferencias lgicas. Mediante la observacin se estudia el curso natural de los fenmenos y se analiza sus causas: los objetos caen... a qu se deben?. La observacin se refuerza, a menudo, mediante instrumentos especiales. La experimentacin consiste en provocar la realizacin repetida de un fenmeno, en las condiciones ms favorables para su medicin y observacin. Eje: los experimentos con el pndulo realizados por Galileo en la catedral de Pisa para demostrar y medir la rotacin de la tierra. La experimentacin permite mayor exactitud y rapidez en la medicin de los fenmenos que la simple observacin. LGICA SIMBLICA Como el lenguaje ordinario se presta con frecuencia a malentendidos y no es completamente claro, los lgicos, en bsqueda de la precisin, decidieron crear un lenguaje, ms preciso y universal compuesto por signos: el lenguaje de la lgica simblica. Este tipo de razonamiento lgico proporciona mayor rigor y claridad.
Los lgicos inventan el lenguaje simblico adoptando el lenguaje y los smbolos matemticos

La lgica simblica

la necesidad de evitar la ambigedad del lenguaje

nace de

por lo tanto

EL LENGUAJE SIMBLICO

En 1847, el matemtico ingls George Boole (1815-1864) realiz la primera aplicacin del lgebra a la lgica, que se puede ejemplarizar as: Razonamiento en la lgica clsica * Si Juan es honrado, es veraz * Juan es honrado * luego Juan es veraz Razonamiento en la lgica simblica p q (se lee s p, entonces q)

Entonces q

Este mismo razonamiento simblico dispuesto en forma asociada sera: (p q) p q

Las proposiciones pueden ser atmicas y moleculares. Estas ltimas tambin se conocen con el nombre de compuestas. Las proposiciones atmicas son aquellas que no contienen dentro de s otra proposicin, es decir, que en ellas un solo predicado afirma algo de un solo sujeto. Eje. Felipe es alto. Las proposiciones atmicas slo pueden ser afirmativas. Las proposiciones moleculares o compuestas, son aquellas que contienen o incluyen varias proposiciones. Se forman normalmente de la unin de varias proposiciones atmicas. Eje: Ana re si le cuentan un chiste. Pueden ser negativas, conjuntivas, disyuntivas, condicionales y bicondicionales. Para representarlas se hace uso de una o ms letras y de algn conector. Los conectores lgicos son: y, o, s... entonces, s y slo s, y la negacin no. Las proposiciones moleculares pueden ser: Copulativas: cuando el conector es y, por ejemplo: Ana y Mara cantan. Disyuntivas: cuando el conector es o, por ejemplo: El carro es rojo o es verde. Condicionales: cuando una proposicin slo puede concebirse junto con otra, ligadas por el juntor s...entonces. Eje: S estudias, entonces apruebas el ao. Bicondicionales: cuando el juntor s y slo s vincula necesariamente dos proposiciones. Eje: Ana re s y slo s Mara canta. Negacin: se considera como una proposicin compuesta, a pesar de que all no se relacionan dos atmicas. Eje: No es cierto que Felipe es alto. Los smbolos de las proposiciones atmicas son letras minsculas con o sin subndices: p, q, ... o p1, q1,... Por ejemplo: La proposicin Felipe es alto se simboliza p. Los conectores se simbolizan por signos. Los principales conectores o juntores son: Negador (se lee no) p se lee no p. Conjuntor (y) p q se lee p y q. Disyuntor (o) p q se lee p o q. Condicionador (si...entonces) p q se lee si p, entonces q. Bicondicionador (si y slo si) p q se lee p si y slo si q. LEYES DE VERDAD DE LOS CONECTORES LEY DEL NEGADOR Si una proposicin es verdadera, su negacin es falsa, y cuando es falsa, su negacin es verdadera. Eje: Si p es verdadera, p es falsa. Si p es falsa, ( p) es verdadera. Si es verdad que Ana re, no puede ser simultneamente verdad que Ana no re. No es el caso que Ana no re, entonces Ana re. El negador se lee no o no es el caso que. As, p se lee no p.

LEY DEL CONJUNTOR

La conjuncin es verdadera slo cuando cada una de las proposiciones simples que la componen son verdaderas. En cualquier otro caso siempre es falsa. Eje: p q es verdadera si p es verdadera y q es verdadera. La proposicin Ana re y pasea slo es verdadera si es verdad que Ana re y tambin es verdad que Ana pasea. El conjuntor se lee y. As, p q se lee p y q. LEY DEL DISYUNTOR p q (p q) La disyuncin slo es falsa cuando todos sus V V siempre verdadera. Eje: p q es falsa si a la vez p V F F verdadera. As, la proposicin Leo un libro, un V V F ninguna de las tres cosas. El disyuntor se lee o. F F F V LEY DEL CONDICIONADOR componentes son falsos. En cualquier otro caso, es es falsa y q es falsa. En los dems casos ser peridico o una revista slo es falsa cuando no leo As, q r se lee q o r

La proposicin condicional slo es falsa cuando el antecedente es verdadero y el consecuente es falso. Eje: p q es falsa si p es verdadera y q es falsa. En todos los dems casos es verdadera. Por eso se afirma que el condicionador introduce una condicin suficiente, pero no necesaria. As, la proposicin Si estudias apruebas slo es falsa cuando realmente has estudiado y, sin embargo, no apruebas. En todos los dems casos (si apruebas sin estudiar, si apruebas estudiando, si pierdes el ao sin estudiar) la expresin es verdadera. El condicionador se lee si...entonces. As, p q se lee si p, entonces q. LEY DEL BICONDICIONADOR La proposicin bicondicional slo es verdadera cuando ambos componentes son verdaderos o ambos falsos. Eje: p q es verdadera si p es verdadera y q es verdadera; tambin es verdadera si p es falsa y q es falsa. As, la proposicin Hay una docena si y slo si hay doce unidades (V V). Tambin es verdadera la proposicin No hay una docena si y slo si no hay doce unidades. El bicondicionador se lee si y slo si. As, p q se lee p si slo si q. TABLAS DE VERDAD Si representamos por V el valor de verdad (verdadero) y por F el falso, se pueden representar todas las combinaciones posibles de los valores de verdad de los juntores con las siguientes tablas: a) Negador p V F p F V b) Conjuntor p V V F F q V F V F (p q) V F F F c) Disyuntor p q r V V V F V V V F F V F F F V F F V V F F V V F F (p q) r V F F F F F F F d) Condicionador p q V V F F V F V F (p q) V V V F

e) Bicondicionador p q (p q) V V V F F V F V V

F V F

CALCULO DE ARGUMENTO POR DIAGRAMAS Y TABLAS DE VERDAD

CONSISTENCIA DE LAS PREMISAS POR LOS DIAGRAMAS DE VERDAD

Un argumento es consistente si y slo si es posible dar valores de verdad o falsedad a las proposiciones simples que integran las premisas. Para calcular la consistencia de las premisas se procede as: Una vez escrita las frmulas de cada premisa, se miran sus correspondientes valores de verdad, escribiendo debajo de cada proposicin atmica el valor de verdad que convenga para que el juntor principal resulte verdadero. A continuacin se calcula el valor del juntor (o juntores de cada premisa por orden de menor a mayor importancia, si hay varios) y se coloca ms abajo, entre las proposiciones atmicas (o los juntores) de forma que domine el juntor en cuestin. Si los juntores principales resultan todos verdaderos, el argumento es consistente. Si las premisas no

resultan todas verdaderas, hay que volver a atribuir distintos valores de verdad a las proposiciones atmicas hasta que todas las premisas resulten verdaderas. Pero si nunca todas las premisas resultan verdaderas , entonces el argumento es inconsistente. Argumento: p V V V V q p r V V V q s r s V V

Hemos asignado valores de verdad a las proposiciones atmicas de forma que el juntor principal resulte V. Ntese que para determinar la consistencia slo se ha mirado la consistencia de las premisas.

CLCULO DE ARGUMENTOS POR LAS TABLAS DE VERDAD

Un argumento es vlido cuando la conclusin se deriva necesariamente de las premisas. Para calcular la validez o invalidez de un argumento, se procede as: Se construye la matriz de Tabla de Verdad y, en lugar de la frmula, se escriben las premisas y la conclusin del argumento. La conclusin va precedida del signo . Luego, se averiguan los valores de verdad de cada premisa y de la conclusin. El argumento resulta invlido si en alguna lnea horizontal el juntor principal de la conclusin resulta falso (F) y, a la vez, los de las premisas resultan verdaderos (V). El argumento resulta vlido si no hay ninguna lnea horizontal con la conclusin falsa (F) y las premisas verdaderas (V) y, adems, hay por lo menos un caso en que el juntor principal de la conclusin y de cada premisa resulte verdadero. p r q p V V V V V V F F V F V F V V V V q r q q V F V V V F V V r V F V F V F V F r r

Argumento: p q p q r p V V V V F F F F V V F F V V F F V F V F V F V F