Dicionário de Termos LinguÃsticos
voltar ao Ãndice
equivalência lógica
Definição:
Quando uma bicondicional é uma tautologia, diz-se que as proposições constituintes assim relacionadas são logicamente equivalentes. Por outro lado, pode-se dizer que proposições logicamente equivalentes têm o mesmo valor de verdade para qualquer atribuição de valor de verdade às proposições atómicas. É este facto que assegura que a bicondicional seja sempre verdadeira (tautologia).
Volume II
|