Caracterizar um tipo de lógica, que não seja a lógica proposicional ( a lógica que estudamos em nossas aulas). Quando possível exemplifique em que áreas pode ser utilizada.