Ajuda com lógica matemática?
h = ( ∀ x, ( ∃y, f( x, y ) -> g( x, y, z ))) ∨ ∃ x, f( x, y )
Caso exista alguma variavel livre, explique como estas variáveis podem ser
substituidas, explicando quais seriam as restrições e porquê...
h = ( ∀ x, ( ∃y, f( x, y ) -> g( x, y, z ))) ∨ ∃ x, f( x, y )
Caso exista alguma variavel livre, explique como estas variáveis podem ser
substituidas, explicando quais seriam as restrições e porquê...
Comments
(H.B.) Se você não conseguiu sua resposta nesta seção, também pode tentar obte-la na seção "Ciências e Matemática" do YR.
Boa sorte...