Está en la página 1de 35

LÓGICA

Lic. Edgar Javier Castro Way


¿Qué es el
Razonamiento?

• Operación mental por la cual a partir de una o


varias premisas se deduce una nueva premisa,
también llamada conclusión.

Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”
¿Qué es la Lógica?

• Es el análisis formal de los razonamientos, es


decir si la conclusión del razonamiento deriva de
una secuencia lógica de las premisas que la
fundamentan.

Premisas:
a) Cristian es mayor que Verónica
b) Verónica nació dos años antes que Silvana.
Conclusión: “Cristian es mayor que Silvana”

¿La conclusión es Verdadera o Falsa?


División de la Lógica
L
O
G
Lógica
I Estudia el contenido
C Dialéctica
A

G
E Lógica
N Estudia la forma
E Formal
R (Lógica Matemática)
A Lógica Proposicional
L
¿Qué es una Proposición?
• Es toda frase con sentido completo y que
puede ser valorada como verdadera o falsa.
• Una proposición puede identificarse a través de
una variable proposicional (letras minúsculas)
• Oraciones exclamativas, interrogativas o imperativas
por naturaleza no son proposiciones.

Ejemplos: Variables Proposicionales


Letras minúsculas de la “p” a la “z”
– p: Los perros siempre tienen tres patas.
– q: Miriam se casará con Ricardo.
Ejemplos:

1. Santiago es la capital de Puerto Rico


Proposición
2. 2 + 2 = 3
Proposición

3. ¿Qué hora es?


No es una Proposición; oración interrogativa
4. x + y = z
No es una Proposición; desconocemos x, y, z
Ejemplos:

5. Tome una taza de café


No es una Proposición; oración imperativa
Nota: “Tomé una taza de café”. Si es una proposición

6. Paolo Guerrero es mejor jugador de football


que Manco.
No es una Proposición
Clases de proposiciones

• Existen dos clases de proposiciones:


– Proposiciones simples (no usan operadores
lógicos)
– Proposiciones compuestas (si usan operadores
lógicos)
Ejemplos:
Juan juega en el patio (proposición simple)
Juan juega en el patio y Carlos en el Jardín
(proposición compuesta)
Operadores Lógicos
• Son términos funcionales que enlazan las
proposiciones simples para formar proposiciones
compuestas.

Monádicos Negador

Conjuntor
Disyuntor Débil
Diádicos Disyuntor Fuerte
Implicador
Biimplicador
1.- Negador ~
• Cambia el valor de verdad de una proposición
simple.

Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
~p: Ricardo no juega en el patio
~q: Es falso que Eduardo estudia matemática
2.- Conjuntor ^
• Afirma que las dos proposiciones son
verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
p^q: Ricardo juega en el patio y Eduardo
estudia matemática.
q^p: Eduardo estudia matemática mientras
que Ricardo juega en el patio.
3.- Disyuntor débil v
• Afirma que una o ambas proposiciones pueden
ser verdaderas.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
pvq: Ricardo juega en el patio o Eduardo
estudia matemática.
qvp: Eduardo estudia matemática a menos
que Ricardo juege en el patio.
4.- Disyuntor fuerte Δ
• Afirma que sólo una de las proposiciones puede
ser verdadera.
Ejemplo:
p: Ricardo juega en el patio
q: Eduardo estudia matemática
Aplicando el operador lógico resulta:
pΔq: O Ricardo juega en el patio o Eduardo
estudia matemática.
rΔs: En el último clásico ganó Alianza
o ganó Universitario
5.- Implicador →
• Indica una relación de causa-efecto.
• La proposición de la izquierda condiciona a la
de la derecha.
• Admite más de un condicionante.
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p→q: Si Eduardo estudia matemática
entonces Eduardo jugará en el patio.
6.- Biimplicador ↔
• Indica una relación de causa-efecto.
• La proposición de la izquierda condiciona a la
de la derecha.
• Sólo admite una y sólo una condicionante.
Ejemplo:
p: Eduardo estudia matemática
q: Eduardo juega en el patio
Aplicando el operador lógico resulta:
p↔q: Eduardo estudia matemática si y solo si
juega en el patio.
Uso de conectivos lógicos
Sean p que representa “Hoy estamos a 80ºF”,
q que representa “Hoy es martes”.

Transcriba cada proposición simbólica en palabras

Hoy estamos a 80ºF o es martes.

Hoy no estamos a 80ºF y es martes.

No es el caso que, hoy estemos a 80ºF o


que sea martes.

Ésta proposición se puede traducir como “ni p ni q” o


Uso de conectivos lógicos
Sean p que representa “Hoy estamos a 80ºF”,
q que representa “Hoy es martes”.

Transcriba cada proposición simbólica en palabras


No es el caso que, hoy estemos a 80ºF y
sea martes.
Uso de conectivos lógicos
Ejemplo:
Proporcione la negación de cada desigualdad sin
usar los símbolos o .
Orden de prioridad de los conectivos
lógicos
• Se usará generalmente paréntesis para
especificar el orden en que se aplicarán los
operadores lógicos.
• De no haber paréntesis, se adopta el siguiente
orden de prioridad.
Conectivo Prioridad
1
2
3
4
5
Tablas de verdad

Una proposición lógica con n componentes


tendrá renglones en su tabla de verdad.

Nota: p proposición (1 componente)


V F renglones.
F V
renglones.

renglones.
Tablas de verdad

V V V disyunción p y q: proposición compuesta que es falsa


V F V cuando ambas p y q son falsas y verdadera en otro
caso.
F V V
F F F
renglones

V V V conjunción p y q: proposición compuesta que es


V F F verdadera cuando tanto como p y q son verdadera y
falsa en otro caso.
F V F
F F F
Tablas de verdad

V V V
“si p entonces q” : proposición compuesta condicional
V F F
la cual es falsa cuando p es verdadera y q es falsa, y
F V V verdadera en otro caso
F F V

V V V “p si y sólo si q” : proposición compuesta


V F F bicondicional la cual es verdadera cuando p y q tienen
los mismos valores de verdad y falsa en caso
F V F contrario.
F F V
Tautología y Contradicción
Una proposición compuesta

Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.

V
F
Tautología y Contradicción

Una proposición compuesta

Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.

V F
F V
Tautología y Contradicción

Una proposición compuesta

Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.

V F V
F V V
Tautología y Contradicción

Una proposición compuesta

Proposiciones elementales
Se denomina tautología si es verdadera para toda asignación
de verdad de y contradicción si es falsa.

V F V F
F V V F

Es una tautología
Es una contradicción
Proposiciones equivalentes

V V
V F
F V
F F
Proposiciones equivalentes

V V V
V F V
F V V
F F F
Proposiciones equivalentes

V V V F
V F V F
F V V F
F F F V
Proposiciones equivalentes

V V V F F
V F V F F
F V V F V
F F F V V
Proposiciones equivalentes

V V V F F F
V F V F F V
F V V F V F
F F F V V V
Proposiciones equivalentes

V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V
Proposiciones equivalentes

V V V F F F F
V F V F F V F
F V V F V F F
F F F V V V V

entonces
Leyes del álgebra de proposiciones
1. Ley de idempotencia
2. Ley de identidad

Prueba: Suponga que p es verdadero, entonces

Suponga que p es falso, entonces


Leyes del álgebra de proposiciones

3. Ley dominante

Prueba:

También podría gustarte