DC-UFRPE/Bacharelado em Ciência da Computação/Matemática Discreta 1/Equivalências lógicas: historial de revisões

Saltar para a navegação Saltar para a pesquisa

Seleção de diferenças: use os botões de opção das revisões para marcar as versões que deseja comparar. Pressione 'Enter' ou clique o botão abaixo.
Legenda: (atu) = diferenças para a versão atual, (ant) = diferenças para a versão anterior, m = edição menor.

2 de abril de 2023

  • atuant 21h19min21h19min de 2 de abril de 2023 imported>Ricardo.ufrpe 578 bytes +578 ← nova página: 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 equiv...
Obtida de "https://pt.wikiversity.beta.math.wmflabs.org/wiki/DC-UFRPE/Bacharelado_em_Ciência_da_Computação/Matemática_Discreta_1/Equivalências_lógicas"