LOGICA FORMAL

1. CONCEPTO

1.1. RAZONAMIENTO

2. tablas de verdad

2.1. TAUTOLOGIA

2.2. CONTRADICCION

2.3. CONTINGENCIA

2.3.1. Nuevo nodo

3. PROPOSICIONES

3.1. SIMPLE

3.2. COMPUESTO

4. CONECTIVOS LOGICOS

4.1. negacion

4.2. conjuncion

4.3. disyuncion

4.3.1. devil

4.4. inplicacion condicional

4.5. equivalencia logica bicondicional

4.6. Disyncion fuerte