FACULTAD DE CIENCIAS EXACTAS, FISICO-QUIMICAS Y NATURALES

DEPARTAMENTO DE MATEMATICA

Asignaturas: Matemática Discreta (1925) - Álgebra I (2260)

Año: 2023

Práctica N°1
Introducción a la lógica y a la demostración matemática

Ejercicio Nº 1:
Formalizar las siguientes proposiciones en el lenguaje de la lógica de enunciados:
a) El número 15 no es par pero es divisible por 3 y por 5.
b) No es cierto que, la función sea inversa de la función o de la función .
c) Si no es menor que 6 y es menor que 8 entonces es primo.
d) Que sea igual a 0 es condición suficiente para que .
e) Que sea par no es condición necesaria para que sea par.

f) Que el triángulo ABC sea equiángulo es condición suficiente y necesaria para que sea
equilátero.

Ejercicio Nº 2:
Para las siguientes proposiciones:
a) El número 9 no es par ni es divisible por 6.
b) No es cierto que, si entonces .
c) Si 2 entonces 4.
Formalizarlas en el lenguaje de la lógica de enunciados, hallar una fórmula equivalente a la
obtenida y traducirla al lenguaje coloquial.

Ejercicio Nº 3:
Dada la siguiente fórmula: (( ) ( ))
a) ¿Qué valor de verdad tendrá cuando : V y : F?
b) ¿Se trata de una tautología? Justificar.

Ejercicio Nº 4:
Escribir las siguientes proposiciones utilizando los símbolos lógicos y los juntores que
correspondan:
1
 a) Algunos números racionales son enteros.
b) Todo triángulo es un polígono.
c) No todos los polígonos son triángulos.
d) Ningún círculo es un cuadrado.
e) Los números impares no son múltiplos de 4 ni de 6.
f) Cualquier número divisible por 6 es par pero no cualquier número par es divisible por 6.
g) No existe un número natural que sea producto de 3 y -7.
h) Existen dos números naturales cuya suma es 5.
i) Dados dos números enteros e cualesquiera, es un entero.

Ejercicio Nº 5:
Dadas las siguientes proposiciones matemáticas, decidir si son verdaderas o falsas tomando
como referencia el conjunto de los números enteros. Justificar en todos los casos:
a)
b)
c) ( )
d)
e)

Ejercicio Nº 6:
Usando la contrarrecíproca, demostrar la siguiente proposición:

Ejercicio Nº 7:
Escribir cada expresión en lenguaje coloquial y analizar su valor de verdad considerando el
conjunto de los números enteros:
a)
b)
c)
d)

Ejercicio Nº 8:
Escribir la negación de las siguientes proposiciones:
a)
b)
c)
2