Matemática Lógicas

Matemática Lógicas

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.

LOGICA PROPOSICIONAL

Clases de proposiciones

Hay dos clases de proposiciones:

• Proposiciones simples y compuestas, también llamadas atómicas y moleculares respectivamente.

a. Proposiciones Simples.- También denominadas atómicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo:

El cielo es azul. (verdadero)

Nomenclatura: p

b. Proposiciones Compuestas.- También denominadas moleculares. Son aquellas que están formadas por dos o más proposiciones simples unidas por los operadores lógicos. Ejemplo:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jóvenes o universitarios.

Si el miércoles próximo me saco la lotería entonces te regalaré un auto.

Simbolización de Proposiciones

Ojetivo:

Utilizar la lógica proposicional y simbólica para simbolizar proposiciones y facilitar su manejo.

Simbolización de Proposiciones

Los símbolos que se usan en lógica representa proposiciones son letras mayúsculas solo como:

"P" , "Q" , "R" , "B" , "A"  y "B"

Ejercicio  #3

Simbolizar los proposiciones compuesta siguientes sustituyendo las proposiciones simples por letras mayúsculas y viceversa

1,- "Los patitos no se transformado en cisnes"

2.- "Daba tres pasos hacia la derecha y entonces iba dos pasos adelante"

3.- "O Antonio irá al teatro o irá al cine"

4.- "Si suena el timbre, entonces es hora de empesar la clase"

P= "los patitos se tramsforman en cisne"

                              No(P) 

Q= "Daba tres pasos hacia la derecha"

R= "Iba dos pasos adelante"

                      Q y entonces R

S= Antonio irá al teatro"

A= Antonio irá al cine"

                             S o A

B= "Suena el timbre"

C= "Es hora de empesar la clase"

                      si B entonces C