UNIDAD1.FUNDAMENTOSDELGICA.

MAPACONCEPTUAL
LGICA
MATEMTICA

Como
Cienciadela
razn

Es

Aporta

Accin
Pedaggica

Desarrolla

Habilidadesde
Pensamiento

Nuevos
Saberse
Que
desarrollan

Genera

Aprendizaje

Autogestin
Formativa

Autnomo.

Como

Estrategias
Pedaggica
s
Para

Teorade
Conjuntos

Comprender

Anlisis

Razonami
ento

Lgica
Sntesis

Como
Induccin
Abstraccin

Inferencia
Deduccin
Comparacin

Inducciny
deduccin

UNIDAD1.FUNDAMENTOSDELGICA.
Competencias:
Relacionareinterpretarexpresionesdellenguajesimblicoynatural,enlaformulacinyrepresentacindeestructuraslgicas,entrminosde
variablesyconectoreslgicos,siendoestosloselementosestructuralesdelalgicaproposicional ydeestamanera, articularlasdiferentes
formasdecomunicacinendiversoscontextos.
Interpretareidentificar, enformaclara, laestructurayfundamentoconceptualdelosmtodosdeinferencialgicaporinduccinydeduccin,en
formulaciones ydemostracionesderazonamientosvlidos, ensituacionesespecficas,derivadasdelestudiodecontextos,dondeespertinente
suaplicabilidad.

PRINCIPIOSDELGICA.
1.1 CONCEPTOYPROPSITODELADELGICA.

Lalgicaeslacienciaqueexponelasleyes,modos,formasyestructurasdelconocimientoinferido.1
Permiteobtenerconclusiones,apartirdeproposicionesadmitidascomoverdaderas,llamadaspremisas2.Encuantoaltemadeinters,lalgica
Matemticaesaquellaque operaelconocimiento, utilizandoun lenguajesimblicoartificial3 yhaciendo abstraccindeloscontenidos4.

Lasformasdelpensamientoson:

1.1.1

Conceptos: Pensamientosexpresadosconpalabras
Juicios:Operacindelentendimiento,queconsisteencomparar
dosideasparaconocerydeterminarsusrelaciones.
Raciocinios: Usarlaraznparaconoceryjuzgar.

LaInferencialgica

Eselestudiodelavalidezdelosrazonamientos. Sedice queeslgicaformalporqueseocupadelasformasoestructurasqueadoptaelraciocinio

staseclasificaen:
Inferenciadeductiva
Inferenciainductiva

El principalobjetivodelalgicaformal esevaluar la fiabilidaddelasinferencias,investigar esquemasderazonamientoque llevan, desdelas

premisasalaconclusin,enunargumentolgicoparaello, sedeben, demaneraimprescindible,distinguirdostiposdeinferencia,cadaunodelos
cualestieneunascaractersticasespecialesyunoscriteriosdecorreccin sedistuinguen las inferenciasdeductivas ylas inferenciasinductivas.

1 DiccionarioRealAcademiaEspaola
2 Cadaunadelasdosprimerasproposicionesdelsilogismo,dedondeseinfiereysacalaconclusin.
3 Simbologautilizadapararepresentar

demaneraartificiallalgicaentrminosmatemticosparasuanlisis
conocimientoparaconsiderarlasaisladamenteoparaconsiderarelmismoobjetoensupuraesenciaonocin.

4 Separarpormediodeunaoperacinintelectuallascualidadesdeun

1.1.1.1 Inferenciadeductiva
Esenlaque,unargumentoaseguraquelaverdaddesuspremisas,garantiza laverdaddesuconclusin.Elrazonamientodeductivoproporciona
criteriosdecorreccinmuyaltos.
Lainferenciadeductivalograsuobjetivocuandosuspremisasproporcionanunapoyocompletoeindudableparalaconclusinalaquesellega,o
seaqueesinconsistenteoabsurdo, suponer que demanerasimultanea, laverdaddeunaspremisasylafalsedaddelaconclusin.
Cualquierargumentoque se analice ocumpleconestecriterio,onolocumplelavalidezdelainferenciasdeductivasesunasuntode todoonada
nopudeseramedias.Lainferenciadeductiva,permitedeterminarconclusionesseguras,yendo delogeneralaloparticular.
1.1.1.2 Inferenciainductiva
Se dice que hay inferencia inductiva cuando un argumento nicamente asegura que la verdad de sus premisas hace ms probable que la
conclusin sea verdadera. Un argumento inductivo tiene xito cuando las premisas proporcionan alguna evidencia que apoye la verdad de su
conclusin.Lainferenciainductiva va deloparticularhacialogeneral.
Parasaber siest anteunargumento deductivo o inductivo, existeunaclavesielargumentoposeeuntipodeinferenciaenlaquesegarantiza

laverdaddelaconclusin, apartirdelaverdaddelaspremisas,onose garantiza, steserdeductivo delocontrario, esinductivo.

Unargumentoes inductivo cuandoposeeuntipodeinferencia,lacualsloaseguralaverdaddelaconclusin, apartirdelaverdaddelas
premisas.

1.2.HISTORIAYCLASIFICACIN.

1.2.1.Historia

Historiay
Clasificacin
dela
Lgica

Periodo1 (LgicaClsica,tradicionalo
Aristotlica)SigloIVa.C. Hastamediados
SigloXIX.SistematizadaporAristteles.Se
plantearonlastresleyesdelpensamiento:

Principiodelaidentidad
Lanocontradiccin
Laexclusin

Periodo 2 (Lgicasimblica,matemticao
moderna)SigloXIX,1850 hastanuestros
das.Siendosusrepresentantesms
sobresalientesGeorgeBoole,AugustMorgan,
G.Frege,BertrandRussell,A.Whitheheady
KartGodel.Ysusprincipalesaportesson:

AlgebradeBoole
LeyesdeMorgan
Representacinlgicadel
Conocimientoenestructuras
Simples

1.2.2.Clasificacindelalgica

RepresentacindelConocimiento

Lgica

Clasificacin

Caractersticas

en
Tradicional
Permite

Interpretary
distinguirel
razonamiento

la
FormaloSimblica
Permite

Precisin
Mediante
Usode
signos

Investiga,
desarrollay
establecereglas

Claridad
Fcil
Familiarizacin

deelementos

Generalidad

Us

Lenguaje
simblico

REPRESENTACINDELALGICA

2.1 LENGUAJESLGICOS.
Unlenguajeesunconjuntodesmbolos,denominadosalfabetos,quesirvenpararepresentaryexpresarunaidea(latin,mandarin,rabe)yreglas
conlasqueseadministrayseordenaparaquetengansentido.

Lenguajes
Son

Smbolos

Reglas

Ordenados
Que

Representan

Expresan

una

Idea

Existendosclasesdelenguajes,los lenguajesnaturales(elfrancs,ingls,elcastellanoyotros)yloslenguajesformales(eldelasmatemticas,la
lgica,laprogramacin)

ClasificacinLenguajes
Nat ur ales

For males

Noconstruidos

Sonconstruidos

NoArtificiales

Sonartificiales

Son
Son

Utilizadosparacomunicacin,

Sedefinentotalmente

Nodefinidosporsucomplejidad

Sonprecisos

Nosepuedenformalizar

Puedenformalizarse

2.1.1 LENGUAJENATURAL
Unlenguajeesnaturalcuandonoesunlenguajeconstruidooartificialesunlenguajecreadoporlanecesidadhumanadecomunicarse.
Unejemploesellenguajeinglesoelespaol,loscualessonunconjuntodetodaslasoracioneseninglesoenespaoldichasoracionessecrean
deformanatural,apartirdelaexperienciayprcticadelhombreytienenconsistenciaycoexistenciaconlsonorganizadasautomticamente,
conformealanecesidaddecomunicarsedeste.
2.2.1 Propiedades
Lasprincipalespropiedadesdeloslenguajesnaturalesson:
1. Enriquecerprogresivamentealserhumano,conelobjetodequestesecomuniqueyexpresesusideasyraciocinios.
2. Sondecarcterexpresivo,debidoalariquezadelcomponentesemnticoquetienen.Unaevidenciadeesto, sonlosmuchoslenguajes
existentes(espaol,ingles,francs,alemn,etc.)
3. Nopuedenserformalizadoscompletamente.
2.1.2 LenguajeFormal
Unlenguajeesformalcuandotienereglasyaxiomasdeformacin,ydanlugarallenguajeartificial.Unlenguajeformalesunconjuntodeoraciones,
llamadasfrmulas o expresionesbienformadas(fbfs),lascualessepuedenobtenerdelaaplicacindeleyes.
Unadesuscaractersticaseselpoderserdefinidocompletamente,sinquehayanecesidaddedarleinterpretacinalguna.Sonexactosenloque
quierenrepresentarunejemplode stoesellenguajepararepresentarlamatemtica,lalgicaolaprogramacindecomputadores.
Paradefinirunlenguajeformalserequiere:

Establecerelconjuntodesmbolosdellenguaje.
Establecerlasreglasdeformacinquedeterminanqusecuenciasdesmboloslenguajesernfrmulasbienformadas(fbfs).

Denominarlosconjuntosdesmbolosydereglas,sinrecurrirainterpretacionesdecualquiertipo.

Luegodedefinirlosedebe:

Establecerlanocindeinterpretacindellenguaje.
Especificarparaellenguaje, unmecanismodededuccinodemostracindelmismo.

Ejemplo1:
EllenguajeAsedefinedelasiguienteforma:
Alfabeto: ab
Fbf:toda cadenadesmbolosdelalfabetoAquecomience
con'a'esunafbfs. A esunlenguajeformal.
Culesdelassiguientesfrmulasson fbfs:
a)aaaa

b)abbb

c) baaa

d) f

e) abacd

Respuesta: a)Si,Porquecumpleconlareglaparalafbfs yaquesus

elementossondeA
b)Si,cumpleconlareglaparalafbfssuselementoshacenpartede A
c)No,NocumpleconlareglaparaqueseaunafbfsdelalfabetoA, se
aclaraquesuselementospertenecen a A.
d)No,loselementosdelafrmulanopertenecen aA.
e)No,Aunquecumpleconlareglaparaserunfbfs,algunoselementosno
pertenecenaA.

Propiedades

Unapalabraenunlenguajeformalmantieneentodomomentoelmismosignificado,sinimportarelcontextoosuusoelcuales determinadoporla
sintaxis.Lasrelaciones=, , , , ,>,<losconectivoslgicos , , , ylosoperadoresalgebraicos , , mantienenunsignificado
especialypermitenescribirfrmulas.Laspropiedadesdeloslenguajesformalesson:
1.
2.
3.
4.
5.
6.

Desarrollanunateorapreestablecida
Poseenuncomponentesemnticomnimo.
Sepuedeaumentarelcomponentesemntico, deacuerdoconlateoraaformalizar.
Lasintaxisproduceoracionesnoambiguas.
Enloslenguajesformalesesimportanteelroldelosnmeros.
Estncompletamenteformalizados,ystoayudaalaconstruccincomputacional.

2.1.3 Teora deModelos

Parainterpretarunlenguajeformal,seasignansignificadosasussmbolosoasusfrmulasyserecurrealateorademodelos,lacualpermite
interpretarunlenguajeformal,veamos:
Ejemplo 2
Alinterpretarellenguajeformal X delasiguienteforma:&'significaeldgitodecimal1' y $'significael
dgitodecimal0'.Cadafrmulacorresponder aunacifradecimalcompuestaporunosyceros,
comenzandosiempreenuno.
Sisetiene &&&& interpretadosegnlateorademodelos: 1111, sisetiene &$$ sto,
interpretadoser 100

2.1.4.Demostracin de unLenguajeFormal
Lademostracineslaformapormediodelacualelautordeunlenguajeformalmuestralavalidezdesulenguajeysucoherencia.Unmecanismo
dededuccinestacompuestopor:
Axiomasyreglasdeinferencia
Porslodeaxiomas
Porslodereglasdeinferencia.
2.1.5.LaSemitica y suImportancia dentro de laLgica
Recuerde queloslenguajesestnconstituidosporunconjuntodesmbolosyotrodereglassuestudiolohacelacienciadela semitica,lacualse
divideentresramas:

LaSintaxis:estudia lasrelacionesdelossmbolosentres,independientementedelosobjetosqueellospuedandesignares,enconsecuencia,
lateoradelaconstruccindellenguaje.5
Enelcontextodel trabajosintctico, estasociadoconlenguajesformalesoconsistemasformales, sinunareferenciaesencialasuinterpretacin.

LaSemntica:estudialasrelacionesentrelossignosylosobjetosqueellosdesignan.6 Paraefectosdeesteobjetivo,seasociasemnticacon
lainterpretacindeloslenguajesformales,oseaconlateorademodelos.
LaPragmtica: estudialasrelacionesentrelossmbolosylossujetosquelosutilizan.7

5 DiccionarioRealAcademiaEspaola
7 7 DiccionarioRealAcademiaEspaola

Acontinuacinaparece unejemplodecmofuncionalasemitica:
Ejemplo 3(TomadodeCursoLgicamatemtica http://docencia.udea.edu.co/cen/logica/ Lic.AlbertoJaramilloAtehorta)
1. En el lenguaje ordinario, una regla de la sintctica del lenguaje castellano, prohbe que
cualquierpalabracomienceconrr.
2. Elenunciado (a+b)/c indicaque luegodesumaraybsedebedividiresteresultadoporb.
Rta. Estecasocorrespondealapragmtica.
3. Que unafrmula denote nmeros. Rta.Es una propiedad Semntica: La expresin que una
frmula denote nmeros' puede sustituirsemediante la expresin que pueda interpretarse que una
frmuladenotaunnmero.

4. Que una frmula sea verdadera. Rta. Es una propiedad semntica ya que puede sustituirse
mediantelaexpresinquepuedeinterpretarsequeunafrmulaexpresealgoverdadero

2.1.6 Metateora de laLgica

En sntesis, es la teora que estudia los lenguajes o sistemas formales y sus interpretaciones. Su objetivo es estudiar los problemas de
consistencia8, completitud9, decidibilidad10 e independencia de conjuntos de frmulas. La teora de modelos y la teora de la demostracin
pertenecenalametateora.
2.1.7 Uso y Mencin dentro delLenguaje
Antesdeempezarseriamenteelestudiodelalgica, sedebe tenerclaroladiferenciaentrelaspalabrasuso'ymencin' , ejemplo:

Ejemplo4
1. Bogot esunapalabraaguda.
2. Bogotesunaciudad.
Enelejercicio 1,sedicequelapalabraBogot'hasidomencionada.Yenelejercicio 2,
sedicequelapalabraBogot'hasidousada.

Sehacemencindeunobjetoenunciando, algoacercadel.Hayvariasformasparaindicarquesemencionaunobjeto:encerrandoelobjeto
entrecomillasosubrayndolo.Seusaunobjetoo palabra, cuandosteseincorporaauna oracin,dandosusignificado orepresentandouna
situacinsobreelobjeto.
Allenguajeutilizadoparadescribirloslenguajesobjeto,seledesigna metalenguaje11

8 Solidezycoherenciaentreloselementosdeunlenguaje,vistoestecomounconjunto.
9 Serefieraalocompletoqueesunlenguaje,entrminosdesuestructura
10 Caracterstica

deunlenguajedepermitir formarjuiciosdefinitivos sobrealgodudosoo contestable

11 Lenguajeutilizadoparadescribirunsistemadelenguajedeprogramacin.

DiccionarioRealAcademiaEspaola

||Lenguajequeseusaparahablardellenguaje.

2.1.8 Demostracin deLenguajesFormales

Aunacadenadefrmulasdeunlenguajeformalquesatisfacenciertosrequisitossintcticosyquenoposeesignificadoalguno, seledenomina
demostracin.Estaesunaparteofragmentodesmbolos,querepresentanysignificanalgo,yqueseexpresanenmetalenguaje,conelfinde
justificarunenunciadoydarlevalidez.
Unteoremadeunlenguajeformalesunafrmulaquesatisfaceciertosrequisitossintcticosy quenotienesignificadoalguno,mientrasqueun
teoremaacercadeunlenguajeformal (metateorema), esunenunciadoverdadero, acercadelsistema.expresadoenelmetalenguaje.

2.2 SIMBOLIZACIN:PROPOSICIONES.
Elreaqueestudialasproposicionesysusoperacionessedenomina Clculo Proposicional.
La simbolizacin o representacin de la lgica, requiere de un lenguaje preciso, que estructura, de manera dinmica, rigurosa y a prueba de
inconsistencias, losprocesosyoperacionesdelalgicamatemtica.

2.2.1 Ellenguaje
Esunconjuntodeelementosdeesencialimportanciaparaelserhumano,ellenguajeeselmedioparaenunciarhechosodescribirsituaciones
sto lohacecomplejo.
ElLenguaje
Sirvepara

Hacerpreguntas

Hacerafirmaciones

Expresarideas

Hacersolicitudes

Darrdenes

Lasproposicionessonfrasesquesonverdaderasofalsasraznporlacual,laspreguntasnotienensentidosisonverdaderasofalsas.Veamos
unosejemplos:

Ejemplo 5
Alguien desea apoyarlacausaquebuscapazentreloscolombianos?
Elcolorrojoesmejorqueelcolorazul?
Cuandoserlatutoradelgica?
Las preguntas antesplanteadas nosonniverdaderasnifalsas. Veamosotrosejemplos:
Qudeseahquieto!
Noloquieroverahi!

Lasproposicionessurgendelasafirmacionesquesehacenydelinterrogantedesisononoverdaderas.Recuerdequelalgicaseocupadelos
procesosquebuscanlaverdadofalsedaddelasafirmacionesque sehacen raznporlacual,lalgicaestudiaenunciados, afindedeterminarsu
validezy crear, apartirdeestosnuevosenunciados,paraconstruirelconocimiento.
Unaproposicinoenunciadolgico,esuna fraseuoracinhechaenmodoindicativoyquepuedeser verdaderaofalsa.Alosvaloresque
puedetomar,selesllamavaloresdeverdad (verdadero(V)oelbolanos(1)yfalso(F)o(0))

Ejemplo6

Lafrase"5=5"esunenunciado, ya que,oesfalsooesverdadero. Alserunenunciadoverdadero, su valorde

verdadesV.
"Llovermaana", esunaproposicin.Esfalsaoverdadera,dependiendodeloquepasemaana.
"SisoySimnBolvar,entoncesnosoySimnBolvar".Esteenunciado,comosevermsadelante,equivaleal
enunciado"NosoySimnBolvar".Comoelhablantenoes SimnBolvar,esunenunciadoverdadero.
"Haz los ejercicios de lgica", no es un enunciado, puesto que no se le puede asignar ningn valor de verdad
(Estenmodoimperativo,esunaorden,ynounafrasedeclarativa)
"Hazelamorynolaguerra"tampocoesunenunciado,puestoquenoselepuedeasignarningnvalordeverdad
(Tambinestenmodoimperativo,esunaorden,ynounafrasedeclarativa)
Elperro"noesunaproposicin,puestoquenoesnisiquieraunafrasecompleta(almenosenestecontexto).,

Elobjetivodelrazonamientoesgenerarunaconclusin apartirdeunaspremisas (proposiciones), utilizandoreglasdeinferenciaylalgicase

ocupa dela validez de los razonamientos, no de la verdad o falsedad de stos. Todo razonamiento tiene un contenido, y ste tiene forma,
veamos:

Ejemplo7
Si lamaanaesmuyfra,entoncesno entrenar.
Si estudiolalgica,entoncesno tendrproblemasparadesarrollarmisideas.
Estasson2 proposicionesdecontenidosdiferentes.Pero formaeslamisma. Ysuestructuraserepresenta:
Si______,entoncesno_____

Sisediligencian losespaciosvacosconletrasmaysculasenelejemploanterior,dichasletras representarnelcontenidodelasproposicionesy

laexpresinquedar:
Si P entoncesno Q
La lgica slo analiza la forma de los razonamientos y se le denomina lgica formal o ciencia de las formas vlidas del razonamiento para
representarlaytrabajarconella, seutilizaelclculoproposicional.

2.2.2.CalculoProposicional
Sirvepararepresentarlalgicaformalyrealizarlasoperacionesdelasproposiciones,afindevalidarlas.Noolvidequecadaproposicintieneuna
formalgicaalacual seledaunnombre.

Lasproposicionesseclasificanen:

Simples: cuando en ellas no interviene ninguna

conectiva lgica o trmino de enlace (y, o, no, si...
entonces...,si yslosi)
Compuesta: Si se juntan una o varias proposiciones
simplesconuntrminodeenlace

Los trminosdeenlace12 son:

Veamoselsiguienteejemplo:

"y"
"o"
"si...entonces"
"siyslosi"

Yse usanparaligardos
proposiciones,encambioel
trminodeenlace"no"seagregaa
unasolaproposicin.

Ejemplo8
Estamosenelmesdediciembre
Sevaacelebrarlanavidad
Ambas proposicionessonsimples.Yconestasproposicionessepuedenconstruirproposicionescompuestas:
Estamosenelmesdediciembre y sevaacelebrarlanavidad.
Estamosenelmesdediciembre o sevaacelebrarlanavidad.
Si estamosenelmesdediciembre,entonces sevaacelebrarlanavidad.
No estamosenelmesdediciembre.

12 Sonaquellasletrasosmbolosquepermitenunirdosomsproposicionessinperderelsentidolgico.

La forma de una proposicin compuesta se determina segn el trmino de enlace utilizado. En una proposicin compuesta las proposiciones
simplessepuedensustituirporotrasproposicionessimplesysi seconserva.
Pararepresentarunaproposicin, seutilizan letrasmaysculas (P,Q,R,etc).Veamoselejemplo10:

Ejemplo 9
P: Estamosenelmesdediciembre.
Q:Sevaacelebrarlanavidad.
Laproposicin: Estamosenelmesdediciembre y sevaacelebrarlanavidad
Se simbolizaas:

Py Q

Tambinseusansmbolospararepresentarlostrminosdeenlace:
ConectivootrminodeEnlace
Parala"y"
Parala"o"
Parael"no"
Parael"si...entonces..."
Parael"siyslosi"

Seutilizael
smbolo

Smboloquelo
representa
^
v
~

Lasproposicionescompuestasbsicasson:
Laconjuncin,lacualsedacuandoeltrminodeenlaceesy.
Ladisyuncin dadacuandoeltrminodeenlaceeso.
Laimplicacinocondicional dadacuandoeltrminodeenlaceessientonces.
Laequivalenciabicondicionaldadacuandoeltermino deenlaceessiysolosi.
Ladisyuncinexclusivadadacuandoelconectivoesoperonoambas.
ConectivootrminodeEnlace
"y"
"o"
"no"
"si...entonces..."
"siyslosi"
"operonoambas"

Smboloquelo
representa

LecturaProposicin
Compuesta
Conjuncin
Disyuncin
Negacin
Condicional
Bicondicional
Disyuncinexclusiva

Cuandolasproposicionestienenmsdeuntrminodeenlace,hayqueindicarlamaneradeagruparlas,yaquecadaformadeagrupacin,tienesu
propiosignificado.Enlgica, laagrupacinsehaceconparntesisocorchetes.Veamos:

Ejemplo10
Sielequipodefootball tienedelanterosregulares,o sielrivaltienebuenadefensa,entonceselequiponomarcaraungol.
Estetextosesimbolizadelasiguienteforma: P:elequipodefootball tienedelanterosregulares
Q: elrivaltienebuenadefensa.
R: elequiponomarcaraungol.
Laproposicincompuestaes:

P v (Q R) Lacualtieneunsentidodistintodelaproposicin (P v Q)R)

IngresealapginaWebhttp://www.cibernous.com/logica/ Allencontraraunsimuladorquelepermitiringresary verelresultadodeestaproposicin

(Sutabladeverdadyeltipodefuncinquees)

Ladominanciauordendelosdiversosconectivoseslasiguientelacondicionalyelbicondicional(y )dominanalaconjuncindisyuncin,
disyuncinexclusiva(^, v, ) locualindicaqueprimeroseresuelveyaseaaladerechaoizquierdadelosconectivos( y)yluegose
resuelven estosconectivoscomotal.
La otra proposicin especial es la negacin dada por el no y representada por P sta se utiliza para negar proposiciones simples y
compuestas, y cambiaelvalordeverdaddelaproposicin. P^ Q sunegacines (P^ Q)

TrminosdeEnlaceoConectivosLgicos
Sirvenpara

Unir

Relacionar

Operacionalizar

las

Proposiciones
Yson

SiySoloSi

SiEntonces

2.2.3.Signosdefinidos
Cuandoyasehanestablecidolasreglasdeformacindelasfrmulassepuedenagregarabreviacionesparasimplificarsuescritura.Unasdelas
abreviacionesexistentessonlossignosdefinidos,loscualespordemostracin, sonequivalentesconlafrmulaqueabrevian:
Laconjuncinlgica: lafrmula (RvS)sedenotaabreviadamentecomo R ^ Sysellama conjuncinlgica deRySy selee"RyS".
Elcondicional: lafrmula RvS sedenotacomo R S ysellama condicional deRyS.Lafiguralgicadelcondicional,respondeaconectar
dosproposicionesmedianteelesquema"si...entonces".Paraleeruna

proposicindelaformaRS,sedice: SiRentoncesS.LafrmulaRsedenominaantecedente,ylaS,consecuente.Cuandoelcondicionales
lgicamenteverdadero, existeimplicacinyselee RimplicaS,lacualsedenota R S
Elbicondicional: lafrmula (RS)^(SR) sedenotapor R S ysellama bicondicional deRyS. Estaexpresinselee R siyslosi S
Cuandoelbicondicionalesverdadero,hay equivalencia. Selee: RequivaleaS. Denota R S
TABLADESIMPLIFICACIN, UTILIZANDOSIGNOSDEFINIDOS
Nombre
Conjuncinlgica
Condicional
Bicondicional

Estructuradefinida
(RvS)
RvS
(RS)^(SR)

Simplificacin
R^S
RS
RS

Nota:Sedebe tenerpresentequeelnombredesignosdefinidos,seleshadadoporqueatodafrmulaquetengadichaestructura,selepodrde
inmediato,aplicarlasimplificacincorrespondiente.Veamosunpardeejemplos:

Ejemplo11(TomadodeCursoLgicamatemticahttp://docencia.udea.edu.co/cen/logica/ Lic.AlbertoJaramilloAtehorta)
Analizarlasiguientefrmulafrmulaypormediodesignosdefinidos,simplificarla:
(((XA)v (XB)))v(XAB)
Pararesolveresteejercicio,Identifiquesilaestructuracorrespondeaalguno delossignosdefinidos:
Sianalizalapartealaizquierdadelo, tienelaformadelaconjuncinlgica(R v S) ysepuede simplificar,
quedandodelasiguientemanera: (XA)^ (XB). Demaneracompletaquedara:
((XA)^(XB))v(XAB)
Ysianalizaesta frmulafrmula, tienelaformadela condicional:RvS.Aplicandoestasimplificacin setendra:
((XA)^ (XB))(XAB)
IngresealapginaWebhttp://www.cibernous.com/logica/ Allencontrarunsimuladorquelepermitiringresaryverelresultadodeestaproposicin
(Sutabladeverdadyeltipodefuncinquees)

SignosDefinidos
Usadospara

Abreviar

Simplificar

FrmulasdelaLgicaFormal

Susformasson

LaConjuncinLgica,quesimplificalaforma (RvS) en R^S

ElCondicional,quesimplificalaformaRvS enR S
Elbicondicional,quesimplificalaforma (R S)^(SR) en R S

2.3 TABLASDEVERDAD.
Sonlaformaderepresentarydevalidarlaveracidaddeunaomsproposiciones,segnlos valoresdeverdad posibles.Losvaloresdeverdadson
binarios,yaqueslopuedenserdetipopositivoonegativo,Verdaderoofalso,SioNo,1o0.
2.3.1 InterpretacinenellenguajeordinariodelastablasdeVerdad
Paraconstruireinterpretarlastablasdeverdad,seanalizanlosconectivosotrminosdeenlaceosignoslgicos(Negacin,Y,O,Si
EntoncesySiySloSi (, v,^,,).
Sepuedeestablecercorrespondenciaentrelosresultadosdelastablasdeverdadylosprocesosdela deduccin enlgicamatemtica,. haciendo
quelastablasdeverdadseanunmtododedecisin quepermitevalidarsiunaproposicinesonounteorema.Veamoslasequivalenciasde
los dos valoresposibles:
ValordeVerdad
Verdadero(V)
Falso(F)

EquivalenciaBinaria
1
0

Equivalencialenguajenatural
Si
No

2.3.2.Funcioneslgicasysurepresentacinentablasdeverdad
LaNegacin(No):cuyovalorcorrespondenalvalorcontrariodelaproposicinnegada.Seescribe P ~P y se lee:NegacindeP, veamossu
tabladeverdad:
P
1
0

Q
0
1

Disyuncin(ov): DenominadaOR, suvalor esnegativoofalsoslocuandoel valordelasproposicionesofrmulasvaloradasesFalso. Se

escribe: PvQ y se leecomo: PoQ, sutabladeverdadquedadelasiguientemanera:
P
1
1
0
0

Q
1
0
1
0

Pv Q
1
1
1
0

DisyuncinExclusiva(): DenominadaXOR,suvalores negativoofalso, slosilasproposicionesofrmulasvaloradastienenelmismovalorde

verdad,obien, ambasfalsasoambasverdaderas.Sutabladeverdadqueda:
P
1
1
0
0

Q
1
0
1
0

P Q
0
1
1
0

Conjuncin(y^ ):DenominadaAND,suvalorespositivooverdaderosolamentecuandoelvalordelasproposicionesofrmulasvaloradases
Verdadero. Seescribe: P^Q y se lee: PyQ. Latabladeverdadquedaas:
P
1
1
0
0

Q
1
0
1
0

P^ Q
1
0
0
0

ImplicacinoCondicional(SiEntonces ): Suvalorsolamentees falso cuandolaprimeraproposicino frmula,denominada antecedenteo

hiptesis esverdaderaylasegundaproposicino frmula denominada, consecuenteotesis esfalsa. Seescribe: PQ ylaleemos: PimplicaQ
SiP,entoncesQ. Sutabladeverdadeslasiguiente:
AntecedenteoHiptesis
Consecuenteotesis

P
1
1
0
0

Q
1
0
1
0

P Q
1
0
1
1

EquivalenciaoBicondicional(Siysolosi ):Suvaloresverdaderocuandoambasproposicioneso frmulasvaloradastienenelmismovalor

deverdadobien, ambasfalsas oambasverdaderas.Seescribe: P Q yselee: PsiyslosiQPesnecesarioysuficienteparaQ.Sutabla
deverdadqueda:
P
1
1
0
0

Q
1
0
1
0

PQ
1
0
0
1

TablasdeVerdad
Son

Formasderepresentar

Yvalidarlaveracidad
Las

Pr oposiciones

Simples
Clases

Negacin

Operaciones
con
Proposiciones

Compuesta

Disyuncin
DisyuncinExclusiva
Conjuncin
Implicacin
Equivalencia

2.3.3.Funcionesoproposicionescompuestas
Tautologas: Sisonproposicionescuyovalorsiempreesverdaderoparacualquiervalordeverdaddelasproposicionessimplesofrmulas.Por
tanto,la ltimacolumna delatabladeverdadestarformadanicamenteporunos.Unatautolgicaesuna identidadlgica,oseaquesiemprees
verdadera.
Contradicciones:sisonlanegacindelastautologas,luegosonproposicionesfalsas,cualquieraqueseaelvalordeverdaddelasproposiciones
simpleso frmulas.Concluyendolaltimacolumnadelatabladeverdad deunacontradiccin, estarformadanicamenteporceros.
Contingencias:sisonproposiciones cuyovalorfinalest compuestoporvaloresdeverdadfalsosyverdaderos,laltimacolumnadesutablade
verdadestarformadaporcerosyunos.
UnaContingenciaes unaecuacinlgica stasadquierensu valordeverdadparadeterminadascombinacionesdevaloresdeverdad delas
proposicionessimpleso frmulas.

ProposicionesCompuestas

Tautolgicas

Contradicciones

Contingencias

ValorsiempreVerdadero

ValorsiempreFalso

ValorVerdaderoyFalso

2.4RAZONAMIENTOS.
Unodelospropsitosmsimportantesdeldesarrollodeestecursoesaprenderypracticarelprocesoderazonamientodeductivoeneldesarrollo
delpensamientolgicomatemticodelosparticipantes, debidoaquelavidadehoyexigeseranalticos,investigativosyporende, constructoresde
nuevoconocimiento. Acontinuacinaparecen algunosconceptosquepermitencomprenderestetema.
2.4.1.Teoradeductiva
Lateoradeductivaeslaquesefundamentaenlosprincipiosdelasdefiniciones13 ylasdemostraciones14.
Paradesarrollarla sedeben cumplirlassiguientescondiciones:
1. Aprenderaenunciarconclaridadlostrminosiniciales, conloscuales sepretende definirlostrminosdelateora.
2. Aprenderaenunciarclaramentelasrelacionesiniciales,conlasquesebuscadefinirlasdemsrelacionesporlogeneral,sonrelaciones

enlasquelossereshumanosfundamentamosnuestroconocimiento.
3. Aprenderadetallarconclaridadlasproposicionesiniciales(simples),conlasquenosproponemosdemostrarlasdemsproposicionesde

lateora.Comnmente sw denominan Axiomasysuobjetivoesrelacionarlostrminosinicialesylasrelacionesiniciales.

4. Todaslasrelacionesenunciadasentrelostrminosdebenserrelacioneslgicas,ydebenpermanecerindependientesdelsentidoconcreto

olainterpretacinqueseledealostrminos.
5. Enlasdemostracionesslodebenintervenirrelacionesenunciadas.

Cuandosedanestascondiciones, lateoradeductivasedagraciasaquepresentacontenidosqueconservansusentidoysuverdadderivadosde
laexperiencia.

2.4.2.Axiomasopostulados
Sonproposicionesprimitivasoiniciales,lascualesseadmitencomociertasdesdeelcomienzo.
Alconstruccinunateoradeaxiomasdebemospartirdeunconjuntodeaxiomas,queseancompatibles,suficientes, eindependientes.Veamos
quesignificacadaunadeestascaractersticas:
Compatibilidad: Dosaxiomasnopueden frmularenellos,niproducirensusresultadosderivados,relacionescontradictorias15.
Suficiencia: Todaproposicinverdaderahadeserdeducibledentrodelsistema16.
Independencia: Ningnaxiomahadepodersededucirdeotros 17.
2.4.3.Lademostracin
Consiste en probar algo, a partir de verdades universales y evidentes, las cuales no son ms que proposiciones se denominan premisas y
permitenllegaraotraproposicindenominada conclusin.Paraprobarlas,seaplicanlas reglaslgicas18.Vercapitulo2Leccin3.Lospasos
para demostraroprobarunaproposicinenlateoradeductivason:
1. Enunciarconclaridadlosaxiomasdelateora.
13 Proposicinqueexponeconclaridadyexactitudloscaracteresgenricosydiferencialesdealgo.RealAcademiaEspaola
14 Pruebadealgo,partiendodeverdadesuniversalesyevidentes.Comprobacin,porhechosciertosoexperimentosrepetidos,deunprincipioodeunateora.

procedimientodeductivo. RealAcademiaEspaola
15 17 18 .DefinicintomadadelLibroMatemticaDigital. Edit.McGrawHill.1999.Pg.53.CarlosBarcoGmezyotros.
18

Conjuntodeoperacionesquedebenllevarseacabopararealizarunainferenciaodeduccincorrecta.RealAcademiaEspaola

Finytrminodel

2. Establecerlasreglasparavalidarelprocesodedemostracinaestasreglasselesdenomina reglasdevalidez bsicamentesontres:

1: Todoaxiomapuedeserutilizadoencualquierpasodelprocesodedemostracin.
2: Si PQ aparecenenunademostracinyPtambinapareceenlamismademostracin,sepuedeconcluirQenlademostracin.
Estaesunareglauniversalyseconocecomo ModusPonendoPonens o ModusPonens.Iralcapitulo2leccin3paraprofundizar.
3: Cuando dos proposiciones son equivalentes, es posible sustituir una por la otra, en cualquier parte de la demostracin. Regla
denominadasustitucinporequivalencia.
3.Realizarlademostracindeunaproposicinespecfica,esobtenerlaproposicinfinalenelprocesodemostrativoporaplicacinreiteradade
lasreglasdevalidez1,2y3.
Ennuestrolenguajetendemosaconfundircierto con verdadero.Enlgica,lacertezaessubjetiva,ydicequelacorrespondenciadeunenunciado
conloquesucedeenlarealidad,deberesultarigualparatodoslossujetosqueinvestiguenlaverdaddedichoenunciado.Deigualforma,adiario
seconfunde verdadero con correctoovlido.Enlgica sedebe distinguirentre conclusionesverdaderas y argumentacionescorrectasovlidas.
Cuandoun razonamientoescorrectoovlidoselellama validezdelrazonamiento .Cuandolaargumentacinseapoyaenargumentosvlidosen
todossuspasos, tomaelnombrede deduccin.

2.4.4.Reglasdeinferenciabsicas
Paragarantizarqueunaconclusinesvlidaeneldiseodepruebas,sedeben emplearlasleyesdelalgicaaestasleyesselesconocecomo
reglasdeinferencia. Estas sirvenparaprobarque, apartirdepremisas,esposibledemostrarlavalidezdeunaconclusin.Suprincipalobjetivoes
abreviarlasdemostraciones,utilizandolasleyesdealgebradeproposicionesysusequivalencias.

2.4.5.LeyesdeAlgebradeproposicionesyEquivalenciasFundamentales
Enelsiguientecuadro seobservan lasleyesdeinferenciabsicas suobjetivoesfacilitarlaidentificacindelasequivalenciasbsicasenelclculo
proposicionaly sedeben utilizarlascuando sehacen demostracionesserecomiendatener muypresenteestecuadro.

1.
2.
1.
2.
1.
2.
1.
2.

Leyesdedempotencia
PvPP
P^P P
LeyesAsociativas
(PvQ)vR Pv(QvR)
(P^Q)^R P^(Q^R)
LeyesConmutativas
PvQ QvP
P^Q Q^R
LeyesDistributivas
Pv(Q^R) (PvQ)^(PvR)
P^(QvR) (P^Q)v(P^R)

1.
2.

LeyesdeIdentidad
Pv0PP^1 P
P^1 PP^00

1.
2.

Leyesdelcomplemento
PvP 1,P^P0
(P)Pi101,01

1.
2.

LeyesDMorgan
(PvQ) P^Q
~(P^Q) PvQ

2.4.6.Mtodosdedemostracin
2.5.6.1.MtododirectooMtododelahiptesisauxiliar
Si setieneunconjuntodepremisasenunateora, partiendodelsupuestoqueunaproposicinPesverdaderayhaciendousodelaspremisas
disponibles, esposibledemostrarqueunaproposicinQesverdadera,dandocomoconclusinque P Qesverdadero.
Procesodedemostracin:
Parademostrarquelaproposicin P Q esteorema sedebe:
1. SuponerqueantecedentePesverdadero.Estaeslahiptesisauxiliar.
2. Luego,conesta hiptesis,sedisealaargumentacinlgica, haciendousode axiomasyteoremasdemostrados, afinde obtener, por
mediodelasreglasdevalidezydeinferenciadelavalidezdeQ.
3. Finalmente,seconcluye lapruebayseestablecelavalidezde PQ.
Sintetizandolademostracindelaproposicin P Q, utilizandoelmtododirecto,sedesarrollaradelasiguienteforma:
Suponer que

esverdadera(Asto selellama hiptesisauxiliar)

Q

Aplicar argumentacinlgica(Demostracinsubordinada)

P Q Conclusin
2.4.6.2.Mtododelcontrarrecproco
Estepartedelteoremaconsumismonombre,elcualdicequelaproposicindelaforma(PQ)(QP),dalugaraunavariantedel
mtododirecto.
Parasudesarrollosepartedelsupuestoquesequieredemostrarlaproposicin PQ,lacualesunteoremayquenoesposibleobtenerla
conclusindeseadapormediodelmtododirecto.Debidoa sto,demostrar,conelmtododirecto, lacontrarrecproca de PQ,(QP)
allograresteobjetivo,seestablecelavalidezdesiseconsigueesteobjetivo,entoncesquedaestablecidalavalidezdePQ, haciendousosde
lasustitucinporequivalencia.

Procesodedemostracin
Parahacerlademostracinquelaproposicin P Q esunteorema sedebe:
1.
2.
3.
4.

Tomarcomohiptesisauxiliar Q.
Disear laargumentacinlgicaquepermitaconcluir P
Concluir, utilizandoelmtododirectoque (Q P) esunteorema.
Aplicarlaregladevalidez3,paraconcluirque PQ esvlida, mediantelaequivalenciadelcontrarrecproco.

Ensntesis, lademostracindelaproposicin P Q porestemtodo, sehacebajolasiguienteforma:

Suponer que

eslahiptesisauxiliar.Aplicarargumentacinlgica
P
Q P

MtodoDirecto

P Q

Porcontrareciproco

2.4.6.3.Mtododedemostracinporcontradiccin
Paraentenderestemtodo,esnecesarioaclararlosconceptosde,Contradiccin:esaquellaproposicinquecorrespondealaconjuncinentre
unaproposicinysunegacin.
Estemtodosefundamentaenlacondicindenocontradiccinparaunateora,ysupone, demaneraexplcita,lanegacindelaproposicina
demostrar.Demaneramssimple,sedicequelateoraconesesupuestoesinconsistentey,enconsecuencia,talhiptesisesfalsa,oloquees
equivalente: quesunegacinesverdadera,quedandovalidadalaproposicininicial.Veamoselsiguienteejemploparaexplicarmejorloanterior:

Ejemplo12(TomadodeCursoLgicamatemtica http://docencia.udea.edu.co/cen/logica/ Lic.AlbertoJaramilloAtehorta)

Demostrarquesi P (Q^ Q)esverdadera,entoncesPesverdadera.
1. P (Q^Q) Premisa
2. (Q^Q) P Regladevalidez3depaso1(Contrareciproco)
3. (QvQ) P Regladevalidezdepaso2)LeyDMorgan.DobleNegacin
4. QvQ
5. P

Teoremadelmedioexcluido
ModusPonensdepaso4)y3).

Ingreseala pginaWebhttp://www.cibernous.com/logica/ Allencontrarunsimuladorquelepermitiringresaryverelresultadodeestaproposicin

(Sutabaldevendadyeltipodefuncinquees)

Proposiciones
Son

Trminosdeenlace

Se

Expresiones
lingsticas

Son

Clasifican
en

Se

Letras o smbolos que

permiten
unir
proposiciones sin perder
elsentidolgico

Clasifican
en
Y=Conjuncin

Simples

O=Disyuncin

Compuestas

Son

Son

Las que tienen sentido

completo y su valor es
falso oVerdadero

No=Negacin

Unin entre dos o ms

proposiciones simples a
travs de trminos de
enlace

Sientonces=
Condicional
SiysoloSi=
Bicondicional

Razonamiento

Lenguaje

Un
Un
Procesoquepermiteestablecerconclusionesde
acuerdoaproposiciones

Sistemadesignosqueexpresanideasafinde
establecercomunicacin

Seclasificaen
Seclasificaen

Inductivo

Deductivo

Analgico

Se

Es

Es

Establece un
principio
general
basado
en
experiencias

El ideal por
excelencia y
parte de lo
general
hacia
lo
particular

El que traslada
las propiedades
de un objeto ya
conocido a otro
semejante

Natural
Nace
Capacidades
lingsticas de una
comunidad

Artificial
Es
Aquel que utiliza
signos para obtener
una
comunicacin
msprecisayclara

Glosariodetrminos
Paradarinicioaestecursodebemosrecordarlossiguientesconceptosyfamiliarizarnosconellosyaqueestaremosutilizndolosmuyamenudo:
Axioma: Proposicintanclarayevidentequeseadmitesinnecesidaddedemostracin.
Conocimiento: Averiguarporelejerciciodelasfacultadesintelectualeslanaturaleza,cualidadesyrelacionesdelascosas
Deduccin: Sacarconsecuenciasdeunprincipio,proposicinosupuesto.
Inferir: Sacarunaconsecuenciaodeduciralgodeotracosa
Pragmtica:Ramadelasemiticaqueestudialasrelacionesentrelossmbolosylossujetosquelosutilizan.
Proposicin:Esunenunciadoofrasealacualpuedeasignrseleunodelosdosvaloresdeverdad.
Razonar: Discurrir,ordenandoideasenlamenteparallegaraunaconclusin.
Razonamiento:Seriedeconceptosencaminadosademostraralgooapersuadiromoveraoyentesolectores
Semitica:Cienciaquesededicaal estudiodellenguajeoseaelestudiodelossistemasdesignos,compuestapor3ramas: Sintaxis,
SemnticayPragmtica.
Sintaxis: estudio de las relaciones entre los smbolos entre s, independientemente de los objetos que ellos puedan designar es, en
consecuencia,lateoradelaconstruccindellenguaje.
Semntica: Ramadelasemiticaque estudialasrelacionesentrelossignosylosobjetosqueellosdesignan.
Teoremas: Proposicindemostrablelgicamentepartiendodeaxiomasyademostrados,mediantereglasdeinferenciaaceptadas.
Valordeverdad:Unidadesparavalidacindelosprocesosdelalgica,puedeserVerdaderoy/oFalsoensudefectoSiy/oNo1y/o
0.
BIBLIOGRAFIA
Nota: Losejerciciosdesarrolladoscomoejemplosparailustrarlosconceptos, sontomadosdelassiguientesfuentes:
Libro:
1998
Libro:
PaginasWeb:

MatemticaDigital,GmezCarlos,GmezGerman,BoteroWilliam.
LgicaMatemtica,GalindoPatioNubiaJaneth.Lgicamatemtica.
EditorialUniversidadAbiertayADistancia.Bogot.2001
http://docencia.udea.edu.co/cen/logica/
Fundamentosdelgicayteoradeconjuntos.UniversidaddeAntioquia.
CompendiadosporelLic.AlbertoJaramilloAtehortua.(Ejercicios 15,16)

EditorialMcGrawHill.Bogot.