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” é: