CONDICIONAL E IMPLICACIN Si p, entonces q y p implica q significan cosas distintas.

. Cuando decimos si p, entonces q estamos usando el lenguaje el lenguaje de la lgica proposicional- para expresar que lo enunciado por p es condicin suficiente de lo enunciado por q, es decir, para expresar una relacin entre enunciados. En cambio, cuando decimos p implica q estamos usando el metalenguaje del clculo de proposiciones para expresar una relacin no entre proposiciones, sino entre nombres de proposiciones, y en este sentido lo correcto sera decir p implica q . Cuando decimos si p entonces q estamos diciendo que si se da el hecho enunciado por el antecedente, entonces se dar el hecho enunciado por el consecuente. Cuando decimos p implica q estamos diciendo que la verdad del antecedente implica la verdad del consecuente. Y de sobra sabemos que verdad y falsedad son predicados metalingsticos: ellos estn en relacin a otras proposiciones de las que se predican. Condicional e implicacin son, por tanto nociones situadas en niveles distintos del lenguaje. Hay sin embargo, entre uno y otro concepto, una relacin que merece la pena sealar. Condicional e implicacin se relacionan del siguiente modo: cuando un condicional es lgicamente verdadero, se puede decir que su antecedente implica su consecuente. Pero, esto slo cuando el condicional sea lgicamente verdadero; y adems, no se trata de que ambas expresiones -si p, entonces q (siendo esta expresin lgicamente verdadera) y p implica q (o ms claramente, el enunciado p implica el enunciado q)- vengan a decir lo mismo, sino que la segunda constituye una parfrasis meta-lgica de la primera, un comentario sobre la primera hecho desde el metalenguaje. As pues, y puesto que, por ejemplo: (p q) -> q, es un esquema vlido de

inferencia, podemos decir que p q implica p. En cambio, dado un condicional como: (p q) ->r, que no es un tautologa no podemos decir no podemos decir con verdad- que el antecedente implique el consecuente. Decir, por tanto, el enunciado No estn el maana ni el ayer escritos implica el segundo enunciado No est el maana escrito equivale a decir la expresin Si no est el maana ni el ayer escrito, entonces no est el maana escrito es lgicamente verdadera. En ambos casos estamos usando un metalenguaje. No estamos, en cambio, usando un metalenguaje cuando decimos: si no est el maana ni el ayer escrito, entonces no est el maana escrito. . IMPLICACION DE FRMULAS Una frmula A implica a B si y solo si unidas en forma condicional, A como antecedente y B como consecuente, su matriz resulta tautolgica (en este caso decimos que la inferencia es vlida); si su matriz es consistente o contradictoria, se dice que A no implica a B (en este caso decimos que la inferencia es invlida). Notacin: A -> B: se lee A implica a B

Premisa 1: una condicional Premisa 2: afirma su antecedente Conclusin : se cumple el consecuente

EJEMPLO :
si llueve ,entonces hace frio . Llueve. Por lo tanto hace frio

FORMA LINEAL:
[(p q) p] q

Premisa 1 :un condicional Premisa 2 : negar su consecuente Conclusin : negar el antecedente

EJEMPLO :
Si comes mucho , entonces engordaras . No engoradas Por lo tanto No comes mucho

FORMA LINEAL:
[(p q) ( q) ] p

Premisa 1 : disyuncin Premisa 2: niega una de las dos alternativas Conclusin : se cumple la alternativa restante

EJEMPLO 1 :

res o lloras y no estas riendo .por tanto lloras

EJEMPLO 2 :
ries o looras y no estas llorando. por tanto ries FORMA LINEAL:
[(p q) [(p q) q] p q p]

Premisa 1 : negar dos veces una misma proposicin Conclusin : dicha proposicin

EJEMPLO 1 :
Es falso que no soy japons , por tanto, soy japons

EJEMPLO 2 :
Soy japons , por lo tanto , es falso que no soy japons FORMA LINEAL : ( p) p P ( p)

Premisa 1 : un condicional Premisa 2 : otro condicional , donde su antecedente es el consecuente del condicional anterior

Conclusin : un tercer condicional , que esta compuesto por el antecedente del condicional de la primera premisa y el consecuente de la segunda premisa

EJEMPLO 1 :
Si vas a la fiesta entonces te divertiras y Si te diviertes entonces llegaras tarde a casa . por lo tanto ,si vas a la fiesta entonces llegaras tarde a casa

FORMA LINEAL :
[(p q) (q r)] (p r)

Premisa 1: se da una proposicin Premisa 2 : se presenta otra proposicin Conclusin : ambas premisas se unen por una conjuncin

EJEMPLO :
Estudio en la pre y trabajo en las noches . por tanto ,estudio en la pre y trabajo en las noches FORMA LINEAL : (p) (q) (p q)

Precisa 1 : se da conjuncin Conclusin : puedo simplificar cualquiera de las 2 proposiciones

EJEMPLO 1 :
Estudio psicologa y estudio logic . por tanto ,estudio psicologa

EJEMPLO 2 :
Estudio psicologa y estudio lgica . por tanto estudio lgica

Premisa 1 : se da una proposicin Premisa 2 : se presenta otra proposicin Conclusin : ambas premisas se unen por una disyuncin FORMA LINEAL : [p (p q )]

Premisa 1: un condicional Premisa 2 : otro condicional donde su consecuente es el consecuente del condicional anterior Premisa 3 : una disyuncin con el consecuente del primer caso Conclusin : se cumple consecuente FORMA LINEAL : [(p q) (r q) (p r)] q

Premisa 1 : un condicional Premisa 2 : otro condicional donde el antecedente es el mismo del caso anterior Premisa 3 : negacin de los consecuentes anteriores Conclusin : se obtiene la negacin del primer antecedente FORMA LINEAL : [(p q) (p r) ( q . FALACIAS r)] ( p)

FORMALES : Las falacias son razonamientos

invlidos, es decir, proposiciones con caracterstica tabular contingente o contradictoria, o lo que es lo mismo no-tautolgica. Las falacias que conoceremos a continuacin son de la lgica de proposiciones, dejamos para otra oportunidad las de las lgicas de niveles superiores. 1. Falacia de afirmacin del consecuente . Atenta contra elmodo de afirmar el consecuente . Por ejemplo: Enunciado: Si soy penalista, entonces soy abogado. Soy abogado. Luego, soy penalista. Forma Lgica : (p->q) & q .->. p 2. Falacia de negacin del antecedente . Atenta contra el modo de negar el antecedente. Por ejemplo: Enunciado: Si soy vocal, entonces soy magistrado. No soy vocal. Luego, no soy magistrado.

Forma Lgica : (p->q) & ~p .->. ~q 3. Falacia de cambio del antecedente de la conclusin . Atenta contra el silogismo hipottico. Por ejemplo: Enunciado: Si eres cardilogo, entonces eres mdico. Si eres mdico, entonces eres profesional. Luego, si eres profesional, entonces eres cardilogo Forma Lgica : [(p->r)] -> (r -> p)

4. Falacia de Afirmacin de los extremos . Atenta con el silogismo disyuntivo. Por ejemplo: Enunciado: Eres poeta o eres msico. Eres poeta. Luego, no eres msico Forma lgica: -> ~q

5. Falacia de Dilema Constructivo . Atenta contra el DDC. Por ejemplo: Enunciado: Si eres fiscal, entonces acusas. Si eres juez, entonces juzgas. Acusas o juzgas. Luego, eres fiscal o eres juez. Forma Lgica: [(p-

BICONDICIONAL Y EQUIVALENCIA Es falso que si y slo si p, entonces q signifique lo mismo que p es equivalente a q. Cuando decimos si y slo si p, entonces q, estamos usando el lenguaje para decir que lo enunciado por p es condicin necesaria y suficiente de lo enunciado por q. Cuando decimos p es equivalente a q estamos utilizando el metalenguaje para expresar una relacin entre nombres de enunciados y no entre enunciados mismos. Lo ms correcto sera afirmar que p es equivalente a q . Cuando decimos si y slo si p, entonces q, estamos diciendo que slo en el caso de que se d lo enunciado por el antecedente se dar lo enunciado por el consecuente. Cuando decimos p es equivalente a q estamos diciendo que los valores de verdad del antecedente son en todos los casos los mismos que los del consecuente. Bicondicional y equivalencia son, por tanto, nociones situadas en niveles distintos de lenguaje. Hay sin embargo, entre uno y otro concepto una relacin que merece la pena sealar. Bicondicional y

equivalencia se relacionan del siguiente modo: cuando un bicondicional es lgicamente verdadero, se puede decir que su antecedente equivale a su consecuente. Pero esto solo cuando el bicondicional sea lgicamente verdadero; y adems no se trata de que ambas expresiones si y solo si p, entonces q (siendo esta expresin lgicamente verdadera) y p es equivalente a q vengan a decir lo mismo, sino que la segunda constituye una parfrasis metalgica de la primera, un comentario sobre la primera hecho desde el metalenguaje. Contemplando el hecho de que un bicondicional es lgicamente verdadero, se nos puede antojar describirlo metalingsticamente diciendo que las dos expresiones que flanquean el smbolo del bicondicional son equivalentes. As pues y puesto que por ejemplo, (pes un esquema vlido de inferencia podemos decir que p->q es

verdad que el antecedente de la expresin equivalga a su consecuente: no podemos decir que sean los mismos valores de verdad de uno y otro.

EQUIVALENCIA DE FRMULAS
Dos frmulas A y B son equivalentes si y slo si sus matrices son iguales; si sus matrices son diferentes, de dice que A y B no son equivalentes. Notacin: A B: se lee A es equivalente a B A B: se lee A no es equivalente a B Ejemplos: [(p q)-> r] [p -> (q->r)]

PRINCIPIOS LGICOS CLSICOS

La tradicin aristotlica ha considerado como fundamentales a los principios lgicos otorgndoles mxima jerarqua. Dichos principios pueden transformarse a frmulas cuya evaluacin de sus matrices lgicas nos revele que se trata de una tautologa. Esto significa que no podemos privilegiar slo a estas tautologas por sobre otras igual de vlidas. Dichos principios son los siguientes: 1. Principio de Identidad: Toda proposicin es verdadera si y solo si ella misma es verdadera Forma Lgica: p p 2. Principio de No-contradiccin: No es posible que una proposicin sea verdadera y falsa al mismo tiempo. Forma Lgica: 3. Principio de Tercio Excluido: Toda proposicin es necesariamente verdadera o necesariamente falsa. No existe una posibilidad intermedia. Forma Lgica:

LEYES DE EQUIVALENCIAS NOTABLES :

CONMUTACIN :

p q

q p

p q q p p q q p

ASOCIATIVA:
P (q r) (p q) r P (q r) (p q) r

IDEMPOTENCIA :
p p p p p p

TRANSPOSICION :
p q q p

ABSORCIN :
P (p q) p

P (p q) p P ( p q) p q P ( p q) p q

TEOREMA DE MORGAN:
(p q) (p q) p p q q

DEFINICIN DE IMPLI. MATERIAL :

P q p q P q (p q)

DISTRIBUCIN :

pp-

->p) ->p)

DOBLE NEGACIN:
~~pp ~~~p ~p

DEFINICIN DEL CONDICIONAL :

p q (p->p)

DEFINICIN DE LA DISYUNCIN FUERTE

p q ~ (p q) p q (p q) (~p ~q)