1.

Formalizar los siguientes enunciados:

a. Que los armamentos rusos crucen la frontera, o que Obama y Putin tomen malas
decisiones, es condición suficiente para que empiece una guerra en Siria.
b. Que no llueva es condición necesaria para que haya fiesta al aire libre, pero si rezamos no
habrá granizo ni tormenta eléctrica.

2. Formalizar el siguiente razonamiento:

Si la posibilidad está determinada por la esencia, entonces si Bolt corre a gran velocidad,
todos pueden correr a gran velocidad. Por ende, la posibilidad no está determinada por la
esencia; dado que no todos pueden correr a gran velocidad.

3. Demostrar el siguiente metateorema: (teóricos)

Si A y B son tautologías, entonces ¬(AvB) |= C

4. Determinar la validez o invalidez del siguiente razonamiento

p |- q --> (r --> (p v q))

5. Demostrar el siguiente razonamiento por deducción natural:

q --> p |- ¬(p v r) --> ¬q

_________________________________________________________________________

1. Formalizar los siguientes enunciados:

a. Que los armamentos rusos crucen la frontera, o que Obama y Putin tomen malas
decisiones, es condición suficiente para que empiece una guerra en Siria.
b. Que no llueva es condición necesaria para que haya fiesta al aire libre, pero si rezamos no
habrá granizo ni tormenta eléctrica.

2. Formalizar el siguiente razonamiento:

Si la posibilidad está determinada por la esencia, entonces si Bolt corre a gran velocidad,
todos pueden correr a gran velocidad. Por ende, la posibilidad no está determinada por la
esencia; dado que no todos pueden correr a gran velocidad.

3. Demostrar el siguiente metateorema: (teóricos)

Si A y B son tautologías, entonces ¬(AvB) |= C

4. Determinar la validez o invalidez del siguiente razonamiento

p |- q --> (r --> (p v q))

5. Demostrar el siguiente razonamiento por deducción natural:

q --> p |- ¬(p v r) --> ¬q