Implicação

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Question book.svg
Esta página ou secção não cita nenhuma fonte ou referência, o que compromete sua credibilidade (desde janeiro de 2013).
Por favor, melhore este artigo providenciando fontes fiáveis e independentes, inserindo-as no corpo do texto por meio de notas de rodapé. Encontre fontes: Googlenotícias, livros, acadêmicoYahoo!Bing. Veja como referenciar e citar as fontes.
Egyptian A'h-mosè or Rhind Papyrus (1065x1330).png

Na lógica e na matemática, a implicação, ou condicional é a indicação do tipo "SE...ENTÃO", indicando que uma condição deve ser satisfeita necessariamente para que a outra seja verdadeira. Por exemplo, a expressão: "Se João esquia, Maria nada" é uma implicação.

Na lógica booleana, as implicações retornam FALSO se, e somente se, o antecedente é VERDADEIRO e o conseqüente é FALSO.

Tabela Verdade SE...ENTÃO / SI...TUNC / IF...THEN
Entrada1 Entrada2 Saída
VERDADEIRO VERDADEIRO VERDADEIRO
VERDADEIRO FALSO FALSO
FALSO VERDADEIRO VERDADEIRO
FALSO FALSO VERDADEIRO

Bi-implicação[editar | editar código-fonte]

Existe um caso especial de implicação em que as duas condições precisam ser mutuamente satisfeitas para serem verdadeiras, como por exemplo a expressão: "João esquia, se, e somente se, Maria nada".

Tabela Verdade SE E SOMENTE SE / SI ET SOLITER SI / IF AND ONLY IF
Entrada1 Entrada2 Saída
VERDADEIRO VERDADEIRO VERDADEIRO
VERDADEIRO FALSO FALSO
FALSO VERDADEIRO FALSO
FALSO FALSO VERDADEIRO