Problema

Considere os seguintes factos:

• O João, a Susana, o Basílio e a Elvira são sócios da Associação Académica.
• O João é casado com a Susana.
• A Elvira é irmã do Basílio.
• Todas as esposas de um sócio da Associação Académica são sócias da Associação Académica.
• A última reunião de sócios da Associação Académica decorreu em casa do João.

a)

Represente logicamente os factos acima descritos.

b)

Prove, por meio de uma árvore de prova, que a última reunião de sócios da Associação Académica decorreu em casa da Susana. Caso necessite acrescente a informação adicional necessária e suficiente para que a prova se possa efectivar.