También llamada lógica de orden cero, es un lenguaje formal que cuenta con una sintaxis y una semántica.
La sintaxis está constituida por las definiciones, las leyes y las reglas de inferencia.
La semántica por los valores V (verdadero) y F(falso), o bien, 1 y 0, que se le asigne a una proposición determinada, tales proposiciones se suelen representar por las letras p, q, r, s, t (variables lógicas).
El presente blog, tiene la finalidad de contribuir a ampliar sus conocimientos sobre esta rama de la filosofía, como ciencia por conocer, como una herramienta para la vida diaria ó como arte para quien la posee.
No hay comentarios:
Publicar un comentario