PRECHDISPLAY.

Uma interface gráfica rica usada para interagir com apreitos
Baixe Agora

PRECHDISPLAY. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • Freeware
  • Nome do editor:
  • AProS Project
  • Sistemas operacionais:
  • Windows All
  • Tamanho do arquivo:
  • 4.5 MB

PRECHDISPLAY. Tag


PRECHDISPLAY. Descrição

Apres usa o método de intercalação para procurar provas de dedução naturais normais na lógica clássica sentencial e predicada. O método foi adaptado para a pesquisa também em lógica intuitiva e mínima, em partes elementares da teoria definida e em metamatemática formalizada. Gentzen proposto cálculo de dedução natural como ferramentas lógicas que capturam, bastante diretamente, como os humanos raciocinaram através de uma prova. Eles permitem, mais distintamente, raciocínio com suposições e introdução, bem como regras de eliminação para os conectivos lógicos. O método de intercalação explora sistematicamente a ideia subjacente que as regras de eliminação permitem a decomposição de fórmulas complexas e que as regras de introdução permitem a construção de complexas. A característica mais distintiva do procedimento de pesquisa implementada em apreitos é que a construção de prova pode ser separada estrategicamente em três módulos distintos: extração ou uso dianteiro direcionado a objetivos de regras de eliminação, inversão ou uso atrasado de regras de introdução, e finalmente, o uso de argumentação indireta. Na pesquisa, pode-se ver tanto a prova resultante quanto cada etapa na pesquisa em vários formatos. Ferramenta de busca de prova automática para lógica de primeira ordem clássica e intuitiva. Usa motor de busca de prova subjacente. Obter PRECHDISPLAY e experimente ver o que é tudo!


PRECHDISPLAY. Software Relacionado

Sobre nós