Blog de afroleo

Blog personal

Noticias y comentarios personales

Programas para solucionar tablas de verdad

Escrito por afroleo 20-02-2018 en logica amtemica. Comentarios (0)

Tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes

Existen 5 tabla de la verdad o valores de a verdad las cuales son:

La tabla del " Y" o conjunción 

La tabla del " O" o disyunción 

La tabla del entonces o condicional

La tabla de la equivalencia o el bicondicional 

La tabla de la negación 

(http://logica-matematica-ucp-hectorbuitrago.blogspot.com.co/p/tablas-de-verdad.html).

Programas mas comunes:

-Analogica

- Multisim

- Gkmap

- WinLoginLab

- Boole-Deusto

Ensayo de la sintaxis de la lógica proposicional.

Escrito por afroleo 13-02-2018 en lógica matemática. Comentarios (0)


 

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.