LGICA Y CALCULO

PROPOSICIONAL
Lgica
Lgica es el estudio del razonamiento;
se refiere especficamente a si el
razonamiento es correcto. La lgica se
centra en la relacin entre las
afirmaciones y no en el contenido de una
afirmacin en particular. Considere, por
ejemplo, el siguiente argumento:
Todos los matemticos usan sandalias
Cualquiera que use sandalias es un
algebrista
Por lo tanto, todos los matemticos son
Lgica

En el sentido tcnico la lgica no ayuda a

determinar si alguna de las afirmaciones
es cierta, pero si las dos primeras son
ciertas entonces la tercera lo es.
Elementos del calculo
proposicional
Llamaremos proposicin a toda expresin que
en su significado puede ser verdadera o falsa.
Todo Guatemalteco es Centroamericano
(Esta proposicin es cierta siempre)
Todo Guatemalteco ha ido a la Luna
(Esta proposicin es falsa siempre)
El estudiante x de la Universidad mide 1.85
mt
(Esta proposicin es verdadera para algunos
estudiantes x y es falsa para otros)
 Elementos del calculo
proposicional
Determine si cada oracin en los ejercicios 1 a 8 es una proposicin.
Si la oracin es una proposicin, escriba su negacin. (No se piden los
valores de verdad de las oraciones que son proposiciones).
1. 2 + 5 = 19.
2. Mesero, servira las nueces, quiero decir, servira las
nueces a los
invitados?
3. Para algunos Guatemaltecos el lunes es el peor da de la
semana.
4. Tecun Uman fue un intrpido navegante espaol
5. Imprime la primera hoja
6. Nadaremos, nadaremos en el mar, el mar, el mar es una
oracin de la pelcula animada Nemo
7. Todo entero par mayor que 4 es la suma de dos primos.
8. La diferencia de dos primos.
Elementos del calculo
proposicional
Proposicin simple o atmica:
Es aquella proposicin que no contiene
conectivos lgicos ejemplo:
1. p.

2. q.

3. r.

4. s.
Elementos del calculo
proposicional
Conectivos lgicos o proposicionales. Estos son
los smbolos que se utilizan para conectar
proposiciones

Adems para toda proposicin se tiene

Negacin, no es cierto que, en smbolo
Elementos del calculo proposicional

Proposicin compuesta: Estas son

proposiciones simples o atmicas que
estn afectadas por conectivos lgicos,
Ejemplo:
Elementos del calculo proposicional

Ejemplo 1:
Sean las proposiciones
p: El cine esta abierto
q: La pelcula es un estreno
las proposiciones compuestas formadas
con los conectivos lgicos son:
Elementos del calculo
proposicional
 Elementos del calculo
proposicional
Ejemplo 2:
p: Est lloviendo,
q: Me estoy mojando,
entonces la conjuncin de p , q es
p q: Est lloviendo y Me estoy mojando.
La disyuncin de p ,q es
p q: Est lloviendo o me estoy mojando.
El valor de verdad de la conjuncin p q est
determinado por los valores verdaderos de p
&q
 Elementos del calculo
proposicional
la definicin se basa en la interpretacin usual de y.
Considere la proposicin
p q: Est lloviendo y me estoy mojando
Si est lloviendo (es decir, p es verdadera) y tambin Me
estoy mojando (es decir, q tambin es verdadera),
entonces la proposicin
p q: Est lloviendo y me estoy mojando
se considerara verdadera.
Sin embargo, si no est lloviendo (esto es, p es falsa) o si
no me estoy mojando (q es falsa) o ambas, entonces la
proposicin
p q: Est lloviendo y me estoy mojando
se considerara falsa.
 Elementos del calculo
proposicional
p q: Est lloviendo o me estoy
mojando.
El valor de verdad de la conjuncin p q
est determinado por los valores
verdaderos de p o q
Cundo seria verdadera la proposicin?
 Elementos del calculo
proposicional
la definicin se basa en la interpretacin usual
de o.
Considere la proposicin
p q: Est lloviendo o me estoy mojando
Se considerara verdadera si
Esta lloviendo o me estoy mojando

Esta lloviendo o no me estoy mojando

No esta lloviendo o me estoy mojando

En cualquiera de las tres cumple una de las

dos condiciones.
 Elementos del calculo
proposicional

Sin embargo, si no est lloviendo (esto

es, p es falsa) o si no me estoy
mojando (q es falsa)
p q: No est lloviendo o no me estoy
mojando
se considerara falsa.
 Elementos del calculo
proposicional
p q: Est lloviendo entonces me
estoy mojando.
El valor de verdad de la implicacin p
q est determinado por los valores
verdaderos de p o q
Cundo seria verdadera la proposicin?
 Elementos del calculo
proposicional
la definicin se basa en la interpretacin usual de
entonces.
Considere la proposicin
p q: Est lloviendo entonces me estoy mojando
Se considerara verdadera si
Esta lloviendo entonces me estoy mojando

No esta lloviendo entonces me estoy mojando

No esta lloviendo entonces no me estoy

mojando
 Elementos del calculo
proposicional

Sin embargo, si est lloviendo (esto es,

p es verdadera) y no me estoy
mojando (q es falsa)
p q: Est lloviendo entonces no me
estoy mojando
se considerara falsa.
 Elementos del calculo
proposicional
p q: Est lloviendo si y solo si me
estoy mojando.
El valor de verdad de la implicacin p
q est determinado por los valores
verdaderos de p o q
Cundo seria verdadera la proposicin?
 Elementos del calculo
proposicional
la definicin se basa en la interpretacin
usual de si y solo si.
Considere la proposicin
p q: Est lloviendo si y solo si me estoy
mojando
Se considerara verdadera si
Esta lloviendo si y solo si me estoy

mojando
No esta lloviendo si y solo si no me
estoy mojando
 Elementos del calculo
proposicional

p q: Est lloviendo si y solo si no me

estoy mojando
se considerara falsa.
p q: No esta lloviendo si y solo si, me
estoy mojando
se considerara falsa.
 Elementos del calculo
proposicional
Practiquemos.
Sean las proposiciones
p:Estudio todos los das
q:Aprobar el curso
Evalu las proposiciones compuestas
Conjuncin
Disyuncin
Implicacin y
Doble implicacin
 Elementos del calculo
proposicional
Conjuncin
p:Estudio todos los das
q:Aprobar el curso
p q: Estudio todos los das y Apruebo
el curso
Es verdadera para el caso en el
cual ambas sean verdaderas, en
caso contrario es falsa.
 Elementos del calculo
proposicional
Disyuncin
p:Estudio todos los das
q:Aprobar el curso
p q: Estudio todos los das o Apruebo
el curso
Es falsa para el caso en el cual
ambas sean falsas, en caso
contrario es falsa.
 Elementos del calculo
proposicional
Implicacin
p:Estudio todos los das
q:Aprobar el curso
p q: Estudio todos los das entonces
Apruebo el curso
Es falsa para el caso en el cual la
primera proposicin sea
verdadera y la segunda falsa, en
caso contrario es verdadera
 Elementos del calculo
proposicional
Doble Implicacin o equivalencia.
p:Estudio todos los das
q:Aprobar el curso
p q: Estudio todos los das si y solo si
Apruebo el curso
Es verdadera en el caso ambas
sean verdaderas o ambas sean
falsas, en caso contrario es falsa
 Elementos del calculo
proposicional
Tablas de Verdad: Una tabla de
verdad muestra las posibles
combinaciones de las proposiciones
simples o compuestas. Para saber el
numero de filas que se van a evaluar
utilizamos la siguiente formula
 Elementos del calculo
proposicional
Tablas de Verdad:

Si se tiene una proposicin el numero

de filas ser
 Elementos del calculo
proposicional
Tablas de Verdad:
 Elementos del calculo
proposicional
Tablas de Verdad: As para la
proposicin compuesta por p,q
tenemos que el numero de filas
es

V=
verdadero
F= falso
 Elementos del calculo
proposicional
Tablas de Verdad:
Conjuncin
 Elementos del calculo
proposicional
Tablas de Verdad:
Disyuncin
 Elementos del calculo
proposicional
Tablas de Verdad:
Implicacin
 Elementos del calculo
proposicional
Tablas de Verdad:
Doble Implicacin
 Elementos del calculo
proposicional
Puesto que la proposicin p es falsa, la
proposicin q es verdadera y la proposicin r
es falsa, determine si cada proposicin en los
ejercicios siguientes es falsa o verdadera.
1. pq
2. p q
3. p q
4. p (q r )
5. ( p q) (p r )
6. ( p r ) ((q r ) (r p))