INTRODUCCION A LA LOGICA
OBJETIVOS ESPECIFICOS
' Reconacer ls proposcones yconectivos ios.
‘+ Apcarla gc en problemas de plantas.
INTRODUCCION
El trabalo se incaré conocido las defricones relacionadas con esta uided de estuio
enominadaintroduccén a la lia. Este comerido es dtl, porque permite desaroir le
‘estructura lgica ques equlere pra estular un curso en el tea dela matemtica
‘Aenrentar un problema matemitico es important identficar las hipétesis si es que exten,
reconoer la tes, y determina qué conepto matemtico se debe apcar pra resoer dicho
roblema, Muchas veces es necesario model a suai, Todo esto es parte de una estructura
‘ec,
Se puede obserar ene suenteenuniado rea cmos apa lagi
Sis sabe que, para clr la cntdad de macera que se neces para la
cubirta de na mesa rectangular, eapliala ful "1x8", en que Les! argo
‘yAclancho, mientras que representa la mlipicacén, cules la cantad de
ate que se uti para constr cuberta de ura mesa de 120 em de argo
bem deancha?, Adem, eos est ado porcenimeto cura eu
esel east dela cai dela mea?
kn este enundo se obsena que esten vars deducons ls cuales periten reser el
robena, esto sn:
1. Faradetermina rea de a cubits aplialaérmulaanho por ro.
2. Sereconoc a informacion de la mesa esto es 120 cm de argo y 8D cm deancho3. Se aplialafrmula dada considrando la informacdn de lamesa,
4 Sis requiere conocer el costo se debe identfcar Ia operacén que calleva dicho
resutad, esto, multipliarlacantiad de material por el costo por centimeto
Todas estas deduecones son parte de un persamientoligic que Se deserrolaalpofunizar las
contenido de gc,
PROPOSICIONES
Desde qu un indvidvo se comuicaoralmente, tiz las palabras, frases, afmaciones, etc De
ste univers del logo se destacan en la lp, as denominadas proposciones. Se denomina
roposcn a una afimacin que adqulere un valor de verdad, e dec, es une frase que permite
‘bajo un certo ands, determina si es verdaera o fala. Una proposiin es no de las
componentesfundaentales de gia,
tjemplos Determines los siguentes enonciados Son proposiones stig:
4. iste una sede del IACC en a Capital de Chile.
2. Resuelve eercicios matemsticos
3. x6
4, &Gbmo Te lamas?
5. Elnombre del padre de la profesoa del curso de Nivelacién matemitica es Luis
Solin:
1. Efectvament es una propsiin, ye que se puede asgnarun valor de verdad, el ual es
YVERDADERO,
2. Noesuraproposicién, esuna orden, no aduiee un valor de verdad
2 fectvamente es una propesiin, ya que e puede aignarun var de verdad a medida
que le variable, aduiera un valor numérico, ese tpe de propos seconoce como
_roposcn funcional)
44. Noes propos, ya que es una pegunta su respuesta es un nombre, entonces no es una
atic,
5. fectvamente es una proposiién, ya que se puede determinar un valor de verdad, en
«este caso depende del profesora mencionad en el enuriad, (este tipo de proposicin
se conace come proposcinconconal)
La notaclén que se ula par denotar una proposcin es através dels letras mindsclas
PagersElempo:
una asgnatura de a catera que sted est estudiando, es Nvelacion Matemstica.
‘Observacin: se puede negar una propos, est corresponde alo siguiente:
1. Sila proposii de inicio es verdadera,entonces su negacén es una nueva proposién
ceayovalor de verdad es Faso.
2. ‘Sila ropes de inci es Fala entonces la negacén es Verdadera
Notacién: La negacién de la proposicién Pes
Elempos
1p :Desde el fo 2014 a presidents eleca de Chiles Verdnica Michelle Bahelet leria
luego lanegactn es:
—p : Desde el alo 2014 la prsidenta elect de Chileno es Vernica Michal Bachelet
seta,
‘Se observa quelos valores de verdad en exe ejemple,son p=V; p= F
2. p:€liioma ofl de ile es el ings
—P :#litioma oficial decile noes lings
Se obser que os alors de veradson p= F
Esimportante estacar que una nega noimpla tzarelNO".
Eemplo
_P:Seconsdera un indvvo auto mayer, cuando ten més 65 aos.
—p : Se considera a un individu aduito mayor, cvand tere una edad inferior o igual aos 65CONECTIVOS LOGICOS
Muchas veces cuando se emite una fase se utlizan las letras palabras siguientes “Y/Y,
“entonces’, “equvlentemente,éstascumpen una funn y de acuerdo 3a uta se debe
efecar un ails de f proposicién para determinar su valor de verdad. Se observaré 2
‘ontinuacion que ests palabras otras tienen aignado un nombre yun simbolo matemstc,
Defiricén:Conetvo geo
Son os simboos que unen dos 0 més proposiones, cvando una afrmacién posee conectivas
\osicos, se denominsproposiin compuesta
Los conectivos que se eststarin en este curso son
1. Conjncién:elsimboloes 1, selee“y"
2. Disyunen:esinbolo es v, see"
3. Implcanca: =, sel “entonces”
4, Doble implianca: <>, se lee syste
TABLA DE SIMBOLOGIA MATEMATICA
| coninacién se muestra una tabla con los simbolos que se utiuan en este capitulo, para una
mayor comprensin al manento de se lizados:
Congruertes
Tmplcast~entances~ polo
sly solos
i
TL
[=
ei
iawomm|
‘Diyuncion ligica
=
AN
FEBELPEE
VvTABLA DE VALORES DE VERDAD
Una tabla de verdad es un arepo de fas y columns, en éste se ingresan las proposiciones y
valores de verdad, a contiacion se mustran 3 elempos:
1. consierando slo una proposin
2 consderando slo dos propesiciones
3. considerando séo tres proposiones
CObservacion: la canidad de fas enstertes en la construccion de la tabla estédretamente
‘elacionada con el nimero de proposcionesa trabajar.
Para determinate nimero de las que consttuye la tabla, se apical siguiente frm
cantidad de filas
onde n coresponde a a cantdad de propsiiones,Lastablas sven para resumirel valor de verdad e popostionescompuests en diferentes casos,
a continuacio se estudiar stabs reacionadas con ada conectvo lg,
1, Conjnei6n:* 0” Dennis zi y Jaqueline Dewar, 1999, pi)
ss proposicin computa pg, e vetdadera sila ropescone simples (pa) que a frman,
son verddera.
pag selee pq, latabla quel coresponde es
Elemplo: n Santiago un medio de transporte es el Metro tod las personas se trasladan
siempre através del Meio,
Solin:
sean
+ ren Santiago un medio de ranpore esl Met
1 itodaslas parsonas ce trasiadan sempre através del Metro,
luego ls proposiin compuestaesrita en forma simbdica es: pa, se observa que su valor de
verdad es fo, pues crresponde a VF Tal come se puede apreir en tabla del pina
antrog, sl exste una peopescn verdaderay una propos fsa con la conuncén Yl
resultado siempre es Fao (V A F =F
2. Disjuncén:* "(Denis Zi & Jaqueline Dewar 1888, pi)
Ua proposicdn compuestap va, s werdadera spor lo manos una de as proposiconessnples
{p.a)que ta forma, es verdases
vq selee “pod la taba quelecorresponde es:Ejempo: 241-3 0241-2
Soli
sean
+ pa
+ qizee
Luegolaproposcéncompuestaes pV, a cual es verdadera ya que corresponde a VV F
3 Impiancia: => (Dennis Zillyagulie Dewar, 198, pit)
Esta proposcdncompuesaes alsa soo ene caso: verdadero implica fo,
Se observa que la proposiin ‘p” es conic sufciente para la proposcén “et, mientras que
“fs condctn ncesra para“, tal coma se musta ene siguiente ejemplo.
Ejemplo: Anal siguiente afmaién:"Snacen Valarie entonce oy Olena"
Solin:
sean
Pr nac en Vapor.
509 chien.1. Si se aume que la afmacion Is erite una persona qu efectvamente nacis en
\apraso, se observa entones que la propscon pes verdadea, lo qu e condién
sufcente gra afimar que q también Loe, polo tanto (V'=>V), es una verdad,
mientras que (V = F), sera Fao, ya au sis nace en Vlas es imposible afrmar
que noe Chena,
smecesarionaceren Chile sn embargo noes sufiente, ya que exten otras regiones en
Chil, toque significa que nacen las posbdades (V’ => V);(F =>V), donde ambas
‘roposcones compuestas serianverdaderas.
li, Si se asume que la afrmacion la realiza una persona que nacé en Espa, entonces se
arial stuacin (F => F) fo que seria una verdad
4 Doble implicanca: > (Dennis Zl & Jaqueline Dewar, 999, p3)
és Verdadere cuando las proposiciones(.) simples aduirene mismo valor de verds,
Ejemplo: Un alurno oben el tule de Inge iy sao si cumple con tod el proceso
educacoal exo porns educaconal en a qu exua.
Solu:
sean
pUnalumne oben el itl deingeniria
4 Un alumno cumple con todo el proceso educaonal engi porta institucién
cducacionalenla queestudia
luego la proposcéncompuestaes p cq.1. ise sypone que el alunno obtiene el ttle de ingenieray cumple con todo el proceso
educaconal exido por la instiuidneduaconl en la que esti, entonces se deduce
«uel proposicéncompuesta es alia ya que corespondea: V'<>V.
2 ise supone que el alumn no obtiene el tula de ingeneriay si cumple el proceso
educaconal exildo por la instuidneduaconl en la que esti, entones se deduce
uel proposcéncompuesta seria Fal, ya que seria absurd que no obtuviea el titulo
en ta caso. Esto coresponde @ F <>V, equvalentemente se deduce que V co F es
fa,
2. sise capone que el alumna no btiene el tulad ingeneiay na cumple el proceso
educacona exigid por la insttucén educainal en la que estudia, se observa que la
propos compuesta es Verdadera, pues son equivalents ls afrmacines (pq), esto
comesponde a: F.c> F
Elec:
1 -Dadas las sguentespropsiines
: Basteun tutor en leurs
«507 alurnol) del curso de Nivelacin matemstica,
‘los contengesestudlados ena primera semana coresponden 36a
scestudien el ACC.
‘ise aume qu usted emite a siguiente propo:
“Silos conendosextdiados en la primera semana corespanden a iia y existe un utr en et
‘cura entonces Soy alumna del curso de Nlacon Matemsta, ly slo estudio n elIAC"
8} Traducalenguae sco.
1b) Determinarel valor de verdad dela propos. lustfigue
Solin
2) Taduira lenge leo
‘+ aso 1 Se traduce ls primera parte del enunciado del problema a lengua lgco (os
‘contenido estuiados en a primera semana corresponden alge y exist un utr en el
‘cursa).e est forma la traduci a lengua goes a siguienterap)
‘Paso 2: Se agrega la segunda arte del enuncad del problema y se tratuce 2 engule
og, (Sos contendosestutados ena primera semanscoresponden alga y este
Luntutren el curso entonces sy alumola) de curso de Nivelacién Matemstic")
‘De est formal tradcién a lengua iio esa siguiente:
wrapiag
1+ Paso 3: Se agrga la tina parte del enunciado del problema y se traduce a lengua
‘one, (Sos conendosestusados ena primera semana coresponden alga y ete
lun tutor ene curso entonces soy lanofa) de curso de Nivelacén Matemstic, sy solo
slestudoenel 0c
‘De est forma a traduccion a lengua ico esa siguiente:
[eanodes
»)Determina el valor de verdad dela propoién. lustique,
+ Paso: Secomintaobteniendo eval de verdad dela primera part del enunciad,
wrap
Como se puede aprecir en e enuciad, ambas propsicines son verdaderas, ya que
cfectvamente les contenido estsiados en la primera semana coresponden 2 ligicz
(oropesicion 1) de la misma forma es verdadero que este un tutor en el cuso
(proposicin por end:
ap)
Wav)ev
1+ aso 2: Una ver resuea la primera parte del problems, se debe resaher el segundo
paréntess
fenm=a)Cone sede (rps vera rnd
fernod
veal
De acuerdo al euncido, la proposicién «es “soy alumno(a) del curso de Nvelaciin
rmatematea" que es verdadera, por ende:
[eapsa]
Wea
Woviev
‘+ Paso 3: Una ver resulta la segunda parte del problema, se debe resolver el paréntess
final
[eamaales
Comoe demosts [ra p)= es verdadera, por ene:
eamarakor
Ves
De acuerdo al enuncado, fa propos eesti en el ACC lo que es verdad, por
nde
leapoakes
Ves
vev
Por ende, el valor de Verdad dela propsicin es verdadero,
2- Determine el valor de verdad de 4" tal que a proposiciéncompuesta “P= sea
fal,
Solin
2.1. Esnecesario encontrar elvalor de par de manera que
GpagarskPara que en una implicancia (=) e vor 6 verdad se flo, aia forma de que eso se
camp es qu a pimera propos sea verdadera (-p la segunda propos sea
fala ver tbl),
Por tanto
pag)
De esta forma inmediatamente se puede obtener el valor der, lo cual es Flo. Para que
(png) sea verdadero, esnecesrio que ambaspropsiiones sean verdaders de esta forma:
51 pV, entoncessu negacn que seria p 5 Fl, portato
apev
spsP
22+ Uns ver determinado el vlor de p.ar, Determine el valor de verdad de la siguiente
‘xoposicioncompuesta,
(vera)
Solin
V, ahora
De acuerdo a lo determinado en el eercico anteriog, p= F, g=V, r= F y ny
‘eemplatamos los valores de verdad de cada proposcén en la proposcén compuesta del
cerca,(rvapaan)
(Fvvye(Fa¥)
Vor
F
A continuacn super realizar la eercacin de a semana a que es caliicada con 1 punto),
Junto con cevisar el video N'I “Proposidones’ de la semana que aparece en el apartado de
“Videos de a semana” y luego desrolieesigienteeercica.
3.Sisesabe que ("°2)P = Vs determin el valor de verdad de a siguiente
props
[reovn>0)TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA
Una tautologia corresponde a aquelasproposcions compuestas que adguieren el valor de
verdad verdadero independiente dels valores 6 verdad de las proposicones simples que la
forman (Ralph Primal 1998.58)
na contradeion coresponde a aquelsproposcioes compuestas que adqueren e vaor de
verdad fat independiente de os valores de verdad dels proposes simples quel forman,
{Ralph Griald 1958, 58).
La contingenciacorresponde a aquels proposciones compuestas que no Sonn tautlaga ni
contre,
flempos
1+ Utiizando la tabla de verdad, determine sila siguiente proposcon es una tavtolgi,
contreiciénocomingencia,
(~>-9vqv-)
|
FLV 7 | V
a ea] Ca z
FA LA
Fa a ea ee NC
Solucién:
Corresponde a una tavtolog’a pues en el resultado de la ina columna aparecen sélo
verdaderosPROBLEMAS DE APLICACIONES
Exton stuacionesen las cuales se extraen ptosis verdaders va partir de las se deduce una
tess que slucona la stuain, Pare esto se puede radu n nga ice pensamiento que
‘permite legr a tess. Asimiamo,en algunos cso, ordena I informacén através de tbls 0
relaones esabecidas falta la resolucén del preblema, 2 contnuaiin se muestan
apleacions de esto
1 Tres profesonals, Marca, Luis y Lorena, son postulates para presentar un proyecto
‘educaivo. Un pero los entrevisté para concer sus opiniones, sobre lo que ellos pensaban de
|apostulcén. Durante a entrevista, las declaraciones dels pofesionales fueron:
1 Mari: "Lorena no ser legit"
4 Luis: "S Marcas elegida entonces Lorena también sed legit"
+ Lorena“ yo no soy lea, entonces no presenta otro proyecto en ainsttuctén”|
Asumiendo que nate mints, y que ext un eli iquién es?
Solin:
Marca es legis
lubes elegio
Floren es elesida
no prsentaré otro proyecto en a istitucén
Maria:
luis: p>
lorena: 7 => 2Como r= enionces Lorena no es eleyda, p= F entonces Marca no es ele, Luego el
cei esis.
2: S Pablo tiene un ingres inferior a José y Eduardo tiene un ingreso superior a Jose, Pablo
recive un ngres super inferior al de Eduardo?
Solin:
Si se asume que el simbolo “<"signiia ingreso inferior y que ">" signa ingeso super,
entonces se puede escribir lo siguiente:
Pablo ost * Eduardo > ose
Luego Edvard José >ablo
orl tanto Pablepercibe un sueldo inferior a Eduard,
3- Seis indi desean ais unts un congreso del es de a informs y dcien, cada
os, tar eferentes medio de transport, Se sabe que Anibal no ula el automévil, porque
‘ste acompafa a Pablo que no va en bus, André via en bus, Si Calas nova acmpaado de
Dario ues no hace wso de bus Determine en qué medio de transporte eg us
Solin:
Seasume x no tia ese medio de transporte
5 Sut el medio de transporte,
‘Observacio: a afrmacgn “Cals nove acomparado de Dari pus no hace uso de bus, permite
, selee“siy sols”