Anda di halaman 1dari 4

Principio del formulario

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."

Considere las siguientes conclusiones:

a) Si la situación económica en el país es buena, acabará la corrupción.


b) Si la situación económica en el país no es buena, acabará la corrupción.

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).

c. Las dos conclusiones (a) y (b).

d. Ninguna de las anteriores

Pregunta 2
Agregue a los conectivos ya descritos la definición del siguiente conectivo binario, que llamaremos
*
Definición de *:

p * q = (p ==> ¬q)

¿Cuál de las siguientes propiedades satisface el conectivo anterior?


Seleccione una:

a. Asociatividad

b. Simetría

c. Reflexividad

d. Idempotencia
Pregunta 3
Considere la siguiente expresión booleana, que llamaremos P:

¬( q /\ ( r \/ ( s \/ r ) ) )

¿Cual de las cuatro proposiciones anteriores es equivalente a P?


Seleccione una:

a. (¬q/\¬r)/\¬(q/\s)

b. (¬q\/¬r)/\¬(q/\s)

c. ¬(q\/r)/\¬(q\/s)

d. (¬q\/¬r)/\¬(q/\s)

e. Ninguna de las anteriores.


Pregunta 4
¿Cuál de los siguientes es un teorema de cálculo proposicional?
Seleccione una:

a. [(p==>q)/\(q==>s)]==>¬(¬s==>¬p)

b. [(p/\(q\/s))/\(p==>¬s)]==>¬p

c. [(p/\(q\/s))/\(p==>(p==>¬q))]==>(s/\p)

d. Ninguno de los anteriores.


Pregunta 5
Considere la siguiente expresion booleana:

[(p/\(q\/r))/\((p/\q)==>¬p)]==>(p/\r)

Cuál de las siguientes afirmaciones es cierta respecto de la expresión anterior?


Seleccione una:

a. Es válida

b. Es satisfactible, pero no 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."

¿Cuál de las siguientes conclusiones se sigue de la información anterior?


Seleccione una:

a. Los usuarios revisarán el código fuente.

b. Si el programa es confiable, los usuarios se convencerán de ello.

c. Si el programa es confiable, los usuarios no se convencerán de ello.

d. Los usuarios no se convencerán que el programa es confiable.

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. El argumento original no es correcto, pero si agregamos la hipótesis adicional, el nuevo


argumento resulta correcto.

b. El argumento original es correcto, pero si agregamos la hipótesis adicional, el nuevo


argumento ya no resulta correcto.

c. El argumento original no es correcto y aún si se le agregara la hipótesis adicional, no


resultaría siendo correcto.

d. El argumento original es correcto.

e. Al agregar la hipótesis adicional al argumento original, se podría llegar a una inconsistencia.


Pregunta 9
El valor de la sustitución textual (4 • x • x + 4 • y • x + y • y) [x; y := y; x] [y := 3] es igual a
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

e. Ninguna de las anteriores.


Pregunta 10
Considere la expresión booleana

( 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:

a. Quiero paz o armonía, pero no ambas cosas simultáneamente.

b. Quiero paz y no armonía o quiero armonía, pero no paz.0

c. Quiero paz o no quiero armonía y quiero armonía o no quiero paz.

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 )

Si consideramos las siguientes afirmaciones,

a) | cumple la propiedad de simetría


b) | cumple la propiedad asociativa
c) | cumple la propiedad reflexiva
d) | cumple la propiedad de idempotencia

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?

{( p \/ q ) ==> (r ==> s), p, (r ==> s) ==> (t ==> w), t/\ ¬w}


Seleccione una:

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

Anda mungkin juga menyukai