Logica Proposicional S1

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
ESCUELA DE ESTUDIOS GENERALES

ÁREA DE HUMANIDADES, CIENCIAS JURIDICAS Y SOCIALES
MATEMATICA APLICADA A
CIENCIAS SOCIALES Y HUMANAS SEMESTRE 2023-I
Es una disciplina que mediante reglas y técnicas estudia la
forma del razonamiento.
En matemática se emplea para demostrar teoremas; en
computación, para validar un programa; en física, para dar
conclusiones de experimentos y, en la vida cotidiana, para
cualquier trabajo que se realiza ya que tiene un procedimiento
lógico.
Gracias a ella, el ser humano distingue la realidad de la
percepción y defiende sus puntos de vista con argumentos
basados en hechos y datos. Esto lo logra utilizando su
inteligencia y con la ayuda de los conocimientos adquiridos.
¿Qué es una proposición?
Es un enunciado coherente que posee un valor

de verdad: verdadero (v) o falso (f), sin
ambigüedades y en determinado contexto.
•Ejm :
• (2+3 )² = 4 + 9 (falso)
• Lima es una ciudad de la costa del Perú.
(verdadero)
•Se simboliza con letras minúsculas (p; q; r; etc.)
EJEMPLIFICANDO
 Identifica las expresiones que son proposiciones:
1. Sofía Mulanovich fue campeona mundial de tabla en el
2004.
2. Tal vez compre un obsequio.
3. Formuló una pregunta difícil de responder.
4. 3 + 2 = 5 .
5. Dos números enteros distintos pueden sumar cero.
6. ¡Ojalá tomen lo que he estudiado!

¿Cuáles son los tipos de proposiciones?
 Simples o atómicas : Son aquellas que tienen una
única idea, es decir una sola afirmación, siempre
en positivo.
Ejem. -6 es un número entero
Los universitarios tienen carnet de
medio pasaje.
 Compuestas o molecular : Son aquellas que
tienen dos o más proposiciones afectados por
términos de enlace.
Ejem. Cusco está en el Perú y el Perú está en
Sudamérica
Si x² =4 → x=2 o x=-2
EJERCITÁNDONOS
 Identifica si la proposición es compuesta (C) o
simple (S).
S
 Pablo es culto.
C
 Tres no es mayor que 5.
S
 Los cuadriláteros tienen cuatro lados.
 Ana y José son esposos. C
 Rosa tiene 20 años. S

 Ana y José están casados. C
 No es cierto que 34 sea igual a 243.
C
CONECTORES LÓGICOS
Llamados también operadores
lógicos , son palabras que sirven
para enlazar proposiciones simples
o cambiar el valor de verdad de una
proposición. Estos conectores
lógicos son:
CONECTORES LÓGICOS
CONECTOR EXPRESIONES EQUIVALENTES
Sin embargo, aunque, también, pero, además, a la

CONJUNCIÓN
vez, no obstante, etc.
CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc.
NEGACIÓN No es cierto que, es falso que, no es el caso que, etc.

CONECTORES LÓGICOS
CONECTOR SÍMBOLO ESQUEMA SIGNIFICADO VALOR DE VERDAD
V si ambas proposiciones
CONJUNCIÓN  pq pyq
son V
DISYUNCIÓN F solo si ambas

INCLUSIVA
 pq poq
proposiciones son F
F si ambas proposiciones
DISYUNCIÓN p q
EXCLUSIVA
 opoq tienen igual valor de
verdad
F solo si la primera
si p,
CONDICIONAL  pq proposición es V y la
entonces q
segunda es F
Lo opuesto al valor de la
NEGACIÓN  p no p
proposición
EJEMPLIFICANDO
 Determina el valor de verdad de las siguientes
expresiones, si sabes que:
 (V) p: María es doctora.
 (F) q: María es casada.
 (V) r: María vive con sus padres.
 (F) s: María viajará a España.
(q  r)  s (p  r)  (p  q)
(F  F)  F (V  V)  (V  F)
V F V F
F V
EJEMPLIFICANDO
Dadas las siguientes proposiciones:
 p : Estudio sistemáticamente
 q : Obtendré buenas calificaciones en Álgebra
 r : Voy a bailar todos los fines de semana
 s : Me sentiré feliz
Escriba con palabras la siguiente proposición:
(~ p  r )  ~ q
Si no estudio sistemáticamente y voy a bailar
todos los fines de semana entonces no obtendré
buenas calificaciones en álgebra.
EJEMPLIFICANDO
Dadas las siguientes proposiciones:
 p : a es un número par
 q : 2a es un número par
 r : a es un múltiplo de 6
 s : a < 10
Escribe con símbolos la siguiente proposición:
Si a es un número par y múltiplo de 6, entonces 2a es par
o a es menor que 10
p rqs
EL ACERTIJO DEL REY
 Un rey plantea a los pretendientes de su hija lo
siguiente:
 “Se casa con mi hija quien determine en cual de los
cofres se encuentra mi retrato”
 Si se sabe que de las inscripciones solo una es falsa, ¿en
cuál de los cofres se encuentra el retrato?
EL ACERTIJO DEL REY
Recuerda solo una
inscripción es falsa
A
EL RETRATO ESTA EN ESTE
COFRE
B
EL RETRATO NO ESTA EN
ESTE COFRE
C
EL RETRATO ESTA EN EL
COFRE DEL CENTRO
SOLUCION
 Analizando lo escrito en el cofre A:
 Si A es verdadero, entonces B es verdadero y C es falso.
 Analizando lo escrito en el cofre B:

 Si B es verdadero, entonces C es falso y A es verdadero.
 Analizando lo escrito en el cofre C:

 Si C es verdadero, entonces A es falso y B es falso.
 Por lo tanto, el retrato se encuentra en el cofre: A

ESQUEMA MOLECULAR
Es la combinación de variables y
conectivos lógicos debidamente
jerarquizados, se simbolizan
mediante metavariables que son las
letras mayúsculas a partir de A, B,
C,…
Ejemplos:
 A = p  (q  r)
 B = (p  q)  [ r ↔(q  s)]
 C = ~(p ~ q)  [ (p r) ↔(q  s)]
EVALUACIÓN DE ESQUEMAS
MOLECULARES
 Consiste en obtener los valores del operador

principal a partir de los valores de cada una de
las variables proposicionales y se realiza
mediante las denominadas “Tablas de verdad”
creadas por Wittgenstein.
 Los valores obtenidos se denominan Matriz

principal y corresponden al conectivo de
mayor jerarquía.
TIPOS DE ESQUEMAS MOLECULARES
A) Tautología
Una proposición compuesta es una tautología si y
sólo si es verdadera para todas las asignaciones
posibles referidas al conectivo principal
Ejemplo:
[(pq)  p]  q
B) Contradicción
Una proposición es una contradicción si y sólo si es
falsa para todas las asignaciones posibles.
Ejemplo:
~ [(p q)  (q p)]
C) Contingencia
Una proposición que no sea una ni una tautología
ni una contradicción se denomina contingencia
(casualidad, eventualidad).
Ejemplo:
p~q

p q q
V V V V V V V
V F F F V V F
F V V F F V V
F F V F F V F
Es una Tautología
p q r r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
1 3 2

Logica Proposicional S1

Cargado por

Copyright:

Formatos disponibles

Logica Proposicional S1

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

Logica Proposicional S1

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

ESCUELA DE ESTUDIOS GENERALES

Es un enunciado coherente que posee un valor

6. ¡Ojalá tomen lo que he estudiado!

 Rosa tiene 20 años. S

Sin embargo, aunque, también, pero, además, a la

CONDICIONAL Por consiguiente, puesto que, porque, ya que, etc.

NEGACIÓN No es cierto que, es falso que, no es el caso que, etc.

DISYUNCIÓN F solo si ambas

 Analizando lo escrito en el cofre B:

 Analizando lo escrito en el cofre C:

 Por lo tanto, el retrato se encuentra en el cofre: A

 Consiste en obtener los valores del operador

 Los valores obtenidos se denominan Matriz

También podría gustarte