Uma proposição P(p,q,r,....) é logicamente equivalente ou simplesmente equivalente a uma proposição Q(p,q,r,.....) se as tabelas-verdade de ambas as proposições são rigorosamente iguais. Portanto, a sentença logicamente equivalente a: “Se Marcos é doutor, então Virginia é mestre” é: