30/7/2016 UntitledDocument

Imprimirestaunidad

ElLenguajeylaLgicadelasproposiciones
6.1LgicadelasProposiciones

6.1.1Definicindeproposicin
Comosereshumanosnecesitamoscomunicarnos,hacernosentenderyentenderloquenostransmiten,estodioinicioala
comunicacinhabladaenelserhumano,despusutilizolaescrituracomoherramientaomediodecomunicacin.

Enellenguajecientfico,sedefinecomoproposicinaunasentenciaoenunciadoquepuedeserverdaderoofalso,generalmente
sondecarcterenunciativo.

Unaproposicinoenunciadoesunaoracinquepuedeserfalsaoverdadera,peronoambasalavez.Laproposicinseconsidera
unelementofundamentaldelaLgicaMatemtica.

Unaproposicinsecomponedelossiguientesfactores:

PremisasSelellamapremisaatodasycadaunadelasproposicionesdeunrazonamientoquedanlaconsecuenciao
conclusindedichorazonamiento.Laspremisassedefinencomoexpresioneslingsticasqueafirmanonieganalgoy
puedenserverdaderasofalsas.
ConclusinLaconclusinserlaproposicinfinalquesurgeapartirdelaspremisasqueformanelargumentoo
enunciado.

Lasproposicionessonevaluadasdeformaexcluyente,tomandolosposiblesvaloresdeverdaderoofalso.

VeamoslossiguientesEjemplos:

Lupitaesminovia
Estaoscuroelcine
Latierraesplana
X>y9
HolaCmoestas?
Losargumentosayb,puedenserafirmacionesverdaderasofalsa,porloqueseconsideranargumentosvlidosparauna
proposicin
Elargumentocdeigualmaneraesunaafirmacinquepuedeserfalsaoverdadera,aunquerealmenteyasabemosquela
afirmacinesfalsa,cumplecomoargumentovlido
Elenunciadodesunaexpresinquesuconclusinpuedeserverdaderoofalso,perodependedelosvaloresquetomenlas
variablesxyy
Elenunciadoenocumplecomolascaractersticasparaserunenunciadoquepuedetomarlosvaloresdeverdaderoofalsoya
queesteesunsaludo

Debemoshacerunadistincinentrefrasesyproposicin.Lafraseeselconjuntodeletrasosonidos,esunaformalingstica
enunidiomadeterminadoquepuedeserqueexpreseunaproposicin.Laproposicineselpensamientocompletoquedescribe
algnhechooaspectodelmundo.

Porloqueladefinicinformaldeproposicines:Launidadsemnticadelacualpodemosdecirqueesverdaderaofalsa.

Lasfrasesexpresivaspuedensersincerasoilegitimas,peronoverdaderasofalsas.

Lasordenesorecomendacionestampocopuedenserverdaderasofalsas,decimosquesonjuiciosasoinsensatas.

FalsedadoVerdadsontrminosdelgicaconcarctertcnico.Verdad,eslapropiedaddelaunidadsemnticaque
describeadecuadamentealmundo.Esevaloresloquemsinteresaallgicosobreunaproposicin.

Ejemplo:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 1/28
30/7/2016 UntitledDocument

Veamosenestosejemplosque,aunqueelsujetonoeselmismo,elsignificadolgicoeselmismo,nosestnproporcionandouna
mismainformacin,lacualpuedesercatalogadacomoverdaderaofalsa.

EjemploNo.1

1.Losgriegosyromanosllamabanbarbarosalospueblosquenopudierondominar
2.Losbarbaroseranaquellospueblosquelosgriegosylosromanosnopudierondominar

EjemploNo.2

1.Alafiebreamarillaselellamavitonegro
2.Vmitonegroesotronombreparalafiebreamarilla

EjemploNo.3

1.Elautoenciendecuandotienegasolinaeneltanqueytienecorrientelabatera
2.Sitienecorrientelabaterayeltanquetienegasolinaelcarroenciende

6.1.2Clasificacindelaproposiciones

6.1.2.1ProposicionesSimplesyCompuestas

Enlalgicasedistinguendostiposdeproposiciones:

ProposicionesSimplesoAutomticas

Sonproposicionesqueyanopuedendescomponerseendosexpresionesqueseanproposiciones.

Ejemplo:

Laballenaesroja
Larazcuadradade16es4
Gustavoesalto
Teresavaalaescuela
MarteeraelDiosdelaguerra
LasMariposassonmamferos
ProposicionesCompuestasoMoleculares

Esunaproposicinformadapordosomsproposicionessimplesocompuestas.Sonlasproposicionesenlasqueaparecenlas
partculasgramaticalescomo:

No,o,y,si.Entonces,siysolosi
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 2/28
30/7/2016 UntitledDocument

Ejemplo

TeresavaalaescuelaoMaraesInteligente
4esmenorque8o6esmayorque10
Sicorrorpidoentoncesllegaretemprano
AprenderMatemticassiysolosiestudiomucho

Veamosahoracomosedescomponeunaproposicincompuesta

1.Lareunindebecontinuarovamosalteatro

Dosproposicionesatmicas:Lareunindebecontinuar,vamosalteatrounidasporlapartculao

2.LaTierraesunaplanetaygiraalrededordelSol

Dosproposicionesatmicas:LaTierraesunplaneta,LaTierragiraalrededordelsolunidaspory

3.Sivamosalcine,entoncespagaslaentrada

Dosproposicionessimples:vamosalcine,pagaslaentradaunidasporlapartculaSi,entonces..

4.Bailoymediviertoovoyalcineycomochocolates

Cuatroproposicionesatmicas:Bailo,medivierto,voyalcine,comochocolatesunidasporlaspartculaso,y.

Nota:

Selesllamatrminosdeenlaceoconectivoslgicosalaspartculas:

No,o,y,sientonces,siysolosi

Observemosquelosconectivos:o,y,sientonces,siysolosi,seusanparaenlazardosproposiciones,peroelconectivonoacta
sobreunasolaproposicin.

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 3/28
30/7/2016 UntitledDocument

6.1.3SimbolizacindelasProposiciones

Parafacilitareltrabajoconlasproposiciones,podemossimbolizar,utilizandoparasimbolizarlasproposicionessimples,lasletras
minsculasdelalfabeto:a,b,c,p,q,r,s.

Ejemplo:

Gustavoesalto

Sepuedesimbolizarconlaletraminsculap.p:Gustavoesalto

Porloquenoesnecesarioleertodoelcontenidobastaconhacerreferenciaalaletrapparasaberquenosestamosrefiriendoala
proposicinGustavoesalto,enestacaso.

Ademspodemossimbolizarproposicionescompuestasutilizandoelmismosistema:

Ejemplo:

TeresavaalaescuelaoMaraesinteligente

p:Teresavaalaescuela

q:Maraesinteligente

poqTeresavaalaescuelaoMaraesinteligente

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 4/28
30/7/2016 UntitledDocument

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 5/28
30/7/2016 UntitledDocument

6.1.3.1ValordeVerdad

Hemosvistoquelasproposicionespuedentenerunodedosvaloresdeverdadesdecirunaproposicinesverdaderaofalsa.Al
representarloloharemosconunaletravminsculaseguirdeparntesis,dondeencerramoslaletraquerepresentalaproposicin,
asv().

Porloquesiquisiramosverlosvaloresdeq,estosserian:

v(q)=V=verdaderoov(q)=F=Falso

Tambinpodemosutilizar1(uno)paraelvalordeverdadverdaderoo0(cero)paraelvalordeverdadfalso.

v(q)=1ov(q)=0

Ejemplo:

Proposicin ValordeVerdad

ChinaesunPasAsitico v(q)=1

Lazoologaestudialasplantas v(q)=0

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 6/28
30/7/2016 UntitledDocument

6.1.3.2ConectivosyCuantificadores

Enlavidacotidianautilizamosproposicionescompuestasenlasqueutilizamospartculasquenosayudanaentendersu
significado,estaspartculasson:

Conectivos:Unenproposicionessimplesparaformarproposicionescompuestas,estassesimbolizandelasiguientemanera:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 7/28
30/7/2016 UntitledDocument

Ejemplo

1.LaTierraesunaplanetaygiraalrededordelSolp^q
2.4esmenorque8o6esmayorque10rvs
3.SiDavidrecibielmensaje,entoncesLuisavendrp=>q
4.AprenderLgicasiysolosiestudiomuchowy

ConectivosyCuantificadores

Enlavidacotidianautilizamosproposicionescompuestasenlasqueutilizamospartculasquenosayudanaentendersu
significado,estaspartculasson:

Cuantificadores:Loscuantificadoresindicannmerosyson:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 8/28
30/7/2016 UntitledDocument

ClasificacindelasProposiciones

Lasproposicionessedividensegnsucontenidoen:

CantidadPorcantidad,estaclasificacinhacereferenciaalacantidadqueexpresamosenlasproposiciones,estasedivide
en:
UniversalesUnaproposicinesuniversalcuandoserefierealatotalidaddeelementosinvolucradosenl.
Generalmenteseutilizaelcuantificadorespeciicodetodos,perotambinsesuelesustituirportotalmente,sin
excepcin,etc.Elcuantificadoruniversalnodenotaexcepcinsinototalidad.

Ejemplo:

Losmltiplosdeldasonlasemana,elmesyelao

Ellitroeslacapacidaddeundm3

Eltejidoeselconjuntodeclulasdeunamismaclase

Todoslosmamferossonvertebrados
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 9/28
30/7/2016 UntitledDocument

Lossentidosson:Lavista,elolfato,elgusto,eltactoyelodo

Aunqueelcuantificadorsufrevariacionesgramaticales,lainformacinestadadaenformauniversal,siempreserefiereala
totalidad.

ParticularesLasproposicionesparticularessonlasqueserefierennicamenteaunapartedeltodo,siempreycuando
seadedosenadelante.Noseagotalatotalidad.Sealaexcepciones.

Ejemplo:

AlgunosVerboirregulares

Laspalabrasgravesseacentan,exceptoalgunosadverbios

Ciertosanimalessonherbvoros

Todoslosmetalessonslidos,exceptoelmercurio

Losmamferossonvivparos,menoselornitorrinco

IndividualesSonaquellasproposicionesqueserefierenaunsoloelementodelconjunto

Ejemplo:

ElPlanetatierraeselcuartodelsistemasolar

ElFaranmasnotablefueRamssII

LaSierraMadrecruzaelterritorioguatemalteco

CualidadEstaclasificacindependedecmoexpresamoslainformacin,negativa,afirmativa,oindeterminada,estoleda
alaproposicinunsignificadoespecifico,sudivisineslasiguiente:
AfirmativasCuandolasproposicionesojuiciosexpresanunconceptooconceptosqueperteneceaotrouotros.

Ejemplo:

Arcoesunaporcincualquieradelacircunferencia

Tangenteeslarectaquesolotieneunpuntodecontactoconlacircunferencia

Ladermiscontienelasglndulassudorparas

Elcobreesmetal

NegativasCuandolasproposicionesexpresanqueunconceptooconceptosnoperteneceaotrouotros.Existeuna
separacintotalentrelosconceptosenunciados.
Ejemplo:

Elprismairregularnoesrecto

Ningntrapezoidetienesusladosiguales

Algunoshidrocarburosnosonalcalinos

Elgerundionoesvariable

IndeterminadaSellamanindeterminadasporquenoafirmanninieganalgoespecfico,sinoquedejanlarelacinde
unconceptoconotroqueperteneceaunaesferailimitadadeconceptos,nomineralnoestsealando
especficamenteaqueserefiere,nicamenteestablecelaclasedenominerales,cuyonmeroesindeterminadoo
indefinido,puespodemosencontraralltodo,exceptoloquenoesnomineral(vegetales,animales,seresespirituales,
valores,obrasdearte,etc.).Nonosespecificanloquenosquieredecir.
Ejemplo:

Algunoscuerpossonnoslidos

Lossuizosdehablanofrancesa
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 10/28
30/7/2016 UntitledDocument

Algunosvertebradossonopeces

Algunosnmerospositivossonnonaturales

ModalidadEstadivisinobedecealgradodenecesidadquelequeremosdaralainformacinproporcionadaenla
proposicinatravsdelarelacinentrelosconceptos.Sealandiversosgradosdenecesidad:desdelaposibilidadhastala
necesidadabsoluta,estasedivideen:
ProblemticosDanunainformacincuyanegacinoafirmacinesnicamenteposible,esdecirquepuedeser

Ejemplo:

Losngulospuedenseradyacentes

Laneumonapuedecausarlamuerte

Lashojaspuedensersimples

AsertricosDescribencosasreales,daninformacindecmosonloselementosdelasclasesquedescriben
Ejemplo:

Losanimalesunicelularesestnformadosporunasolaclula

AugustopusofinalaRepblicayempezelImperioRomano

Daltonismoesundefectoqueimpidedistinguircolores

ApodcticosEstableceunanecesidadenlarelacinentrelosconceptos.Nohayposibilidadsinounanecesidad
absoluta.Generalmenteseusaenlasmatemticas.
Ejemplo:

Dosparalelascortadasporunasecanteformanochongulos

Lacircunferenciaestadivididaen360grados

Elvolumendelapirmidesehallamultiplicandolabaseporelterciodelaaltura

RelacinParaestadivisinseconsideralarelacinentrelasproposiciones,dividindoseenlassiguientesramas.
CategricasSonlasproposicionesqueenuncianlarelacinentredosconceptos,esdecirentresujetoypredicado

Ejemplo:

Elhgadoeslaglndulamasvoluminosadelcuerpo

Odoacrodiomuertealltimoemperadorromano,RmuloAugstulo

Losfolculosgstricossegreganeljugogstrico

Contraccinesunafiguradondedosvocablosformanunosolo

HipotticasLarelacinqueseestableceestantoentreconceptoscomoentreproposiciones.Larelacinesdecarcter
condicional,dondeunaproposicinoconceptocondicionaaotraproposicinoconcepto.
Ejemplo:

Siunanimalespluricelular,entoncesesmetazoario

Siunanimalestaenvueltoenunmantoopielmucosa,entoncesesmolusco

Siunanimaltienecuerpoformadoporanillosyrespiraporlapiel,entoncesesgusano

Silascarassonpentgonos,sepuedeformarsolounAngulopoliedrodetrescaras

DisyuntivasEnestosjuiciosoproposiciones,larelacinsedaentredosomasproposicionesentresi,node
consecuenciasinodeoposicinlgica.Esdecirunaexcluyealaotra.Contienealmismotiempounarelacinde
comunidad,enlaquejuntascompletanelconocimientototal.
Ejemplo:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 11/28
30/7/2016 UntitledDocument

Losanimalessonunicelularesopluricelulares

Laspirmidessonregularesoirregulares

Loscuerposmixtossonslidosypuedenser,yasealoscilindrosolosconos

Losverbospronominalesson,esencialmentepronominalesoaccidentalmentepronominales

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 12/28
30/7/2016 UntitledDocument

6.2LgicaMatemtica
6.2.1Introduccinalalgicamatemtica

Segnladefinicindelalgicadelasproposiciones,vemosquelosnicosvaloresquepuedentomarlasconclusionesdelas
mismases:VerdaderooFalso,peronoambas.

Sitenemoslaproposicinp:llueve,susvaloresdeverdadpuedenrepresentarseas:

Ahorasitenemoslaproposicincompuestap^q,llueveyestanublado,vemosqueestacompuestodedossimplesylosvaloresde
verdadposiblesdelasdosproposicionesquelaformansern:

Sianalizamosahoraunaproposicincompuestaportresproposicionessimples

Comerpato,ocomerconejo,ocomerpavo:pvqvreselcasodeunaproposicincompuestapor
tresproposicionessimplesylasposibilidadesdevaloresdeverdadestarndadasporelsiguientecuadro:

6.2.2Diagramaderbol

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 13/28
30/7/2016 UntitledDocument

Eldiagramaderbolesunaformadeirencontrandolosposiblesvaloresdeverdad,demaneraqueparaunaproposicinsimple
quedar:

Conestemtodopodemosidentificarlaposiblesrelacionesquesurgencadavezquelaproposicinsevuelvemascompleja

Peroexisteunareglaparaconstruirtablasdeverdadlacualveremosacontinuacin:

Reglaparaconstruccindetablasdeverdad:

Sitenemosdosproposiciones,comoenelcasoanterior,necesitaremoscuatrofilas.Deestascuatrofilaslaprimeracolumnatendr
losvaloresdeverdad:1,1,y0,0ylasegundacolumna1,0,1y0.Lassiguientescolumnastendrnlosvaloresdeverdadsegnla
proposicindada.

Veamosenlasiguienterepresentacin:

Sisetienetresproposicionesnecesitara8filas,delascualeslaprimeracolumnaseacomodaranlosvaloresdeverdaddela
siguientemanera:1,1,1,1y0,0,0,0.Paralasegundacolumnaserepartenlosvalores:1,1,0,0,1,1,0,0.Yparalaterceracolumna
sern:1,0,1,0,1,0,1,0.

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 14/28
30/7/2016 UntitledDocument

EnGeneral

Analizandoparadosproposicionessenecesitancuatrofilas,ovistodeotramanera:senecesitan22=4.Paratresproposicionesse
necesitanochofilas,o,23=8,paracuatrosenecesitaran16filaso24=16,porloquedemanerageneralparanproposicionesse
necesitaran2nfilas.

6.2.3ClasificacindelasOperacionesLgicas

Esposibledividiralasoperacioneslgicasdelasiguientemanera:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 15/28
30/7/2016 UntitledDocument

6.3OperacionesLgicas

6.3.1Negacin

Laoperacinunitariadenegacin,tomaunaproposicinylaniega,esdecircambiasuvalordeverdad.Serepresentaporysu
tabladeverdades:

Ejemplo:Encuentrelanegacindelassiguientesexpresiones

Negacin

1.Jpiteresunplaneta =>JpiterNoesunplaneta

2.Elpizarrnesverde =>ElpizarrnNoesverde

3.Elnmerorealxesnegativo =>Elnmerorealxnoesnegativo

4.Algnelefanteesdecolorrosa =>Ningnelefanteesdecolorrosa

5.Todoslosleonessonferoces =>Algnlennoesferoz

LaoperacindeNegacinsepuederepresentarennuestrolenguajedelasiguienteforma:

Esfalsoque..No

Noesciertoque..

DobleNegacin

Unaproposicindoblementenegadasiguesiendolaproposicinoriginal

Ejemplo:

Negacin

1.Jpiteresunplaneta =>JpiterNoesunplaneta
2.Elpizarrnesverde =>ElpizarrnNoesverde
3.Elnmerorealxesnegativo =>Elnmerorealxnoesnegativo

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 16/28
30/7/2016 UntitledDocument
4.Algnelefanteesdecolorrosa =>Ningnelefanteesdecolorrosa
5.Todoslosleonessonferoces =>Algnlennoesferoz

6.3.2DobleNegacin

1.NoesciertoqueJpiterNoesunPlaneta
2.NoesciertoqueelpizarrnNoesverde
3.Elnmerorealxnoespositivoytampocoescero
4.EsfalsoqueNingnelefanteesdecolorrosa
5.Esfalsoquealgnlennoesferoz

6.3.3Conjuncin

Selellamaconjuncinalaproposicincompuesta,formadapordosomasproposicionescadaunaunidaporelconectivolgico
y(^).Existenademsennuestrolenguajeotraspalabrasquetienenelmismooficioqueelconectivoyporejemplo:

=>Aunque=>Pero=>Sinembargo=>Ademsde=>e

Larepresentacindelaconjuncinendosproposicionessevedelasiguientemanera:p^qysutabladeverdadeslasiguiente:

Laconjuncinnossirveparaindicarquesecumplendoscondicionessimultneamente,porejemplo:

Tenemoslaproposicin:Lafuncinescrecienteyestadefinidaparalosnmerospositivos

p^q,donde:

p:Lafuncinescreciente

q:Lafuncinestadefinidaparalosnmerospositivos

Ejemplo:

Serequierequeunprofesordefsicaybiologa,paraimpartiruncursoespecial,porloqueeldirectorledareltrabajoaquien
renaambascaractersticas.Sabefsicaysabebiologa,simbolizadoquedadelasiguientemanera:

p^q,donde:

p:sabefsica
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 17/28
30/7/2016 UntitledDocument

q:sabebiologa

Alanalizarlosvaloresdeverdadvemosquesipesverdaderayqesverdadera,lapersonareneambascondicioneseimpartirel
curso.Sipoqsonfalsasnoimpartirelcurso.

Veamosenlasiguientetabla:

TabladeVerdad:

Laconjuncinesverdaderasiy
solosilasdosproposiciones
conlasqueserealizala
operacinsonverdaderas.

6.3.4Disyuncin

Lasproposicionesdisyunciones,seencuentrancompuestasdedosproposicionessimplesconelconectivolgico,o(v).

Sutabladeverdadeslasiguiente:

Ladiferenciaconlaconjuncin,representamosdosexpresionesyqueafirmanqueunadelasdosesverdadera,porloquebastacon
queunadeellasseaverdaderaparaquelaexpresinseaverdadera.

Ejemplo:

1.Voyalcineoalteatro
2.SellamaPamelaoVanesa
3.ComeroLeerelperidico
4.Hacefroocalor
5.Tellevoalcineocomprochocolates

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 18/28
30/7/2016 UntitledDocument

Consideremoselprimerejemplopvq:Voyalcineoalteatro.Siesciertoquevoyalcineytambinesciertoqueiralteatro,la
proposicinesverdadera.Siesciertoqueiralcineyesfalsoqueiralteatro,laproposicinesverdadera.Sinoesciertoqueir
alcineyesciertoqueiralteatro,laproposicinesverdadera.Sinoesciertoqueiralcineynoesciertoqueiralteatro,la
proposicinesfalsa.

DisyuncinExclusiva

Indicaqueunadelasdosproposicionessecumpleperonosepuedencumplirambas,veamoselsiguienteejemplo:

1.GustavoestaenPuertosBarriosoQuetzaltenango

Siendeterminadomomentoqueremosconsiderartantoapcomoaqconvalordeverdadverdadero,resultaraqueGustavoesten
PuertoBarriosyenQuetzaltenangoalmismotiempo,locualesimposible.EstollevaalaoperacinDisyuncinExclusiva.

LarepresentacionesconVysutabladeverdadeslasiguiente:

6.3.5TablasdeVerdad

Elobjetodeunatabladeverdadesconocerelvalordeverdaddelasproposicionescompuestaenbaseacadaposibilidaddevalores
quetenganlasproposicionessimplesquelaforman.Paraconstruirlastablasdeverdadsedebenseguirlossiguientespasos:

1.Vercuantasproposicionessimpleshay
2.Encontrarlascombinacionesposiblesdevaloresdeverdadenfuncin2ndondenelesnmerodeproposiciones,esdecircuantos
reglonestendrlatabla.
3.Realizarlasoperacionesdentrodelosparntesis,deacuerdoalsiguienteordendepreferencia
a.Lasoperacionesdentrodelosparntesisnormales()
b.Lasoperacionesdentrodelosparntesisdecorchete[]
c.Lasoperacionesdentrodelosparntesisdellave{}
4.Unavezresueltastodaslasoperacionesseobtendrelresultado

EjemplocreacinTabladeVerdad

Consideremoslasiguienteproposicin:

(pvq)^(pvr)

Sepuedeplanteardelasiguientemanera:

[(pvq)]^[(pvr)]

Siguiendolospasos:
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 19/28
30/7/2016 UntitledDocument

3.Resolverlasoperaciones
a.Primeroresolvemosparalosparntesis:(p^q)y(p^r)
b.Segundoresolvemosparaloscorchetes:[(pvq)]^[(pvr)]
4.Realizarelresultadofinal

TablasdeVerdadResultados

Contradiccin:Escuandoelresultadofinaldeunatabladeverdad,todoslosvaloresdeverdadsonfalsos,independientementede
losvaloresdeverdaddelasproposicionessimplesquelaforman.

VeamosunEjemplo:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 20/28
30/7/2016 UntitledDocument

TablasdeVerdadResultados

Tautologa:Escuandoelresultadofinaldeunatabladeverdad,todoslosvaloresdeverdadsonverdaderos,cualesquieraquesean
losvaloresdelasproposicionessimplesquelaforman,selellama.

VeamosunEjemplo:

TablasdeVerdadResultados

Contingencia:Escuandoelresultadofinaldeunatabladeverdad,noesnitautologanicontradiccin.

VeamosunEjemplo:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 21/28
30/7/2016 UntitledDocument

TablasdeVerdadResultados

ProposicionesEquivalentes:Escuandoelresultadofinaldeunatabladeverdad,noesnitautologanicontradiccin.

VeamosunEjemplo:

6.3.6Condicional

Unaproposicincondicionalesaquelladondeestnunidasdosproposicionesconelconectivolgicosientonces

Larepresentacines:p=>qysutabladeverdadeslasiguiente:

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 22/28
30/7/2016 UntitledDocument

Ejemplo:

1.Sitengocatarroentoncestomolimonada

p:tengocatarro

q:tomolimonada

Sesimbolizap=>qyselee:pentoncesq

Condicional

Ennuestrolenguajesetienenvariasalternativasparaexpresarlacondicional,siguiendoconelejemplo,estepodraexpresasedela
siguientemanera:

a.Sitengocatarro,tomolimonada
b.Elqueyotengacatarroimplicaquetomolimonada
c.Elqueyotengacatarroessuficienteparatomarlimonada
d.Dadoquetengocatarro,entoncessesiguequetomolimonada
e.Tomolimonadasitengocatarro
f.Esnecesariotomarlimonadaaltenercatarro
g.Tomolimonadasiemprequetengocatarro
h.Tomolimonadacuandotengocatarro
i.Tomolimonadacadavezquetengocatarro
j.Afindequetomelimonadabastaquetengacatarro

Condicional

Lascualesquedanrepresentadasrespectivamentecomo:

a.Sip,q
b.Elquepimplicaq
c.Elquepessuficienteparaq
d.Dadopentoncessesigueq
e.qsip
f.qesnecesariaap
g.qsiemprequep
h.qcuandop
i.qcadavezquep
j.Afindeq,bastaquep
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 23/28
30/7/2016 UntitledDocument

6.3.7BiCondicional

Eslaproposicinresultantedelaconjuncindeuncondicionalconsureciproca

(p=>q)^(q=>p)

Sesimboliza:pqyselee,psiysolosiq.Sutabladeverdadeslasiguiente:

6.3.8Ejemplo:

1.Esdedasiysolosisaleelsol

Enlenguajecotidianopuededecirseas:Siesdeda,entoncessaleelsol,ysisaleelsol,entoncesesdeda.

6.4FuncionesdelLenguaje
Introduccin

Seledenominafuncindellenguajeaquellasexpresionesdelmismoquepuedentransmitiractitudesdelemisor,frenteaun
procesodecomunicacin.

Ellenguajeesutilizadoparacomunicarunarealidad,eslacapacidadhumanadepodercomunicarsemedianteunsistemadesignos
sonorosarticulados.

Expresionescomo:Quehermosatarde!,Sgameporfavor,oLaletraesunavocal.Sonutilizadasenelsistemade
comunicacindellenguaje.

Segnseacomoutilicemoslasdistintasoracionesqueexpresandichasrealidades,asescomoseclasificansegnsufuncin.

1.LenguajeInformativo
2.LenguajeExpresivo
3.LenguajeDirectivo
4.LenguajeMixto
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 24/28
30/7/2016 UntitledDocument

6.4.1LenguajeInformativo

Seutilizacuandopretendemosmeramentetransmitirinformacin,eselquenormalmenteencontramosenlaslneasdelperidico,
enlaspginasdeunlibrodetexto.

Esteeselnicolenguajequeleinteresaalalgica,puessepuedeclasificarcomoverdaderoofalso.Sololainformacinpuedeser
verdaderaofalsa,yaqueeslanicaquesepuedeconstatarenlarealidad.

Ejemplo:

1.Elhombreesanimalracional
2.LafrmuladelOzonoesO3
3.LosgriegosdescubrieronAmrica

Sonfrasesmeramenteinformativasalascualesselespuedeestablecerunvalordeverdad.

6.4.2LenguajeExpresivo

Esellenguajequetienecomopropsito,yaseadeleitarnosodealgunamaneramotivarnuestraafectividad,manifiestaunestadode
nimodelquehabla.

Noleinteresaalalgica,puesloquetransmiteatravsdeestelenguajenoesinformacin,nopuedeserverdaderoofalso,puede
sercatalogadodesinceroonosincero.

Ejemplo:

1.hayquedolordecabeza!
2.Recuerdoelalmadormidaaviveelsesoydespiertecontemplandocomosepasalavida

JorgeManrique

3.Quegustoverte!
4.Quelindoda!

6.4.3LenguajeDirecto

Atravsdeestelenguajesedanordenes,instrucciones,normas,etc.Tratadequeotrapersonahagaalgo.Nosepuededarni
informacinnidespertaromotivar,nuestrossentimientos.

Estaclasedelenguajenopuedeutilizarvalorescomoverdadofalsedad,belloonobello,sinopodemosdecirquesonarbitrariaso
no,sensatasoinsensatas.

Ejemplo:

1.Debescederlavacuandolaluzrojateloindique
2.Pedro,hagafavordetraermscaf
3.Andrs,cierralaventana,porfavor
4.Nodebesabrirlapuertaadesconocidos

Entodosloscasosseestatransmitiendounaorden,yaseadeformaafirmativa,comolaprimeraonegativaenelsegundo.Esta
claronopodemosdecirqueelcederlavacuandolaluzrojateloindique,esverdaderoofalso,belloonobello,sinosepuede
decirqueesarbitrarioono.Nosedebeconfundireldeberyeldebequeimplicaunaordenyelqueimplicaunanecesidad.

6.4.4LenguajeMixto

Cuandonosexpresamosatravsdecualquierlenguaje,nolohacemosexclusivamentedandoinformacinyordenesoexaltando
sentimientos,normalmentecombinamostodasoalgunasdeestasfunciones,porloqueutilizamosellenguajemixto,queesla
utilizacinsimultanadealgunasotodaslasfuncionesdellenguaje.

Alalgicaleinteresalainformacinyharabstraccindetodaslasdemsfunciones.

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 25/28
30/7/2016 UntitledDocument

Ejemplo:

Dilogoesunaconversacinentrevariaspersonasquehablanalternadamenteacercadeunasuntodeterminad.Ydebeseruna
conversacinalterna,pues,deotromodo,nopuedehaberdilogo.

Tumultodepequeoscolegiales,quealsalirendesordendelaescuelallenanelairedelaplazaensombraconlaalgazaradesus
vocesnuevas.AntonioMachado

Enelprimercaso,sehaceunadescripcininformativaacercadeloqueesdilogoyacontinuacinseestableceunanorma,la
conversacindebeseralterna.Porellosseestahaciendousosimultaneodedosfuncionesdellenguaje.Ellenguajeinformativoy
eldirectivo.

Enelsegundocaso,igualmentedescribeunhecho,sedaunainformacin:eltumultodeescolaresalasalidadelaescuelaysetrata
deprovocarunsentimientoacercadedichoacontecer:existealegrasanaenelbullicio.Entalcaso,estamosutilizando,tantoel
lenguajeinformativocomoelexpresivo.

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 26/28
30/7/2016 UntitledDocument

6.5Tareapreparatoria
Elijaentrecualquieradelos3conceptos

Zapatera
SerHumano
Msica

1.Proposicineslaunidadsemnticadelacualpodemosdecirqueesverdaderaofalsa.Sinopuededeterminarseelvalorde
verdad(verdaderaofalsa),seasumequelaexpresinnoesproposicin.
Escriba5expresionesqueseanproposicionessimplesyverdaderas,relacionadasconelconceptoquelecorresponde.
Escriba5expresionesqueseanproposicionessimplesyfalsas,relacionadasconelconceptoquelecorresponde.
Escriba5expresionesqueNOseanproposicin.
2.Unaproposicinsimple,oproposicinatmica,eslaexpresinqueyanopuededescomponerseenmsproposicionesporel
contrario,unaproposicincompuestaesaquellaqueestformadapordosomsproposicionessimples.
Escriba5proposicionescompuestasyencierreenuncrculolosconectivosgramaticalesdelasproposicionessimples
queformanlaproposicincompuesta,lasproposicionesdebenestarrelacionadasalconceptoquelecorresponde.
file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 27/28
30/7/2016 UntitledDocument

Simbolice,conletras,las5proposicionescompuestasdelincisoanteriorycolqueleselsmbolodelconectivolgico
quecorresponda(conjuncin,disyuncin,implicacin,etc.)
3.Ellenguajepuedeclasificarseeninformativo,expresivo,directivoymixto.Ellenguajeinformativotambinsellama
lenguajecategrico.
Indiquequsetransmiteconcadatipodelenguaje.
Escriba5proposicionessimplesparacadatipodelenguaje,relacionadasalconceptoquelecorresponde.
4.Escriba5proposicionescompuestas,conalmenos3proposicionessimplescadauna,queejemplifiqueeltipodelenguaje
mixtoyqueestnrelacionadasalconceptoquelecorresponde.
5.Elanlisisdesentidoqueseaplicaauntexto,tienecomopropsitoencontrareltipodefuncinquerealizadichotextoes
decir,pormediodelanlisisdesentidoseconocesieltextoesinformativo,expresivo,directivoomixto.Elanlisisde
estructuraqueseaplicaauntexto,tienecomopropsitodeterminarsieltextocumpleunafuncininformativaesdecir,si
analizramoselcontenidodeunartculoenelperidicoydeterminamosqueelcontenidoensumayoracumpleunafuncin
informativa,entoncespodemosdecirqueelartculotieneestructura,siporelcontrariovemosqueelcontenidoensumayora
esexpresivo,eltextonotieneestructura.
Redacteunartculosobreelconceptoquelecorresponde,dealmenos5lneas,enelcualsedemuestrequeeltexto
cumpleunafuncininformativa,yconsecuentemente,cumplecontenerestructura.
Redacteunartculosobreelconceptoquelecorresponde,dealmenos5lneas,enelcualsedemuestrequeeltexto
NOcumpleunafuncininformativa,yconsecuentemente,NOcumplecontenerestructura.

file:///C:/Users/usuario/AppData/Local/Temp/Rar$EXa0.603/htmls/capitulo6.html 28/28