Está en la página 1de 24

SESIN 1

LGICA PROPOSICIONAL

Se
Se dice
dice que
que para
para sacar
sacar
una
una conclusion
conclusion ,hay
,hay que
que
tener
tener la
la informacin,
informacin,
pero
pero se
se puede
puede concluir
concluir
solo
solo aa partir
partir de
de datos
datos ??

Cada
mano
dibuja
entre si
una
manga de
camisa?

Qu observas?
Hay operarios arreglando la cerca y el piso, o
estn reparando la terraza y hay gente que
intenta subir?

Son posibles esas imgenes?


Por qu?
Qu ocurre si solo nos dejamos llevar por

nuestros sentidos?
Es necesario tener la informacin en un

contexto ?
La lgica nos permite ir ms all de la
informacin que nos proporcionan nuestros
sentidos y en un contexto determinado.

Es una disciplina que mediante reglas y tcnicas


estudia la forma del razonamiento.
En matemtica se emplea para demostrar teoremas;
en computacin, para validar un programa; en
fsica, para dar conclusiones de experimentos y, en
la vida cotidiana, para cualquier trabajo que se
realiza ya que tiene un procedimiento lgico.
Gracias a ella, el ser humano distingue la realidad
de la percepcin y defiende sus puntos de vista con
argumentos basados en hechos y datos. Esto lo
logra utilizando su inteligencia y con la ayuda de los
conocimientos adquiridos.

Qu es una proposicin?
Es un enunciado coherente que se posee un valor
de verdad: verdadero (v) o falso (f), sin
ambigedades y en determinado contexto.
Ejm :
(2+3 ) = 4 + 9 (falso)
Lima es una ciudad de la costa del Per.
(verdadero)
Se simboliza con letras minsculas (p; q; r; etc.)

EJEMPLIFICANDO
Identifica las expresiones que son

proposiciones:
Sofa Mulanovich
c fue campeona mundial de

tabla en el 2004.
Tal vez compre un obsequio.
c
Formul una
c pregunta difcil de responder.
c
3+2=5.
Dos nmeros enteros distintos pueden sumar
cero.
Ojal tomen lo que he estudiado!

Cules son los tipos de


proposiciones?

Simples: Son aquellas que tienen una

nica idea, es decir una sola afirmacin,


siempre en positivo.
Ejem.
-6 es un nmero entero
Los universitarios tienen carnet de
medio pasaje.

Compuestas: Son aquellas que tienen

dos o ms proposiciones .
Ejem. Cusco est en el Per y el Per
est en
Sudamrica
Si x =4 x=2 o x=-2

EJERCITNDONOS
Identifica si la proposicin es compuesta

(C) o simple (S).


Pablo es culto.
Tres no es mayor que 5.

S
C

C
Los cuadrilteros tienen cuatro lados.

Ana y Jos son esposos.

Rosa tiene 20 aos.

Ana y Jos estn casados.

No es cierto que 34 sea igual a 243.

CONECTORES LGICOS
Llamados tambin operadores
lgicos , son palabras que
sirven
para
enlazar
proposiciones
simples
o
cambiar el valor de verdad de
una proposicin.

CONECTORES LGICOS
CONECTOR

SMBOLO

ESQUEMA

SIGNIFICAD
O

VALOR DE VERDAD

CONJUNCIN

pq

pyq

V si ambas
proposiciones son V

DISYUNCIN
INCLUSIVA

pq

poq

F solo si ambas
proposiciones son F

opoq

F si ambas
proposiciones tienen
igual valor de verdad
F solo si la primera
proposicin es V y la
segunda es F
Lo opuesto al valor de
la proposicin

DISYUNCIN
EXCLUSIVA

p q

CONDICIONAL

pq

si p,
entonces
q

NEGACIN

no p

CONECTORES LGICOS
CONECTOR

EXPRESIONES EQUIVALENTES

CONJUNCIN

Sin embargo, aunque, tambin, pero,


adems, a la vez, no obstante, etc.

CONDICIONAL

Por consiguiente, puesto que, porque, ya que,


etc.

NEGACIN

No es cierto que, es falso que, no es el caso


que, etc.

EJEMPLIFICANDO
Determina el valor de verdad de las siguientes

expresiones, si sabes que:


(V)

p: Mara es doctora.
(F)
q: Mara es casada.
(V)
r: Mara vive con sus padres.
(F)
s: Mara viajar a Espaa.
(q r) s
(p r) (p q)
(F F) F
(V V) (V F)
V F
V F
F
V

EJEMPLIFICANDO
Dadas las siguientes proposiciones:
p : Estudio sistemticamente
q : Obtendr buenas calificaciones en lgebra
r : Voy a bailar todos los fines de semana
s : Me sentir feliz

Escriba con palabras la siguiente proposicin:


(~ p r ) ~ q
Si no estudio sistemticamente y voy a bailar
todos los fines de semana entonces no
obtendr buenas calificaciones en lgebra.

EJEMPLIFICANDO
Dadas las siguientes proposiciones:
p : a es un nmero par
q : 2a es un nmero par
r : a es un mltiplo de 6
s : a < 10

Escribe con smbolos la siguiente proposicin:


Si a es un nmero par y mltiplo de 6, entonces
2a es par o a es menor que 10
p rqs

Veamos
Veamos otras
otras
aplicaciones
aplicaciones de
de la
la
lgica
lgica

EL ACERTIJO DEL REY


Un rey plantea a los pretendientes de su hija

lo siguiente:
Se casa con mi hija quien determine en cual
de los cofres se encuentra mi retrato
Si se sabe que de las inscripciones solo una
es falsa, en cul de los cofres se encuentra el
retrato?

EL ACERTIJO DEL REY

Recuerda solo una


inscripcin es falsa

A
EL RETRATO ESTA EN
ESTE COFRE
B
EL RETRATO NO ESTA
EN ESTE COFRE
C
EL RETRATO ESTA EN
EL COFRE DEL
CENTRO

SOLUCION
Analizando lo escrito en el cofre A:
Si A es verdadero, entonces B es verdadero y C es
falso.
Analizando lo escrito en el cofre B:
Si B es verdadero, entonces C es falso y A es
verdadero.
Analizando lo escrito en el cofre C:
Si C es verdadero, entonces A es falso y B es falso.
Por lo tanto, el retrato se encuentra en el cofre: A

OBSERVA EL SIGUIENTE
TABLERO
PROPOSICIN
DISYUNTIVA
EXCLUSIVA

PROPOSICIN
CONJUNTIVA

PROPOSICIN
SIMPLE

TABLERO DE
PROPOSICIONES
LGICAS

PROPOSICIN
CONDICIONAL

PROPOSICIN
NEGATIVA

UBICA ESTAS PROPOSICIONES


SEGN CORRESPONDA
No es cierto
que Quito est
en Chile.

2 es nmero
par o primo.

Si apruebo el
curso de
ciencias
entonces
conservo la
beca.

Es invierno pero
hace calor.

W. Mozart fue
un compositor

EVALUNDONOS
Qu aprendimos?
Cmo lo aprendimos?
Por qu es til lo

aprendido?

Equipo de lgico matemtico

También podría gustarte