 |
||
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: 7 ) En este vídeo se demuestra que un conjunto de oraciones es satisfactible ( sintácticamente consistente ) , usando un árbol de Gentzen
|
||
http://eneayudas.cl/index.php?option=com_content&task=view&id=89&Itemid=118 |
||
