A partir das definições apresentadas no texto acima, julgue os itens subseqüentes.
Considere que as proposições "Se João é o pai de Ana então João é o pai de Beatriz" e "João não é o pai de Ana" sejam verdadeiras. Nesse caso, conclui-se que a proposição "Ana não é irmã de Beatriz" é verdadeira.
