Monotonicidade da implicação
De Wikipedia, a enciclopédia encyclopedia
A monotonicidade da implicação é uma propriedade de muitos sistemas lógicos que afirma que as hipóteses de qualquer fato derivado pode se espalhar livremente com pressupostos adicionais. Em cálculo de sequentes esta propriedade pode ser capturada por uma regra de inferência chamada enfraquecimento, às vezes desbaste, e em tais sistemas pode se dizer que a implicação é monotônica se e somente se a regra for admissível. Sistemas lógicos com essa propriedade são ocasionalmente chamados de lógicas monotônicas de modo a diferenciá-los de lógicas não-monotônicas.
Este artigo não cita fontes confiáveis. (Abril de 2013) |