sábado, 12 de marzo de 2016

Vídeo Nº 036: IA Lógica - Lógica de Proposiciones 03

Una vez visto el léxico, la sintaxis (gramática) y la primera parte de semántica (tablas de verdad) vamos a hablar sobre equivalencias, validez, satisfacibilidad y deducciones en esta segunda parte de la semántica de la lógica de proposiciones.



No hay comentarios:

Publicar un comentario