Sejam verdadeiras as seguintes afirmações:
• J é filho de T.
• S é irmã de T.
• V é pai de U.
• H é filho de S e V.
A conclusão necessariamente verdadeira obtida a partir dessas afirmações é a de que
• J é filho de T.
• S é irmã de T.
• V é pai de U.
• H é filho de S e V.
A conclusão necessariamente verdadeira obtida a partir dessas afirmações é a de que
