Dizer que ''Pedro não é pedreiro ou Paulo é paulista'' é, do ponto de vista lógico, o mesmo que dizer que (Primícia Educacional 63 984689399):
a) se Pedro é pedreiro, então Paulo é paulista
b) se Paulo é paulista, então Pedro é pedreiro
c) se Pedro não é pedreiro, então Paulo é paulista
d) se Pedro é pedreiro, então Paulo não é paulista
e) se Pedro não é pedreiro, então Paulo não é paulista
