2 publicações encontradas
Acervo
Pesquisa
2 resultados ·
Artigo2015
HERBRAND E A SILOGÍSTICA AMPLIADA
Forneço um método de prova para a Lógica de Predicados Monádicos de Primeira Ordem. Esse método utiliza a Forma Normal de Herbrand e as Formas Normais Disjuntiva e Conjuntiva da Lógica Proposicional. A validade é determinada por mera inspeção da pre…
Dissertação2013
CONHECIMENTO SIMBÓLICOEM JOHN VENN
ESTA DISSERTAÇÃO APRESENTA UMA RECONSTRUÇÃO DA TEORIA LÓGICA DE JOHN VENN (1834-1923) EM SYMBOLIC LOGIC (1881; 1894). EM SUA OBRA, VENN APRESENTA UMA ÁLGEBRA DA LÓGICA, E ENFRENTA UMA SÉRIE DE PROBLEMAS FILOSÓFICOS SUBJACENTES A ESSA LÓGICA SIMBÓLIC…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.