Álgebra y Geometría Analítica 2021

Ingeniería Agronómica Plan 2005

TRABAJO PRACTICO Nº 1

Lógica Simbólica

1.- Dadas las siguientes expresiones:

a) Indique cuáles son proposiciones
b) Señale cuál es proposición simple y cuál es compuesta
c) Traduzca las proposiciones al lenguaje lógico

• Medir es comparar una magnitud con otra magnitud de la misma especia que se
la considera como unidad.
• La Temperatura es una magnitud física.
• ¿Qué hora es?
• Dos rectas son paralelas si y solo si sus pendientes son iguales.
• El pasaje del estado sólido a líquido se llama evaporación.
• Lea atentamente las consignas.
• Los metales son buenos conductores del calor y la electricidad.
• Si los procesos erosivos generan surcos o cárcavas, es necesario implementar
sistemas de terrazas de evacuación.
• El producto vectorial no da como resultado un escalar.
• El condicional 𝑝 → 𝑞 es falso si y solo si, su antecedente es Verdadero y el
consecuente es falso.
• Cuidado!

2.- Si p y r son proposiciones verdaderas y q es falsa, determine el valor de verdad de:

a) [ ( p ʌ ∼ q ) v ∼ r ] ⇒ q
b) [ (∼ r v q ) 𝖠( r v ∼ p) ] ⇔∼ r
c) [ (∼ p ⇒ q ) ⇒ ∼ r ] v [ ∼ q ⇒r ]

3.- Sean p, q, r, tres proposiciones tales que r es falsa, p⇔∼ q y q ⇒r son verdaderas,
deducir el valor de verdad de p.

4.- ¿Qué condiciones debe satisfacer p y q para que las siguientes proposiciones
sean:
a) [ ( q ⇔ p ) ʌ ∼ q ] ⇒ ( p ʌ ∼ q ) Falsa
b) [ (∼ p ⇒ q ) ⇒∼ r ] v [ ∼ q ⇒ r ] Falsa
c) { ~p ʌ ( p v q ) } ʌ [ p ⇔ q ] Verdadera

1
Álgebra y Geometría Analítica 2021
Ingeniería Agronómica Plan 2005

5.- Cuál de las siguientes expresiones son lógicamente equivalentes a (∼ p v ∼ q ) ʌ r

a) p ⇒( ∼ q ʌ r )
b) ( p ⇒ q ) v r
c) ( p ⇒ ∼ q ) ʌ r
d) p ⇒( q v r )

6.- Sean las proposiciones:

p: la computación es fácil
q: los ingenieros deben saber computación
Entonces, traduzca a lenguaje coloquial las proposiciones siguientes y ¿Cuál(es) a su
juicio representa(n) una expresión aceptable en el sentido cotidiano?
a) p ʌ q
b) ∼ (p v q)
c) ∼ (q v ∼p)
d) ∼ (p v ∼q)
e) p ⇒ q

7.- Demuestre por medio de tablas de verdad si las siguientes proposiciones son
Tautología, Contingencia o Contradicción
a) [(p ⇒ q) ʌ ~p] ⇒~q
b) [(p v q) r] ⇔ [(p’ ⇔ q’) v r’ ]
c) ∼ {[∼p ʌ (∼q v p)] ⇒ q}
d) [(a v b) ʌ (a v c)] ⇔ [a v (b ʌ c)]
e) [(a ⇒ b) ʌ (b ⇒c)] ⇔ (a ⇒ c)

8.- Dadas las siguientes funciones proposicionales con 𝑈 = ℤ:

𝑝(𝑥): 𝑥 > 0
𝑞(𝑥): 𝑥 𝑒𝑠 𝑝𝑎𝑟
𝑟(𝑥): 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 4
𝑠(𝑥): 𝑥 𝑒𝑠 𝑑𝑖𝑣𝑖𝑠𝑖𝑏𝑙𝑒 𝑝𝑜𝑟 5
a) Escriba las siguientes proposiciones en forma simbólica
1) Al menos un entero es par
2) Existe al menos un entero positivo que es par
3) Si x es par, entonces x no es divisible entre 5
4) Ningún entero par es divisible entre 5
5) Existe al menos un entero par divisible entre 5
6) Si x es divisible entre 4, entonces x es impar
2
Álgebra y Geometría Analítica 2021
Ingeniería Agronómica Plan 2005

b) Determine si cada una de las proposiciones es verdadera o falsa, en caso de

ser falsa presentar un contraejemplo y además mostrar que su negación es verdadera.
c) En el caso de tratarse de una implicación, enunciar su recíproco, contra
recíproco y contrario.
d) Exprese en lenguaje coloquial cada una de las siguientes representaciones
simbólicas:
1) ∀𝑥[𝑟(𝑥) ⇒ 𝑝(𝑥)]
2) ∀𝑥[𝑠(𝑥) ⇒ 𝑞(𝑥)]
3) ∃𝑥[𝑠(𝑥) ʌ ~𝑟(𝑥)]
4) ∃𝑥[~𝑟(𝑥) ∨ ~𝑞(𝑥) ʌ 𝑠(𝑥)]