logica de proposiciones 2
TRANSCRIPT
-
8/16/2019 Logica de Proposiciones 2
1/15
ALGEBRA I
Docente: Ing. Yovana Luisa Sánchez Sánchez
-
8/16/2019 Logica de Proposiciones 2
2/15
RESUMIENDO
Conectivalingüística
ConectivoLgico
Sí!"olo Se esc#i"e
No p Negación ~ ~p
p y q Conjunción p $ p o q Disyunción
p $
p oexclusivamente q
Disyunciónexclusiva
p $
Si p entonces q Implicación p q
P si y solo si qDobleimplicación
p q
-
8/16/2019 Logica de Proposiciones 2
3/15
E%ERCICI&S• El infieno est! lleno "e buenos "eseos y el cielo "e buenas obas
• Es valiente sólo si est! en la tabena sin la mujececa
• No #a bebi"o vino$ o bien si lo #a bebi"o nocon"uce el %utomóvil
• Si el "iecto se equivoca en el ataque o el pianista
pasa "os p!ginas a la ve&$ entonces no #ay amon'a• Seg(n )ant$ si la intuición se constituye "e mateia y "e foma$ entonces la mateia es la sensación y lafoma es Espacio * tiempo
-
8/16/2019 Logica de Proposiciones 2
4/15
RAZONAMIENTOS
+os a&onamientos son la foma en la que se
expesan nuestos pensamientos, En geneal est!n
foma"os po la combinación$ me"iante
conectivas$ "e poposiciones simples,
Constan "e vaias pemisas y una conclusión,
-anto las pemisas como la conclusión pue"en
tene enuncia"os simples o compuestos,
-
8/16/2019 Logica de Proposiciones 2
5/15
RAZONAMIENTOS
+a taea "e la lógica es la "el an!lisis fomal "e
las in'e#encias o #azona!ientos, .na manea "e #ace este an!lisis es
foman"o una implicación ente las pemisas y la conclusión/
()#e!isa* )#e!isa+ )#e!isa,...- Conclusin→
+as pemisas se unen ente s' con la conectiva "e la conjunción$ y to"as las
pemisas juntas se ponen ente pa0ntesis o coc#etes paa expesa esta
uni"a", 1 a su ve& esta uni"a" se consi"ea como el antece"ente "e uncon"icional$ en el que el consecuente es la conclusión,
-
8/16/2019 Logica de Proposiciones 2
6/15
RAZONAMIENTOS
+a conclusión esta encabe&a"a po
expesiones como/ 2luego2$ 2po lo
tanto2$ 2en consecuencia2$ 2po
en"e2$ 2as'2$ 2po"emos infei2$ etc,
-
8/16/2019 Logica de Proposiciones 2
7/15
EJEMPLO 1: Para cada uno de lossiguientes conjuntos de premisas, inferir suconclusión.
Si esuelvo coectamente los ejecicios y estu"io la
teo'a$ apuebo el examen, No apuebo el examen,Po consiguiente$,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
Es suficiente que una poposición sea molecula
paa que contenga conectivos, +a poposición no
contiene conectivos, +uego$,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
-
8/16/2019 Logica de Proposiciones 2
8/15
EJEMPLO 1: Para cada uno de lossiguientes conjuntos de premisas, inferir suconclusión.
Si apuebo el pacial no in"o el ecupeatoio,
3en"' el ecupeatoio,Po tanto ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
.na misma poposición pue"e se pemisa o
conclusión, +a poposición no es pemisa,
Po"emos infei que 4444444444444444,
-
8/16/2019 Logica de Proposiciones 2
9/15
EJEMPLO 1
Si el ecto obtiene un mayo pesupuesto
paa la univesi"a"$ se constui! un nuevo
bloque con aulas y amplios estacionamientos,El ecto ecibió la comunicación "e que se le
envia! el 56$78 m!s "el pesupuesto, Po lo
tanto se constui! el bloque con aulas y
amplios estacionamientos,
-
8/16/2019 Logica de Proposiciones 2
10/15
EJEMPLO 2
Si Pablo es buen estu"iante y un "epotista
"e alto nivel$ entonces es una pesona "e
alto en"imiento en sus "os activi"a"es,
Peo los en"imientos "e Pablo en esas
activi"a"es son bajos, Po ello no es cietoque Pablo es un buen estu"iante y un
"epotista "e alto en"imiento,
-
8/16/2019 Logica de Proposiciones 2
11/15
EJEMPLO 3
Si sube el pecio "e las empesas "e
telefon'a celula$ las familias anali&a!n la
posibili"a" "e cambiase "e empesa y
busca!n e"uci sus gastos, +o seguo es
que el pecio "e las empesas "e telefon'acelula subi!, Po lo tanto las familias
busca!n e"uci sus gastos,
-
8/16/2019 Logica de Proposiciones 2
12/15
Ejercicio en aula
5,9 Si el ceojo fue levanta"o "es"e el inteio$
entonces el la"ón pu"o atavesa la pueta, Si el
ceojo fue levanta"o "es"e el inteio$ uno "e los
sivientes se #alla implica"o en el "elito, El
ceojo fue levanta"o "es"e a"ento, +uego$ el
la"ón atavesó la pueta y uno "e los sivientes se
encuenta implica"o en el "elito,
-
8/16/2019 Logica de Proposiciones 2
13/15
Ejercicio en aula
6,9 +a popie"a" es valiosa ó la compa:'a no
#ubiea ofeci"o compala, ; bien las apaiencias
no son "ignas "e confian&a o la popie"a" no es
valiosa, +a compa:'a ofeció compa la
popie"a", +uego$ las apaiencias no son "ignas
"e confian&a,
-
8/16/2019 Logica de Proposiciones 2
14/15
Ejercicio en aula
7,9 Si #ay una situación "e cisis económica$ el 'n"ice
"e natali"a" "isminuye, Si avan&a la me"icina$ las
expectativas "e vi"a se!n mayoes, Si el 'n"ice "enatali"a" "isminuye y las expectativas "e vi"a se
#acen mayoes$ entonces la socie"a" i!
envejecien"o !pi"amente, +a cisis económica es un
#ec#o y los avances en la me"icina son constantes,
+uego$ la socie"a" envejece! con api"e&,
-
8/16/2019 Logica de Proposiciones 2
15/15
Ejercicio en aula