Considerando a seguinte proposição:
Se Antônia possui dois filhos, então Paulo possui quatro cachorros.
Dessa afirmação, é possível concluir que:
Admitem-se como verdadeiras as seguintes proposições:
Dessas proposições, conclui-se que , necessariamente: