Скачать
Lógica y Matemática Discreta - Semántica de Lógica de Predicados (II)
Автор: Lógica y Matemática Discreta
Загружено: 2020-10-15
Просмотров: 2610
Описание:
Estudiamos los árboles semánticos o tableaux para la lógica de predicados. Se estudia a partir de los tableaux para proposiciones, mostrando qué reglas nuevas se añaden como consecuencia de la presencia del dominio y de los cuantificadores. Se muestra cómo usar los tableaux para determinar si un conjunto de fórmulas es tautología, contradicción o contingencia. Se describe con detalle el algoritmo de construccion del tableau y se resuelven varios ejercicios de construcción.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
