Actividad en Tutoría
Actividad en Tutoría
Actividad en Tutoría
Lógica
a) Verdadero b) Falso
SOLUCIÓN:
Respuesta: Falso.
a es necesario para b, cuando (b → a) es una proposición verdadera.
a) a →(b ∧ c)
b) (b ∧ c) →a
c) a →(b ∨ c)
d) (b ∨ c) →a
e) (a ∧ c) →¬ b
SOLUCIÓN:
Respuesta: b) (b ∧ c) →a
a) b ∨ a≡ 0
b) c ∨a ≡ 0
c) a → c ≡ 0
d) d → a≡ 0
e) ¬ c ∨¬ d ≡ 0
SOLUCIÓN:
Respuesta: c) a → c ≡ 0
a ≡1 ; b ≡ 0 ; c ≡ 0; d ≡1
4. Identificando las proposiciones simples presentes, transforme al lenguaje simbólico las proposiciones
compuestas dadas en cada literal. Luego, niegue las en lenguaje simbólico y expréselas en lenguaje natural:
↔ (Bicondicional).
La proposición resultante será verdadera sólo si ambas proposiciones con las que se trabaje tienen el mismo
valor de verdad, caso contrario la proposición resultante será falsa.
⇔ (Equivalencia Lógica).
Cuando tenemos dos formas proposicionales, decimos que una equivale lógicamente a la otra cuando la
bicondicional entre ambas es una tautología.
SOLUCIÓN:
Original: ¬ a→ b
Recíproca en lenguaje simbólico: b → ¬a
Recíproca en lenguaje común: La selección de Ecuador clasifica al mundial debido a que está jugando
bien.
SOLUCIÓN:
Respuesta: a) Verdadero.
[ ( ¬ p ∨q ) ∧ ( r ∨ ¬q ) ] → ( ¬ p ∨r ) Ley de la Condicional
( p ∧¬q ) ∨ ( ¬r ∧q ) ∨ ( ¬ p ∨r ) Ley de la Condicional
[ ( p ∧¬q ) ∨ ¬ p ] ∨ [ ( ¬r ∧q ) ∨ r ] Asociatividad
[ ( ¬ p ∨ p ) ∧ ( ¬ q ∨¬ p ) ] ∨ [ ( r ∨¬ r ) ∧ ( r ∨ q ) ] Distributiva
[ 1∧ ( ¬q ∨ ¬ p ) ] ∨ [ 1∧ ( r ∨ q ) ] Tercero excluido
( ¬ q ∨¬ p ) ∨ ( r ∨q ) Identidad
( ¬ q ∨q ) ∨ (¬ p ∨ r ) Asociatividad
1 ∨ ( ¬ p ∨r ) Tercero excluido
1 Absorción
SOLUCIÓN:
[( p →r ) ∧(q ∨r )]∨(¬ p ∨ q)
0 1 0 0 0 0 0 1 1 1 0
0 1 1 1 0 1 1 1 1 1 0
0 1 0 1 1 1 0 1 1 1 1
0 1 1 1 1 1 1 1 1 1 1
1 0 0 0 0 0 0 0 0 0 0
1 1 1 1 0 1 1 1 0 0 0
1 0 0 0 1 1 0 1 0 1 1
1 1 1 1 1 1 1 1 0 1 1
Respuesta: c) Contingencia
9. Escriba la ley del MODUS PONENDO PONENS y construya una proposición compuesta a partir de la
estructura lógica de esta ley.
[ ( p →q ) ∧ p ] ⇒ q
p :suelto un lápiz
q : se cae
Si suelto un lápiz, entonces se cae. Lo suelto, por lo tanto se cayó.
10. Una ley de DE MORGAN indica que al negar la conjunción de dos proposiciones se obtiene la
conjunción de las dos proposiciones negadas.
a) Verdadero b) Falso
SOLUCIÓN:
Respuesta: b) Falso
En la Ley de Morgan, cuando se niega una conjunción, da como resultado una disyunción con dos
proposiciones negadas.
¬ ( p ∧q ) ≡
¬ p ∨¬ q Ley de Morgan
11. Dada la siguiente forma proposicional: “Si Mafalda sale con el Capitán América, Superman no es un
superhéroe y Garfield odia la pizza.”
Usando las propiedades de los operadores lógicos, determine si las siguientes formas proposicionales son
equivalentes o no:
a) Superman es un superhéroe o Garfield odia la pizza, sólo si Mafalda no sale con el Capitán América.
b) Si Mafalda sale con el Capitán América, Superman no es un superhéroe; o, Garfield odia la pizza
porque Mafalda no sale con el Capitán América.
SOLUCIÓN:
Definimos las siguientes proposiciones:
p : Mafalda sale con el Capitán América
q : Superman es un superhéroe
r :Garfield odia la pizza
12. Un razonamiento es válido si y sólo si todas las variables proposicionales que la conforman son
reemplazadas por proposiciones verdaderas.
a) Verdadero b) Falso
a) Pablo no desayunó.
b) Pablo está trabajando hoy.
c) Pablo no está trabajando hoy.
d) No es verdad que Pablo desayunó.
e) Pablo desayunó o tomó el bus.
14. María desea pedirle un vestido nuevo a su esposo. Considere que las siguientes proposiciones describen
correctamente el comportamiento de su familia.
“Si el esposo llega a la casa y no está lista la comida, se siente irritado. Si la esposa le cuenta sus problemas
y el esposo está irritado se produce una gran pelea. Basta que se produzca una gran pelea para que todas las
peticiones de la esposa sean negadas.”
a) ¿Existirá alguna forma de garantizar que ella consiga su petición?
b) ¿Existirá alguna forma de garantizar que ella NO consiga su petición?