Duas proposições, expressas de maneiras diferentes, podem ser logicamente equivalentes, mesmo que, aparentemente, não apresentem uma relação entre elas. Assi...

Dizer que “Mateus é artista ou Lucas não é engenheiro” é logicamente equivalente a dizer que “se Lucas é engenheiro, então Mateus é artista”.

Dizer que “José não é pedreiro ou Maria é paulista” é logicamente equivalente a dizer que “se José é pedreiro, então Maria é paulista”.

Dizer que “se Josué é economista, então Sara é solteira” é logicamente equivalente a dizer que “se Josué não é economista, então Sara não é solteira”.

Dizer que “não é verdade que Noah é pobre e Paulo é alto” é logicamente equivalente a dizer que “é verdade que Noah não é pobre ou Paulo não é alto”.

Dizer que “a menina tem olhos verdes ou o menino é loiro” é logicamente equivalente a dizer que “se a menina não tem olhos verdes, então o menino é loiro”.