Qu es la lgica

matemtica?

Es la disciplina que estudia mtodos de anlisis y razonamiento;

utilizando el lenguaje de las matemticas como un lenguaje
analtico.

La lgica matemtica nos ayuda a establecer criterios de verdad,

equivalencias lgicas tales como el silogismo, hacer
demostraciones de teoremas que participan en el anlisis de
argumentos planteados.

Suele dividirse en cuatro subcampos: teora de modelos, teora de

la demostracin, teora de conjuntos y teora de los sistemas
formales en relacin con el modo en el que codifican conceptos
intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin.

Proposiciones y
Cuantificadores

Proposiciones
Definicin:

Una oracin declaratoria (o

afirmacin) que es falsa o verdadera, pero
no ambas, se llama proposicin.

Oraciones exclamativas, interrogativas o

imperativas por
proposiciones.

naturaleza

no

son

Ejemplos:
1.
2.
3.
4.

Tegucigalpa es la capital de Honduras

2 +Proposicin
2=3
Qu hora es?
x +Proposicin
y=z
No es una Proposicin; oracin interrogativa

No es una Proposicin; desconocemos x, y, z

Ejemplos:
5.

Tome una taza de caf

No es una Proposicin; oracin imperativa

Nota: Tom una taza de caf. Si es una proposicin

6.

Messi es mejor jugador de futbol que

Neymar.
No es una Proposicin

Proposiciones
Compuestas

Definicin: Una proposicin es

compuesta cuando se forma por la
combinacin de dos o ms
proposiciones usando conectivos
lgicos.
Conectivos y sus respectivos smbolos
tales como:

y , o , negacin , si...entonces , si y solo si

Ejemplos de proposiciones
compuestas

Leo el Tiempo y leo La Prensa.

Compuesta; conectivo y

Si l lo dijo, entonces es cierto.

Compuesta; conectivo sientonces

Maana ser Domingo.

No es compuesta

Nota: Maana no ser Domingo.

Aunque no consta de dos proposiciones,
para conveniencia se considera compuesta
ya que su valor de verdad depende de una
proposicin diferente. Maana ser
Domingo.

Ejemplos de proposiciones
compuestas

La firma de abogados que atendi el

caso se llam Goldman Antonetti y
Cordva, P.S.C
No es compuesta; y no es un conectivo en este caso por
que y es parte del nombre de la firma de abogados

Smbolos de la Lgica
Matemtica
p q;

p q;

p o q,

p y q,

disyuncin p y q: proposicin compuesta que es

falsa cuando ambas p y q son falsas y verdadera
en otro caso.

pq

conjuncin p y q: proposicin compuesta que

es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.

pq

Smbolos de la Lgica
Matemtica
p;
no p,

negacin de p : proposicin formada al escribir

no es el caso que o es falso que antes de p o
al insertar la palabra no de manera adecuada
en p.

p q;

si p entonces q : proposicin compuesta

condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso

pq

Smbolos de la Lgica
Matemtica
p q;

p si y slo si q : proposicin compuesta

bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.

P Q;

pq

P y Q son lgicamente equivalentes:

proposiciones compuestas P p1 , p 2 , p 3 ,..., p n
y Q q1 , q 2 , q 3 ,..., q n son lgicamente
equivalentes si tienen tablas de verdad idnticas.
A esto es lo que se le conoce como una
tautologa.

Smbolos de la Lgica
Matemtica

por lo tanto

para todo

Cuantificadores

existe

Cuantificadores universales: todo, cada uno, todos, ninguno

Cuantificadores existenciales: hay, al menos uno

Uso de conectivos
lgicos

Sean p que representa Hoy estamos a 80F,

q que representa Hoy es martes.
Transcriba cada proposicin simblica en palabras

1) p q :

Hoy estamos a 80F o es martes.

2)p q : Hoy no estamos a 80F y es martes.

3) p q : No es el caso que hoy estemos a
80F o que sea martes.

sta proposicin se puede traducir como ni p ni q o p q

Uso de conectivos
lgicos

Sean p que representa Hoy estamos a 80F,

q que representa Hoy es martes.
Transcriba cada proposicin simblica en palabras

4) p q :

No es el caso que hoy estemos a

80F y sea martes.

p q

Uso de conectivos
lgicos

Ejemplo:
Proporcione la negacin de cada desigualdad
sin usar los smbolos o .
1) p q;

pq

2)7 x 11 y 77;

7 x 11 y 77

Orden de prioridad de los

conectivos lgicos

Se usar generalmente parntesis para

especificar el orden en que se aplicarn
los operadores lgicos.
De no haber parntesis, se adopta el
siguiente orden de prioridad.
Conectivo

Prioridad

2
3
4
5

Tablas de verdad
Una proposicin lgica con n
componentes tendr 2 n renglones en
su tabla de verdad.
p

Nota: p proposicin (1 componente):

21 2

renglones.

22 4

renglones.

23 8

renglones.

Tablas de verdad
q

pq

disyuncin p y q: proposicin compuesta que es

falsa cuando ambas p y q son falsas y verdadera
en otro caso.

2 2 4 renglones
q

pq

conjuncin p y q: proposicin compuesta que

es verdadera cuando tanto como p y q son
verdadera y falsa en otro caso.

Tablas de verdad
q

p q

p q

si p entonces q : proposicin compuesta

condicional la cual es falsa cuando p es
verdadera y q es falsa, y verdadera en otro caso

p si y slo si q : proposicin compuesta

bicondicional la cual es verdadera cuando p y q
tienen los mismos valores de verdad y falsa en
caso contrario.

Tautologa y
Contradiccin

Una proposicin compuesta

P P p1 , p 2 , p 3 ,..., p n
Proposiciones elementales

Se denomina tautologa si es verdadera para

toda asignacin de verdad de p1 , p 2 , p 3 ,..., p n
y contradiccin si es falsa.
p

T
F

p p

p p

Tautologa y
Contradiccin

Una proposicin compuesta

P P p1 , p 2 , p 3 ,..., p n
Proposiciones elementales

Se denomina tautologa si es verdadera para

toda asignacin de verdad de p1 , p 2 , p 3 ,..., p n
y contradiccin si es falsa.
p

p p

p p

Tautologa y
Contradiccin

Una proposicin compuesta

P P p1 , p 2 , p 3 ,..., p n
Proposiciones elementales

Se denomina tautologa si es verdadera para

toda asignacin de verdad de p1 , p 2 , p 3 ,..., p n
y contradiccin si es falsa.
p

p p

p p

Tautologa y
Contradiccin

P P p1 , p 2 , p 3 ,..., p n

Una proposicin compuesta

Proposiciones elementales

Se denomina tautologa si es verdadera para

toda asignacin de verdad de p1 , p 2 , p 3 ,..., p n
y contradiccin si es falsa.
p

p p

p p

p p

Es una tautologa

p p

Es una contradiccin

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

Proposiciones
equivalentes

pq

pq

p q

entonces p q p q

Leyes del lgebra de

proposiciones
1.
2.

Ley de idempotencia p p p, p p p
p F p, p T p
Ley de identidad

Prueba: Suponga que p es verdadero, entonces

pF
T F
T
p

Suponga que p es falso, entonces

p F
FF
F
p

Leyes del lgebra de

proposiciones
3.

Ley dominante

pF F

p T T,

Prueba:
p T

p T

pF

T T

pF
F T

T F

FF
F

Leyes del lgebra de

proposiciones
1.

Ley de complemento

p p T
p p F

2.

Ley conmutativa

pq q p
3.

Ley asociativa

pq q p

p q r

p q r

p q r

p q r

Leyes del lgebra de

proposiciones
4.

Ley distributiva

p q r p q p r
p q r p q p r

5.

Ley de absorcin

p p q p
6.

Ley de De Morgan

p p q p
p q q p
p q q p

GRACIAS POR SU
ATENCION