transposição
Sign in to saverule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
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