Contribuições do(a) usuário(a) Valbrand
De Valbrand discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 5 edições. Conta criada a 26 de abril de 2013.
26 de abril de 2013
- 19h34min19h34min de 26 de abril de 2013 dif his +1 493 N Monotonicidade da implicação nova página: A '''monotonicidade da implicação''' é uma propriedade de muitos sistemas lógicos que afirma que as hipóteses de qualquer fato derivado pode ser livremente estendido com suposi...
- 18h21min18h21min de 26 de abril de 2013 dif his +5 288 N Lógica não monotônica nova página: Uma '''lógica não-monotônica''' é uma lógica formal cuja relação de consequência não é monotônica. A maioria das lógicas formais estudadas tem uma rela...