Publicado

1960-01-01

Sobre la interpretación del signo

Palabras clave:

Signo, fórmulas, conjunción (es)

Descargas

Autores/as

  • Jhon Myhill

EI signo  Ͻ (0-->0 C) funciona en muchos sistemas lógicos de una manera tal que impide su interpretación, ya sea como "implicación estricta" o como "implicación material". Por ejemplo, en los sistemas de Heyting1,Johansson2 , Fitch3, Bernays4 (lógica positiva), lo siguiente son teorema:

Visitas a la página del resumen del artículo

129

Descargas

Los datos de descarga aún no están disponibles.

Cómo citar

Myhill, J. (1960). Sobre la interpretación del signo. Revista Colombiana De Matemáticas, 5(1- 2), 33-36. https://revistas.unal.edu.co/index.php/recolma/article/view/33275

Licencia

Derechos de autor 1960 Revista Colombiana de Matemáticas

Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.