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 (↔)
