LÓGICA MATEMÁTICA

1. Valor de verdad

1.1. Es la verdad o falsedad de un enunciado.

1.2. Son tablas donde determinamos

2. Proposiciones complejas

2.1. Tienen mas de un enunciado unido por un conector lógico.

3. Tautología

3.1. Se llama tautología si el resultado final es todo verdadero.

4. Contradicción

4.1. Decimos contradicción si el resultado final es todo falso.

5. Implicación Lógica

5.1. Si al aplicar la condicional y nos da una tautología pues tas seria una implicación.

6. Equivalencia Lógica

6.1. Necesitamos que la proposiciones tanto de la derecha como de la izquierda sean iguales. También fijarse en el signo.

7. Tablas de verdad

7.1. Son tablas donde determinamos si un enunciado es verdadero o falso.

8. Operadores lógicos

8.1. Lo usamos para unir dos o más proposiciones y tenemos dos tipos de proposiciones:

8.2. Proposiciones simples

8.2.1. No tienen ningún operador lógico.

8.3. Proposiciones complejas

8.3.1. Proposiciones con al menos un operador lógico dentro de estas tenemos dos mas:

8.3.1.1. Proposiciones complejas básicas

8.3.1.2. Proposiciones complejas

9. Proposiciones complejas básicas

9.1. Negación

9.1.1. Cambiar el valor de verdad.

9.2. Conjunción

9.2.1. Son verdaderas cuando las proposiciones p y q también son verdaderas y falso cuando no lo son.

9.3. Disyunción

9.3.1. Son verdaderas si tenemos un valor verdadero y falso si las dos proposiciones son falsos.

9.4. Conjunción Negativa

9.4.1. Son verdaderos solo si las dos proposiciones son falsas y falsas en los demás casos.

9.5. Disyunción Exclusiva

9.5.1. Son falsos cuando los dos valores son iguales y verdaderos en los demás casos.

9.6. Condicional

9.6.1. Son falsos solo cuando p es verdadera y q son falsas .

9.7. Bicondicional

9.7.1. Son verdaderas cuando las dos proposiciones son iguales.