transposição
Sign in to saverule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
In the Vinony graph
Within Vinony's link graph, transposição connects to contraposition.
Its subject is documented across 5 Wikipedia language editions.
Wikidata facts
- Said to be same as
- contraposition
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (2)
via Wikidata · CC0
Article · Português
Na lógica proposicional, a transposição é uma válida que permite trocar o antecedente pelo de um enunciado condicional em uma prova lógica se eles estão ambos negados. É a inferência da verdade de "A implica B", a verdade do "Não-B implica não-A", e vice-versa. Ela é estreitamente relacionada com a regra de inferência modus tollens. É a regra que: Onde "" é um símbolo da metalógica que representa "pode ser substituído em uma prova com."
Abstract from DBpedia / Wikipedia · CC BY-SA