Defina a regra de inferência: Se a = 0 ou b = 0, então ab = 0. No entanto, ab é diferente de 0; logo a é diferente de 0 e b é diferente de 0.