Lógica - El Postulante
Download
Report
Transcript Lógica - El Postulante
LOGICA
1
Proposición
Expresión de la que tiene sentido decir si es verdadera
o falsa Una proposición es una sentencia (oración)
correctamente formada que puede ser verdadera o falsa
Es una sentencia declarativa.
Representa un hecho de la realidad.
Es una oración del lenguaje que consta de un sujeto y
un predicado, tiene un valor afirmativo.
Las oraciones interrogativas, exclamativas,
imperativas, no afirman nada y no pueden ser
considerados enunciados.
2
Ejemplos
– 1 + 4 = 5 (Verdad)
– La Pampa es una nación. (Falso)
– 8 + 23 (no es proposición)
– María (ídem anterior)
Analiza si son o no proposiciones
Luís y Marta van de pesca.
Luis llamó a Marta para salir.
El autobús pasa a las seis
Mañana lloverá.
¡siéntate!
¿cuándo sale el autobús?
¿fueron a pescar Luis y Marta finalmente?
3
Proposición Atómica
Una proposición es simple o atómica si no
puede ser descompuesta en proposiciones
más simples.
Las proposiciones simples o atómicas son
indicadas de manera afirmativa.
Ejemplos:
– La casa es grande.
(es atómica)
– La casa no es grande.
( no es atómica)
– Hoy es viernes y tenemos clase. (no es atómica)4
Proposición Molecular
Una proposición es compuesta o molecular
si no es atómica, es decir, si puede ser
descompuesta en proposiciones más
simples.
Una proposición compuesta o molecular se
forma al unir proposiciones atómicas
utilizando conectivos lógicos o términos de
enlace.
5
Proposiciones Moleculares
Ejemplos
– Vamos en bicicleta o vamos a pie.
– No es cierto que Juan llegó temprano
– Juan no llegó temprano
– Luis es arquitecto y Martín es médico.
– La medalla no es de plata y el diploma parece
falso.
– Matías aprobó pero Lucas no.
6
Simbolización
Se utilizarán letras minúsculas para
simbolizar las proposiciones atómicas.
Ejemplo:
– El Sr.Domínguez es el gerente.
Si se considera
p = “El Sr.Domínguez es el gerente”
esta proposición puede ser simbolizada como p.
7
Simbolización
Para simbolizar un proposición
– Identificar las proposiciones simples o atómicas
– Simbolizar las proposiciones simples o
atómicas encontradas.
– Utilizar los conectivos lógicos para
relacionarlas.
8
Simbolización
Ejemplos
– Vamos en bicicleta o vamos a pie.
p : “Vamos en bicicleta”.
q : “Vamos a pie”
Simbolización: p v q
– No es cierto que Juan llegó temprano
p = “Juan llegó temprano”.
Simbolización : p
9
Simbolización
Ejemplo
– La medalla no es de plata y el diploma
parece falso.
p : “La medalla es de plata”.
q : “El diploma parece falso”
Simbolización: p ^ q
10
Simbolización
Ejemplo
– Matías aprobó el examen pero Lucas no.
r = “Matías aprobó el examen”.
s = “Lucas aprobó el examen”
Simbolización : r ^ s
11
La formalización es el proceso en el que se traducen
proposiciones del lenguaje cotidiano al lenguaje formal o
simbólico.
Expresa las siguientes proposiciones usando p, q y los conectivos.
Sean p: “La temperatura está sobre los 17°C”
q: “ Llueve”
La temperatura está sobre los 17°C pero llueve.
Ni la temperatura supera los 17°C ni llueve.
No es cierto que llueva con la temperatura superior a los
17°C.
Llueve cuando la temperatura está sobre los 17°C.
Que la temperatura esté sobre los 17°C es suficiente para que
no llueva.
O bien llueve o bien la temperatura es superior a 17°C.
12
Tabla de Verdad
La tabla de verdad de una proposición
molecular muestra todas las posibles
combinaciones de valores de verdad de las
proposiciones atómicas que la componen.
13
14
Negación
p
V
F
p
p
F
V
p
Indique el valor de verdad de:
– El número 9 no es divisible por 3.
– No es cierto que los perros vuelan.
15
Conjunción
p
q
p^q
V
V
V
V
F
F
F
V
F
F
F
F
Indique el valor de verdad de :
– 6 es un número par y divisible por 3.
–(2+5=7) y(2*3=9)
16
Disyunción
p
q
pvq
V
V
V
V
F
V
F
V
V
F
F
F
Indique el valor de verdad de :
– 2 es primo o es impar.
– (2 + 3 = 4 ) o (2 * 2 = 5)
17
Construcción de tablas de verdad
¿Cuántas filas tiene la tabla?
– 1 proposición
2 valores (V o F)
– 2 proposiciones
4 valores de verdad
– 3 proposiciones
8 valores de verdad
– .........
– n proposiciones
2n valores de verdad.
18
Ejemplos
Construir las tablas de verdad de las
siguientes proposiciones
p^ q
(pvq)^
p
(p ^ r ) v ( p ^ q)
19
Ejercicio
Sabiendo que p y q son proposiciones
verdaderas y que r y s son proposiciones
falsas, determinar el valor de verdad de las
proposiciones moleculares siguientes:
(p ^ q ) v (r ^ p ) v s
(q
v
p)
^ (r
v s)
v
( q ^ r )
20
Ejercicio
Sabiendo que
(p v q ) ^ ( p ^ s) es verdadera
indicar, de ser posible, el valor de verdad de
las proposiciones atómicas que la componen
21
Ejercicio
Sabiendo que
( p ^ q ) v ( p v q ) es falsa
indicar, de ser posible,
el valor de verdad de
las proposiciones atómicas que la componen
22
Proposiciones moleculares
Según su valor de verdad pueden ser
– Tautología
– Contradicción
– Contingencia
23
Tautología
Una proposición compuesta o molecular es
una tautología si es cierta, cualesquiera
sean los valores de verdad de las
proposiciones atómicas que la componen.
Ejemplo: p v p
24
Contradicción
Una proposición compuesta o molecular es
una contradicción si es falsa, cualesquiera
sean los valores de verdad de las
proposiciones atómicas que la componen.
Ejemplo: p ^ p
25
Contingencia
Se dice que una proposición compuesta o
molecular es una contingencia si al
construir la tabla de verdad el resultado
final que se obtiene, es una combinación
valores de verdad verdaderos y falsos.
Ejemplo: p ^ q
26
Ejercicios
Formaliza las siguientes proposiciones:
No es cierto que no me guste bailar
Me gusta bailar y leer libros de ciencia-ficción.
Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
Si y sólo si viera un marciano con mis propios ojos, creería que hay vida
extraterrestre.
Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.
Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una
regadera y dejaría que me internaran en un psiquiátrico.
Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo
que ir a trabajar.
¿Cuáles de estas proposiciones es
una tautología?
¿Puedes construir una
contradicción a partir de alguna
de ellas? ¿Cuál?
27
Equivalencia Lógica
Se dice que dos formulas lógicas son
equivalentes si poseen los mismos valores
de verdad (para los mismos valores de
verdad de sus variables)
Ejemplo: (p q) p q
28
Ejemplo:
(p q) p q
p
q
pvq
(p q)
V
V
V
F
V
F
V
F
F
V
V
F
F
F
F
V
p
q
p
q
p q
V
V
F
F
F
V
F
F
V
F
F
V
V
F
F
F
F
V
V
V
29
Leyes de De Morgan
La negación de una disyunción es equivalente a la
conjunción de las negaciones de las proposiciones
involucradas.
(p q) p q
La negación de una conjunción es equivalente a la
disyunción de las negaciones de las proposiciones
involucradas.
(p q) p q
30
Proposición condicional
Dadas dos proposiciones p y q, la
proposición "si p entonces q" se llama
proposición condicional y se escribe
p q
donde p es llamada antecedente o hipótesis,
y q consecuente o tesis.
31
Proposición condicional
Ejemplo:
Si resolvemos las guías de trabajos prácticos
entonces aprenderemos matemática
p = "resolvemos las guías de trabajos prácticos "
q = "aprenderemos matemática"
Simbolizando: p q
32
Proposición condicional
Ejemplo:
Si vamos a la fiesta entonces no nos
acostaremos temprano
p = "vamos a la fiesta"
q = "nos acostaremos temprano"
Simbolizando: p q
33
Tabla de verdad del condicional
p
q
pq
V
V
V
F
V
V
V
F
F
F
F
V
La implicación de p a q es falsa únicamente en el caso
de que el antecedente p sea verdadero y que el
consecuente q sea falso
34
Proposición Condicional
Existen distintas formas de leer un
condicional:
– “Si p entonces q”.
– “q es una condición necesaria para p”
– “p es una condición suficiente para q”.
35
Distintas formas de indicar una
proposición condicional
Ejemplo:
p : El entero x es múltiplo de 4
q : El entero x es par
– Si el entero x es múltiplo de 4, entonces es par
– Que el entero x sea múltiplo de 4 es suficiente
para que sea par
– Que el entero x sea par es necesario para que
sea múltiplo de 4.
36
Proposición condicional
La contra positiva de la proposición
condicional p q es la proposición
q p
Muestre la equivalencia lógica:
pq qp
37
Proposición bicondicional
p
V
V
F
F
q
V
F
V
F
p q
V
F
F
V
Observando la tabla notamos que el bicondicional
distingue si ambas proposiciones tienen el mismo valor
de verdad, o valores de verdad distintos.
38
p q (p q) ^ (q p)
p
q
p q
q p
(p q) ^ (q p)
V
V
V
V
V
V
F
F
V
F
F
V
V
F
F
F
F
V
V
V
39
1) Halla los valores de verdad de las proposiciones si sabes que
p q es falsa.
a) p q
b) q p
c) p p
d) p q
Piensa un rato y justifica tus respuestas
2) Halla los valores de verdad de p, q, r, s, t para que
(pq)r (st)
sea falsa
3) Construye una tabla de verdad para cada una de las proposiciones
a) ( p q ) q
b) ( p q ) ( p q )
c) q ( p q)
40