A afirmação “não é verdade que, se Fátima é paraense, então Robson é carioca" é logicamente equivalente à afirmação:

não é verdade que "Fátima é paraense ou Robson não é carioca”.

não é verdade que "Fátima não é paraense ou Robson é carioca”.

não é verdade que "Fátima não é paraense ou Robson não é carioca”.

é verdade que "Fátima é paraense e Robson é carioca”.

é verdade que "Fátima é paraense ou Robson é carioca”.