POLICÍA NACIONAL DEL PERÚ

EESTP PNP “HN CAP. ALIPIO PONCE VASQUEZ”

PUENTE PIEDRA

APV-PNP

ASIGNATURA : LÓGICO MATEMÁTICO

TEMA : TABLEROS SEMÁNTICOS

DOCENTE :

ALUMNO :

N° DE ORDEN :
SECCIÓN :
PROMOCIÓN :

PUENTE PIEDRA – PERU

2022

2022
DEDICATORIA
En primer lugar, agradezco a Dios por permitirme
entender este curso. Porque me dio salud, se convirtió
en la fuente de vida y me dio las cosas que necesito
hacer todos los días para lograr mis metas.

Además, estoy profundamente agradecido con mi

familia por brindarme la base necesaria para completar
con éxito este trabajo.
ÍNDICE

2022
INTRODUCCIÓN.......................................................................................................................4
DEMOSTRACIÓN DE TABLEROS SEMÁNTICOS................................................................5
REFUTACIÓN POR TABLEROS SEMÁNTICOS....................................................................6
NOTACIÓN UNIFORME: LITERALES Y DOBLES NEGACIONES......................................7
NOTACIÓN UNIFORME: FÓRMULAS ALFA Y BETA.........................................................8
COMPLETACIÓN DE TABLEROS...........................................................................................9
TEOREMAS POR TABLEROS................................................................................................10
DEDUCCIÓN POR TABLEROS..............................................................................................11
BIBLIOGRAFÍA.......................................................................................................................12

INTRODUCCIÓN

2022
El método de los Tableros Semánticos proporciona un
algoritmo para la decisión de la satisfactibilidad de un
conjunto de fórmulas sin necesidad de preprocesamiento
de las fórmulas.
Su forma de operar consiste en ir simplificando los
conjuntos de fórmulas por medio de operaciones que
mantienen la consistencia hasta llegar a conjuntos de
literales (fórmulas que, esencialmente son variables
proposicionales) cuya consistencia podemos decidir con
facilidad. Además de proporcionar un mecanismo muy
potente de decisión, veremos que, si el conjunto es
consistente, el método informa acerca de los posibles
modelos que tiene.
Además, este método se puede representar gráficamente
de una forma muy sencilla y visual a través de árboles
binarios que recogen todo el proceso del algoritmo.
Aunque nosotros vamos a estudiar su desarrollo para las
lógicas LP y LPO, la versatilidad y sencillez del método, lo
hace fácilmente adaptable a otras lógicas (descriptivas,
modales, ...).

2022
DEMOSTRACIÓN DE TABLEROS
SEMÁNTICOS

2022
REFUTACIÓN POR TABLEROS
SEMÁNTICOS

2022
NOTACIÓN UNIFORME: LITERALES Y
DOBLES NEGACIONES

2022
NOTACIÓN UNIFORME: FÓRMULAS
ALFA Y BETA

2022
COMPLETACIÓN DE TABLEROS

2022
TEOREMAS POR TABLEROS

2022
DEDUCCIÓN POR TABLEROS

2022
 BIBLIOGRAFÍA

https://www.studocu.com/es/document/universidad-de-
sevilla/logica-informatica/tema-2-tableros-semanticos/
10161279

extension://efaidnbmnnnibpcajpcglclefindmkaj/https://
www.cs.us.es/~jalonso/cursos/li-04/temas/tema-4.pdf

http://www.cs.us.es/~fsancho/?e=239#:~:text=El%20m
%C3%A9todo%20de%20los%20Tableros,de
%20preprocesamiento%20de%20las%20f%C3%B3rmulas.

https://es.slideshare.net/JoseAAlonso/lmft3-tableros-
semnticos

2022