Respostas
respondido por:
2
é uma demonstração de regras na lógica clássica que pode ou não ser avaliada em uma lógica não-clássica. Em outras palavras, se o primeiro implica o outro e o outro implica o terceiro, então o primeiro implica o terceiro, de acordo com a propriedade da transitividade da implicação.
Perguntas similares
6 anos atrás
6 anos atrás
9 anos atrás
9 anos atrás
9 anos atrás
9 anos atrás