Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad

Lógica Proposicional, Diapositivas de Matemáticas

Una introducción a la lógica proposicional, una rama de la lógica formal y la filosofía que estudia los principios del pensamiento y las estructuras que lo conforman. Se explica el concepto de proposición lógica, las proposiciones compuestas, los conectivos lógicos y sus operaciones, así como las tablas de verdad y las equivalencias lógicas. El objetivo es que el estudiante conozca qué es una proposición lógica y pueda realizar operaciones con ellas, lo cual le servirá de aplicación en otras áreas. El documento forma parte del curso de matemática básica de la universidad tecnológica de lima sur (untels) para el ciclo 2023-ii.

Tipo: Diapositivas

2022/2023

Subido el 15/06/2024

eduardo-huarocc-1
eduardo-huarocc-1 🇵🇪

2 documentos

1 / 18

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
Universidad Tecnológica de Lima Sur UNTELS 2021.
Todos los derechos reservados
04RG-2021-UNTELS-VPA
04RG-2021-UNTELS-VPA
Universidad Tecnológica de Lima Sur UNTELS 2021.
Todos los derechos reservados
LÓGICA PROPOSICIONAL
Matemática Básica, 2023 II
Semana 1 - Sesión 1
Docente: Dra. Melissa Muñante Toledo
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12

Vista previa parcial del texto

¡Descarga Lógica Proposicional y más Diapositivas en PDF de Matemáticas solo en Docsity!

Universidad Tecnológica de Lima Sur – UNTELS 2021. Todos los derechos reservados

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA 04RG-2021-UNTELS-VPA Todos los derechos reservados

LÓGICA PROPOSICIONAL

Matemática Básica, 2023 II Semana 1 - Sesión 1 Docente: Dra. Melissa Muñante Toledo

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

LOGRO DE LA SESIÓN

Que el estudiante conozca que es una proposición lógica y pueda realizar

operaciones que les servirá de aplicación en otras áreas.

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

Lógica Aristotélica (Formal)

La lógica aristotélica estudia la inferencial de

manera formal mediante la construcción de

lenguajes, sistemas deductivos y semánticas

Lógica Simbólica (Matemática)

La lógica simbólica también llamada

Lógica Proposicional, se basa en la

aplicación de símbolos por medios de

tablas de verdad que nos permite

identificar la veracidad de una

proposición.

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

PROPOSICIÓN LÓGICA:

Se llama así a toda expresión que puede calificarse como verdadera (V) o bien como falsa (F), y sin ambigüedad (Venero, 2010 ). Las proposiciones lógicas serán denotadas como: p, q, r, s , t ……

  • Ejemplos:

a) p: 6+5 = 11 …………….. (V) b) q: la ciudad de Trujillo es la capital del Perú …………. (F)

  • Ejemplos de expresiones que no son proposiciones lógicas:

a) ¡Buenas tardes! b) s + w = x c) ¿Dónde naciste?

Como puedes observar en las expresiones dadas, no podemos darle un valor de verdad o falsedad.

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

Proposición Compuesta

Son todas aquellas que están formadas por dos o mas proposiciones

simples, ligadas mediante conectivos (conectivos lógicos), que sirven

para enlazar y relacionar los enunciados.

Ejemplo: Sean las proposiciones simples:

p: 7 es un numero primo

q: 7 es divisor de 140

Ahora formemos una proposición compuesta:

r: 7 es un número primo y es divisor de 140.

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

CONECTIVOS LÓGICOS:

Son símbolos que enlazan proposiciones simples, sin formar parte de ellas. Los conectivos lógicos son:

SÍMBOLO OPERACIÓN LÓGICA

ESQUEMA SIGNIFICADO

~ Negación ~𝑝 “no” p ∧ Conjunción 𝑝 ∧ 𝑞 p “y” q ∨ Disyunción 𝑝 ∨ 𝑞 p “o” q △ Disyunción exclusiva

𝑝 △ 𝑞 o p o q, pero no ambas ⟶ Condicional 𝑝 ⟶ 𝑞 p entonces q ⟷ Bicondicional 𝑝 ⟷ 𝑞 p si y solo si q

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

CONDICIONAL

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

NEGACIÓN

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

p q ( 𝒑 ⟶ 𝒒 ) ∧ ( 𝒒 ⟶ 𝒑 ) V V V F F V F F

p q (^) ~ [( 𝒑 ∧ 𝒒 ) ⟶ ~ (~ 𝒒 ∨ ~ 𝒑 )] V V V F F V F F

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

EQUIVALENCIA LÓGICA:

Se llama Implicación Lógica a toda condicional que sea una tautología, y en tal caso a la condicional se le denota por.

p  q
p  q
[ (~𝑝 ⋁𝑞) ∧ ∼ 𝑝] ⟹∼ 𝑝

Se llama Equivalencia Lógica a toda bicondicional p ⟷ 𝑞 que sea una tautología, y en tal caso se le denota por 𝑝 ⟺ 𝑞.

[p ∧ (p⋁𝑞)] ⟺ 𝑝

p q V V V F F V F F

p q V V V F F V F F

IMPLICACIÓN LÓGICA:

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

CONCLUSIÓN

  • Se conoció el concepto de

lógica proposicional.

  • Se interpreto los conectores

lógicos y su tabla de verdad

Universidad Tecnológica de Lima Sur – UNTELS 2021. 04RG-2021-UNTELS-VPA

AHORA TOCA
DEDICAR TIEMPO A
TUS ESTUDIOS y
PRACTICAR, PARA
QUE TENGAS ÉXITO
EN TU CICLO
ACADÉMICO 2023 II y
EN TU CARRERA
PROFESIONAL.

¡TÚ PUEDES!