Скачать
Obtener el conjunto de cláusulas y el conjunto clausal a partir de un conjunto de f.b.f
Автор: L D H M docencia
Загружено: 2020-10-28
Просмотров: 686
Описание:
Se asume que ya conoce el proceso de obtención de la FNC de una expresión.
Dado un conjunto de oraciones (f.b.f.) en lógica proposicional se quiere obtener el conjunto de cláusulas que definen las FNC de las oraciones originales. También se obtiene el conjunto clausal que determina el conjunto de cláusulas.
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[Lógica] Convertir a forma normal de Skolem FNC](https://image.4k-video.ru/id-video/0WexgLwGU88)
