15/11/2016

FORMALIZACINDELLENGUAJENATURALALLENGUJEDELLALGICAPROPOSICIONAL|PEPAZAMBUDIO

PrincipiosdeBiologa
Cursogratisonlineconcertificado

Aprovchalo!

PEPAZAMBUDIO
Portada

Archivos

Enlaces

Admin

Buscar

Acercade

Administrar

FORMALIZACINDELLENGUAJENATURAL
ALLENGUJEDELLALGICA
PROPOSICIONAL

Acercade

Formalizarsuponeunalabordetraduccindellenguajenaturalallenguajedelalgica
proposicional.Estatareatienedospartes,ladecrearunesquemadetraduccinylade
traducirlasdistintasconjuncionesdellenguajenaturalallenguajelgico.
Acontinuacinexaminaremoscadaunadeellas,finalizandoconelusodelosparntesisen
latraduccin.
Laprimeratareasuponeaparearoracionesdellenguajenaturalconoracionesdellenguaje
formalyhacerlodemodouniformealolargodelatraduccin.Estonoesotracosaque
asignaracadaoracindellenguajenaturalunaletraproposicional(p,q,r,s).
Latareaprincipalconsisteendelimitarbienlasoracionesqueencontramosenelfragmento
dellenguajenaturalqueestamosdefiniendoparadespuspoderidentificarcadaunadesus

Archivos|RSS|Admin

aparicionesalolargodelfragmentoparapoderascambiaruniformementetodassus
apariciones.Ladificultaddeestoestribaenquealgunasvecesesdifcilidentificarlas
oracionesqueparticipanactivamenteenelargumento,puesstaspuedeniracompaadas

Temas

deoracionesquenotienenningnpapelenlaargumentacin.Encasoscomostees
importantecaptardeformaprevialaestructuradelargumentoyrescribirloenellenguaje
naturaldespojadodetodosloselementosaccesoriosparaposteriormenteemprenderla
traduccinallenguajedelalgica.

Archivo
Otroproblemaquepuedesurgirenlaidentificacindelosenunciadosdellenguajenatural
esqueunmismoenunciadopuedaaparecerexpresadoporvariasoracionesdistintas,obien
sehagareferenciaalmismomediantealgntipodeexpresindeltiposiestosucede.,
dadoloanterioretc.Enestecasosetrataslodellevaracaboconciertocuidadola
laborquetenemosencomendada.
Lasegundatareaesladetraducirlasdiferentesconjuncionesonexosdellenguajenatural
allenguajeformal.Enestecasosquecontamosconunampliorepertoriodeconvenciones
quefacilitanestatarea.Heaquunalistadeesosejemplosporconectivas.
LANEGACIN
Lonormalenestecasoesquenosencontremoscasisiempreconlapartculano,onoes

Junio2016
Abril2016
Febrero2016
Enero2016
Octubre2015
Julio2015
Abril2015

elcasodeque,noesciertoque,noesverdadque,oesfalsoque.Hemosdellevar

Febrero2015

cuidadoconexpresionesquetienendentrodesmismasunanegacincomoimprudenteo

Enero2015

inquieto(enestecasodarlomismoquehagamoslanegacinsinoapareceeltrmino
positivoprudenteenelejercicio,aunquelomscorrectodesdeunpuntodevistaformal

Noviembre2014

serahacerla)oqueseanelcontrariodealgunapalabraqueaparezcaenelargumento

Octubre2014

comoelcasodedbilcuandoanteriormenteaparecilapalabrafuerte.

Septiembre2014

http://pepazambudio1.blogia.com/2010/120801formalizaciondellenguajenaturalallengujedellalogicaproposicional.php

1/4

15/11/2016

FORMALIZACINDELLENGUAJENATURALALLENGUJEDELLALGICAPROPOSICIONAL|PEPAZAMBUDIO

Laexpresinamenosqueintroduceunantecedentenegado.

Mayo2014

Abril2014

LACONJUNCIN

Febrero2014

Estossonalgunosejemplosdeexpresionesquesetraducenporlaconjuncinenellenguaje

Enero2014

formal:

Diciembre2013

pyq

Noviembre2013

p,sinembargoq

Octubre2013

Tantopcomoq

Septiembre2013

pperoq

Mayo2013

paunqueq

Abril2013

pytambinq

Febrero2013

p,q

Enero2013

papesardeq

Diciembre2012

Noviembre2012

Laexpresinnipniqesunaconjuncinenlaquecadaunodesusmiembrosestnegado
(pq)
ELCONDICIONAL>
Elcondicionalquizsealaconectivaquesepuedepresentardemsformas.Heaquuna

Octubre2012
Septiembre2012
Julio2012
Junio2012

listadeejemplosenlaqueesmuyimportanteelordendelasletrasproposicionalesquese

Mayo2012

utilizan.Entodosloscasosetraduceconlaexpresinp>q

Abril2012

Sip,q

Febrero2012

Sipentoncesq

Enero2012

pescondicinsuficienteparaq

Diciembre2011

pessuficienteparaq

Noviembre2011

qconlacondicindequep

Octubre2011

qescondicinnecesariaparap

Julio2011

qesnecesariaparap

Junio2011

qsip

Mayo2011

Siemprequep,q
Dadoquep,q
Encasodequep,q
psloconlacondicindequeq
pslosiq
Laexpresinanoserqueyamenosquesepuedetraducircomounadisyuncinocomo
uncondicional.Enesteltimocasotomalaformadeq>p.

Abril2011
Marzo2011
Febrero2011
Diciembre2010
Junio2009
Febrero2009
Diciembre2008

Recordarquelascondicionessuficientesintroducenantecedentes,lascondiciones
necesariasconsecuentes.
Encasodequeintroducealconsecuente.
Laexpresinslosiintroducesiempreelconsecuente.
Decirporltimoqueenalgunoscasospodemosencontrarcondicionalessinsignoexternode
serlo,comoenelcaso:Lacantidadderozamientodisminuyealaumentarlavelocidaddel

Enlaces

DICCIONARIODEFILOSOFA
FERRATERMORA
EJERCICIOSDELGICA

mvil.

http://pepazambudio1.blogia.com/2010/120801formalizaciondellenguajenaturalallengujedellalogicaproposicional.php

2/4

15/11/2016

FORMALIZACINDELLENGUAJENATURALALLENGUJEDELLALGICAPROPOSICIONAL|PEPAZAMBUDIO

EJERCICIOSDELGICA

LADISYUNCINV

Heaqualgunosejemplosdeladisyuncin:

Extras
Tprimeravisitaaestapgina?.Ests
leyendounweblog,tambinllamado
blogybitcora.

poq
Obienpoq

Quesunblog?

pamenosqueq

Creartublog

panoserqueq

Suscrbete(RSS)

Opoq

QuesRSS?

Unodelosproblemasdeladisyuncinesqueenellenguajeordinarioencontramosdos
tiposdedisyuncin,lainclusivaylaexclusiva.Lamscomnenlgicaeslainclusiva,en
laqueenelcasodequelasdosproposicionestomenelvalordeverdaderoladisyuncinen
suconjuntotambinlohace,ejemplosenecesitaparaeltrabajoaunfontanerooaun
electricista.Elproblemaaparececonladisyuncinexclusiva,enlaqueenelcasoantes

POWEREDBYBLOGIA

comentadoladisyuncinesfalsaAliciaesdeMurciaodeCartagena.Normalmenteeste
casoesobviadoenlaformalizacin,aunquesedeberaformalizarcomosigue:
(pvq)(pq)
ElBICONDICIONAL<>
Heaqualgunasvariantesdelbicondicional:
psiyslosiq
pesequivalenteaq
pescondicinnecesariaysuficientedeq
pesnecesariaysuficienteparaq
psloencasodequeq
pcuandoyslocuandoq
PARNTESISYALCANCEDELASCONECTIVAS
Terminarrecordandolaimportanciadelosparntesisenunabuenatraduccinallenguaje
formal.Losparntesisnosvanamostrarelalcancedeunaconectiva.Nadanosimpide
encontrarnosenunejercicioconunbicondicionalcuyoprimermiembroseaasuvezun
condicionalcuyoantecedentesea,digamos,unadisyuncin.Lanicamaneradeexpresar
estoconcorreccineshacerunusoadecuadodelosparntesis.Enrelacinconestohemos
dellevarespecialcuidadoconalgunasexpresionesnegadorascomonoescierto,esfalso
queetc.,puespuedenafectaralaconectivaynosloaunmiembrodelamisma.Asen
NoesciertoqueJuanbebayandederecho
Noserepresentacomopq,sinocomo(pq)

08/12/201020:44pepazambudio1Enlacepermanente.sintema

http://pepazambudio1.blogia.com/2010/120801formalizaciondellenguajenaturalallengujedellalogicaproposicional.php

3/4

15/11/2016

FORMALIZACINDELLENGUAJENATURALALLENGUJEDELLALGICAPROPOSICIONAL|PEPAZAMBUDIO

Diseo:BlogsMedia

Portada|Archivos|Enlaces|Acercade|Administrar

BlogcreadoconBlogia.Estawebutilizacookiesparaadaptarseatuspreferenciasyanalticaweb.
BlogiaapoyaalaFundacinJosepCarreras.

http://pepazambudio1.blogia.com/2010/120801formalizaciondellenguajenaturalallengujedellalogicaproposicional.php

4/4