Entrañamiento semántico y derivabilidad formal
En este trabajo se sugiere el uso de una interpretación teórica de puesta a cuadros semántica para la enseñanza de la lógica proposicional. Si el estudiante tiene nociones anteriores de la teoría de conjuntos de base, este enfoque de cuadros semántica puede aclarar su camino árboles semánticos opera...
| Autor principal: | |
|---|---|
| Format: | Paquet |
| Idioma: | Spanish |
| Col·lecció: | Cuadernos Teorema
|
| Matèries: |
| Sumari: | En este trabajo se sugiere el uso de una interpretación teórica de puesta a cuadros semántica para la enseñanza de la lógica proposicional. Si el estudiante tiene nociones anteriores de la teoría de conjuntos de base, este enfoque de cuadros semántica puede aclarar su camino árboles semánticos operan, que une los lados sintácticas y semánticas del proceso. También, puede ser útil para la introducción de temas más avanzados en la lógica, como la lógica modal. |
|---|---|
| Descripció física: | 54 páginas: 19 cm gra |
| Bibliografia: | incl. ref. |
| ISBN: | 8437000548 |