 |
||
Capítulo 4. Lógica matemática |
||
VIDEOS. Munoz Candia, Nuris. Lillo Terán, Nelson. Videos sobre Lógica matemática. En los vídeos dados a continuación hay ejercicios resueltos de lógica matemática: 8) En este video se da un contraejemplo de conjunto de oraciones satisfactibles, usando un árbol de Gentzen: |
||
http://eneayudas.cl/index.php?option=com_content&task=view&id=89&Itemid=118 |
||
