Tp°1 MD2024

LOGICA Y ESTRUCTURAS DISCRETAS /
MATEMATICA DISCRETA 2024
TRABAJO PRACTICO Nº1

UNIDAD 1: LÓGICA PROPOSICIONAL Y DE PREDICADOS
1) Indicar cuáles de las siguientes expresiones son proposiciones y en los casos afirmativos, si son
simples o compuestas y expresarlas simbólicamente indicando claramente el significado de cada
símbolo usado:
a) ¿Habla usted inglés?
b) Estudio guitarra, pero no violín
c) x + 3 es un numero entero positivo
d) No hay mal que por bien no venga
e) 2 + 3 = 5
f) Mi automóvil funciona si hay combustible en el tanque
g) Desde la calle Catamarca hasta la calle Salta
h) El número 2 es natural si y solo si es racional
i) 17 y 31 son números impares.
2) Dadas las siguientes proposiciones:
p: “El automóvil arranca”; q: “El tanque tiene nafta” ; r: “La batería tiene corriente”
Expresar verbalmente las siguientes expresiones lógicas
a) (qr) b) q  r
c) q  r d) (qr)
e) p → q f) q →p
g) (q → p) h) (p  q)
i) q→(r→p) j) p q
3) Sean las proposiciones p, q y r para las cuales la proposición compuesta (¬p  r) → q tiene valor
de verdad falso. A partir de esta información determinar los valores de verdad de:
a) ¬p  ¬q  r b) p  q
c) q → (p  r) d) (r  q)  p
4) Determinar si las siguientes proposiciones compuestas son tautología, contradicción o

contingencia usando tablas de verdad
a) ((p → (q → r))  p  q) → r
b) ((p → q)  (q → ¬r)  p) → ¬r
c) ¬ (p → ¬q)  (q → ¬p)
d) (p  q)  (p  q)  ¬ (p  q)
5) Usando las leyes lógicas, demuestre que

a) p → ( q → r )  ((p  q) → r )
b) ¬( p  q ) → q  q
c) ( p  q )  ( r → q )  ( p  ¬r )  q
d) ( p  q )  q  p  q
6) Expresar las siguientes proposiciones en forma simbólica, luego encontrar una frase equivalente y
su negación, simbólica y verbalmente.
a) No estudiaré electrónica ni informática
b) No es cierto que, estudiaré electrónica e informática
c) Si estudio electrónica, entonces realizaré una investigación en sistemas digitales.
d) Es suficiente un disco rígido de 80 GB para que pueda navegar en Internet.
e) Si se realiza un buen diseño de base de datos y se hace una buena programación, entonces
se accederá rápidamente a la información
f) Si la luna está brillando y no está nevando, entonces Felipe sale a dar un paseo
7) i) Al inicio de un programa de Pascal, las variables enteras “m” y “n” reciben los valores de 3 y 8
respectivamente. Durante la ejecución del programa, se encuentran los siguientes enunciados
sucesivos. [Aquí, los valores de m y n después de la ejecución del enunciado del ítem a) se convierten
en los valores de m y n para el enunciado del ítem b) , etc. , hasta el último ítem)] .
¿Cuáles son los valores de “m” y “n” después de encontrar cada uno de estos enunciados?
(La operación Div en Pascal devuelve la parte entera del cociente. Ejemplos: 6Div2=3 y 7Div2=3)
a) If n-m=5 then n : = n - 2 ;
b) If ( ( 2*m=n) and (n Div 4 = 1 ) then n: = 4*m-3) ;
c) If (( n<8) or ((m Div 2 = 2 )) then n : = 2*m else m:=2*n ;
d) If ((m<20) and (n Div 6 = 1 ) then m : = m – n – 5 ;
ii) Para cada segmento de programa contenido en los ejercicios siguientes, determina el número de
veces que se ejecuta el enunciado X := X + 1.
a) I := 1;
IF ( (I < 2) or ( I > 0)) THEN
X := X + 1;
ELSE
X := X+ 2;
ENDIF
b) I := 2;
IF ((I < 0) and (I >1) or (I = 3)) THEN
X := X + 1;
ELSE
X := X + 2;
ENDIF
8) i) Demostrar cada implicación lógica y dar un ejemplo coloquial donde se vea su

aplicación:
a) [(p→q)∧ p ] q
b) [ ( p → ¬q ) ∧ q ]  ¬p
c) [ ( p  q ) ∧ ¬q ]  p
ii) Completar en los puntos suspensivos con alguna expresión lógica de tal modo que valga la
implicancia lógica ( ⇒ )
a) ¬r  ¬q ⇒ ………………..
b) s ⇒ ………………..
c) [ (¬ p → q )  ¬ p ] ⇒ ………………..
d) [ ( p → ¬ q )  q ] ⇒ ………………..
e) [ ( p  ¬ q )  q ] ⇒ ………………..
9) Determinar si los siguientes razonamientos son válidos.

¬p ¬r
a) b)
¬p→q . p→q
¬q q→r .
¬p
c) d)
pq →r p→¬t
¬r ¬q →t
¬q¬p ¬q .
¬p
10) Expresar simbólicamente y luego establecer la validez de los siguientes argumentos:

a) Si no llueve, voy al cine. Está lloviendo. Por lo tanto, voy al cine.
b) Si el partido A gana las elecciones, tendrá mayoría en el Congreso. Si tiene mayoría en el

Congreso, el candidato del partido A podrá cumplir su programa de gobierno. Por lo tanto, si el
partido A gana las elecciones, su candidato a presidente podrá cumplir su programa de
gobierno.
c) Las llaves de Elisa están en su bolso o en su auto. Las llaves de Elisa no están en su auto.
Finalmente, las llaves de Elisa están en su bolso.
d) Andrea programa en Java y en C++. Por lo tanto, Andrea programa en C++.
e) Si mis cálculos son correctos y pago la cuenta de la electricidad, me quedaré sin dinero. Si no
pago la cuenta de electricidad, me cortarán la corriente. No me he quedado sin dinero y no
me han cortado la corriente. Por lo tanto, mis cálculos son incorrectos
11) Dadas las siguientes frases: a) Extraer de cada una de las frases anteriores, el/los predicado/s
presentes indicando claramente cuál es el universo de discurso elegido; b) Expresar las frases en
lenguaje simbólico; c) Negar las expresiones dadas en forma simbólica y coloquial
i) Todos los estudiantes de la UTN mayores de 25 años trabajan

ii) Ningún estudiante de la UTN aprobó el examen
iii) Cualquier estudiante puede obtener la beca
iv) Algún docente de la UTN es además ingeniero en sistemas
12) En el universo de los números naturales ℕ = { 1 , 2, 3 , 4 ,..... } se definen los siguientes

predicados: p(x) : “x > 2 ” y q(x) : “2x - 6 = 0”
Expresar en forma coloquial las siguientes expresiones, encontrar su valor de verdad y sus negaciones
en forma simbólica y coloquial.
a) q( 3 ) b) p( 1 ) c) ¬q( 1)
d) ∃x  ℕ , q(x) e) ∀ x  ℕ , p(x) f) ∃x  ℕ , ¬q(x)
g) ∃x ℕ, [p(x)  q(x) h) ∀x ℕ, [p(x) → q(x)] i) ∀x ℕ, [q(x) p(x)] ]
13) Expresar verbal o coloquialmente (según corresponda) y encontrar el valor de verdad de

las siguientes afirmaciones. Luego encontrar su negación de manera simbólica y coloquial
i) n ℕ , [ n es impar  3n es par ]
ii) n ℕ , [ n > 0  n < 10 ]
iii) Existe un número entero tal que sumado a 3 el resultado es par.
iv) Cualquier número natural es positivo.

Tp°1 MD2024

Cargado por

Copyright:

Formatos disponibles

Tp°1 MD2024

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

Tp°1 MD2024

Cargado por

Copyright:

Formatos disponibles

LOGICA Y ESTRUCTURAS DISCRETAS /

MATEMATICA DISCRETA 2024

TRABAJO PRACTICO Nº1

2) Dadas las siguientes proposiciones:

4) Determinar si las siguientes proposiciones compuestas son tautología, contradicción o

5) Usando las leyes lógicas, demuestre que

8) i) Demostrar cada implicación lógica y dar un ejemplo coloquial donde se vea su

9) Determinar si los siguientes razonamientos son válidos.

10) Expresar simbólicamente y luego establecer la validez de los siguientes argumentos:

b) Si el partido A gana las elecciones, tendrá mayoría en el Congreso. Si tiene mayoría en el

d) Andrea programa en Java y en C++. Por lo tanto, Andrea programa en C++.

i) Todos los estudiantes de la UTN mayores de 25 años trabajan

12) En el universo de los números naturales ℕ = { 1 , 2, 3 , 4 ,..... } se definen los siguientes

13) Expresar verbal o coloquialmente (según corresponda) y encontrar el valor de verdad de

También podría gustarte