Considerando-se N, M duas proposições, nessa ordem, tem-se que (~ N ∨ M), ou seja, “a negação da primeira ou a afirmação da segunda”, equivale a (N → M), ou seja, “a afirmação da primeira implica a afirmação da segunda”.
Assim sendo, do ponto de vista da Lógica, dizer que “O candidato X não ganhou as eleições/ 2018 para governador em Maceió ou o candidato Y ganhou as eleições/2018 para governador da Bahia”, é o mesmo que dizer
