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