Este documento resume los objetivos de aprendizaje de un curso de Lógica y Conjuntos. Los estudiantes aprenderán a clasificar expresiones lógicas, analizar las 16 operaciones binarias utilizando el concepto de conjunción, disyunción, condicional y bicondicional, y comprender los elementos del cálculo proposicional como proposiciones, conectivos lógicos, tablas de verdad, inferencia lógica y lógica cuantificacional.
Este documento resume los objetivos de aprendizaje de un curso de Lógica y Conjuntos. Los estudiantes aprenderán a clasificar expresiones lógicas, analizar las 16 operaciones binarias utilizando el concepto de conjunción, disyunción, condicional y bicondicional, y comprender los elementos del cálculo proposicional como proposiciones, conectivos lógicos, tablas de verdad, inferencia lógica y lógica cuantificacional.
Este documento resume los objetivos de aprendizaje de un curso de Lógica y Conjuntos. Los estudiantes aprenderán a clasificar expresiones lógicas, analizar las 16 operaciones binarias utilizando el concepto de conjunción, disyunción, condicional y bicondicional, y comprender los elementos del cálculo proposicional como proposiciones, conectivos lógicos, tablas de verdad, inferencia lógica y lógica cuantificacional.
1.-Clasificar las expresiones del lenguaje en proposiciones lgicas, abiertas e indeterminadas. 2.-Mediante el concepto de operacin binaria y ejemplos cotidianos, analizar las 16 operaciones binarias en el conjunto V, F llegando a establecer la conjuncin, disyuncin, condicional y bicondicional. 1.- Proposiciones 1.1 Proposiciones 1.2 Expresiones abiertas 1.3 Expresin indeterminada
2.- Operaciones Lgicas 1 2.1 Conectivos 2.2 Tablas de verdad 2.3 Tautologas y falacias 2.4 Implicacin Lgica
3.- Inferencia Lgica 3.1 Leyes de inferencia 3.2 Consistencia de premisas
Tiene como objetivo, mostrar la validez de los argumentos
Procedimientos
Semejanza con la matemtica
Uso de modelos simblicos
- Elementos del clculo proposicional
- El clculo proposicional, tiene como finalidad la demostracin de la validez de los argumentos por relacin de sus proposiciones. 3 - Tiene como elementos, por un lado las proposiciones que lo conforman y por el otro, las conectivas lgicas que las relacionan entre s.
1.1 Proposiciones Una proposicin o enunciado es una expresin que afirma o niega algo; es una oracin que puede ser falsa o verdadera pero no ambas a la vez. La proposicin es un elemento fundamental de la lgica matemtica. Las proposiciones, en tanto expresin de un juicio, se pueden clasificar bajo varios criterios:
Proposiciones
Elementos
Conectivas lgicas
4 1.2 Clasificacin de las proposiciones
Por cualidad Afirmativo Negativo
Por propiedad fundamental Falso Verdadero
Por el sujeto Abiertas Cerradas Indeterminadas
Por componentes
Atmicas Moleculares
Por relacin Categricos Hipotticos Disyuntivos 5 - Por cualidad, son afirmativos cuando establecen una relacin de conveniencia entre sujeto y predicado, en el ejemplo Aristteles fue filsofo, el predicado filsofo conviene al sujeto Aristteles; o negativos cuando establecen una relacin de no conveniencia entre sujeto y predicado, por ejemplo Scrates no era Sofista. - Por propiedad fundamental, son falsos cuando niegan lo que deben afirmar, o afirman lo que deben negar, por ejemplo El hombre es inmortal; o verdaderos cuando afirman lo que deben afirmar y niegan lo que deben negar, por ejemplo El hombre es mortal 1 . - Por el sujeto, son abiertas cuando el sujeto no est definido, por ejemplo: Parece que terminaremos el trabajo a tiempo,
; o cerradas con el sujeto bien determinado, por ejemplo Coln
descubri Amrica en 1492, El adagio es una composicin lenta - Por componentes, son simples cuando constan de un sujeto y un predicado, por ejemplo Albinoni fue un gran compositor; o compuestos cuando tienen dos o ms sujetos, o dos o ms predicados, o dos o ms de ambos, por ejemplo Lizt , Brahms y Bartk, compusieron Danzas Hngaras; Rimsky Korsakov compuso Sherezada y La gran Pascua Rusa. En Lgica matemtica, las llamaremos Atmicas, que son simples, sin conectivas lgicas y que se sustituyen por variables, por ejemplo: El profesor de Literatura, estudi en la UNAM = P; y Moleculares, que se componen de simples y tienen conectivas lgicas, tambin llamadas operadores lgicos, por ejemplo: Ileana y Xana son maestras = P & Q
1 Aristteles, Metafsica, IV, 7, 1 Edicin .Lima, Editorial Universo, 1972 6 - Por relacin, son categricos cuando expresan claramente una afirmacin o negacin, sin condicin o alternativas, por ejemplo todo juicio es enunciativo; hipotticos cuando expresan una condicin, por ejemplo Si estudias aprobars el examen; o disyuntivos cuando expresan opciones o alternativas, por ejemplo Haces el ejercicio o no tienes participacin. Comencemos por distinguir las proposiciones atmicas de las moleculares:
Atmicas
Simples Sin conectivas lgicas Se sustituyen por variables Proposiciones
Moleculares
Se componen de simples Tienen conectivas lgicas
- La verdad de las proposiciones Una proposicin puede ser falsa o verdadera; si es atmica, su valor de verdad, depende slo de ella, en tanto que si es molecular, su valor de verdad depender de las atmicas que la conforman. 7 1.3 Expresiones Booleanas En el idioma cientfico, una proposicin se refiere a un enunciado que puede ser verdadero o falso, generalmente una oracin enunciativa, base de lo que constituye el lenguaje formal de la lgica simblica. Empezaremos por decir que en lgica proposicional utilizaremos dos valores asociados llamados valores de verdad, que son verdadero (V) y falso (F), y en computacin a las expresiones que se les asocia uno de estos dos valores se les llama expresiones booleanas. Estn asociadas a dos opciones. Estas expresiones, que deben su nombre a George Boole, se pueden ver caracterizadas como verdaderas falsas y de acuerdo a esta condicin se desarrolla el estudio sobre dichos conceptos, que se conoce como clculo de proposiciones. Los enunciados o expresiones del lenguaje se pueden clasificar en: Proposiciones lgicas, Proposiciones abiertas y Frases o expresiones indeterminadas. - Expresiones Booleanas. Proposiciones lgicas y proposiciones abiertas. - Proposicin lgica. Expresiones que pueden ser verdaderas o falsas, pero no ambas. - Proposicin abierta. Una expresin que contiene una o ms variables y al sustituir las variables por valores especficos se obtiene una proposicin lgica. - Frases. Todas las expresiones que no cumplen alguna de los dos definiciones anteriores. Una proposicin abierta es aqulla en la cual el sujeto es una variable, toda proposicin abierta representa un conjunto, el cual recibe el nombre de conjunto solucin de la proposicin 8 1.4 Expresin indeterminada Una proposicin determinada, tiene la forma sujeto-predicado y es verdadera o falsa necesariamente. Ejemplo: Scrates fue el padre de la tica Una proposicin indeterminada, tiene variables; puede ser verdadera o falsa, es decir, no est determinado su valor veritativo; es contingente. Ejemplo: P v Q
9 - Ejercicio Clasifique las siguientes expresiones del idioma en proposiciones lgicas, proposiciones abiertas , expresiones indeterminadas, o simplemente frases.
1) Mxico est en Amrica Proposicin Lgica 2) 1 < 2 3) Hoy es lunes 4) x + 3 = 5 5) Ecosistemas 6) Buenos das 7) El 3 de abril de 1970 fue domingo 8) Los cocodrilos pueden volar 9) Las matemticas son agradables 10) Esta expresin es falsa
10 2 Operaciones Lgicas 2.1 Conectivos Las conectivas lgicas, tambin llamadas trminos de enlace u operadores lgicos, se pueden resumir en el siguiente cuadro:
Nombre Smbolos Lectura Ejemplo Negacin (modificativo) ~ No... ~ p Conjuncin & . ^ ...Y... r & s Disyuncin inclusiva v ...O... t v u Disyuncin exclusiva v O,... o... x v y Condicional o implicacin
S,...entonces... a b Bicondicional o doble implicacin
...S y solo s... c d 11 - El lenguaje simblico de la lgica Proposicional
Nos sirve para reducir cualquier proposicin, por larga que sea a una literal (variable de enunciado) y sus trminos de enlace a un smbolo (conectiva lgica), que simplifiquen la deduccin.
- Simbolizacin de proposiciones Las proposiciones atmicas se simbolizan utilizando una letra cualquiera, 2 y las conectivas lgicas con los smbolos en el cuadro de la pgina anterior, de tal modo que la proposicin la Lgica es divertida, se simbolizara l en tanto que la proposicin la Lgica no es difcil se simbolizara ~l . Ejemplos:
Yo trabajo en la Universidad Marista y en la preparatoria La Salle del Pedregal
m & s Hago mi tarea con mi libro de texto, o utilizo uno de la biblioteca t v b Si tengo un buen promedio, entonces obtendr la beca p b
2 Algunos maestros, sugieren utilizar en orden alfabtico, letras minsculas a partir de la p 12 Pasars Lgica, s y solo si sabes hacer silogismos L s
- Agrupacin
Cuando tenemos varios trminos de enlace, debemos tener en cuenta que la negacin ( ~ ) es la conectiva ms dbil y el condicional ( ) es el ms potente. Por otra parte al agrupar, utilizamos parntesis ( ), corchetes [ ], o llaves { }, en ese rden 3 . Ejemplos:
Si Rafael y Andrea, practican juntos, entonces harn un buen dueto y no quedarn fuera del recital ( r & a ) ( d & ~ f ) Como se puede ver en este ejemplo, el trmino dominante (fuera de parntesis), es , lo cual nos indica que el argumento es un condicional, formado por dos conjunciones, ( r & a ) y ( d & ~ f ), de las cuales, el consecuente incluye una negacin (~f )
3 Suppes Hill, Introduccin a la Logica Matemtica, Barcelona, Ed Reverte, 1985
13 El siguiente argumento, nos ilustra claramente la agrupacin, procedamos a desglosarlo: ~ { [ (c & d) v (mn) ] ( p v q ) }
- Se trata de una negacin, ya que es el trmino que est fuera de las llaves . - Es la negacin de un bicondicional, si considero lo que est dentro de las llaves, el trmino dominante es y este relaciona a un corchete y un parntesis. - Es la negacin de un bicondicional, entre una disjuncin inclusiva ( el trmino dominante en el corchete es v ) y una disyuncin exclusiva ( el parntesis tiene como conectiva lgica v ) - Es la negacin de un bicondicional, entre una disjuncin inclusiva, formada por una conjuncin (c & d) y un condicional (mn) y por otra parte una disyuncin exclusiva ( p v q )
14 - Ejercicio
Simboliza las siguientes proposiciones: Luis estudia y trabaja
Hoy no es sbado
Si vas al mercado, entonces traers vegetales
Pasars Lgica, si y slo si sabes hacer silogismos
Si no hacen examen, entonces entregan trabajo
Luis y Hctor no son buenos estudiantes
O haces los ejercicios, o presentas trabajo final
Si hoy el quincena, entonces Rossy y Xana pueden ir de compras
Si Pedro y Juan estudiaron, entonces harn un buen examen
Si el oro y la plata son metales, entonces son minerales
Si me dejas ahora, no ser capaz de sobrevivir
La lgica en importante y divertida
15 - Ejercicio Coloca los parntesis, de acuerdo al tipo de proposicin molecular que se te solicita:
P & Q v R Conjuncin
R & M v S T Disyuncin
R M Negacin
P & Q H & G Condicional
R & S Conjuncin
P & Q v R Disyuncin
R & S Negacin
P Q H & G Bi condicional
P Q v P & Q v R Disyuncin exclusiva
R M Condicional
P & Q v R Conjuncin
P & Q v R Disyuncin
P Q H & G Negacin
16 2.2 Tablas de verdad - Reglas sintcticas Las proposiciones atmicas, poseen su propio valor veritativo ( f o v); en tanto que la verdad o falsedad de las proposiciones moleculares, depende del valor de cada una de las atmicas que las constituyen, para lo cual tenemos las siguientes reglas de verdad para las proposiciones moleculares:
Nombre Smbolos Regla Negacin ~ Valor contrario Conjuncin & . ^ Es verdadera, si las dos son verdaderas Disyuncin inclusiva v Es verdadera, con una verdadera Disyuncin exclusiva v Es verdadera, cuando los valores son diferentes Condicional o implicacin
Es falsa, cuando el antecedente es verdadero y el consecuente falso Bi condicional o doble implicacin
Es verdadera, cuando los valores son iguales 17 - Tablas de verdad Las tablas de verdad, nos sirven para encontrar el valor de verdad de una proposicin molecular, o de un argumento completo cuando desconocemos el valor de cada una de las atmicas que lo conforman, consiste en contemplar todas las posibles combinaciones de valores y aplicar las reglas anteriormente expuestas.
Para realizar una tabla de verdad, es necesario tener en cuenta lo siguiente: - Se traza una columna para cada literal y una por cada trmino de enlace - Para una literal se trazan dos filas que corresponden a los valores: v y f - Para dos literales, cuatro filas; para tres, ocho filas y as sucesivamente a la dobla - En cada columna correspondiente a las atmicas, se colocan los valores V F, igualmente a la dobla.
- Negacin
p ~p v f f v
Para encontrar el valor de ~ p ,simplemente colocamos en la columna correspondiente a la literal sus posibles valores, comenzando por v , y en la columna de la proposicin molecular, se aplica la regla de negacin En las siguientes tablas, vamos a manejar dos literales, ntese que el nmero de filas va a la dobla 18 Cuadrado de Oposicin
19
- Conjuncin
r s r & s v v v f v f v f f f f f
Al aplicar la regla de conjuncin, el resultado es que solo la primera combinacin es verdadera
- Disyuncin inclusiva
t u t v u v v v f v v v f v f f f
20 En ste caso, solo la ltima combinacin resulta falsa - Disyuncin exclusiva
x y x v y v v f f v v v f v f f f
- Condicional
a b a b v v v f v v v f f f f v
21 Es importante notar que en el caso del condicional, el antecedente v y el consecuente f , determinan la falsedad del argumento, lo cual no ocurre con la segunda combinacin, ya que en el caso de sta conectiva lgica, el orden de los elementos que la conforman, es de vital importancia.
- Bicondicional
c d c d v v v f v f v f f f f v
Notemos que en el caso de las otras conectivas, el orden de sus componentes, no afecta el valor de las mismas.
- Tautologas y falacias Es importante saber, cual es el resultado que nos da una tabla de verdad; para ello debemos sombrear la columna correspondiente al trmino de enlace dominante, que es la ltima que se va a resolver y si en ella todos los valores, salen verdaderos, esto nos indica que el argumento es una Tautologia, si todos los valores de 22 la columna final, son falsos el argumento es una Contradiccin, y si los resultados son falsos y verdaderos, entonces el argumento es Contingente. 4
Todo lo anteriormente expuesto, se puede reunir en una sola tabla:
Bi condicional Inclusiva Exclusiva p q ~ p p & q p v q p v q p q p q v v f v v f v v f v v f v v v f v f f f v v f f f f v f f f v v 23 Ejemplos: Para el argumento ~ b & (b ~ c), debemos colocar una columna por cada literal y una por cada trmino de enlace, y como son dos las atmicas, necesitamos cuatro renglones:
b c ~ b & (b ~ c)
Los valores de las literales, se colocan, en la primera columna v, f y en la segunda v, v; f, f :
b c ~ b & (b ~ c) v v f v v f f f
24 Posteriormente, resolvemos las negacines, aplicando su regla: b c ~ b & (b ~ c) v v f f f v v f v f f v f f v v
Ahora, resolvemos el parntesis, aplicando la regla de condicional, utilizando la columna de b y la de ~c: b c ~ b & (b ~ c) v v f f f f v v v f v f f v v f f v v v
25 Finalmente, resolvemos la conjuncin, utilizando la regla correspondiente y las columnas ~b y la del parntesis: b c ~ b & (b ~ c) v v f f f f f v v v v f v f f f v v f f v v v v Del resultado de sta ltima columna, concluimos que el argumento es contingente - Ejercicios Realiza las siguientes tablas de verdad
(c & d) v (c d)
~ b & (b ~ c)
26 ~ ( c ~ m )
( ~x ~y ) v ~ y
x y z ( ~x ~y ) v ~ z
- 27 En los ejemplos descritos, desconocemos el valor de las variables y la tabla de verdad nos sirve para , partiendo de todas las combinaciones posibles, concluir la validez del argumento; en el caso de la tautologa y la contradiccin, los resultados son definitivos, o sirve o no sirve el argumento, pero cuando ste sale contingente, debemos investigar el valor de las atmicas y utilizar un sistema de sustitucin de valores, para obtener el valor veritativo del argumento.
- Ejercicios Resuelve las siguientes tablas de verdad
P Q R [ ( P Q ) & ~ R ] v ~ Q
P Q R ( P Q ) & ( ~ R v ~ Q)
28
29
30 - Tablas binarias
Es otra manera de representacin, igualmente para obtener valores de verdad a partir de las conectivas lgicas:
&
Q
V
F
P
V
F
V
Q
V F
P
V
F
31
V
Q
V F
P
V
F
Q
V F
P
V
F
32
Q
V F
P
V
F
Ntese que no pusimos tabla binaria para la negacin, esto se debe a que esta compuesta por una sla proposicin. 33 2-3 Circuitos Lgicos Es un modelo que se utiliza en computacin, pero nos puede ayudar a comprender las tablas de verdad. - Componentes del circuito lgico
Cable conductor de corriente
Conduce el razonamiento
Pila , batera, generador o fuente de poder Pone el circuito en funcin
Bombilla
Representa a la proposicin molecular
Bombilla apagada
Proposicin falsa 34
Bombilla encendida
Proposicin verdadera
Interruptor desconectado
Proposicin simple Falsa
Interruptor conectado
Proposicin simple Verdadera
Conjuncin
Se requieren ambos interruptores conectados
Disyuncin
Slo es necesario un interruptor conectado
35
36 2.4 Implicacin Lgica - Valor veritativo Cuando conocemos el valor de las atmicas, solo sustituimos, aplicamos las reglas y podemos concluir si el argumento es verdadero o falso; podemos resumir la tcnica 5 en los siguientes pasos: 1. Sustituir valores 2. Eliminar negativos 3. Resolver parntesis - el paso 2 y el 3 se repiten, tantas veces, como sea necesario Teniendo que a, b, c = V y x, y, z = F, podemos resolver el siguiente ejercicio: Ejemplo: [ ( A & ~ X ) ( ~ Y v B ) ] ~ C & ~~ Z Sustituimos las literales por sus valores de verdad y entonces tenemos: [ ( V & ~ F ) ( ~ F v V ) ] ~ V & ~~ F Eliminamos negativos, recordando que para eliminar un smbolo negativo fuera de parntesis, primero hay que resolver parntesis: [ ( V & V ) ( V v V ) ] F & F
5 Cfr con el diagrama de valores de certeza en Suppes Hill, Introduccin a la Logica Matemtica, Barcelona, Ed Reverte, 1985
37 Resolvemos los parntesis: [ V V ] F Ahora resolvemos el corchete: V F Finalmente resolvemos la proposicin molecular: Y concluimos que el argumento es falso.
Veamos ahora un ejemplo completo : {[ ~ ( Y ~ Z ) & ~ C ] & ( ~ B v ~ X ) } v ~ B {[ ~ ( f ~ v ) & ~ v ] & ( ~ v v ~ f ) } v ~ v {[ ~ ( f f ) & f ] & ( f v v ) } v f {[ ~ f & f ] & v } v f {[ v & f ] & v } v f f v f
F F 38 - Ejercicios
Teniendo que a, b, c = V y x, y, z = F, resuelve los siguientes ejercicios
( A & ~ X ) ( ~ Y v B )
( C v ~ X ) v ( ~ Z B )
39 - Ejercicios
Teniendo que a, b, c = V y x, y, z = F, resuelve los siguientes ejercicios
[C ( A & ~ X ) ] [ ( ~ Y v B ) v ~~ B]
~ {[ ~ ( Y ~ Z ) & ~ C ] & ( ~ B v ~ X ) } v ~ B
40 - Ejercicios
Teniendo que a, b, c = V y x, y, z = F, resuelve los siguientes ejercicios
[ ~ ( X ~ Z ) & ~ B ] & ( ~ A v ~ C )
~ {( ~ A v ~ Y ) v [ ~ ( C ~ Z ) & ~ B ] }& ~~X 41 3 Inferencia Lgica - La validez lgica de los argumentos
Las leyes lgicas, tienen la misma funcin y estn hechas para pensamientos con la misma estructura, por lo cual, partiendo de premisas verdaderas, nos garantizan la validez de los argumentos
3.1 Las reglas de inferencia Son modelos lgicos, universalmente vlidos, que nos permiten deducir conclusiones en argumentos, con una estructura semejante al modelo propuesto
Existen diversas reglas o leyes, que expresan varios tipos de inferencia lgica, las podemos clasificar en leyes de implicacin y leyes de equivalencia, 6
- Leyes de implicacin - Doble negacin, pasa de una premisa ( p ) nica, directamente a la conclusin ( ~~ p );consiste en que la negacin de la negacin, es igual a la afirmacin, su abreviatura es DN
6 Gutirrez Senz R, Introduccin a la Lgica, Mxico, Esfinge,1998 42 - Adjuncin, pasa de dos premisas ( a ) y ( b ) a la conclusin (a & b ); consiste en la simple unin de dos proposiciones que se tienen por verdaderas 7 , su abreviatura es A - Simplificacin pasa de una conjuncin como premisa (c & d ) a dos conclusiones ( c ) y ( d ), consiste en descomponer una conjuncin y su abreviatura es S - Ponendo ponens, pasa de dos premisas , una que es un condicional (e f ) y la otra que es el antecedente del condicional ( e ) a la conclusin ( f ), dice que en un condicional, si se afirma el antecedente, tambin se afirma el consecuente, pero no viceversa y su abreviatura es PP - Tollendo tollens, igualmente pasa de dos premisas, una condicional ( g h ) y la otra la negacin del consecuente del condicional ( ~h ) a la conclusin ( ~ g ), dice que en un condicional, si niego el consecuente, niego el antecedente pero no viceversa; su abreviatura es TT - Silogismo hipottico, pasa de varias premisas condicionales ( i j ) , ( k l ), ( m n ) a una conclusin igualmente condicional, ( i n ), consiste en simplificar condicionales encadenados y su abreviatura es HS - Tollendo ponens, pasa de dos premisas, una disyuntiva ( o v q ), y la otra que es un elemento de la disyuncin ( o ), a la conclusin ( ~q ), dice que en una disyuncin, si se afirma uno de sus elementos, se niega el otro y viceversa; su abreviatura es TP - Adicin, pasa de una nica premisa ( r ) a una conclusin disyuntiva ( r v s ), consiste en juntar dos proposiciones, una de las cuales debe ser verdadera en una disyuncin, expresando el hecho de que si se tiene una proposicin verdadera,, entonces su disyuncin con otra, tambin ser verdadera; su abreviatura es LA 8
- Dilema constructivo, parte de una conjuncin entre dos condicionales ( p q ) & ( r s ) y la disyuncin de las afirmaciones de sus antecedentes ( p v r ), para concluir la disyuncin entre las afirmaciones de sus consecuentes ( q v s ); consiste en la aplicacin del ponendo ponens a argumentos hipottico disyuntivos, su abreviatura es DC - Dilema destructivo, parte de una conjuncin entre dos condicionales ( w x ) & ( y z ) y la disyuncin de las negaciones de sus consecuentes ( ~x v ~ z ) , para concluir la disyuncin entre las negaciones de sus
7 Recordar que para que una conjuncin sea verdadera, ambas proposicines que la conforman deben ser verdaderas. 8 Recordar que una disyuncin inclusiva, es veradera, con que uno de sus componentes sea veradero. 43 antecedentes ( ~w v ~ y ); consiste en la aplicacin del tollendo tollens a argumentos hipottico disyuntivos, su abreviatura es DD 9
3.2 Las demostraciones formales
Conociendo estas primeras reglas, ya podemos realizar demostraciones formales a partir de premisas dadas, siempre justificando cada nueva conclusin, aadiendo a su derecha las siglas de la regla empleada y los nmeros de las premisas utilizadas:
Las demostraciones formales
- Negacin
Nombre abreviatura ejemplo
Doble negacin
DN 1) a p 2) ~~a DN 1
9 Cfr con las inferencias lgicas expuestas en Suppes Hill, Introduccin a la Logica Matemtica, Barcelona, Ed Reverte, 1985
44 - Conjuncin
Nombre abreviatura ejemplo Adjuncin
A
1) a p 2) b p 3) a & b A 1,2
Simplificacin
S
1) c & d p 2) c S 1 3) d S 1 - Ejercicios
45 - Ejercicios
46 - Condicional
Nombre abreviatura ejemplo Ponendo ponens
PP 1) e f p 2) e p 3) f PP 1,2
Tollendo tollens
TT 1) g h p 2) ~ h p 3) ~ g TT 1,2
Silogismo hipottico
HS 1) j k p 2) k l p 3) j l HS 1,2
47 - Ejercicios
48 - Disyuncin
Nombre abreviatura ejemplo Tollendo ponens
TP
1) a v f p 2) a p 3) ~ f TP 1,2 Adicin LA
1) i p 2) i v s LA 1 - Ejercicios
49 - Ejercicios
50 - Dilema
Dilema constructivo
DC
1) ( pq ) & ( r s ) p 2) p v r p 3) q v s DC1,2 Dilema destructivo
DD
1) ( pq ) & ( r s ) p 2) ~ q v ~ s p 3) ~ p v ~ r DD1,2 - Ejercicios
51 - Ejercicios
52 - Leyes de equivalencia
Existen otras leyes que es bueno tener en cuenta ya que nos expresan argumentos equivalentes, o distintas formas de expresar el mismo argumento 10 , son las siguientes:
- Leyes conmutativas, expresan que en el caso de la conjuncin y la disyuncin, el orden de los factores, no altera el producto; su abreviatura es EL ( a & b ) ( b & a ) ( c v d ) ( d v c )
- Leyes de distribucin, nos dicen que la conjuncin entre una atmica y una disyuncin, es equivalente a la disyuncin entre las conjuncines formadas por la atmica y cada uno de los elementos de la disyuncin original
[s & (t v u)] [(s & t)v (s & u)]
10 Cfr Gutirrez Senz R, Introduccin a la Lgica, Mxico, Esfinge,1998
53 O que la disyuncin entre una atmica y una conjuncin, es equivalente a la conjuncin entre las disyunciones formadas por la atmica y los dos elementos de la conjuncin original, en ambos casos su abreviatura es Dist [v v (w^ x)] [(v v w)^(v v x)]
- Leyes de asociacin, expresa la equivalencia entre la disyunciones, de cuyos componentes uno es una proposicin compuesta y las asociaciones expresadas en parntesis, no cambian sus valores de verdad [(m v n) v o] [m v (n v o)]
O la la equivalencia entre la conjunciones, de cuyos componentes uno es una proposicin compuesta y las asociaciones expresadas en parntesis, no cambian sus valores de verdad; en ambos casos su abreviatura es Asoc
[(p ^q) ^r ] [p ^(q ^r)]
- Ley de implicacin material, una condicional equivale a negar el antecedente o afirmar el consecuente, se abrevia IM
( y z ) ( ~y v z)
54 - Leyes de Morgan, tiene varios casos; el primero dice que negar los elementos de una conjuncin, es equivalente a negar uno u otro de ellos
( ~e & ~f ) ~ (e v f )
En el segundo caso, negar los elementos de una disyuncin, es equivalente a negarlos ambos
( ~g v ~h ) ~ ( g & h )
Una conjuncin es equivalente a la negacin de la disyuncin de cada uno de sus elementos negados
i & j ~( ~i v ~j )
Por ltimo, negar la disyuncin de una atmica y una negacin, equivale a la negacin del primer elemento y la doble negacin del segundo, todos estos casos se abrevian DML
~ ( k v ~l ) ~k & ~~l 55 - Ley de contraposicin, tambin llamada transposicin, es otra manera de expresar el tollendo tollens, es decir que un condicional es equivalente a las negacines de sus componentes, igualmente en condicional, se abrevia Contr
( a b ) (~a ~b)
- Ley de exportacin, cuando el antecedente de un condicional es una proposicin conjuntiva, entonces uno de stos componentes implica al otro, que a su vez est implicando al consecuente, su abreviatura es Exp
[(c & d) e] [c(d e)]
- Ley de equivalencia material, nos dice que cuando dos proposiciones son equivalentes, entonces podemos afirmar ambas, o bien negar ambas, su abreviatura es EM (p q)[(p & q) v (~p &~q)]
- Tautologa, Una proposicin es idntica a ella misma o a ella misma y tambin es idntica a ella misma y a ella misma, se abrevia Taut
a ( a v a) b ( b & B ) 56 - Ejercicios
57 4 Lgica cuantificacional Todo lo anteriormente expuesto, en el presente captulo, es aplicable solamente a los argumentos en los cuales la validez depende de la forma en que se combinan los enunciados simples ( proposiciones atmicas) en enunciados compuestos ( proposiciones moleculares); sin embargo no es aplicable para las premisas de un silogismo categrico, ya que su validez depende de la estructura lgica interna de sus enunciados simples y requiere de una nueva simbologa: 11
- Simbolizacin con cuantificadores Si simbolizamos el Predicado con una mayscula y el Sujeto con una minscula, entonces tendremos en los siguientes ejemplos que: El hombre es mortal = Mh La plata es un mineral = Mp Juan es aviador = Aj El derecho es positivo = Pd El rbol es frutal = Fa
11 Copi, I, Lgica simblica, Mxico, C.E.C.S.A.,1982
58
Se llama Constante de individuo a las variables:
H, p, j, d, a
Si sustituimos la letra x por la variable de individuo los ejemplos anteriores se simbolizaran:
Mx Ax Px Fx
4.1 Smbolos de los cuantificadores
Mx, Ax, Px , Fx; son funciones proposicionales por lo cual, no son ni falsas ni verdaderas Si cambio la variable de individuo por una constante de individuo, entonces la proposicin es singular, a esto se llama ejemplificacin 12
12 Gutirrez Senz R, Introduccin a la Lgica, Mxico, Esfinge,1998
59 Los smbolos que se utilizan para los sujetos en lgica cuantificacional son: = Sujeto Universal - = Sujeto particular o singular
- Ejemplos Proposicin universal:
Todo viviente es ser (x) (Vx Sx) Para todo x, si x es un viviente, entonces x es ser
Proposicin particular:
Algn hombre es guapo (-x) (Hx ^ gx) Existe al menos un x tal que , Sindo x hombre y x es guapo 60 4.2 Leyes de ejemplificacin y generalizacin
Nos permiten construir demostraciones de validez para argumentos simbolizados por medio de cuantificadores, son las siguientes:
- ley de ejemplificacin universal, cuando un predicado es aplicable universalmente a un sujeto, entonces tambin es aplicable a cualquier miembro de ese sujeto (lo dicho de todos, puede decirse de algunos), su abreviatura es (EU)
( x) Px .. Pa
- ley de generalizacin universal, si un individuo de un conjunto, tiene una caracterstica p, entonces se puede colegir, que todos los miembros del conjunto la tienen, su abreviatura es ( (GU)
1) Pa ________ 2) (x ) Px
61 - Ley de ejemplificacin existencial, si existe un sujeto que tiene un predicado, entonces se puede concluir una proposicin particular, con ese sujeto y ese predicado , su abreviatura es (EE)
1) (-x) Px ________
2) Pa
- Ley de generalizacin existencial, si tenemos una premisa con sujeto singular a, y predicado P, entonces se puede concluir que al menos existe un sujeto x que tiene un predicado P, su abreviatura es ( (GE)
1) Pa ________
2) (-x) Px
62 - Proposicines tpicas
A
(x) (Vx Sx) E
(x) (Vx ~Sx)
I
(-x) (Hx ^ gx)
O
(-x) (Hx ^ ~gx)
- Especificacin universal
Demostrar Sm 1) (x) (Vx Sx) p 1.-simbolizar premisas 2) Vm p 3) Vm Sm p 2.-especificar objetos para eliminar cuantificadores 4) Sm PP2,3 3.-aplicar inferencia 63 Palabras finales
Espero que al concluir tu curso de Lgica, comprendas como funciona tu entendimiento, y sobre todo que puedas comprobar la validez de tus argumentos; para hacer una especie de autoevaluacin de lo aprendido, te propongo que intentemos por ejemplo ahora demostrar la validez de un argumento por todos los mtodos vistos en el curso:
Resolvamos el siguiente silogismo:
Algn poltico no es honesto Todo poltico es influyente
Si recuerdas bien tus pasos para hacerlo, notars que es un:
III BOCARDO O Algn poltico no es honesto A Todo poltico es influyente O Algn influyente no es honesto
Inicialmente podramos reducirlo al absurdo y quedara:
I BARBARA A Todo influyente es honesto A Todo poltico es influyente A Todo poltico es honesto 64
Corresponde la figura, el modo, la colocacin de los trminos y, recordemos que, precisamente por ser reduccin al absurdo la conclusin es falsa. Hasta aqu parece vlido nuestro argumento.
Procedamos ahora a comprobarlo mediante diagramas de Venn:
S P III BOCARDO O Algn poltico no es honesto A Todo poltico es influyente O Algn influyente no es honesto
O m p A m s O s p
M
El diagrama nuevamente nos muestra que el argumento es vlido.
Utilizando la Lgica formal, hemos comprobado la validez de este argumento, ahora vamos a utilizar la Lgica simblica:
65
III BOCARDO
O Algn poltico no es honesto A Todo poltico es influyente O Algn influyente no es honesto
(-x) (Px ^ ~Hx) (x) (Px Ix) (-x) (Ix ^ ~Hx)
Estars de acuerdo que lo que tenemos que demostrar es la conclusin:
Demostrar: (-x) (Ix ^ ~Hx)
Y que nuestras premisas son:
1. (-x) (Px ^ ~Hx) p 2. (x) (Px Ix) p
Apliquemos nuestros conocimientos:
Demostrar: (-x) (Ix ^ ~Hx)
1. (-x) (Px ^ ~Hx) p 2. (x) (Px Ix) p 3. Pa ^ ~Ha EE 1 4. Pa I a EU 2
66 5. Pa S 3 6. ~Ha S 3 7. I a PP 4,5 8. I a ^ ~Ha A 6,7 9. (-x) (Ix ^ ~Hx) GE 8
De nuevo hemos demostrado el argumento. Te preguntars, seguramente cul es la importancia de todo esto?
Resulta que cualquiera que sea la profesin que tengas, se esperan de ti cualidades bsicas para la vida en cualquier mbito a desarrollar: profesional, laboral, o social. Entre ellas destacarn tu capacidad de entender y explicar la realidad, de plantear problemas y de solucionarlos eficazmente, para lo cual requerirs del pensamiento reflexivo, el pensamiento crtico y tu capacidad de hacer juicios de valoracin.
De esta manera, la enseanza de la Filosofa en general y, la de la Lgica en especial te resultarn indispensables.
La Filosofa, a ms de una amplia cultura, te ayuda a comprender y problematizar la realidad; por su parte la Lgica te brinda esa indispensable herramienta en la solucin de problemas, que independientemente de que seas o no especialista en una materia, te permitir poner en tela de juicio la validez de los argumentos, contribuyendo as a la formacin de tu pensamiento crtico.
Me place haber contribuido a este aspecto tan importante en tu formacin, te invito a continuar tu formacin haciendo uso de lo aprendido en el curso.