LA NEGACION Sea p, una proposicin simple, se define la negacin mediante la proposicin compuesta no p, simbolizada por p Su tabla de !

!erdad se puede resumir asi" # % & $ & %

'na proposicin simple, se puede negar de !arias maneras E(emplos Negar las siguientes proposiciones" ) Sea p" el * es un n+mero primo Solucin p" no es cierto $ue el * sea un n+mero primo p" el * es un n+mero compuesto , Sea $ue" *,-./ Solucin $" No es cierto $ue *, - ./ $" *, 0./ 1 Sea r" todos los peces !i!en ba(o el agua Solucin r" algunos peces no !i!en ba(o el agua . Sea s" Algunas plantas son medicinales

Solucin s" ninguna planta es medicinal 'SO INA2EC'A2O 2E LA 2O3LE NEGACION Es frecuente en la !ida diaria utilizar la negacin dos o mas !eces, 4ec4o $ue genera, en algunos casos confusiones En efecto, se presentan ambig5edades, cuando se pronuncian frases como estas" Nunca digas nuca 6o no miento nunca No esto7 dentro

As8 por e(emplo, en la frase 7o no miento nunca, se est9 utilizando dos !eces la negacin" cuando se dice no 7 cuando se dice un nunca En matem9ticas, cuando se usa dos !eces la negacin, estas funcionan como los signos negati!os, es decir, se eliminan mutuamente En la frase :no es cierto $ue no fui al cine;, lo $ue est9 diciendo es $ue si fui al cine Cabe ad!ertir, $ue se debe tener muc4o cuidado cuando se utilizan e<presiones como doble negacin E=E>CICIO Negar las siguientes proposiciones ) 2iana es modista , ), es un n+mero par 1 estas dos rectas son paralelas . todos los 4ombres son mortales ? algunos deportistas son ciclistas @ ning+n loro !i!e en el polo norte

Solucin ) 2iana no es modista , No es cierto $ue ), sea un n+mero parA ), es un n+mero impar 1 Estas rectas no son paralelasB estas rectas son concurrentes . Algunos 4ombres son inmortales ? ning+n deportista es ciclista @ algunos loros no !i!en en el polo norte

EL CON2ICIONAL O IC#LICACION
Se dice $ue una proposicin compuesta por el condicional, si est9

formada por dos proposiciones simples entrelazadas por la e<presin" siA , entonces,A La ma7or8a de las proposiciones matem9ticas o teoremas tienen esta estructura #

Antecedente consecuente

Diptesis

conclusin

Se puede de enunciar de !arias formas p entonces $ p solo si $ $ue si p p es suficiente para $ $ es necesaria para p

Analicemos el !alor de !erdad para el condicional ) Sean p 7 $ !erdaderas

p q Es !erdadera
Si se parte de una 4iptesis falsa 7 nuestro razonamiento 4a sido correcto nos conduce a una conclusin !erdadera, por lo tanto, la implicacin es !erdadera , Si p es !erdadera 7 $ue es falsa"

p q es falsa
Si la 4iptesis es !erdadera, nos conduce a una conclusin falsa, es por$ue 4emos cometido un error en el razonamiento 7 finalmente el condicional es falso 1 Si p es falsa 7 $ue es !erdadera Si se parte de una 4iptesis falsa 7 razonando correctamente, podemos llegar a una conclusin condicional es !erdadero . si p 7 $ son falsas !erdadera En caso, el

p q es !erdadero
Si partimos de una 4iptesis falsa !erdadero 7 razonando correctamente podemos llegar a una conclusin falsa #or tanto, el condicional es

p % % & &

$ % & % &

p q
! & & &

CON2ICION NECESA>IAS O S'&ICIENEES Analice las siguientes implicaciones" ) #" Canuel ElFin #atarro7o es tolimense $" Canuel ElFin #atarro7o es colombiano # colombiano En este caso, basta $ue Canuel ElFin #atarro7o sea tolimense para ser colombiano Es decir P es una condicin suficiente para q En cambio Es necesario $ue Canuel ElFin sea colombiano para ser tolimenseB es decir, q es una condicin necesaria para p. , #" E<iste fuego G" Da7 presencia de o<igeno # G "Si e<iste fuego entonces 4a7 presencia de o<igeno $ " Canuel ElFin #atarro7o es tolimense entonces es

En este caso, es suficiente $ue 4a7a fuego para comprobar la presencia de o<igeno" # es suficiente para $ En cambio, es necesario $ue e<ista la presencia de o<igeno para $ue se produzca el fuego" $ es necesaria para p 1 #" El papa sale del cuerpo cardenalicio Gue" El cardenal Castrilln puede ser papa # $" Si el papa sale del colegio cardenalicio entonces el cardenal Castrilln puede ser papa Es decir, $ue es suficiente ser cardenal para ser papa" p es suficiente para $

En cambio, es necesario ser cardenal para ser papa" $ es necesario para p

LA >ECH#>OCA 6 LA CONE>A>>ECH#>OCA A partir de la implicacin o condicional p otros dos condicionales teoremas Estas dos condicionales son" $ se puede obtener

fundamentales cuando se traba(a los

# , La contrarrec8proca de p $ es $ p
) La reciproca de p q es $ E(emplo )" Si 1 es un n+mero impar entonces I1J, es impar Dallar la reciproca 7 su !alor de !erdad >eciproca" si I1J, es impar, entonces 1 es impar El !alor !erdadero de Kste condicional q es !erdadero 7 p es !erdadero, en el condicional es !erdadero Contrarreciproca" si I1J, no es impar, entonces 1 no es impar El !alor de !erdad de este condicional es $ es falso 7 p es falso 7 el condicional es !erdadero EL 3ICON2ICIONAL Se denomina bicondicional a la proposicin formada por dos proposiciones simples p 7 $ue conectada con la e<presin" :si 7 solo si;, simblicamente lo podemos e<presar, as8" p q Esta proposicin est9 formada por las implicaciones p q 7 q p , las cuales deben de tener el mismo !alor de !erdad, para formar la

e$ui!alencia entre p 7 $B en consecuencia se dice $ue p es e$ui!alente a $ 7 se acostumbra a escribir p q Esta e$ui!alencia entre p 7 $, tiene m9s de una traduccin $ue significan lo mismo" p si 7 solo $ $ si 7 solo p si p entonces $ rec8procamente si $ entonces p rec8procamente

2ECOSE>ACION p)" p," p1" $"

p q
r $ $ r p r Irec8proca de p,J Isilogismo de p) 7 p1J

) 2emuestre la !alidez del siguiente argumento #)" p $ #," $ % r $" p

2emostracin #)" p $ #," $ % r #1" $ r Ile7 de la implicacinJ $" p r Ile7 del silogismoJ

, 2emostrar $ue Ip%$J Ip%$J $ 2emostracin I$ % pJ I$ % pJ $ % Ip pJ le7 conmutati!a le7 distributi!a

$% O $ E(emplo .

le7 de complemento le7 de identidad

2emostrar" Ip % $J I$ % rJ I$ % rJ p $ 2emostracin Ip % $J I$%rJ I$ %rJ premisas Ip%$J L$ %Ir rM Ip % $J L$%oM Ip%$J $ Ip $J % I$ $J I# $J % N p$ E(emplo ? 2emostrar" LIp $ rJ % Ip $ rJM p % r 2emostracin LIp $ rJ % Ip $ rJM Le7 premisa LIp r $J % Ip r $JM Le7 conmutati!a LIp rJ % I$ % $JM le7 distributi!a LIp $ J % )M Le7 complemento Lp rM Le7 identidad p % r Le7 de Corgan le7 distributi!a le7 complemento le7 identidad le7 distributi!a le7 complemento le7 identidad