Lógica Matemática

LÓGICA MATEMÁTICA
Las operaciones asociadas a éstos conectivos lógicos son:

FÓRMULAS PROPOSICIONALES.
Es una combinación de proposiciones y conectivos lógicos que simboliza una proposición compuesta. Son
ejemplos las siguientes:
p⊻(~p→r) , p∧(q∨∼p) , (∼p→q)∧r , etc.
Ejemplo.- Simbolizar la siguiente proposición: “Si Pablo no ha venido entonces no ha recibido la carta o no está
interesado en el asunto”
Las proposiciones simples que las componen son:
p: Pablo ha venido
q: Pablo ha recibido la carta
r: Pablo está interesado en el asunto
(Note que todas las proposiciones simples se escriben en términos afirmativos, para después negarlas y evitar
confusiones si se nombraran nuevamente en la proposición compuesta)
Luego, la proposición compuesta se simboliza como ∼p→(~q∨ ∼r)
Ejemplo.- Simbolizar la siguiente proposición: “El juez sentencia a Octavio si y sólo si el fiscal puede comprobar
su culpabilidad o el testigo no dice la verdad”
Las proposiciones simples que las componen son:
p: El juez sentencia a Octavio
q: El fiscal puede comprobar la culpabilidad de Octavio
r: El testigo dice la verdad
Por lo que la proposición se simboliza como p↔(q∨~r)
Ejemplo.- Sean p, q y r los enunciados siguientes:

p: Estudiaré matemática
q: Iré a mi clase de computación
r: Estoy de buen humor
Traduzca cada una de las siguientes proposiciones en lenguaje corriente.
a) ~p∧q No estudiaré matemática e iré a mi clase de computación

b) r→(p∨q) Si estoy de buen humor, entonces estudiaré matemática o
iré a mi clase de computación
c) ~r→(p∨~q) No estoy de buen humor, entonces estudiaré matemática o no iré a mi
clase de computación
d) (∼p∧q)↔r No estudiaré matemática e iré a mi clase de computación, si y sólo si
estoy de buen humor
Observa el vídeo:fórmulas proposicionales
AHORA PRACTICAMOS UN POCO!!! (práctica 1)
Resuelve en tu cuaderno de trabajo los ejercicios del 1 al 3 de la página 346 del libro de Sebastián
Lazo.
TABLAS DE VALORES DE VERDAD

El valor de verdad de una fórmula depende de los valores de verdad de las proposiciones simples que la
componen. Si en una fórmula intervienen “n” proposiciones simples, la tabla tendrá combinaciones
diferentes. Por ejemplo, si son dos las proposiciones se tendrá combinaciones de V y F, para tres
proposiciones combinaciones, etc.
Obs. Para realizar las tablas de verdad debes recordar los valores de de verdad de los conectivos lógicos, para
ello piensa una estrategia que te permita recordar los casos especiales
Analice el siguiente ejemplo.
TAUTOLOGÍA
Es una fórmula proposicional que es verdadera para cualquier valor de verdad de las proposiciones que las
componen. Vea el ejemplo:
CONTRADICCIÓN
Es una fórmula proposicional que es falsa para cualquier valor de verdad de las proposiciones que las
componen. Vea el ejemplo:
CONTINGENCIA
Es una fórmula proposicional que no es tautología ni contradicción. Se muestra un ejemplo:
Observa el vídeo: tablas de verdad
AHORA PRACTICAMOS UN POCO!!! (práctica 2)
En los ejemplos 4 al 11, selecciona tres de ellos en relación a la respuesta (tautología, contradicción
y contingencia), y del 12 al 18 uno de los incisos. Estos ejemplos se encuentran en las páginas 346 y
347 del Libro de Sebastián Lazo.De forma opcional puedes indagar en la solución de los ejercicios 19
y 20.
EQUIVALENCIA LÓGICA
Dos fórmulas proposicionales se dice que son lógicamente equivalentes si sus tablas de verdad son idénticas, o sus valores
de verdad son los mismos en cada renglón. Se utiliza el símbolo “ ≡ “ para expresar la equivalencia entre dos fórmulas
proposicionales.
Ejemplo: Verifique si las fórmulas p↔q y ~(p⊻q) siguientes son lógicamente equivalentes.
Como se puede observar las fórmulas son lógicamente equivalentes, p↔q ≡ ~(p ⊻q)
Obs. Este hecho nos ayudará más adelante en uso de las leyes lógicas.
Observa el vídeo: equivalencia lógica
Ejemplo: Sean p y q proposiciones cualesquiera, r y s proposiciones tales que ~(r ∨ ~s) es V. Determinar el valor de verdad
de [(~p∧r)↔(q∨s)]→~(p⊻q)
Solución: Si ~(r ∨ ~s) es V, entonces r ∨ ~s es F, por lo que r = F y ~s es F, luego s = V
[(~p∧ F)↔(q∨ V)]→~(p⊻q) Sustituyendo en la proposición dada

[(F)↔(q∨ V)]→~(p⊻q) Por la regla de la conjunción ~p∧ F = F
[F↔V]→~(p⊻q) Por la regla de la disyunción q∨ V = V
[F]→~(p⊻q) Por la bicondicional F↔V = F
V Por la implicación [F]→~(p⊻q)=V
Ejemplo: Sabiendo que los valores de verdad de las proposiciones p, q, r son, respectivamente, V, F, V,
determinar el valor de verdad de:
ALGEBRA DE PROPOSICIONES
Son operaciones lógicas que se realizan en una fórmula proposicional, aplicando adecuadamente reglas
básicas llamadas leyes lógicas. Al igual que en álgebra básica donde la simplificación de expresiones
algebraicas es muy importante, en lógica también existe la necesidad de simplificar fórmulas proposicionales
complejas, mediante equivalencias (tautologías) que a continuación se listan:
Observa el enlace: Algunas aclaraciones sobre las leyes lógicas
Obs.- Cuando se efectúa una simplificación se debe anotar en cada paso la o las leyes lógicas que se están
aplicando para llevar un control del proceso de simplificación y mejor asimilación de las leyes.
Y al igual que sucede en el álgebra, un procedimiento será más o menos extenso que otro, pero el resultado no
varía.
Observa el vídeo donde encontrarás algunos ejemplos: ejemplos de simplificación
Ejemplo.-
Ejemplo.-
Ejemplo.-
Observa el enlace: otro ejemplo de simplificación
CIRCUITOS LÓGICOS son una red de conmutación formada por cables e interruptores que se conectan
a dos terminales, digamos A y B.
Observa el vídeo: ejemplos de circuitos eléctricos
Circuitos lógicos, expresar el circuito lógico como proposiciones
Ejemplo.- Representa el circuito y simplifica:
Observación: el símbolo en forma

de triángulo, también se utiliza para
representar la disyunción exclusiva

Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

Lógica Matemática

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Matemática

Cargado por

Copyright:

Formatos disponibles

LÓGICA MATEMÁTICA

Las operaciones asociadas a éstos conectivos lógicos son:

Ejemplo.- Sean p, q y r los enunciados siguientes:

a) ~p∧q No estudiaré matemática e iré a mi clase de computación

TABLAS DE VALORES DE VERDAD

[(~p∧ F)↔(q∨ V)]→~(p⊻q) Sustituyendo en la proposición dada

Ejemplo.- Representa el circuito y simplifica:

Observación: el símbolo en forma

También podría gustarte