Olá!
Bem, acho que você resolve fazendo uma tabela verdade:
Nas colunas, você terá:
fi - psi - fi (sse) psi - (se) fi (então) psi - (se) psi (então) fi
Então você dá as possíveis atribuições de valor-verdade para fi e para psi e vê o que ocorre nas fórmulas das outras colunas e as condições de tautologia.
No caso da consequência lógica, temos, por definição, que psi só será consequência lógica de fi se para toda atribuição em que fi assume valor-verdade V, então psi também assume valor-verdade V. Isso também se pode verificar pela tabela verdade.
Espero ter ajudado!
Ana Carolina
--
Ana Carolina Barbosa Silva