Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Indepêndencia de premissas

Índice Indepêndencia de premissas

Na teoria da prova e matemática construtiva, o princípio da independência de premissas afirma que, se φ e ∃ x θ são sentenças em uma teoria formal e φ → ∃ x θ é demonstrável, então ∃ x (φ → θ) é demonstrável.

0 relações.

Redireciona aqui:

Indepêndencia de Premissas.

CessanteEntrada
Ei! Agora estamos em Facebook! »