Dizer que “Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos” é logicamente equivalente a: