Actividades Tablas de Verdad y formalización

3.6) Realiza las tablas de verdad de los siguientes enunciados, indicando si es tautología, contingente o contradicción:

1.      p↔(q˄¬p)

2.      (pàq)˄p

3.      (pvq)vp

4.      pà(p↔q)

5.      pà(qàp)

6.      (r˄¬r)˄q

7.      (p˄q)vp

8.      t↔(r˄t)

9.      (p˄q)à(q˄p)

10. [(pàq)˄(qàr)]à(pàr)

11. (r˄¬r)˄q

12. (sàt)v(p˄t)

3.7) Formaliza los siguientes enunciados y realiza su correspondiente tabla de verdad. Indica al final si es tautológica, contingente o contradictoria.

1.      Hoy llueve y mañana no lucirá el sol

2.      Ni viene Juan, ni compraré el libro

3.      Si viene Pedro iremos al cine

4.      Vendrás de vacaciones si y sólo si apruebas

5.      O te compras un vestido o te compras el abrigo

6.      Mateo está casado con María pero ama a Luisa

7.      Si apruebas, o te vas de vacaciones o te compras el coche

8.      La limpieza es saludable

9.      El ajedrez ejercita la mente

10. Si limpias los cristales, entrará más luz

3.8) Haz la tabla de verdad completa de la siguiente fórmula y determina si es tautológica, contingente o contradictoria:

[(p↔(qvr)]↔¬(¬[pà(¬ràq)]v[¬(¬q˄¬r)àp])

3.9.) Formaliza los siguientes argumentos, indicando qué enunciado simple corresponde a cada constante proposicional:

1)     Si el euro está fuerte, el petróleo está barato pero las exportaciones resultan caras. Si Europa se endeuda o la economía no crece, el petróleo no está barato. La economía crece si y sólo si ni las exportaciones resultan caras ni la inflación aumenta. Por tanto, si la inflación aumenta, el euro no está fuerte.

2)     Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios, así que Dios no quiere que apruebe lógica.