Logica Matematica

LOGICA MATEMATICA

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áticos para demostrar teoremas e inferir resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lógico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pintó la parte alta porque se mancharía lo que ya tiene pintado, también dependiendo si es zurdo o derecho, él puede pintar de izquierda a derecha o de derecha a izquierda según el caso, todo esto es la aplicación de la lógica.

Conectivas lógicas

Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposición molecular.

Conectivos lógicos más empleados son:

Conjunción

Es la unión de dos o más proposiciones mediante el conectivo lógico “y”, “pero”, “también”, “sin embargo”, “además”, etc.

Se lee p y q.

REGLA.- Es verdadera la proposición conjuntiva únicamente cuando las dos proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.

Ejemplo:

P: La casa está sucia.

Q: La empleada la limpia mañana

P Q: La casa esta sucia y la empleada la limpia mañana

Disyunción

Une proposiciones mediante el conectivo lógico “o”.

Se lee p o q.

REGLA.- Una proposición disyuntiva es verdadera cuando por lo menos uno de sus componentes es verdadero. Es falsa sólo cuando todos sus componentes son falsos (p o q).

P: Pedro juega básquet

Q: María juega fútbol

PvQ: Pedro juega básquet o María juega fútbol.

...