Equivalência lógica
Avaliação lógica é um tipo de relação entre duas afirmações ou frases em lógica proposicional ou álgebra booleana. A relação se traduz verbalmente em “se e somente se” e é simbolizada por uma seta dupla, de dupla linha, apontando para a esquerda e direita ( ). Se A e B representam declarações, então A B … Ler mais