Formulas Logicas

UNIVERSIDAD DE LIMA
PROGRAMA DE ESTUDIOS GENERALES

ASIGNATURA: FUNDAMENTOS DE MATEMATICA SECCIONES: TODAS
CICLO: 2017-1 TIEMPO: 90 minutos
PRIMERA PRÁCTICA CALIFICADA

CÓDIGO APELLIDOS Y NOMBRES SECCIÓN
INDICACIONES:
- El procedimiento, el orden, la claridad de las respuestas y el uso apropiado de la notación
matemática serán considerados como criterios de calificación.
- Escriba con lapicero de tinta azul o negra. La prueba desarrollada con lápiz no será calificada.
- La prueba consta de seis preguntas, cuyo puntaje está indicado en cada una de ellas.
- Se permite el uso de calculadora científica no programable.
Con la finalidad de evitar la anulación de la prueba tenga en cuenta que no se permite:
- Utilizar material de consulta (apuntes de clase, fotocopias o materiales similares).
- Usar teléfonos celulares, así como cualquier otro medio o dispositivo electrónico de
comunicación.
- Conversar durante el desarrollo de la prueba.
- Colocar escuches, carteras, bolsos, cuadernos o cualquier otro objeto similar encima de la
carpeta.
- Compartir o intercambiar hojas, lapiceros, borradores, reglas o cualquier otro útil de escritorio.
- Desglosar o arrancar alguna hoja del cuadernillo de respuestas.
1. (4ptos.) Dada la siguiente proposición compuesta:

Si Renato se especializó en Derecho Tributario o Mikela hizo un postgrado en Psicología
Educativa, entonces María Teresa no estudió Comunicación.
Se pide lo siguiente:
a) (1P)Identifique y simbolice las proposiciones simples.
b) (2P)Escriba en lenguaje español dos oraciones lógicamente equivalentes a la proposición
dada.
c) (1P) Escriba en lenguaje español la negación de la proposición dada. No debe quedar una
negación delante de un paréntesis.
2. (3ptos.) Las fórmulas lógicas [(~p → q)∨ (m↔~n)], (p ∨ ~n) y [n ↔(~q → ~t)]
representan proposiciones compuestas cuyos valores de verdad son falso, verdadero y
verdadero respectivamente.
a) (2P)Determine los valores que les corresponden a las proposiciones simples

representadas por las variables proposicionales m, n, p, q y t.
b) (1P) Halle el valor de verdad que les corresponde a las proposiciones compuestas
representadas por las fórmulas:
i) (~p → q) ∨ ~(n ↔ t)
ii) ~q → ~ ( m ↔~p)
3. (3ptos.)Determine cuáles de los siguientes párrafos corresponden a argumentos.
Justifique su respuesta.
a) (1P) Si el profesor de Fundamentos de Matemática de una universidad extiende la fecha
del Primer Control de Aula en el presente ciclo entonces Carlos mantiene el mismo
horario de estudio. Carlos no mantiene el mismo horario de estudio o termina de
repasar en la fecha planeada inicialmente. Carlos no termina de repasar en la fecha
planeada inicialmente. Por tanto, el profesor de Fundamentos de Matemática de dicha
universidad no extenderá la fecha del Primer Control de Aula en el presente ciclo o
algunos alumnos tienen malos hábitos de estudio.
b) (1P) El comunicador de la Universidad de Lima desarrolla tareas periodísticas o
formula planes de publicidad. El comunicador de la Universidad de Lima no formula
planes de publicidad o, si desarrolla tareas periodísticas, entonces debería gozar de
prestigio profesional. El comunicador de la Universidad de Lima no desarrolla tareas
periodísticas.
c) (1P) Miluska es una alumna que lleva el curso de fundamentos de matemática. Miluska
tiene buena conducta y buenas calificaciones. Miluska está en el décimo superior y vive
en La Molina.
4. (3ptos.) Para las fórmulas lógicas :
𝐴𝐴: ~(~p → q) ∨ (r ∧ p) 𝐵𝐵: (~p → q) ∧ ~(r ∧ p) y 𝐶𝐶: (r ∧ p) ∧ ~(~p → q)

a) (1,5P) Determine si las fórmulas dadas son una tautología, una falsedad o una
contingencia.
b) (1,5P) ¿La fórmula A ∨ ∼ B es equivalente a la fórmula 𝐶𝐶? Justifique su respuesta.
5. (5ptos.) Dado el siguiente argumento:
Si la temperatura del mar en la costa peruana se reduce entonces las lluvias de El Niño
costero terminarán. Si las lluvias de El Niño costero terminan entonces se reanudan las
clases escolares en las zonas de emergencia. No se reanudan las clases escolares en las
zonas de emergencia. Por lo tanto, las lluvias de El Niño costero no terminarán.
a) (1P)Identifique y simbolice cada una de las proposiciones simples presentes en el
argumento.
b) (2P) Identifique y represente simbólicamente las premisas y la conclusión.
c) (0,5P) Simbolice el argumento en forma condicional.
d) (1,5P)Determine la validez del argumento.
6. (2ptos.) Determine el valor de verdad de cada una de las siguientes afirmaciones.
Justifique cada una de sus respuestas.
a) (0,5P) El enunciado: La Junta de Fiscales Supremos no eligió al nuevo Fiscal de la
Nación es una proposición simple.
b) (0,5P) El enunciado: Él llegó tarde y, sin embargo, dio examen de Fundamentos de
Matemática es una función proposicional.
c) (0,5P) La expresión: 2 ≤ 5 es una proposición compuesta.
d) (0,5P) En un argumento, “debido a que” es un indicador de premisa, mientras que “se
sigue que” es un indicador de conclusión.
UNIVERIDAD DE LIMA
PROGRAMA DE ESTUDIOS GENERALES
FUNDAMENTOS DE MATEMÁTICA
ALGUNAS EQUIVALENCIAS LÓGICAS
A continuación se presenta una tabla de equivalencias lógicas que serán utilizadas en la

asignatura. Estas equivalencias se denominan Leyes de la Lógica.
LEYES CONMUTATIVAS: A∧B≡B∧A A∨B≡B∨A A↔B≡B↔A
LEYES ASOCIATIVAS: A∧(B∧C)≡(A∧B)∧C A∨(B∨C) ≡(A∨B)∨C
LEYES DISTRIBUTIVAS: A∧(B∨C)≡(A∧B)∨(A∧C)

A∨(B∧C)≡(A∨B)∧(A∨C)
LEY DE LA CONDICIONAL: A→B≡∼A∨B
LEYES DE LA BICONDICIONAL: A↔B≡(A→B)∧(B→A)

A↔B≡∼(A∨B)∨(A∧B)
LEYES SOBRE LA NEGACIÓN DE FÓRMULAS LÓGICAS
• NEGACIÓN DE UNA CONJUNCIÓN ∼(A∧B)≡∼A∨∼B (Ley de De Morgan)
• NEGACIÓN DE UNA DISYUNCIÓN ∼(A∨B)≡∼A∧∼B (Ley de De Morgan)
• NEGACIÓN DE LA CONDICIONAL ∼ (A → B) ≡ A ∧ ∼ B
• NEGACIÓN DE LA BICONDICIONAL ∼(A ↔ B) ≡ ∼ A ↔ B ≡ A ↔ ∼ B
LEYES DE IDEMPOTENCIA: A∧A≡A A∨A≡A
LEYES DE LA IDENTIDAD : A∧T≡A A∧F≡F A∨T≡T A∨F≡A
LEYES DEL COMPLEMENTO: A∧∼A≡F A∨∼A≡T
LEY DE LA DOBLE NEGACIÓN: ∼(∼A)≡A
LEYES DE ABSORCIÓN: A∧(A∨B)≡A A∨(A∧B)≡A
LEYES DE LA TRANSPOSICIÓN: A → B ≡ ~B → ~ A A↔B≡ ~ B↔ ~ A
NOTA. Las letras T y F simbolizan a una Tautología y a una Falsedad respectivamente.

Las letras A , B o C simbolizan a una fórmula lógica cualquiera.

Formulas Logicas

Cargado por

Copyright:

Formatos disponibles

Formulas Logicas

Cargado por

Información del documento

Descripción original:

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

Formulas Logicas

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DE LIMA

PROGRAMA DE ESTUDIOS GENERALES

PRIMERA PRÁCTICA CALIFICADA

1. (4ptos.) Dada la siguiente proposición compuesta:

a) (2P)Determine los valores que les corresponden a las proposiciones simples

𝐴𝐴: ~(~p → q) ∨ (r ∧ p) 𝐵𝐵: (~p → q) ∧ ~(r ∧ p) y 𝐶𝐶: (r ∧ p) ∧ ~(~p → q)

ALGUNAS EQUIVALENCIAS LÓGICAS

A continuación se presenta una tabla de equivalencias lógicas que serán utilizadas en la

LEYES CONMUTATIVAS: A∧B≡B∧A A∨B≡B∨A A↔B≡B↔A

LEYES ASOCIATIVAS: A∧(B∧C)≡(A∧B)∧C A∨(B∨C) ≡(A∨B)∨C

LEYES DISTRIBUTIVAS: A∧(B∨C)≡(A∧B)∨(A∧C)

LEY DE LA CONDICIONAL: A→B≡∼A∨B

LEYES DE LA BICONDICIONAL: A↔B≡(A→B)∧(B→A)

• NEGACIÓN DE UNA DISYUNCIÓN ∼(A∨B)≡∼A∧∼B (Ley de De Morgan)

• NEGACIÓN DE LA BICONDICIONAL ∼(A ↔ B) ≡ ∼ A ↔ B ≡ A ↔ ∼ B

LEYES DE IDEMPOTENCIA: A∧A≡A A∨A≡A

LEYES DE LA IDENTIDAD : A∧T≡A A∧F≡F A∨T≡T A∨F≡A

LEYES DEL COMPLEMENTO: A∧∼A≡F A∨∼A≡T

LEY DE LA DOBLE NEGACIÓN: ∼(∼A)≡A

LEYES DE ABSORCIÓN: A∧(A∨B)≡A A∨(A∧B)≡A

LEYES DE LA TRANSPOSICIÓN: A → B ≡ ~B → ~ A A↔B≡ ~ B↔ ~ A

NOTA. Las letras T y F simbolizan a una Tautología y a una Falsedad respectivamente.

También podría gustarte