Fundamentalmente, una tabla de verdad es un dispositivo para demostrar ciertas propiedades lógicas y semánticas de enunciados del lenguaje natural o de fórmulas del lenguaje del cálculo proposicional
- Sin son tautológicas, contradictorias o indeterminadas..
- Cuáles son sus condiciones de verdad.
- Cuál es su rol inferencial, es decir, cuáles son sus conclusiones lógicas y de qué otras proposiciones se siguen lógicamente.
No hay comentarios:
Publicar un comentario