Carta Rara
Cálculo de secuentes
- Valor
- 50 W
- Ataque
- 256
- Defensa
- 205
- Jugadores
- 0
El cálculo de secuentes es, en esencia, un estilo de argumentación lógica formal donde cada línea de la demostración es una tautología condicional (llamada secuente por Gerhard Gentzen) en vez de una tautología no condicional.
Consigue Cálculo de secuentes 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