ntica Proposicional

Sema
Lavinia Picollo
(Gamut 2.4-2.5)

1 Funciones
Las funciones son relaciones entre objetos de dos conjuntos A y B (que pueden resultar
ser el mismo), tales que cada objeto en A esta relacionado con un u
nico objeto en B.
La conversa, esto es, que cada objeto en B este asociado con un u
nico objeto en A no
es necesario. Luego, el orden en que se consideran los conjuntos es relevante. Llamamos
dominio a A y codominio a B.

1.1 Ejemplos de funciones

A es el conjunto de ciudadanos argentinos y B el de los n
umeros naturales. Y los
asociamos asign
andole a cada persona su n
umero de documento.
A es el conjunto de las personas de la clase y B el de las materias de la carrera de
filosofa. Y los asociamos asignandole a cada persona su materia favorita.

1.2 Ejemplos de no-funciones

A y B son el conjunto de los que fueron, son y seran seres humanos. Y asociamos
a cada persona con su hijo.
A es el conjunto de las personas de la clase y B el de las materias de la carrera de
filosofa. Y los asociamos asignandole a cada persona sus materias aprobadas.

2 Valuaciones
En la logica proposicional, la sem
antica, la asignacion de valores de verdad, la van a
llevar a cabo funciones que llamamos valuaciones. Cada una de ellas va a ofrecer una
interpretaci
on de las f
ormulas de L, emulando las filas de las tablas de verdad tal como
las hemos visto; esto es, el significado de las conectivas. Nos van a permitir formular
con precisi
on las condiciones de verdad de una formula de L.
1

2.1 Que significa interpretar una formula del lenguaje proposicional?

No es asignarle posibles significados como La nieve es blanca. Dado que nuestro objetivo
es el analisis de la validez o invalidez de las inferencias y, en el marco de tal analisis,
lo u
nico relevante son los posibles valores de verdad que pueden tomar las premisas
y la conclusi
on, interpretar un lenguaje proposicional consistira meramente en asignar
valores de verdad a sus expresiones. Cada interpretacion asignara valores diferentes.

2.2 Que es una funcion valuacion?

Las valuaciones har
an el trabajo. Son funciones en las cuales el dominio, A, es el conjunto
de formulas bien formadas de L y el codominio, B, es el conjunto que contiene a 0 y a
1 exclusivamente: B = {0, 1}.
No todas las funciones entre A y B seran valuaciones. Por ejemplo, una que asigne
1 tanto a p como a p no lo ser
a. Llamaremos funcion valuacion a cualquier funcion
V : {x/x es una f
ormula bien formada de L} {0, 1}
(esto es notaci
on para decir que el dominio de V es el conjunto de las formulas bien
formadas de L y el codominio el conjunto que contiene a los n
umeros 1 y 0) que se
comporte del siguiente modo:
(V ) V () = 1 sii V () = 0
V () = 1 significa que V asocia a de A con 1 de B. Notemos que en esta clausula
est
a contenida toda la tabla de verdad de la negacion.
(V ) V ( ) = 1 sii V () = 1 y V () = 1
(V ) V ( ) = 1 sii V () = 1
o V () = 1
(V ) V ( ) = 0 sii V () = 1 y V () = 0
Es lo mismo definir los casos en los cuales una formula condicional vale 0 que los
casos en los que vale 1? S! Piense porque.
(V ) V ( ) = 1 sii V () = V ()
Notemos que, como hemos dicho que cada V es una funcion, debe asignar un elemento
del codominio a cada elmento del dominio, esto es: debe asignar o bien 1 o bien 0, pero no
ambos, a cada f
ormula de L. Entre ellas se encuentran las letras proposicionales. Luego,
cada V asigna 1
o 0 a cada una de las letras proposicionales del lenguaje. Pero ademas
debe cumplir las cl
ausulas V , V , V , V y V que hemos recien especificado para toda
valuacion. En consecuencia, una vez que V asigno 1 o 0 a cada letra proposicional, el
resto de las f
ormulas ya tiene su valor de verdad determinado.

Notemos asimismo que no hay una u

nica funcion valuacion V . Si bien todas deben
comportarse con las f
ormulas moleculares como indican las clausulas V , V , V , V
y V , tienen total libertad para con las letras proposicionales, mientras respeten la
definicion de funci
on y asignen un y solo un elemento de {0, 1} a cada una de ellas.
Las valuaciones son pues interpretaciones del lenguaje proposicional, que asignan
1 o 0 a cada f
ormula. Mientras las letras proposicionales pueden tomar cualquiera de
estos valores, el valor de las f
ormulas complejas depende del de las simples. Juntas, las
valuaciones recorren todos los posibles valores de verdad que puede tomar una formula.
Cuantas valuaciones hay? Infinitas: la que asigna 1 a todas las letras proposicionales,
la que asigna 0 a todas ellas, la que asigna 1 a p1 y 0 al resto, etc. (recuerde que el
lenguaje L tiene un stock infinito de letras proposicionales).

3 Ejemplos
Queremos saber c
omo se comportan todas las valuaciones la formula:
(p (q p)) ((q q) p)
Recorremos las infinitas? No. Solo nos va a preocupar que hacen todas estas
valuaciones con las letras proposicionales de nuestra formula, que en este caso son p y q.
Y para estas dos letras nuestras infinitas valuaciones pueden hacer u
nicamente una de
las cuatro opciones siguientes: o bien asignar 1 a ambas, o bien 0 a ambas, o bien 1 a p
y 0 a q o bien 0 a p y 1 a q. Vamos a escribir cada una de estas posibilidades en una fila
y siguiendo la definici
on de funci
on valuacion vamos a ver que valor de verdad le asigna
cada una de estas valuaciones a nuestra formula:

V1
V2
V3
V4

(p
1
1
0
0

1
1
1
1

(q
1
0
1
0

1
1
1
0

p))
1
1
0
0

1
1
0
0

((q
1
0
1
0

1
1
1
1

0
1
0
1

q)
1
0
1
0

1
1
0
0

p)
1
1
0
0

4 Tablas de verdad
La funci
on valuaci
on me dice c
omo tengo que hacer la tabla. Cuantas posibilidades
tendramos que haber considerado si hubieramos tenido 3 letras proposicionales en la
formula a analizar? Y si hubieramos tenido n letras? Cuantas filas debe tener una
tabla?
Las tablas de verdad son entonces una explicitacion de las clausulas V , V , V , V
y V para cada conectiva, en donde cada fila representa una valuacion posible diferente:
As, podemos, mediante tablas, saber que pasa en todas las valuaciones para una formula
3

compleja dada, en que casos es verdadera y en cuales falsa. Las tablas son algoritmos:
nos dan un metodo efectivo (los pasos son claros y finitos) para considerar todas las
valuaciones posibles y relevantes para una formula.
La tabla de verdad o, lo que es lo mismo, el valor de verdad que adquiere una formula
en todas las valuaciones, es su significado logico. Luego, si dos formulas de L toman el
mismo valor de verdad en cada valuacion o, lo que es lo mismo, tienen la misma tabla,
tendran el mismo significado l
ogico.

5 Conceptos de la Logica
Con esto de las valuaciones definimos los siguientes conceptos:
Equivalencia l
ogica: dos f
ormulas de L, y , son logicamente equivalentes si y solo
si tienen el mismo valor de verdad en todas las valuaciones: para toda valuacion
V , V () = V (). Lo mismo es decir que tienen la misma tabla.
Tautologa: una f
ormula es una tautologa si y solo si todas las valuaciones le asignan
valor 1: para toda valuaci
on V , V () = 1. Lo mismo es decir que tiene 1 en toda
la tabla. Escribimos:  .
Contingencia: una f
ormula es una contingencia si y solo si existe al menos una
valuaci
on que le asigna valor 1 y al menos otra que le asigna 0: existen al menos
dos valuaciones V1 y V2 tales que V1 () = 1 y V2 () = 0. Lo mismo es decir que
tiene al menos un 1 y al menos un 0 en la tabla.
Contradicci
on: una f
ormula es una contradiccion si y solo si todas las valuaciones
le asignan valor 0: para toda valuacion V , V () = 0. Lo mismo es decir que tiene
0 en toda la tabla.
Consecuencia l
ogica: una f
ormula es consecuencia logica de un conjunto de formulas
de L si y s
olo si toda valuacion que asigna 1 a todos los elementos de asigna
tambien 1 a . O lo que es lo mismo: no existe una valuacion que asigne 1 a todos
los elementos de y 0 a : para toda valuacion V , si V () = 1 entonces V () = 1;
o no existe una valuaci
on V tal que V () = 1 y V () = 0. (Decir V () = 1
implica decir que V asigna 1 a todos sus miembros.) Escribimos:  .
Notemos que decir que una f
ormula es consecuencia logica de un conjunto de
formulas es lo mismo que decir que el argumento que tiene a las formulas de por
premisas y a por conclusi
on es v
alido. Por que?

6 Metodo del condicional asociado

Como podramos ver esto en una tabla? Metodo del condicional asociado. Sean
1 , 2 , . . . , n los miembros de . Entonces armamos la tabla de verdad de la sigu4

iente formula:
(1 2 n )
Si da todos 1, es valido. Por que?
Ejemplo: {p, (p q)  q}? S:

V1
V2
V3
V4

(p
1
1
0
0

1
0
0
0

1
0
1
1

(p
1
1
0
0

q))
1
0
1
0

1
1
1
1

q
1
0
1
0