|
• Lógica (Lóg.) Fórmula de la lógica sentencial que es siempre válida, prescindiendo de los valores de verdad de las proposiciones integrantes. En todo cálculo sentencial interviene una serie de tautologías que son tomadas como axiomas, y las restantes se prueban como teoremas. ¤ TAUTOLÓGICO, CA .
¿Mejoramos la definición?
Puntos: 0( 0 votos)
Publicado el 15/06/2018. |