Carta Rara
Lógica intuicionista
- Valor
- 50 W
- Ataque
- 275
- Defensa
- 220
- Jugadores
- 0
La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. El sistema enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones.
Consigue Lógica intuicionista en tu colección
Cada carta de Wikilord es un artículo de Wikipedia. Abre sobres gratis, intercambia, combate y sube en la clasificación.
Abrir un sobre gratis