Dicionário de Termos Linguísticos

No cálculo proposicional, uma equivalência, ou bicondicional, é uma implicação bilateral, cujo conector é '≡' ('↔' ou '⇔'. Pode-se definir uma bicondicional como a conjunção de duas proposições condicionais (P ≡ Q = df (P → Q) & (Q → P). Uma bicondicional só é verdadeira se as duas proposições "P" e "Q" forem ambas verdadeiras ou ambas falsas. Linguisticamente, uma bicondicional corresponde a "se e só se" ou "é uma condição necessária e suficiente para. Uma outra definição de bicondicional: "X chama-se um Y" (ou é um Y) sse X tem a propriedade P".