Questões de Concurso Público BAHIAGÁS 2010 para Analista de Processos Organizacionais - Análise de Sistemas

Uma proposição (uso em programação lógica) pode ser observada como uma declaração lógica que pode ou não ser verdadeira. Ela consiste em objetos e nas suas interrelações. A lógica formal foi desenvolvida para fornecer um método de descrição de proposições com o objetivo de permitir que estas, formalmente declaradas, sejam