Polya

Lógica
La lógica es una relación entre las premisas y la conclusión expresada a través de una serie de símbolos matemáticos y/o auxiliares llamados enunciados.
La lógica estudia la forma delrazonamiento, 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.
La lógica es muyimportante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyándose de algunos conocimientos acumulados, se puedenobtener nuevos inventos innovaciones a los ya existentes o simplemente utilización de los mismos.

Lógica Matemática
La lógica matemática es la disciplina que trata de métodos de razonamiento. En unnivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas.
Consiste en elestudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática guarda estrechas conexiones con la ciencias de la computación y la lógicafilosófica.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de lademostración.

Conectivos lógicos
Los conectivos lógicos son aquellos que sirven para formar proposiciones compuestas.

Conectivo | Nombre Lógico | Símbolo |
No | Negación | ~ |
Y | Conjunción| ð |
O | Disyunción Inclusiva | V |
O…O | Disyunción Exclusiva | V |
Si Entonces | Implicación o Condicional | → |
Si Solo Si | Doble Implicación o Bicondicional | ð |

Tablas de verdadLa Negación: la conectiva “no” es la que se antepone a una proposición para cambiar su valor de verdad y se representa por el siguiente símbolo “~”.
Si una proposición es verdadera, su negación...