0% encontró este documento útil (0 votos)
76 vistas35 páginas

Curso de Lógica Proposicional 2023

Este documento presenta un resumen del curso de lógica proposicional. Cubre temas como enunciados y proposiciones lógicas, proposiciones simples y compuestas, conectores lógicos como la negación, conjunción, disyunción, condicional y bicondicional, y tipos de proposiciones compuestas como tautologías, contradicciones y contingencias. El objetivo es que los estudiantes aprendan estos conceptos básicos de lógica proposicional.

Cargado por

Mikoto Momotaro
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
0% encontró este documento útil (0 votos)
76 vistas35 páginas

Curso de Lógica Proposicional 2023

Este documento presenta un resumen del curso de lógica proposicional. Cubre temas como enunciados y proposiciones lógicas, proposiciones simples y compuestas, conectores lógicos como la negación, conjunción, disyunción, condicional y bicondicional, y tipos de proposiciones compuestas como tautologías, contradicciones y contingencias. El objetivo es que los estudiantes aprendan estos conceptos básicos de lógica proposicional.

Cargado por

Mikoto Momotaro
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

CURSO

LOGICA
PROPOSICIONAL

SEMESTRE 2023-1
1 ENUNCIADO

2 PROPOSICIONES LÓGICAS

TEMAS PARA EL
DIA DE HOY 3 PROPOSICIONES COMPUESTAS

4 PROPOSICIONES COMPUESTAS

5 EVALUACIÓN DE ESQUEMAS MOLECULARES


LOGRO DE LA SESIÓN

Al finalizar la sesión los estudiantes Identifica el


concepto de Enunciado y proposición. Diferencia
entre proposición Simple y compuesta. Utiliza los
conectivos lógicos para formar y evalua esquemas
moleculares.
ENUNCIADO

Es toda frase, oración o expresión verbal y/o escrita.

Ejemplos:

a) El código penal.

b) La psicología estudia los procesos mentales.

c) Los medios de comunicación masiva.

d) 3x + 7 = 13
Todo enunciado que puede ser
definido como verdadero o Todo expresión
falso. aseverativa.

PROPOSICIÓN
LÓGICA

Se denotan mediante letras


Fórmulas, leyes o
minúsculas del alfabeto: p,
principios científicos.
q, r, s . . .
Metáforas, refranes,
Creencias, mitos o leyendas.
supersticiones.

NO SON
PROPOSICIONES
LÓGICAS

Oraciones Exclamativas,
interrogativas, dubitativas, Enunciados abiertos
desiderativas e imperativas
PROPOSICIONES LOGICAS

Una proposición lógica es un enunciado que tiene un valor de verdad: Verdadero


(V) o Falso (F), pero no ambos.

Estas proposiciones serán simbolizadas por las letras p, q, r, etc.

Ejemplo 1: Los siguientes enunciados son proposiciones lógicas:

a) Todos los gatos son blancos.


b) Existe un número entero mayor que 2 y menor que 3.
c) Si tu promedio final es 11, aprobaras el curso.
d) El número 123 es impar y menor que 100.
Ejemplo 2:: Los siguientes enunciados no son proposiciones lógicas:
a) ¡Prohibido fumar!
b) ¿Qué día es hoy?
c) Más vale tarde que nunca.
CLASES DE PROPOSCIONES LÓGICAS

• Proposiciones simples o atómicas: Son aquellas que están conformadas por una sola proposición. Carecen de
conjunciones gramaticales y del adverbio de negación no.

Ejemplos : voy a estudiar matemática básica I, Luis está jugando futbol.

• Proposiciones compuestas o moleculares: Son aquellas que están conformadas por dos o más proposiciones,
relacionadas por conjunciones gramaticales. También son constituidas por una proposición simple afectada
por el adverbio de negación no.

Ejemplos : Eder es matemático y Jhonatan es físico , Pedro no va al cine.


CONECTORES LÓGICOS

Los conectores lógicos son operaciones entre proposiciones que sirven para generar
nuevas proposiciones (proposiciones compuestas). Los principales son:

1. Negación.
2. Conjunción.
3. Disyunción.
4. Condicional.
5. Bicondicional.
6. Disyunción exclusiva.
PROPOSICIONES COMPUESTAS BÁSICAS

NEGACIÓN()
• El adverbio de negación no afecta a p.
• Se denota y se lee “no P”
• Su tabla de verdad es

Ejemplos:
P: Andrea viajó a Cuzco. (v)
: Andrea no viajó a cuzco (f)
q: El conejo es un mamifero (v)
: El conejo no es un mamífero (f)
CONJUNCIÓN ()
Se relacionan P y Q mediante el conectivo lógico y se denota y se lee “
La tabla de verdad es la siguiente

Ejemplo:
Edgar juega y Juan estudia
• DISYUNCIÓN ()
Se relacionan P y Q mediante el conectivo lógico O.
Se denota y se lee “P o Q”

• Ejemplo :
• Pablo trabajará o jugará
Ejemplo:

• Considere las siguientes proposiciones:


Solución
• CONDICIONAL ()
Se relacionan P y Q mediante el conectivo lógico si …, entonces …
Se denota y se lee “ Si P, entonces Q”

Ejemplo:
Si Sonia estudia, entonces triunfará
• DISYUNCIÓN EXCLUSIVA ()
Se relacionan p y q mediante el conectivo lógico O…o…
Se denota P Q y se lee “ O P o Q “

• Ejemplo :
• O juego fútbol o juego básquet
• BICONDICIONAL ()
Se relacionan p y q mediante el conectivo lógico si y solo si.
Se denota P Q y se lee “p si y solo si q”

Ejemplo :
Alex jugará si y solo si hizo sus deberes.
P Q
Jerarquía de los conectores lógicos
TIPOS DE PROPOSICIONES COMPUESTAS

TAUTOLOGIA
Un esquema proposicional es una tautología si al evaluar todas las posibles ordenaciones de los
valores veritativos de las variables proposicionales que la conforman siempre resulta verdadero.
Ejemplo: Halla la tabla de verdad de:   p  q   q    p

p q p  q  q  p
         

         

         

             
CONTRADICCIÓN

Es una contradicción si al evaluar todas las ordenaciones de los valores veritativos de las variables
propocisionales que la conforman siempre resulta falso.

Ejemplo : Halla la tabla de verdad de:  p  q   q   q

         

         

         

         
CONTINGENCIA

Un esquema proposicional es una contingencia si su tabla de verdad contiene al menos un verdadero


y al menos un falso.

Ejemplo: Halla la tabla de verdad de:  p  q  p

         

         

         

         
BIBLIOGRAFIA
• 1.5 Proposiciones categóricas. (s. f.). Cursos.clavijero.edu.mx. Recuperado 9 de mayo de 2021, de
https://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/documentos/proposici
ones_categoricas.pdf Conectores lógicos | Tablas de verdad. (2021, 30 abril). [Vídeo]. YouTube.
https://www.youtube.com/watch?
v=8gCoQCkx9A0&list=PLeySRPnY35dHBYcVHPisjBCVHBa954rMZ&index=3&ab_c hannel=Matem
%C3%A1ticasprofeAlex ICC. (s. f.). Tema 1.4.2. Variaciones - 1.4. La Lógica Formal - Cálculo
Proposicional - Instituto Consorcio Clavijero. Cursos.clavijero.edu. Recuperado 8 de mayo de
2021, de https://cursos.clavijero.edu.mx/cursos/007_cp/modulo1/contenidos/tema1.4.2.html?
opc=3 Lógica proposicional | Introducción. (2021, 30 abril). [Vídeo]. YouTube.
https://www.youtube.com/watch?
v=vKe0UKSpNQQ&list=RDCMUCanMxWvOoiwtjLYm08Bo8QQ&start_radio=1&t=3
&ab_channel=Matem%C3%A1ticasprofeAlex Tablas de verdad | Ejemplo 1. (2021, 11 mayo).
[Vídeo]. YouTube. https://www.youtube.com/watch?
v=ZK8QUphO4MA&list=RDCMUCanMxWvOoiwtjLYm08Bo8QQ&index=12&ab_cha nnel=Matem
%C3%A1ticasprofeAlex
MUCHAS GRACIAS

También podría gustarte