Casos de factorización

Lógica Matemática
1. Concepto básico
La lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrarteorema e inferir resultados matemáticas que puedan ser aplicados en investigaciones.

2. Sistemas lógicos
La lógica matemática se interesa en dos tipos de aspectos como:
Sintaxis: Se preocupa dela sintaxis de los lenguajes formales, es decir, las reglas de formación de símbolos interpretables construidos a partir de un determinado alfabeto
Semántica: Se preocupa de los significadosatribuibles a un conjunto de signos, así como el valor de verdad atribuible a algunas de las proposiciones.
3. Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestrael valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.
El valor verdadero se representa con la letra V; si se emplea notación numérica se expresa con ununo: 1; en un circuito eléctrico
El valor falso se representa con la letra F; si se emplea notación numérica se expresa con un cero: 0
4. Lógica Proposicional
La proposición es un elementofundamental de la lógica matemática.
Una proposición o enunciado es una oración que puede ser falsa o verdadera, pero no ambas a la vez.
No son proposiciones, los enunciados donde no es posible determinarel valor de verdad, es decir si son verdaderos o falsos.
En ella existen símbolos para variables proposicionales como:
Negación ¬ se lee “no”
Conjunción ∧ se lee “y”Disyunción ∨ se lee “o”
Condicional → se lee “…implica…” o “si,…entonces…,”
Bicondicional ↔ se lee “…equivalente con…” o "…si, sólo sí…"

Conectivos lógicos yproposiciones compuestas

Operador “and” (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Su símbolo es: {Ù, un punto (.), un...