Altillo.com > Exámenes > UBA - CBC > Pensamiento Científico

1) Abstraiga la forma lógica del siguiente razonamiento, aplicando el simbolismo de la lógica proposicional.
"No es cierto que será admitido en la empresa; ya que el dominio de inglés y el conocimiento de computación son condición necesaria para ser admitido. Y el domina el ingles, pero no sabe computación.

2) Indique si el razonamiento (b) es contraejemplo de (a).
a. Si tengo tu amor, entonces la vida tiene sentido. Tengo tu amor. Por lo tanto, la vida tiene sentido.
b. Si hubo ballotagge Kirchner es presidente. Kirchner es presidente. Por lo tanto, hubo ballotagge.

3) Pruebe que esta fórmula implica a cualquier formula.
(¬P v Q) ¬ (P Q)

4. Dada las siguientes fórmulas, indique que relaciones logicas existen entre (a) y (b), entre (a) y (d), y entre (b) y (c). Justifique en cada caso.
a. ¬P ¬Q
b. ¬(¬P v Q)
c. ¬Q · P
d. ¬P v ¬Q

5. ¿Verdadero o Falso? Justifique.
a. Si la formula condicional asociada de un razonamiento es una contingencia, no necesariamente el razonamiento admite contraejemplo.
b. Si dos formulas son equivalentes, entonces no pueden ser contrarias.
c. Si un razonamiento tiene conclusión verdadera y esta se deduce de las premisas, entonces, sus premisas son verdaderas.