... con independencia de lo que establece la lógica matemática. En este artículo restauramos su unidad interna, perspectivas de desarrollo e independencia, a través del uso de tres axiomas o reglas que permiten incorporar términos indefinidos en la silogística clásica, categórica e hipotética, lo cual le otorga una expresividad comparable a la lógica de primer orden de predicado monádico.
Tópico(s): Education and Teacher Training
2017 - Comillas Pontifical University | Pensamiento Revista de investigación e información filosófica
Davi Romero de Vasconcelos, Maria Viviane de Menezes,
A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos livros-texto de Lógica. Este trabalho apresenta um assistente de provas, NADIA Natural Deduction Proof Assistant, para o sistema de Dedução Natural em Lógica Proposicional e Lógica de Predicados, no estilo de Fitch (caixas), com a finalidade de auxiliar no ensino-aprendizagem ...
Tópico(s): Logic, Reasoning, and Knowledge
2024 - | Revista Brasileira de Informática na Educação
Tópico(s): Advanced Algebra and Logic
2024 - National University of Colombia at Medellín | Revista de la Facultad de Ciencias
La lógica de predicados de primer orden es una herramienta muy conveniente para abordar problemas de ambigüedad propios del lenguaje natural. El hecho de que dentro de este sistema existan valores fijos para las interpretaciones, impide que existan ambigüedades o vaguedades. Sin embargo, esta lógica no puede abarcar todas las expresiones del lenguaje natural, en tanto sus valores fijos no permiten abordar oración que no sean afirmaciones o que no estén dadas en términos de cuantificadores absolutos ...
Tópico(s): Advanced Algebra and Logic
2008 - | Lenguaje
Produção Nacional
Revisado por pares
... é observada nessas duas áreas do conhecimento. Na lógica, esse tipo de predicado possibilita o desenvolvimento do chamado paradoxo de Sorites, cujo argumento pode ser construído por encadeamento das premissas ou por indução matemática. Usamos, nesse trabalho, o estudo filosófico da vagueza ...
Tópico(s): Logic, Reasoning, and Knowledge
2019 - Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS) | Letrônica
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
Tópico(s): Advanced Graph Theory Research
1980 - Cambridge University Press | Journal of Symbolic Logic
Oscar Abel Cardona Hurtado, Ana Rosa Corica,
... la problemática de la formación de profesores en lógica matemática. Como referencial teórico se adopta a la Teoría Antropológica de lo Didáctico. La investigación se desarrolló en dos grupos de estudiantes de profesorado en matemática de una universidad colombiana. Se analizaron las prácticas de los docentes que orientaron temas relativos a cálculo proposicional y cálculo de predicados, y se examinó el material propuesto para el ...
Tópico(s): Educational theories and practices
2021 - Editorial Redipe | Revista Boletín Redipe
Produção Nacional
Jorge Alejandro Santos, Lucí Teresinha Marchiori dos Santos Bernardi, Márcia Nascimento,
... puede expresarse con el lenguaje formal de la lógica de predicados. Esto permite interpretar los razonamientos con que se ...
Tópico(s): Linguistics and Education Research
2020 - UNIVERSIDADE EST.PAULISTA JÚLIO DE MESQUITA FILHO | Bolema Boletim de Educação Matemática
Produção Nacional
Revisado por pares
Rosemeire de Fátima Batistela, Eliene Barbosa Lima, Marcelo Leon Caffé de Oliveira,
... de Ciências Exatas com o nome de Lógica Matemática e Teoria dos Conjuntos implantada no currículo 318. Sendo educadores matemáticos, entendemos que os conteúdos transversais da Lógica são tratados nas demais disciplinas do curso o método dedutivo com teoria dos conjuntos como linguagem ou mesmo quando utilizados testes matemáticos, saberes de lógica proposicional e lógica de predicados.
Tópico(s): Linguistics and Education Research
2021 - UNIVERSIDADE FEDERAL DE SANTA MARIA | Alexandria Revista de Educação em Ciência e Tecnologia
... a una fórmula f c (x) de la lógica de predicados, de tal forma que un modelo de una ...
Tópico(s): Rough Sets and Fuzzy Logic
2016 - Francisco de Paula Santander University | Respuestas
Luis Ignacio Lizcano Bueno, Luis Roberto Ojeda,
... los lenguajes de conceptos como fragmentos de la lógica de predicados de primer orden. El razonamiento sobre los conceptos ...
Tópico(s): Advanced Database Systems and Queries
2002 - National University of Colombia | Ingeniería e Investigación
... é ignorado, a proposição permite derivar, dentro da lógica de predicados de primeira ordem, uma sentença de redução com as características requeridas no framework de Carnap. Ademais, o artigo tenta argumentar que o mencionado operador de necessidade pode ser compreendido não apenas em um sentido técnico (como a lógica modal faz), mas também do modo como um ...
Tópico(s): History and Theory of Mathematics
2024 - | Argumentos - Revista de Filosofia
... com eficiencia todas as proposicoes, o que a logica classica – desenvolvida pelos estoicos, por Aristoteles e alguns medievais – nao conseguia, pois sua analise era fundamentada na distincao entre sujeito e predicado. E, portanto, o seu alcance era restrito a ...
Tópico(s): Philosophy and Theoretical Science
2013 - Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS) | Intuitio
... verbos tienen carácter relacional, por ello su forma lógica es como la de un predicado diádico cuyos argumentos son un término individual y ... de segundo orden tratamos de captar la estructura lógica de las actitudes, concretamente este lenguaje contiene landa-abstractos y nominalización de predicados -lo que permite individualización de las oraciones de ...
Tópico(s): Logic, Reasoning, and Knowledge
1970 - | Contrastes Revista Internacional de Filosofía
Produção Nacional
... em relação a se empregar o cálculo de predicados de primeira ordem como modelo para a interpretação dos nomes próprios. A principal dificuldade reside na exigência de que as constantes individuais (a contraparte lógica associada aos nomes próprios) designem, numa mesma estrutura, ...
Tópico(s): Advanced Algebra and Logic
2016 - | ABRALIN
Alexander Berenstein, Tapani Hyttinen, Andrés Villaveces,
... modelos de expansiones de espacios de Hilbert mediante predicados genéricos. Primero demostramos la existencia de modelo-compañeras ... primera estructura de esta clase de complejidad en lógica continua.
Tópico(s): Computability, Logic, AI Algorithms
2018 - National University of Colombia | Revista Colombiana de Matemáticas
... de orden superior suficientemente expresivos como para tener predicados diagonales. Al hacerlo, muestro que el mismo no ...
Tópico(s): Advanced Algebra and Logic
2007 - UNIVERSIDADE ESTADUAL DE CAMPINAS | Manuscrito
... la oración gramatical en cuanto a su estructura lógica. Esta propuesta teórica postula la fórmula -que denominamos índice de complejidad ontológica (CO)-, como cociente al número que se refiere a la cantidad total de variables que contiene el o los predicados de las proposiciones y el denominador al número ...
Tópico(s): Accounting and Financial Management
2020 - Universidad Iberoamericana | Revista Científica Estudios e Investigaciones