Tablas de Verdad y Reglas de Inferencia - UCE

Universidad Central del Ecuador

Facultad de Ingenier a Ciencias Físicas y Matemática
Carrera de Ingenier a Matemática e Informática
Fundamentos de Matem atica
Circuitos Lógicos
Tablas de Verdad y Reglas de Inferencia

1 Reglas de Inferencia B asicas

1.1 Tablas de Verdad de la Conjunci on

1.2 Tablas de Verdad de la Disyunci on

1.3 Tablas de Verdad del Condicional

1.4 Tablas de Verdad de la Negaci on

2 Reglas de Inferencia Derivadas

2.1 Silogismo Hipot etico:

2.2 Mutaci on de las Premisas:

2.3 Conmutatividad de la Conjunci on:

2.4 Principio del Tercer Excluido:

2.5 Modus Tollens:

2.6 Contrapositiva:

2.7 Introduccion de la Doble Negaci on:

2.8 Principio de Contradicci on:

2.9 Carga de la Premisa:

2.10 Inferencia Alternativa:

2.11 Silogismo Disyuntivo:

2.12 Dilema Destructivo:

2.13 Conmutatividad de la Disyunci on:

2.14 Ley Asociativa de la Disyunci on:

2.15 De nici on del Condicional:

3 Leyes de Equivalencia e Implicaci on L ogicas

3.1 Leyes Distributivas

3.2 Leyes de Absorci on

3.3 Leyes de De Morgan

3.4 Leyes de Reemplazo por Equivalencia: Si P Q

4 Ejercicios Adicionales

https://drive.google.com/open?id=0B6BhVTiStQORR2FobnBBVE5NWDg

Fundamentos de Matemática

Hernán Aules Centeno, MSc.