Scribd
Cargar
20 vistas10 páginas

2da. CLASE PROPOSICIONES

El documento presenta la unidad III de Lógica Matemática en la Universidad Nacional Intercultural 'Fabiola Salazar Leguía', enfocándose en proposiciones, tablas de verdad, operadores lógicos y cálculo proposicional. Se destaca la importancia de la lógica simbólica para desarrollar un pensamiento computacional analítico y crítico. Además, se abordan conceptos como tautología, contradicción, contingencia y equivalencia lógica, junto con sus respectivas tablas de verdad.

Cargado por

JOSÉ HERADIO QUIROZ ALAYO
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
20 vistas10 páginas

2da. CLASE PROPOSICIONES

El documento presenta la unidad III de Lógica Matemática en la Universidad Nacional Intercultural 'Fabiola Salazar Leguía', enfocándose en proposiciones, tablas de verdad, operadores lógicos y cálculo proposicional. Se destaca la importancia de la lógica simbólica para desarrollar un pensamiento computacional analítico y crítico. Además, se abordan conceptos como tautología, contradicción, contingencia y equivalencia lógica, junto con sus respectivas tablas de verdad.

Cargado por

JOSÉ HERADIO QUIROZ ALAYO
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd

UNIVERSIDAD NACIONAL INTERCULTURAL

“FABIOLA SALAZAR LEGUÍA” DE BAGUA


FACULTAD DE CIENCIAS SOCIALES Y EMPRESARIALES

III UNIDAD

LÓGICA MATEMÁTICA

MSC. JOSÉ QUIROZ ALAYO.


TEMAS
 Tema 1: Proposiciones.
 Tema 2: Tablas de verdad.
 Tema 3: Operadores lógicos.
 Tema 4: Cálculo proposicional.
OBJETIVO
Comprender la importancia de la
lógica simbólica en el estudio de los
fundamentos de las matemáticas
booleana, logrando desarrollar un
pensamiento computacional analítico y
crítico.
TEMA 4: Cálculo Proposicional y Leyes Lógicas
Tautología o Ley Lógica Contradicción:

p ∧ ~p:
Analizando la proposición p Analicemos la fórmula lógica
v ~p mediante la tabla de
verdad, se tiene:
Contingencia:
Si una proposición no es una tautología ni una contradicción (es decir
que contiene al menos un valor V y otro F).

p q ∼ (p∧q) ↔ [(q) ∨ (∼p)]


V V F V F V V F
V F V F F F F F
F V V F V V V V
F F V F V F V V
Equivalencia lógica
La equivalencia lógica se puede traducir al lenguaje común como
“cada vez que se tiene p, se tiene q”, y es equivalente a:
“cuando no se tiene q, entonces no se tiene p”

p q p→q ∼p ∨
Símbolo q
V V V F V V
V F F F F F
F V V V V V
F F V V V F
Las operaciones lógicas definidas entre las formas proposicionales y algunas
de sus más importantes propiedades se incluyen en las denominadas leyes
del algebra de proposiciones o leyes lógicas y básicamente son expresiones
equivalentes su demostración es mediante tablas de verdad similar al
ejemplo anterior .
LEYES DEL CALCULO PROPOSICIONAL O LEYES LOGICAS.
GRACIAS

También podría gustarte