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