UNIVERSIDAD NACIONAL “SAN LUIS GONZAGA”

FACULTAD DE MEDICINA
DEPARTAMENTO ACADÉMICO DE MATEMÁTICA

SESIÓN DE APRENDIZAJE N° 01
I. DATOS INFORMATIVOS GENERALES
1.1. PROGRAMA ACADÉMICO: Medicina. SEMESTRE: I
1.2. ASIGNATURA: Matemática. HORAS 04
1.3. UNIDAD Nº: 01 Teoría: 02
1.4. SESION Nº: 01 Practica: 02
1.5. DOCENTE: Magister Javier Eduardo Magallanes Yui. FECHA: 03/08/2020 11:30–13:00
1.6. TÍTULO DE LA SECIÓN Lógica Proposicional. 03/08/2020 13:00–14:30

II. PROPÓSITO DEL APRENDIZAJE

Identifica los conectivos lógicos en la formación de las proposiciones compuestas.

III. CONOCIMIENTOS Y PRODUCTO A DESARROLLAR

CONOCIMIENTOS ESECIALES EVIDENCIAS DE DESEMPEÑO: PRODUCTO EN PROCESO
Proposiciones. Enunciados. Conectivos lógicos. Relaciona los conceptos de la asignatura con la de-
terminación de las proposiciones y conectivos.

IV. PROCESO METODOLÓGICO Y RECURSOS: SECUENCIA DIDÁCTICA

PROCESOS PEDAGÓGICOS ACTIVIDADES/ ESTRATEGIAS TIEMPO RECURSOS
- El Docente se presenta ante sus estudiantes y dialogan Aula virtual
sobre el contenido del silabo. PPT
- Recoge los saberes previos de los estudiantes formulan-
do las preguntas siguientes:
Motivación, desarrollo y evaluación permanentes de actitudes

¿Qué es una oración? ¿Toda oración es verdadera? ¿Qué

ejemplos podrían enunciar? 30 min.
INICIO
- Comunica el propósito de la sesión: hoy reconocerán
proposiciones abiertas y cerradas, conectivos lógicos y Páginas de
formalizarán un esquema de proposiciones. Internet
- Se despierta el interés por el estudio de la lógica y su 5 min.
importancia en la toma de decisiones y su aplicación co-
tidiana. 5 min.
El Docente presenta el desarrollo de los temas: Aula virtual
- Proposiciones. Proposiciones simples y compuestas. PPT
Conectivos lógicos: Formalización de proposiciones. 20 min.
Ejemplos. 90 min.
- Se absuelve las preguntas de los estudiantes. 20 min. Hoja de Ejer-
DESARROLLO - Los estudiantes intercambian ideas con sus compañeros. 15 min. cicios
- El Docente pedirá que resuelvan ejercicios con un tiempo
determinado, si hubiera alumnos que no puedan resolver
los ejercicios, se desarrollará con la guía del Docente. 30 min.
- Los estudiantes justifican sus resultados, siendo reforza- Exposición en
dos si lo amerita. 30 min. aula virtual
- Lluvias de ideas. Aula virtual
- Plantea preguntas que te permitan promover la valoración
de su proceso de aprendizaje, por ejemplo:
¿Qué aprendieron hoy?, ¿cómo hicieron para formalizar
CIERRE. proposiciones?, ¿les gustó lo que hicieron en clase?, Método expo-
¿comprendieron los ejemplos de representación con faci- sitivo participa-
lidad?; ¿creen que les va a servir lo que han aprendido?, 20 min. tivo.
¿para qué?
- Tareas del aula virtual. 5 min.

1
V. EVALUACIÓN DEL APRENDIZAJE
CRITERIOS DE EVALUACIÓN DE LOS INDICADORES DE EVALUACIÓN INSTRUMENTOS DE EVALUACIÓN
APRENDIZAJES
Aplicar los conceptos de proposi-
- Define proposición y conectivos lógicos.
ciones y conectivos lógicos para - Rúbricas de evaluación.
- Formaliza expresiones del lenguaje
formalizar una expresión.
natural en lógica proposicional.
- Lista de cotejo.
ACTITUD ANTE EL ÁREA INDICADORES DE EVALUACIÓN INSTRUMENTOS DE EVALUACIÓN
- Aplica los conocimientos matemáticos
adquiridos en clase.
Valora la importancia de la asigna-
- Muestra interés por el tema tratado. Guia de observación.
tura y el contenido de la misma.
- Respeta la opinión de sus compañeros.
- Culmina las actividades programadas.

VI. BIBLIOGRAFÍA:
APARCANA Aquije Carlos 2017. Cálculo integral Paso a Paso. Apuntes de Clases
APARCANA Aquije Carlos 2017. Cálculo diferencial e integral. Apuntes de Clases
C.H. Edwards. 1973. Advanced Calculus of Several Variables. Academic Press.
ESPINOZA Eduardo. 1997. Análisis matemático III. Para Estudiantes de Ciencias e Ingeniería.
Editorial Mochera.
HAASER. La Salle. Sullivan. 1972. Análisis Matemático. Curso Intermedio. Volumen II. Editorial
Trillas.
MITACC Toro Máximo. 1995. Cálculo III. Editorial San Marcos.
MURRAY Spiegel. 1969. Cálculo Superior. Mc. Graw Hill.
LÁZARO Carrión Moisés. 2002. Análisis Matemático III. Editorial Mochera.
PETER V. O’Neil. 2012. Matemáticas Avanzadas para Ingeniería. Editorial Cengage Learning. Mé-
xico.
PITA Ruiz Claudio. 1995. Cálculo Vectorial. Prentice Hall

Director de Escuela Académico Firma del Docente

2
1. LÓGICA PROPOSICIONAL
1.1. Lógica.
La lógica es una disciplina filosófica que estudia las leyes del pensamiento, que permite al hombre pensar correcta-
mente y evitar consecutivamente el error. En tal sentido, el que estudia lógica piensa de un modo más preciso, los
argumentos contienen un compuesto más sistematizado y vuelven al individuo con una actitud crítica, práctica, acti-
va y analítica. Es decir, más consciente y no receptivos del conocimiento. En resumen la utilidad de la lógica se verá
representada en los juicios críticos que la conciencia lógica del individuo desarrolle a través de la cultura de la razón
(J. López).
Es una ciencia formal que estudia el lenguaje científico, su planteamiento, su organización y los métodos para anali-
zar toda forma escrita. Para comunicarse el ser humano utiliza lenguajes discursivos dichos lenguajes están llenos
de partículas lógicas.
Las partículas lógicas: fundamentalmente son los cuantificadores, las conectivas y con ellas se forman los discursos.

1.2. Lógica proposicional.

Es una rama de la lógica que estudia las variables proposicionales o sentencias lógicas, sus posibles implicaciones,
evaluaciones de verdad y en algunos casos su nivel absoluto de verdad .
Existen en la realidad un número considerable de problemas con los que una persona se enfrenta y de los cuales se
deben deducir ciertos datos para poder resolverlos.
Una deducción, un razonamiento o inferencia, es un tipo de pensamiento que se basa en la generación de conoci-
miento nuevo (la conclusión) a partir de un conocimiento existente (las premisas).

1.3. La Proposición.
Es la unidad de razonamiento que expresa un contenido o significado y se puede saber con certeza si es verdadero
o falso empíricamente y que generalmente se expresa como oración declarativa. Para ello, la proposición debe ex-
presarse mediante una lengua natural, aunque también puede realizarse en lenguajes formales, como el de las ma-
temáticas
En síntesis, el proceso lógico puede esquematizarse del modo siguiente:
A modo de resumen se da el siguiente cuadro para que pueda identificar.
Son proposiciones No son proposiciones
- Las oraciones aseverativas.  Los hechos o personajes litera-
- Las leyes científicas. rios.
- Las fórmulas matemáticas.  Los proverbios, modismos y
- Las fórmulas y/o esquemas refranes.
lógicos.  Creencias religiosas, supersti-
- Los enunciados cerrados o ciones y mitos.
definidos.  Las interrogantes.
 Las órdenes.
 Las interjecciones.
 Los deseos, dudas y súplicas.
 Los abiertos o indefinidos.

1.3.1. CLASES DE PROPOSICIONES:

a) Simples, atómicas o elementales: Aquellas que carecen de conectores proposicional.
b) Compuestas, moleculares o coligativas: Aquellas que tienen uno o más conectores proposicionales.

c) VALOR DE VERDAD: El valor de verdad de una proposición es la cualidad de veracidad que describe adecua-
damente la proposición. Este puede ser verdadero o falso. El valor verdadero se lo asocia con “V”. El valor falso se
lo asocia con “F”.

1.4. OPERADORES O CONECTIVOS LÓGICOS:

1.4.1. Variables proposicionales:
-Del Lenguaje Objeto: Las proposiciones simples se pueden denotar por medio de letras minúsculas, generalmen-
te, a partir de: p, q, r, s.... Estas letras se denominan variables proposicionales, ya que se utilizan para representar
cualquier proposición del lenguaje natural.

3
Principio de bivalencia: Las proposiciones simples sólo pueden tener dos valores de verdad; o son verdaderas o
son falsas

-Del Metalenguaje:
Son variables de mayor amplitud que las anteriores y sirven para denotar proposiciones compuestas. Se usan las
letras mayúsculas, Generalmente, a partir de: A, B, C,...

- Símbolos auxiliares:
En lógica se utilizan paréntesis, corchetes y llaves para agrupar ordenadamente las proposiciones. ( ) , [ ] , { }

1.4.2. Operadores o Conectivos Lógicos: Representan las relaciones lógicas existentes entre las proposiciones.
Simbolizan los elementos del lenguaje natural que sirven para unir a las diferentes proposiciones entre sí. Los co-
nectivos lógicos que estudiaremos son los siguientes:

La Negación:
Símbolo: “~”
Esquema Lógico: ~p
Lectura: “no …”; “nunca …”; “es absurdo que …”; “es falso que …”; “es inconcebible que …”; “es imposible que …”;
“no ocurre que …”; “no es verdad que …”; “es mentira que …”; “jamás …”; “tampoco …”; “es inadmisible que …”; “no
acaece que …”; “no es innegable que …”; “carece de todo sentido que …”; “de ninguna forma se da …”; “es erróneo
que …”; “es incierto que …”; “nadie que sea …”; etc.

La conjunción:
Símbolo: “∧”
Esquema Lógico: p ∧ q
Lectura: “… y …”; “… pero …”; “… aunque …”; “… sin embargo …” ; “… incluso …”; “… así como …”; “… también
…”; “… del mismo modo …”; “… de la misma forma …”; “… tal como …”; “… al igual que …”; “… no obstante …”; “…
es compatible con …”; “no sólo … también …”; “siempre ambos … con …”; “tanto … como, cuanto …”; etc.

La Disyunción Inclusiva
Símbolo: ∨
Esquema Lógico: p ∨ q
Lectura: “… o…”; “a menos que…, …”; “… o también…”; “… o de lo contrario…”; “… salvo que …”; “… a menos
que …”; “… excepto que …”; “… o en tal sentido …”; “… a no ser que …”, “… o sino …”, “… o en todo caso …”, “…
o incluso …” , “… o bien …”, etc.
La Disyunción exclusiva
Símbolo: ⊻
Esquema Lógico: p ⊻ q
Lectura: “o … o …”; “… no equivale a …”; “… no se define como …”; “ya sea … ya sea …”; “o bien … o bien …”;
“… es diferente a …”; “ya bien … ya bien …”; “… se contrapone a …”; “… excluye a …”; “… o solamente …”; “… o
únicamente …”; “…a menos que…”, “…excepto que sólo…”, “…no es lo mismo que…”,etc.

El Condicional
Símbolo: →
Esquema Lógico: p → q
Lectura: “si … entonces …”; “cuando … así pues …”; “con tal de que … es obvio que …”; “en virtud de que … es
evidente …”; “dado … por eso …”; “en cuanto … por tanto …”; “de … deviene …”; “de … deducimos …”; “… sólo si
…”; “ya que … bien se ve que …”; “siempre que … por consiguiente …”; “como quien que … por lo cual …”; “en el
caso de que … en tal sentido …”; “toda vez que … en consecuencia …”; “en la medida que … de allí …”; “en el caso
de … en este caso …”; “… impone …”; “… es condición suficiente para …”; etc.
En la condicional:
p → q

El Antecedente El Consecuente
La Hipótesis La Tesis
La Causa El Efecto
La Premisa La Conclusión
4
Después de las siguientes palabras va el antecedente de una condicional (INDICADORES DE PREMISAS): “puesto
que”, “como es indicado por”; “dado que”, “la razón es que”; “a causa de”, “por las siguientes razones”; “porque”, “se
puede inferir de”; “pues”, “se puede derivar de”; “se sigue dé”, “se puede deducir de”; “como muestra”, “en vista de
que”; “ya que”, “cuando”; “si”, “cada vez que”; “siempre que”; “a condición de que”; “es condición necesaria para”; “es
insuficiente para”; etc.

El Bicondicional
Símbolo: ↔
Esquema Lógico: p ↔ q
Lectura: “… sí y sólo si…”, “… se define como…”, “… es lo mismo que…”, “… es idéntico a…”, “… es equivalente,
equivale a…”, “… siempre que y sólo cuando…”, “… cada vez que y sólo si…”, “… es equipolente a…”, “… es de la
forma…”, “… es condición necesaria y suficiente para…”.

Orden de prioridad de los conectivos lógicos.

Se usará generalmente signos auxiliares { }, [ ], ( ), para especificar el orden en que se aplicarán los operadores
lógicos.
De no existir dichos signos, adoptamos el siguiente orden de prioridad.

CONECTIVO PRIORIDAD
∼ 1
∧ 2
∨, ⊻ 3
→ 4
 5

1.5. FORMALIZACIÓN DE UNA EXPRESIÓN DEL LENGUAJE NATURAL EN LA LÓGICA PROPOSICIONAL

Para formalizar una expresión del lenguaje natural se debe destacar la «forma» en que se relacionan las proposicio-
nes de dicha expresión, sin importar el contenido o significado de éstas. Es decir: consiste en “traducir” al lenguaje
artificial y formal de la lógica las expresiones del lenguaje natural. Su objetivo es reducir el razonamiento a su estruc-
tura formal separándola de su contenido pues sólo ésta nos interesa para poder determinar su validez.

Debemos de tener en cuenta:

 Sólo se formalizan las proposiciones, no las frases o expresiones
 En el lenguaje natural dos frases pueden significar lo mismo expresado a través de otras palabras. En este caso
se simbolizarán ambas con la misma variable proposicional (siempre según el contexto).