Os trabalhos clássicos de lógica. computacional consideram que uma proposição pode ser verdadeira ou falsa, de maneira mutuamente exclusiva. Entretanto, em muitas aplicações, como em medicina, não se dispõe de todos os dados, e é necessário um terceiro valor para representar esta falta de imformação acerca de algumas proposições. O presente trabalho aborda o uso da lógica trivalente de Kleene' para a representação de problemas nos quais existe um estado de ignorância parcial e fornece um exemplo de sua aplicação. Este tipo de lógica é útil em programas de diagnóstico médico automático e qualitativo em medicina.

Classical works in computation logic consider that. a proposition can be or true or false, not both. But, in many applications, like in automatic diagnostic programs in medicine, we don't have all of data, and is necessary a third value to represent this missing information about any propositions. The actual work presents the Kleene's trivalent logic to represent the problem in which there exists a state of partial ignorance and gives a example of its application. This kind of logic is useful in automatic and qualitative medical diagnosis programs in medicine.