Logica

* Lógica Proposicional
La lógica proposicional es la más antigua y simple de las formas de lógica, permite representar y manipular las afirmaciones sobre el mundo que nos rodea.
También permite el razonamiento, a través de un mecanismo que ;
* primero evalúa sentencias simples
* y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O(OR).
Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman.
Una proposición es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F). Por ejemplo:
* Ayer llovió
* Hace frío
La lógica proposicional, permite la asignación de un valor verdadero o falso parala sentencia completa, no tiene facilidad par analizar las palabras individuales que componen la sentencia. Por este motivo, la representación de las sentencias del ejemplo, como proposiciones, sería:
* ayer_llovió
* hace_frío
La proposiciones pueden combinarse para expresar conceptos más complejos. Por ejemplo:
hoy_es_Viernes y hace_frío.
A la proposición anterior dada como ejemplo, sela denomina fórmula bien formada (well-formed formula, wff).
Los conectadores básicos de la lógica proposicional:
NOMBRE | CONECTOR | SÍMBOLO |
ConjunciónDisyunciónNegaciónImplicaciónEquivalencia | ANDORNOTIf-ThenIgual | ^v~=>= |
Lógica de Predicados
Lógica más general, capaz de representar todos los detalles expresados en las sentencias
La lógica de predicados está basada en la ideade las sentencias realmente expresan relaciones entre objetos, así como también cualidades y atributos de tales objetos. Los objetos pueden ser personas, objetos físicos, o conceptos. Tales cualidades,relaciones o atributos, se denominan predicados. Los objetos se conocen como argumentos o términos del predicado.
Al igual que las proposiciones, los predicados tienen un valor de veracidad, pero adiferencia de las preposiciones, su valor de veracidad, depende de sus términos. Es decir, un predicado puede ser verdadero para un conjunto de términos, pero falso para otro.
Por ejemplo, el siguiente predicado es verdadero:
color (yerba, verde)
El mismo predicado, pero con diferentes argumentos, puede no ser verdadero:
color (yerba, azul)         o       color (cielo, verde)
La lógicaproposicional es un subconjunto de la lógica de predicados
La lógica de predicados, se ocupa únicamente de métodos de argumentación sólidos. Tales argumentaciones se denominan Reglas de Inferencia. Si se da un conjunto de axiomas que son aceptados como verdaderos, las reglas de inferencia garantizan que sólo serán derivadas consecuencias verdaderas.
Falacias
Una falacia es un razonamiento noválido o incorrecto pero con apariencia de razonamiento correcto. Es un razonamiento engañoso o erróneo (falaz), pero que pretende ser convincente o persuasivo.
Las falacias lógicas se suelen clasificar en formales y no formales;

  | Las falacias no formales son razonamientos en los cuales lo que aportan las premisas no es adecuado para justificar la conclusión a la que se quiere llegar. Sequiere convencer no aportando buenas razones sino apelando a elementos no pertinentes o, incluso, irracionales |
Entre las falacias no formales se encuentran:
* Falacia ad hominem (Dirigido contra el hombre).
  | Ejemplo: 
"Los ecologistas dicen que consumimos demasiado energía; pero no hagas caso porque los ecologistas siempre exageran". | Esquema implícito: |
| | A afirma p,
A no es unapersona digna de crédito.
Por lo tanto, no p. |
* Falacia ad baculum (Se apela al bastón)
  | Ejemplo: 
"No vengas a trabajar a la tienda con éste piercing; recuerda que quién paga, manda". | Esquema implícito: |
| | A afirma p,
A es una persona con poder sobre B.
Por lo tanto, p. |
* Falacia ad verecundiam (Se apela a la autoridad)
  | Ejemplo: 
"Según el alcalde, lo mejor...