Blog de afroleo

Ensayo de la sintaxis de la lógica proposicional.


 

Lógica Proposicional.

Es una rama de la lógica, también conocida como lógica matemática o lógica simbolice, por el uso de símbolos que se asimila a la matemática. Con estos elementos se puede estudiar las variables proposicionales o sentencias lógicas, evaluaciones de verdad.

La sintaxis de la lógica proposicional son la reglas que nos indica que la formula esta bien formada. Entre la cuales se puede encontrar:

- Alfabeto

  - Variables: letra que es remplaza por alguna expresión ejemplo: (P,Q,R)

  - Conectivas:  (¬) Negación, (^) Conjuncion, (v) Disyuncion, ({\displaystyle \Rightarrow }) Implicacion, ({\displaystyle \leftrightarrow }) Doble condiconal.

Desde el nacimiento de la lógica se puede notar como con la ayuda de esta herramienta, se han desarrollado grandes avances científicos como tecnológicos.    Un claro ejemplo lo podemos observar en la informática, ya que sus aportes sirven para ir desarrollando problemas más complejos, aportes como:

- Algebra de Bool.

- Lógica de predicados.

- lógicas temporales.

- Cálculos Lambda.

- Semántica formal.

- Lógica de Hoare.

Entre otros, también existen unos programas de computación aplicados a la lógica, ejemplo:  Anallogica, calculadoras logicas, geogebra. 

Comentarios

No hay ningún comentario

Añadir un Comentario: