Considera las siguientes fórmulas en LC:
: (( ∨ ) ∧ ¬)
: ¬( ≡ (¬ ∧ ¬))
: ((¬ ∨ ) ⊃ ¬( ⊃ ))
: ¬ (¬ ∧ (¬ ⊃ (( ∨ ) ⊃ )))
A continuación, utiliza las tablas de verdad para responder a las siguientes preguntas:
1. ¿{, } es consistente?
2. ¿ ¬( ∧ ) es tautológica?
3. ¿ ∴ ( ∧ ) es válido?
4. ¿¬( ≡ ) implica a ?
5. ¿( ∨ ) equivale a ( ∨ )?
6. ¿Cuántos modelos tiene cada fórmula?
7. ¿Cuántos contramodelos tiene cada fórmula?