LGICA PROPOSICIONAL

LGICA O FALTA DE
LGICA?

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?

La lgica nos permite ir ms all de la

informacin que nos proporcionan nuestros
sentidos en un contexto determinado.

CLASIFICACIN DE LA LGICA

QU ES LA LGICA
FORMAL O
PROPOSICIONAL?

Disciplina que mediante

reglas y tcnicas estudia
las formas, estructuras o
esquemas del pensamiento
que se emplean en la
ciencia para decidir si un
resultado es vlido o no y
en consecuencia, decidir si
ste se incorpora o no al
conocimiento cientfico.

PARA QU SIRVE?

Matemticas:
teoremas.

Computacin:
programas.

Fsica:
conclusiones .

Vida cotidiana:
cualquier trabajo.

demostrar

validar

dar

para

PARA QU SIRVE?
Distinguir la realidad
de la percepcin y
defender puntos de
vista
con
argumentos basados
en hechos y datos.
CMO?
Utilizando
su
inteligencia y con la
ayuda
de
los

PARA QU SIRVE?
El conocimiento debe
estar expresado en un
lenguaje simblico para
que
pueda
ser
reconocido
por
una
computadora o agente.
Los
agentes
pueden
consultar a la base de
conocimientos
para
resolver problema o bien
agregar
nuevos
conocimientos.

PROPOSICIN

Elemento bsico del

lenguaje de la lgica
formal.

Enunciado declarativo
y coherente que posee
un valor de verdad:
verdadero (v) o falso
(f), sin ambigedades y
en
determinado
contexto.
Se simboliza con letras

EJEMPLOS DE PROPOSICIN
(2+3 ) = 4 + 9
Esta es la pgina
no. 10
El sol es una estrella
2+ 2 = 3
1979 fue un ao
bisiesto.
Lima es una ciudad
de la costa del Per.

NO SON PROPOSICIN

Se prohbe fumar en el
saln de clases.

Los fantasmas comen?

! Qu feliz soy!
x+y=z
Alex Rodrguez es mejor
jugador de beisbol que
Dereck Jeter.

ESTRUCTURA DE UNA
PROPOSICIN
Antecedente:
Enunciados
de
partida,
conocidos
como verdaderos.
Consecuente:
Nuevo
enunciado
cuya veracidad se
desprende
de
las
anteriores
(antecedente).

ES UNA
PROPOSICIN?
Alemania fue el equipo que gan el mundial de futbol en

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

TIPOS DE PROPOSICIN
Simples o Atmicas:
Aquellas que tienen una

nica idea, es decir una

sola afirmacin, siempre
en positivo.
No usa conectores
lgicos.

6 es un nmero entero.
Los universitarios tienen

descuento cuando viajan en

vacaciones.

TIPOS DE PROPOSICIN
Modificadas:
Aquellas proposiciones

simples que cambian su

valor de verdad mediante
el uso de modificadores
lgicos.

Esta no es la pgina 10.

El sol no es una estrella.
2 + 2 3
1979 no fue un ao bisiesto.

LA NEGACIN ES UN

MODIFICADOR.

TIPOS DE PROPOSICIN
Compuestas o
Moleculares:
Aquellas que tienen dos
o ms proposiciones
simples y uno o ms
conectivos.
Cusco est en el Per y el

Per est en Sudamrica.

Mercurio y Venus son
planetas.
El automvil o el caballo son
medios de transporte.
Si x =4 x=2 o x=-2

TIPOS DE PROPOSICIN

PROPOSICIN SIMPLE O
COMPUESTA?

Pablo es culto.
Tres no es mayor que 5.
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
(OPERADORES LGICOS)

Palabras que sirven

para
enlazar
proposiciones
simples o cambiar
el valor de verdad
de una proposicin.

CONECTORES LGICOS
(OPERADORES LGICOS)

CONECTORES o CONECTIVOS
LGICOS
CONECTOR

SMBO
LO

ESQUEM
A

SIGNIFIC
ADO

VALOR DE VERDAD

CONJUNCIN

pq

pyq

V si ambas
proposiciones son V

pq

poq

F solo si ambas
proposiciones son F

opoq

F si ambas
proposiciones tienen
igual valor de verdad

si p,
entonces
q

F solo si la primera
proposicin es V y la
segunda es F

p si y solo
si q

V si ambas
proposiciones son V o
ambas proposiciones
son F

DISYUNCIN
INCLUSIVA o
DBIL

DISYUNCIN
EXCLUSIVA o
FUERTE

CONDICIONAL
o
IMPLICACIN

BICONDICIO
NAL o
EQUIVALENCI
A
NEGACIN

p q

pq

pq

Lo opuesto al valor de

CONECTORES o CONECTIVOS
LGICOS

ORDEN DE PRIORIDAD DE LOS

CONECTORES LGICOS

ORDEN DE PRIORIDAD DE LOS

CONECTORES LGICOS

CONECTORES LGICOS
CONECTOR

EXPRESIONES EQUIVALENTES

CONJUNCIN

Sin embargo, aunque, tambin, pero, adems, a la

vez, no obstante, e, an cuando, tanto. como..,
sino, ni. ni,

DISYUNCIN

o, u, ya. ya, bien.. bien, ora.. ora, sea. sea,

y/o.

CONDICIONAL

Si, siempre que, con tal que, cuando, de, al menos

que, a no ser que, salvo que, solo si, solamente si, por
consiguiente, puesto que, porque, ya que.

BICONDICIONAL

Cuando y solo cuando, si., entonces y solo entonces.

NEGACIN

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

sucede que, nunca, jams, tampoco, no es verdad
que, le falta, carece de, sin.

ANTECEDENTE Y
CONSECUENTE

ARGUMENTO
Secuencia
de
proposiciones
(simples
o
compuestas) en la
que una de ellas,
llamada conclusin,
se desprende de las
otras,
llamadas
premisas.

ARGUMENTO

RAZONAMIENTO

TABLAS DE VERDAD
Arreglos que muestran todos los

posibles valores de verdad que

puede tomar una proposicin
compuesta.

El nmero de renglones se

calcula con:

R = 2P

TABLAS DE VERDAD

TIPOS DE TABLAS DE
VERDAD
TAUTOLOGA

Proposicin

compuesta
que
resulta
siempre
verdadera para todos los
valores de verdad de las
proposiciones simples.

(q v ~q)

TIPOS DE TABLAS DE
VERDAD
CONTINGENCIA

Proposicin

compuesta
que puede ser verdadera
o falsa, dependiendo de
los valores de verdad que
asuman las proposiciones
simples
que
la
componen.

(p q)

TIPOS DE TABLAS DE
VERDAD
CONTRADICCIN
Proposicin

compuesta
que siempre es falsa para
todos los valores de
verdad que asuman las
proposiciones
simples
que la componen.

(p ^ ~p)

PROPOSICIONES
EQUIVALENTES
P Q;

REGLAS DE INFERENCIA
(RAZONAMIENTO DEDUCTIVO)
Conjunto de proposiciones

compuestas tautolgicas.
Sirve para demostrar si un

argumento es vlido.
Se puede escribir como
proposicin compuesta o como
una lista de premisas y una
conclusin.

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

REGLAS DE INFERENCIA
EQUIVALENCIAS LGICAS o LGEBRA DE PROPOSICIONES

EJERCICIOS

EJERCICIO #1

EJERCICIO #2

EJERCICIO #3: CLASIFICA ESTAS

PROPOSICIONES SEGN
CORRESPONDA

EJERCICIO #4

EJERCICIO #5

EJERCICIO #6

EJERCICIO #7

EJERCICIO #8

EJERCICIO #9

EJERCICIO #10

EJERCICIO #10

EJERCICIO #11

EJERCICIO #11

EJERCICIO #12

EJERCICIO #13

EJERCICIO #14

EJERCICIO #15

EJERCICIO #16

EJERCICIO #17

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