| PRECHDISPLAY. Uma interface gráfica rica usada para interagir com apreitos |
Baixe Agora |
PRECHDISPLAY. Classificação e resumo
- 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