Dizemos que duas proposições “p” e “q” são equivalentes se os resultados de suas tabelas-verdade são idênticos, ou seja, as colunas com os valores ...

"Dizer que André é artista ou Bernardo não é engenheiro" é logicamente equivalente a dizer que "Se André não é artista, então Bernardo é engenheiro". Essas duas proposições possuem tabelas-verdade idênticas, ou seja, seus valores lógicos são os mesmos para todas as combinações possíveis de valores de p e q.