Em verificação por Maria Manuela de Sousa Magalhães Araújo - Quinta, 15 de Outubro de 2026 às 16:33 Número de respostas: 0 proposições O animal tem corpo Formalização Q O animal é mortal Formalização Q Bicondicional P↔Q Expressão canónica O animal tem corpo se, e só se, for mortal. Hiperligação permanente
