Implicação lógica
Aplicação lógica é um tipo de relação entre duas afirmações ou frases. A relação traduz-se verbalmente em “logicamente implica” ou “se/então” e é simbolizada por uma seta de linha dupla apontando para a direita ( ). Se A e B representam declarações, então A B significa “A implica B” ou “Se A, então B”. A … Ler mais