Lógica Proposicional

La lógica estudia la forma del razonamiento; es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. 
La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. 
En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. 
En las matemáticas para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones. 
En la computación para revisión y creación de programas... (ver más...)