Mostrar código-fonte de DC-UFRPE/Bacharelado em Ciência da Computação/Matemática Discreta 1/Equivalências lógicas

Na lógica, afirmações '''p''' e '''q''' são logicamente equivalentes se tiverem o mesmo conteúdo lógico. Isto é, se elas tiverem o <u>mesmo valor de verdade em todos os modelos</u>. A equivalência lógica de '''p''' e '''q''' às vezes é expressa como <math>p \equiv q </math> ou <math>p \Longleftrightarrow q</math>. No entanto, esses símbolos também são usados para equivalência material. A interpretação adequada depende do contexto. A equivalência lógica é diferente da equivalência material, embora os dois conceitos estejam intimamente relacionados.