Los métodos de la lógica
Lección sobre los distintos métodos lógicos que se pueden aplicar para la resolución de un planteamiento cualquiera. Entre los métodos sintácticos se encuentran el método axiomático y el de deducción natural. Entre los métodos semánticos, se utilizan el de las tablas semánticas y la utilización de i...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 1980 |
| País: | España |
| Institución: | Ministerio de Educación y Formación Profesional (MEFP) |
| Repositorio: | Redined. Red de Información Educativa |
| OAI Identifier: | oai:redined.educacion.gob.es:11162/73010 |
| Acceso en línea: | http://hdl.handle.net/11162/73010 |
| Access Level: | acceso abierto |
| Palabra clave: | lógica pensamiento lógico metodología |
| Sumario: | Lección sobre los distintos métodos lógicos que se pueden aplicar para la resolución de un planteamiento cualquiera. Entre los métodos sintácticos se encuentran el método axiomático y el de deducción natural. Entre los métodos semánticos, se utilizan el de las tablas semánticas y la utilización de interpretaciones y modelos para pruebas de independencia. Entre los métodos algorítmicos, destacan los métodos de decisión y los problemas conectados con la decibilidad. |
|---|