Duas proposições, expressas de maneiras diferentes, podem

A Dizer que “Mateus é artista ou Lucas não é engenheiro” é logicamente equivalente a dizer que “se Lucas é engenheiro, então Mateus é artista”. B Dizer que “José não é pedreiro ou Maria é paulista” é logicamente equivalente a dizer que “se José é pedreiro, então Maria é paulista”. C 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”. D 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”. E 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”.