TP1- Consigna.pdf

1) Identificar proposiciones

2 y 3) Simbolizar proposiciones

4) Tablas de verdad

5) Equivalencias lógicas

6) Tautologías, contradicción y contingencia

7) Enunciados verdaderos o falsos

8) Enunciar regla de inferencia

9) Indicar reglas de indiferencia de demostraciones

10)Construir prueba formal de validez

11) Traducir al lenguaje formal y demostrar

12) Escribir en forma de cuantificador

13) Formula equivalente con cuantificador