Uma das equivalências mais cobradas pelo Instituto AOCP para a condicional (p -> q) é a sua transformação em uma disjunção. A regra diz: nega-se a primeira parte, troca-se o conectivo por "ou" e mantém-se a segunda parte (~p v q).
Fonte: Guia de Estudos RLM, 2024.
A proposição "Se chover, eu levo o guarda-chuva" é equivalente a: