1. El problema es evaluar la fórmula lógica $\sim[-p \wedge q] \Rightarrow q$ y determinar si es tautología, contradicción o contingencia. 2. Recordemos que: - $\sim$ es la negación. - $\wedge$ es la conjunción (y). - $\Rightarrow$ es la implicación. 3. Construimos la tabla de verdad para $p$, $q$, $-p$, $-p \wedge q$, $\sim[-p \wedge q]$, y finalmente $\sim[-p \wedge q] \Rightarrow q$: | $p$ | $q$ | $-p$ | $-p \wedge q$ | $\sim[-p \wedge q]$ | $\sim[-p \wedge q] \Rightarrow q$ | |-----|-----|------|---------------|---------------------|-------------------------------| | T | T | F | F | T | T | | T | F | F | F | T | F | | F | T | T | T | F | T | | F | F | T | F | T | F | 4. Observamos que la fórmula es verdadera en algunos casos y falsa en otros, por lo que es una contingencia. --- Para la imagen, se muestra la tabla de verdad ordenada con las columnas y valores calculados, con la fórmula y el resultado final indicado para cada fila, replicando el formato solicitado pero con la solución correcta.