{

Problema ${n^{{o}} 17}$ } Considere os seguintes factos: {itemize} O Jo{a}o, a Susana, o Bas{i}lio e a Elvira s{a}o s{o}cios da Associa{c}{a}o Acad{e}mica. O Jo{a}o {e} casado com a Susana. A Elvira {e} irm{a} do Bas{i}lio. Todas as esposas de um s{o}cio da Associa{c}{a}o Acad{e}mica s{a}o s{o}cias da Associa{c}{a}o Acad{e}mica. A {u}ltima reuni{a}o de s{o}cios da Associa{c}{a}o Acad{e}mica decorreu em casa do Jo{a}o. itemize} {description} [a)] Represente logicamente os factos acima descritos. [b)] Prove, por meio de uma árvore de prova, que a {u}ltima reuni{a}o de s{o}cios da Associa{c}{a}o Acad{e}mica decorreu em casa da Susana. Caso necessite acrescente a informa{c}{a}o adicional necess{a}ria e suficiente para que a prova se possa efectivar. description} document}