LÓGICA MATEMÁTICAS

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas.

Proposiciones.

Es toda oración o enunciado al que se le puede asignar un cierto valor (v o f).

Si no se puede concluir que es verdadero o falso no es proposición. La verdad o falsedad de una proposición es lo que se llama su valor lógico o valor de verdad.

Clases de proposiciones.

Existen dos clases de proposiciones.

-Proposiciones Simples.- Son aquellas proposiciones que no se pueden dividir.

Ejemplo: "El cielo es azul."

-Proposiciones Compuestas.- Son aquellas que están formadas por dos o mas proposiciones simples unidas por los conectores lógicos.

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

Conectores Lógicos.

Son aquellos que sirven para formar proposiciones más complejas y encontrar el valor de verdad. Los cuales son:

- Negación (¬)

- Conjunción (^)

- Disyunción (v)

. Disyunción Exclusiva (v)

- Condicional (→)

- Bicondicional (↔)