Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2. Lgica proposicional
Lenguaje de la lgica proposicional
*Restriccin a oraciones declarativas, es decir, oraciones que afirman algo y por tanto pueden ser verdaderas o falsas.
VOCABULARIO (elementos que constituyen el sistema)
SINTAXIS (Reglas para la construccin de frmulas bien formadas)
SEMANTICA (Interpretacin, valuacin)
VOCABULARIO
1. [Variables lgicas, letras proposicionales] [p,q,r]
Representan afirmaciones o proposiciones declarativas. Las letras proposicionales y las expresiones compuestas formadas a partir de
ellas se clasifican como oraciones o [frmulas]
2. [Operadores, conectivas, conectivas veritativo-funcionales*, constantes lgicas]
CVF. Aquellas conectivas que dan lugar a oraciones compuestas cuyo valor de verdad depende exclusivamente de los valores de
verdad de las oraciones simples (principio de composicionalidad)
Negacin - conectiva unaria o mondica Operan sobre un nico trmino
Binarias Ponen en relacin dos trminos (miembros: conjuntivo, disyuntivo, antecedente-consecuente) para formar una oracin
compuesta o molecular. Los trminos pueden ser frmulas atmicas o moleculares.
(Correspondientes conjunciones del [lenguaje natural])
Negacin
Conjuncin
Disyuncin exclusiva
Disyuncin inclusiva
Implicacin material
Equivalencia material
1
1
0
0
1
0
1
0
1
0
0
0
1
1
1
0
1
0
1
1
1
0
0
1
0
1
1
0
1
0
0
1
[SINTAXIS]
Definicin de [Frmula/Oracin bien formada]
i. Las letras proposicionales son frmula de L
ii. Si
iii. Si
iv. Slo las [expresiones] que pueden ser generadas mediante las clusulas i-iii, en un nmero finito de pasos, son frmulas.
A partir de lo anterior, es posible consignar un nico [rbol constructivo] a cada frmula.
[CLAUSULA DE INDUCCION/DEFINICION INDUCTIVA/OPERADOR PROFUNDIDAD]
[2.4. Funciones]
Semntica de L
Al hablar de interpretacin de un lenguaje proposicional nos referimos a la atribucin de valores de verdad a sus oraciones.
Dichas atribuciones son denominadas valuaciones.
Pero estas valuaciones son funciones, de manera que primero nos ocupamos de las funciones.
i. Una funcin es la atribucin de un [nico]* valor [imagen] a cada entidad de un cierto tipo especfico [argumento]. El conjunto de
entidades [argumento] forman el dominio. Las entidades que figuran como los valores posibles de una funcin son denominados su
rango.
El nico requisito es que ningn argumento puede tener ms de un nico valor.
Ejemplos
i.
Funcin
Fecha de nacimiento de x
Madre de x
Jefe de Estado de x
Rodado de x
Negacin de x
Ciudad capital de x
Sexo de x
Dominio
Personas
Personas
Pases
Bicicletas
Frmulas de LOGP ROP
Pases
Personas
Rango
Fechas
Mujeres
Personas
Nmeros
Frmulas de LOG PROP
Ciudades
Masculino/Femenino
Caso
No todas las personas tienen hermanos
Todas las personas tienen ms de un progenitor
No todas las oraciones tienen OD
Norma no cumplida
Cada argumento del dominio posee un valor (1)
Un argumento tiene un nico valor (2)
(1)
(2)
Negacin de x
Ciudad capital de x
Sexo de x
(SIGUE)
=( p q)
p
0
0
1
1
0
1
0
1
p q
q
1
1
0
0
1
0
1
0
( p q)
1
0
0
0
0
1
1
1
*El nmero de filas de la tabla de verdad compuesta depende del nmero de proposiciones diferentes que aparecen en la frmula, de
modo que n letras proposicionales dan lugar a
[Equivalencias lgicas]
( p q)
p q
0
1
1
1
0
1
1
1
V ( )=V ()
Entonces, se dice que
V ( )=V ( )
[TAUTOLOGIA]
i. Dos frmulas lgicamente equivalentes tienen el mismo significado lgico.
ii. Si comparamos las tablas de verdad de dos frmulas
p p
1
0
0
1
1
0
p q
q p
1
0
0
0
1
0
0
0
p
1
1
0
0
1
0
1
0
1
1
(q p) ( p q)
1
1
1
1
Para todas las valuaciones de existe un nico valor en la columna de la equivalencia material: 1
Teorema 1
Las frmulas
( ) =1
Es obvio que todas las tautologas son lgicamente equivalentes entre s; si tenemos que V( ) = 1 y V( ) = 1, entonces V(
) = V( )
[CONTRADICCION]
Las frmulas
Prueba.
tales que hay tanto una valuacin V1 con V1=0, como una valuacin v2, con v2=1