Pregunta 1
1. Un periodista mencionó la siguiente información en una columna de opinión:
Si las instituciones del gobierno siguen siendo vulnerables, no acabará la corrupción a menos que
el presidente sea reelegido. Pero el presidente será reelegido sólo si la situación económica en el
pais es buena. De otro lado, si no acaba la corrupción, las instituciones del gobierno seguirán
siendo vulnerables."
A partir de la información dada por el periodista, ¿cuál o cuáles de las siguientes conclusiones son
correctas?
Seleccione una:
a. La conclusión (a).
b. La conclusión (b).
Pregunta 2
Agregue a los conectivos ya descritos la definición del siguiente conectivo binario, que llamaremos
*
Definición de *:
p * q = (p ==> ¬q)
a. Asociatividad
b. Simetría
c. Reflexividad
d. Idempotencia
Pregunta 3
Considere la siguiente expresión booleana, que llamaremos P:
¬( q /\ ( r \/ ( s \/ r ) ) )
a. (¬q/\¬r)/\¬(q/\s)
b. (¬q\/¬r)/\¬(q/\s)
c. ¬(q\/r)/\¬(q\/s)
d. (¬q\/¬r)/\¬(q/\s)
a. [(p==>q)/\(q==>s)]==>¬(¬s==>¬p)
b. [(p/\(q\/s))/\(p==>¬s)]==>¬p
c. [(p/\(q\/s))/\(p==>(p==>¬q))]==>(s/\p)
[(p/\(q\/r))/\((p/\q)==>¬p)]==>(p/\r)
a. Es válida
c. No es satisfactible
d. Es equivalente a (p/\q)
Pregunta 6
¿La implicación no distribuye sobre cuál de los siguientes conectivos?
Seleccione una:
a. Conjunción
b. Disyunción
c. Disyunción exclusiva
d. Equivalencia
e. Implicación
Pregunta 7
Considere la siguiente información:
"Si el programa es confiable y los usuarios se convencen de ello, entonces ellos no revisarán el
código fuente. Pero los usuarios sólo se convencerán de ello si revisan el código fuente."
Pregunta 8
Considere el siguiente argumento, que llamaremos "Argumento Original":
"X es par o impar. Si X es par, entonces X • X es par. Si X • X es par, entonces X • X no es impar.
Por lo tanto, si X • X es par, entonces X es par."
Consideremos la siguiente hipótesis adicional: "X • X es par o impar."
Nos preguntamos si al agregar dicha hipótesis a la lista de hipótesis del argumento original, el
nuevo argumento (con una hipótesis más) resulta correcto o no. ¿Cuál de las siguientes
afirmaciones es cierta?
Seleccione una:
a. 4•x•x + 4•x•y + 9
b. 4•y•y + 12•x + 9
c. (x + 6)•(x + 6)
d. 45 + 12•x
( p \/ q ) /\ ¬( p /\ q )
Asumiendo que p = Quiero paz y q = Quiero Armonía, ¿Cuál de las siguientes opciones representa
una lectura incorrecta (o no equivalente) de dicha expresión booleana?
Seleccione una:
d. Es falso que si quiero paz, quiero armonía ... o es falso que si quiero armonía, quiero paz.
Pregunta 11
Considere la expresión p\/(q/\r)
¿Cuántas de las siguientes expresiones son equivalentes a la expresión anterior?
(p\/q)/\(p\/r)
(p/\q)\/(p/\r)
(p/\p)\/(q/\r)
¬p==>(q/\r)
p\/[(p\/q)/\(p\/r)]
Respuesta:
Pregunta 12
¿Cuántos conectivos binarios (entre los 16 que hay en total) cumplen la propiedad simétrica?
(Como ayuda, piense cómo se manifiesta en una tabla de verdad que un conectivo sea simétrico)
Respuesta:
Pregunta 13
Agregue a los conectivos ya descritos la definición del siguiente conectivo | definido con el axioma
( p | q ) = ( p /\ ¬q )
Escriba la secuencia binaria que resulta al decidir si cada afirmación (a), (b), (c) o (d) es verdadera
o falsa. Por ejemplo, si (a) es verdadera y las demás son falsas, la secuencia sería 1000. Si todas
fueran verdaderas, la secuencia sería 1111.
Respuesta:
Pregunta 14
Se dice que un conjunto de premisas es consistente si existe un escenario en que todas ellas sean
verdaderas. ¿Es consistente el siguiente conjunto de premisas?
Verdadero
Falso
Pregunta 15
¿Es posible que un conectivo binario cumpla la propiedad de idempotencia y también la propiedad
reflexiva?
Seleccione una:
Verdadero
Falso
Final del formulario