[L. T. F. Gamut.

Lgica, lenguaje y significado]

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

3. Parntesis Eliminan ambigedades (Ej. pUqyR)

SINTAXIS
Las reglas de construccin de frmulas compuestas a partir de (sub)frmulas atmicas o subfrmulas compuestas.
SEMANTICA
Valor de verdad o significado: 0/1 (FALSO/VERDADERO)
Para cada conectiva el valor de verdad de la frmula resultante queda prescrito en una tabla de verdad
[Tablas de verdad]

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

es una frmula, entonces es una frmula.

iii. Si

y son frmulas, entonces ( ) , ( ) , ( ) ,( ) son frmulas.

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

ii. Casos que no pueden ser considerados funciones

Funcin
Hermano mayor de x
Progenitor de x
Objeto directo de x
(oracin)
Verbo de x (oracin)
Negacin de x
Ciudad capital de x
Sexo de x

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)

Una oracin puede tener ms de un verbo

Frmulas de LOGP ROP
Pases
Personas

(2)
Negacin de x
Ciudad capital de x
Sexo de x

(SIGUE)

[2.5. Semntica de la lgica proposicional]

i. Toda valuacin es una funcin (unaria), en tanto que a cada frmula [dominio de f] le corresponde un nico valor de verdad [rango
de f]
ii. La valuacin de una frmula debe concordar con la interpretacin de cada conectivas, prescrita en su tabla de verdad.
iv. A partir de la valuacin de cada las frmulas atmicas podemos establecer la valuacin de cualquier frmula compuesta mediante
el rbol constructivo de la ltima [tabla de verdad compuesta], en la cual se calculan los valores de verdad de todas las subfrmulas de
una formula compuesta para toda distribucin posible de los valores de verdad de sus letras proposicionales.
Ej.

=( 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

2n filas. Cada valuacin corresponde a una sola fila de la tabla de verdad.

[Equivalencias lgicas]

( p q)

p q

0
1
1
1

0
1
1
1

V ( )=V ()
Entonces, se dice que

y son lgicamente equivalentes.

Ejemplos de equivalencias lgicas

V ( )=V ( )

Ley de la doble negacin

[TAUTOLOGIA]
i. Dos frmulas lgicamente equivalentes tienen el mismo significado lgico.
ii. Si comparamos las tablas de verdad de dos frmulas

lgicamente equivalentes, con las de la equivalencia material

, es posible observar una conexin entre la equivalencia lgica y la implicacin material.

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

son lgicamente equivalentes sii para toda valuacin V, V

( ) =1

tal que V( ) = 1 para toda valuacin V, se denominan tautologas.

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

tal que V( ) = 0 se denominan contradiccin.

Las ms comunes son de la forma

Pueden obtenerse muchas tautologas a partir del

Teorema 2
Si

es una tautologa, entonces es una contradiccin.

Prueba.

tal que para toda valuacin V, V( ) = 0 es una contradiccin.

es una tautologa, sii para toda valuacin V, V( ) = 1 y V( ) = 0. Luego, es una contradiccin.

Teorema 3
Si

es una contradiccin, entonces ( ) es una tautologa.

Todas las contradicciones son equivalentes.

[CONTINGENCIA]
Las frmulas que o son ni tautologas ni contradicciones se denominan contingencias.
Formulas

tales que hay tanto una valuacin V1 con V1=0, como una valuacin v2, con v2=1

No todas las contingencias son equivalentes entre s.

Teorema 4

es una contingencia sii es una contingencia

Prueba
()