Lenguaje Proposicional (LP) I.

(Ejercicios terico-prcticos)
Prof. Guillermo Nigro.

I.

Sintaxis Proposicional.

1. Indique si las siguientes definiciones inductivas de frmula de LP son

adecuadas. Justifique brevemente su respuesta.
i.

a. Todo tomo est en LP.

b. Todas las expresiones de la forma estn en LP.
c. Todas las expresiones de la forma ( ), ( ) ( ) estn en
LP.
d. Slo las expresiones generadas por a-c estn en LP.

ii.

a. Todo tomo est en LP.

b. Si a est en LP, entonces a tambin est en LP.
c. Si a y b estn en LP, entonces (a b), (a b) (a b) estn en LP.
d. Slo est en LP aquello que haya sido generado por a-c.

2. Cules de las siguientes expresiones son frmulas de LP? En caso de que lo

sean, indique cul es su conector principal (de qu tipo de frmula se trata) y
dibuje el rbol de construccin. En caso de que no lo sean, justifique su
respuesta sealando qu aspecto de la definicin inductiva de frmula de LP no
satisface.
i. (a ).
ii. a b c.
iii. a (b c).
iv. (a (b c)).
v. bc.
vi. ((c (d e)) a).
vii. a.
viii.

(a).

ix. ((d) (c (b (a a)))).

3. Construya frmulas con:
i. Una disyuncin y una conjuncin.
ii. Un condicional y una negacin.
iii. Todos los conectores de LP.
iv. Tres parntesis seguidos al final.
4. Indique si los siguientes enunciados son verdaderos o falsos justificando
brevemente su respuesta.
i. Dos rboles constructivos pueden corresponderse con una misma
frmula de LP.
ii. Dos frmulas distintas de LP pueden tener el mismo rbol constructivo.
iii. Para toda frmula de LP se cumple que el nmero de letras
proposicionales (no necesariamente distintas) presentes en es mayor o
igual que el nmero de conectores en .

II.

Formalizacin y esquemas argumentales.

Definicin: un esquema argumental es una secuencia de smbolos, que
contiene variables de enunciados, pero no enunciados, tal que cuando se
remplazan las variables de enunciados por enunciados concretos tomando
el cuidado de remplazar siempre la misma variable por el mismo
enunciado el resultado es un argumento.
1. Formalice los siguientes enunciados especificando el diccionario. Todos
ellos contienen, como mucho, un conector proposicional.
i. Veo un tigre.
ii. Veo un tigre feroz delante de m.
iii. La lluvia ablanda los vidrios de las ventanas.
iv. La lluvia cae lenta y suavemente.
v. Si Bacon escribi las obras atribuidas a Shakespeare, Bacon era
un gran escritor.
vi. El nombre de Dios es impronunciable.
vii. Un artista se convierte en leyenda si muere joven.
viii. Luciana y Andrs son novios.
ix. Luciana y Andrs se aman mutuamente.
x. Si toca Buitres, el cielo puede esperar.
2. Especifique los esquemas argumentales para cada uno de los siguientes
argumentos separando las premisas de la conclusin por medio de una
barra horizontal, y d el diccionario en cada caso:

i. Si no puedo rechazar la idea de que pienso, entonces pienso. Pero

si pienso, existo. Dado que no puedo rechazar la idea de que
pienso; por lo tanto, existo.
ii. Que el sujeto trascendental posea categoras del entendimiento es
condicin necesaria para que perciba objetos y no tenga
representaciones aisladas. El sujeto trascendental percibe objetos.
Por lo tanto, posee categoras del entendimiento.
iii. Dado que no podemos fiarnos del testimonio de los sentidos,
ellos nos engaan.
iv. Me escuchas o me voy. Pero si me escuchas y no me entendes,
igual me voy a ir. Pero nunca me entendes. Por lo tanto, me voy.
v. Si el realismo metafsico es verdadero, existen objetos fuera de la
mente de los sujetos. Y si existe el mundo material, entonces s
existen objetos fuera de la mente. En consecuencia, si existe el
mundo material, el realismo metafsico sea verdadero.
vi. Siempre ha habido guerras en la historia de la humanidad. Por lo
tanto, la nica paz es la paz del cementerio.
vii. El buen sentido es la cosa mejor repartida. Pues todos estn con
la parte que les ha tocado y creen poseerlo en mayor grado que el
resto.
3. Considere los siguientes enunciados e investigue si pueden ser
formalizados apropiadamente en LP.
i. Todos los objetos son idnticos a s mismos.
ii. Las plantas son verdes por causa de la clorofila.
iii. Necesariamente los cuervos son negros.
iv. Bob Dylan es Robert Zimmerman.
v. Si Eduardo Mateo hubiese sido reconocido por el gran pblico,
no habra muerto en la miseria.
III.

Semntica proposicional.
1. Considerando el concepto de Consecuencia Lgica indique si los
siguientes enunciados son verdaderos o falsos. En caso de ser falsos,
justifique su respuesta por medio de un contraejemplo.
i. Para que un argumento sea vlido es suficiente que sus premisas
y su conclusin sean verdaderas.
ii. Para que un argumento sea vlido es necesario que sus premisas y
su conclusin sean verdaderas.
iii. Un argumento cuyas premisas son verdaderas y su conclusin
falsa es invlido.
iv. Un argumento puede ser invlido an cuando sus premisas son
falsas y su conclusin verdadera.

v. Un argumento vlido con conclusin falsa tiene necesariamente

al menos una premisa falsa.
2. Considere los siguientes argumentos invlidos y pruebe su invalidez
construyendo un argumento de igual estructura con premisas verdaderas
y conclusin falsa i.e. brinde un diccionario que invalide el argumento.
i. Premisa: Maldonado no es la capital de Uruguay o Buenos Aires
no es la capital de Paraguay.
Conclusin: No es el caso que Maldonado sea la capital de
Uruguay o Buenos Aires sea la capital de Paraguay.
ii. Premisa: Si 5 > 3, entonces 5 > 2 y 5 > 1.
Premisa: 5 > 2 y 5 > 1.
Conclusin: 5 > 3.
3. De ser posible, construya una instancia de una verdad lgica que:
i. Contenga un solo tomo (puede tener conectores).
ii. Contenga tres tomos.
iii. No contenga negaciones.
iv. No contenga ningn conector proposicional.
4. De ser posible, construya una instancia de una falsedad lgica que:
i. Contenga un solo tomo (puede tener conectores).
ii. Contenga tres tomos.
iii. No contenga conjunciones.
iv. No contenga ninguna negacin.