En esta obra se presenta la modelación de la vaguedad, ambigüedad y contradictoriedad, realizada con lógica trivalente y tetravalente y operada por medio de las estructuras algebraicas de Kleene y De Morgan, respectivamente. Se enmarca, a través de la conformación de tablas y grafos, la sintetización de algunos aspectos de la lógica clásica y se amplía el concepto de implementación tabular en lógica bivalente con una estructura algebraica booleana propuesta por Shanon (1938) para la realización, síntesis y diseño de sistemas de lógica con las incertidumbres mencionadas, proponiendo el uso de conjuntos difusos tipo 1 y tipo 2 de intervalo.