Lgica de Predicados

sintaxis, semntica, validez e inferencia

Haga clic para modificar el estilo de subttulo del patrn

4/5/12

Lgica de Predicados

4/5/12

Definicin
Es una herramienta para estudiar el comportamiento de un sistema lgico. Adems proporciona un criterio para determinar si un sistema lgico es absurdo o inconsistente. *Sistema simblico : Lenguaje y frmulas lgicas.
4/5/12

Proposiciones

Representacin en lenguaje cotidiano que debe estar libre de vaguedades.

4/5/12

Trminos de Enlace
Palabras de enlace que unen proposiciones atmicas para formar proposiciones moleculares.

4/5/12

Simbolizacin de proposiciones
Uso de variables para representar proposiciones.

P = "Se cerr el circuito" Q = "Oper la marcha P & Q = "Se cerr el circuito y oper la marcha"
4/5/12

4/5/12

4/5/12