Dizer que “não é verdade que Ricardo é rico e José é inteligente” é logicamente equivalente a dizer que é verdade que:
Ricardo não é rico ou José não é inteligente.
Se Ricardo não é rico, então José é inteligente.
Ricardo não é rico e José não é inteligente.
Ricardo é rico ou José não é inteligente.
Se Ricardo não é rico, então José não inteligente.