[L. T. F. Gamut.

Lgica, lenguaje y significado]

1.

Lgica proposicional

Lenguaje de la lgica proposicional

Vocabulario
*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 o proposiciones lgicas. Representan afirmaciones u oraciones declarativas, es decir (La LP se restringe a ellas),
que pueden ser verdaderas o falsas. Simbolizacin: Letras proposicionales 9p,q,re)
Toda proposicin, ya sea simple (e) o bien compuesta (e*e) se denomina frmula u oracin
2. Constantes lgicas. Se denomina, a un tiempo, trminos de enlace, conectivas. Se llaman veritativo-funcionales, por el hecho de
que su uso da lugar a oraciones compuestas o completas cuyo valor de verdad depende nica y exclusivamente de los valores de
verdad de las oraciones ms simples (Principio de composicionaldad)
Pueden clasificarse en unarias/monnicas o binarias, segn operen sobre uno o dos oraciones llamados trminos o miembros de la
oracin. As, existen tambin oraciones o frmulas atmicas o moleculares.

Negacin

Negacin

Conjuncin

1er., 2do miembro cojuntivo

Disyuncin exclusiva

1er., 2do miembro disyuntivo ex.

Disyuncin inclusiva

1er., 2do miembro disyuntivo incx.

Implicacin material

Antecedente/Consecuente

Equivalencia material

Equivalente

3. Parntesis (Signos de puntuacin). Su funcin es eliminar ambigedades, estructurando la oracin y destacando el trmino de
enlace dominante. (Ej.p

q r)

[SINTAXIS]
i. Reglas de construccin de frmulas a partir de frmulas atmicas o compuestas. Del cumplimiento de tales reglas surgen oraciones
o frmulas bien formadas.
Definicin de frmula u oracin bien formada de L.
i. Las letras proposicionales son frmula de L.
ii. Si

es una frmula, entonces es una frmula (La negacin de una frmula 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.

ARBOL CONSTRUCTIVO. A partir de lo anterior, es posible consignar un nico [rbol constructivo] a cada frmula. Es decir,
derivar una frmula compleja de sus subfrmulas y frmulas atmicas, determinando en cada nivel o nodo la operacin utilizada para
generar una oracin compleja, a partir de una ms simple.
[CLAUSULA DE INDUCCION/DEFINICION INDUCTIVA/OPERADOR PROFUNDIDAD]

[SEMANTICA]
i. En LP el [significado] de una proposicin es su [valor de verdad]
ii. El valor de verdad de una proposicin es 0 (Falso) o 1 (Verdadero)
iii. El valor de verdad de una oracin compuesta depende nica y necesariamente del valor de verdad de las oraciones que la
componen y del funcionamiento de la conectiva que da estructura a la oracin. La asignacin del valor de una oracin compuesta,
relativa al valor de las oraciones que la componen, queda as definida, para cada conectiva en una [Tabla de verdad]
[Tablas de verdad]

1
1
01
0

1
0
1
0

1
0
00
01

1
1
1
0

1
0
1
1

1
0
0
1

0
1
1
0

[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

ii. Casos que no pueden ser considerados funciones

Rango
Fechas
Mujeres
Personas
Nmeros
Frmulas de LOG PROP
Ciudades
Masculino/Femenino

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

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

[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

1
1
0
0

1
0
1
0

1
0
0
0

( p q)
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

p
1
1
0
0

1
0

1
1

p q

q p

q
1
0
1
0

1
0
0
0

1
0
0
0

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