Question

Dentro de la logica matematica que es el calculo proposicional .

Answer 1

Un teorema es una fórmula que figura dentro de una demostración. Es decir, un teorema es una fórmula que es o bien un axioma, o bien, una consecuencia de éste. Una fórmula se dice que es falsa si su negación es un teorema. Una teoría es contradictoria cuando se tiene una fórmula R que es verdadera y falsa a la vez