136 673
edicions
Canvis
Anar a la navegació
Anar a la busca
sense resum d'edició
Llínea 3:
Llínea 3:
La llògica intuicionista rebuja el [[principi del tercer exclòs]], pero conserva el [[principi d'explosió]]. Açò es deu a una observació de Brouwer que si emfatisem les proves en contes de la veritat, llavors en els conjunts infinits el principi del tercer exclòs falla quan s'aplica a una proposició per a la qual no existix demostració, ni de la seua veritat ni de la seua falsetat.
La llògica intuicionista rebuja el [[principi del tercer exclòs]], pero conserva el [[principi d'explosió]]. Açò es deu a una observació de Brouwer que si emfatisem les proves en contes de la veritat, llavors en els conjunts infinits el principi del tercer exclòs falla quan s'aplica a una proposició per a la qual no existix demostració, ni de la seua veritat ni de la seua falsetat.
−En els conjunts finits sempre és possible verificar si una proposició és certa o falsa; en els infinits, no.
+En els conjunts finits sempre és possible verificar si una proposició és certa o falsa; en els infinits, no.
== Vore també ==
== Vore també ==