IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

LGICA PROPOSICIONAL
Conceptos previos.
1. Razonamiento (o inferencia) validez formal y verdad.
Razonamiento o inferencia: un tipo de pensamiento* en el que se produce
siempre el paso de una o ms afirmaciones que tomamamos como punto de
partida a otra afirmacin. Es decir una inferencia consiste en derivar una
"conclusin" a partir de una o varias "premisas".
Habra que distinguir: razonamiento como actividad de un sujeto y
razonamiento como producto de esa actividad.
Los razonamientos pueden ser de muchos tipos:
1. Inferencia plausible: como la que se sigue de un estudio estadstico.
2. Inferencia probabilstica: aquella en la que la conclusin est basada en el
clculo de probabiliddes..
3. Inferencia inductiva: aquella en la que se pasa de enunciados particulares a
una conclusin general.
4. Inferencia deductiva: aquella en la que la conclusin se sigue de las premisas
por pura coherencia formal.*
*Todo enunciado o proposicin tiene una forma y una materia (o
"asunto"), es decir una estructura y un contenido.
Las proposiciones:
Todos los submarinistas son bedunos.
Todos los cuerpos son pesados.
Todos los alumnos de 1 de bachiller son gente de mucho
cuidado.
Tratan de asuntos distintos pero tienen la misma estructura o forma:
Todos los A son B
Verdad y validez.
La verdad se predica de los enunciados. En el contexto en que estamos
decimos que un enunciado es verdadero cuando lo que dice se corresponde con
lo que realmente sucede.
La validez se predica de los razonamientos1. Un razonamiento es
formalmente vlido cuando afirmadas las premisas se sigue necesariamente la
conclusin.
1Siempre

que hable de razonamientos o inferencias me referir a partir de ahora a

razonamientos deductivos que son los que vienen al caso.

IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

Lgica: ciencia que estudia los principios del razonamiento vlido

Lgica proposicional:
La lgica ms elemental es la lgica proposicional. Es aquella que estudia los
razonamientos deductivos de nuestro lenguaje, pero considerndo las
proposiciones como un todo, esto es sin analizar.
Distincin lenguaje natural y lenguaje artificial
La utilidad de los lenguajes artificiales.
Puesto que al estudio de las inferencias deductivas no le interesan los contenidos
de las proposiciones (es decir el asunto del que traten), podemos construir un
lenguaje artificial en el que prescindamos de estos contenidos. Lo llamaremos por
esto lenguaje formal.
El lenguaje formal de la lgica proposicional.
Los elementos primitivos de nuestro lenguaje artificial sern:
1. variables proposicionales (las llamaremos simplemente proposiciones)
Las simbolizaremos con las letras: p,q,r,s,t,...
Llamamos proposicin a toda oracin que afirma o niega algo,
y por tanto es susceptible de verdad o falsedad. (Usos del lenguaje:
interrogativo, exclamativo, imperativo, afirmativo o apofntico)
Llamamos valor de verdad de una proposicin a su verdad o
falsedad. En lgica proposicional, consideraremos que las
proposiciones slo pueden ser verdaderas o falsas, es decir
consideraremos dos valores de verdad. Lo simbolizaremos: 1
(verdad), 0 (falsedad). Que p es verdadera significa que "p acontece"
o que "es el caso que p"
Regla de simbolizacin del lenguaje natural: Cada uno de los
enunciados simples del lenguaje natural se sustituye por una
variable proposicional que se simboliza mediante letras
minsculas empezando por la p, usando subndices si fuera
necesario: p, q, r, s, p1, p2, etctera.
Ejemplos:

Juan va al cine - p

Quiz sea mejor que vengas el lunes - q

Estos son los apuntes de lgica - r

IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

2. operadores (o trminos de enlace entre las proposiciones)

Consideraremos los siguientes operadores (NOTACIN: SCHOLK)
Operador mondico (afecta a una sla proposicin):
operador negacin: " "
como en la expresin p
convierte el valor de verdad de una proposicin en su contrario, su
"tabla de verdad" ser
si p es verdadera entonces p es falsa
P
P

1
0
0
1

Regla de simbolizacin del lenguaje natural: Las expresiones del

lenguaje natural tales como no, no es cierto, no es el caso,
nunca, es falso que, no es posible, es imposible, etctera o
cualquiera que equivalga al sentido que en el lenguaje natural tiene la
conjuncin negativa no -que viene a significar que no ocurre lo que
estamos diciendo-, se sustituyen por el smbolo que se escribe
delante de la variable proposicional que est negando.
Ejemplos:
Juan no va al cine - p
Quiz sea mejor que nunca vengas los lunes - q
No es verdad que estos apuntes no son los de lgica - r

Operadores didicos:

1. La conjuncin.
Operador didico que da lugar a una proposicin nuclear
que es verdadera slo en el caso de que sean verdaderas las
proposiciones que la integran.
P

Q ; se lee P y Q
Su tabla de verdad2 ser:

Una tabla de verdad recoge, los valores de verdad de una proposicin en todas las posibles
combinaciones de valores de verdad de las proposiciones que la integren. En general el nmero de
renglones ser 2 elevado a n, siendo n el nmero de proposiciones distintas que la formen.

IES Pintor Juan Lara

El Puerto de Santa Mara

P Q
1 1
1 0
0 1
0 0

Departamento de Filosofa
Filosofa I

Q
1
0
0
0

Regla de formalizacin del lenguaje natural: Las expresiones del

lenguaje natural tales como y, ni, pero, que, e, mas,
etctera o cualquiera que equivalga al sentido que en el lenguaje
natural tiene la conjuncin copulativa y -que viene a significar que
pasan las dos cosas que estamos diciendo-, se escribe el smbolo
entre las dos variables proposicionales que une.
Ejemplos:
Juan y Pedro van al cine - p q
Quiz sea mejor que vengas los lunes y los mircoles - r s
Estos apuntes ni son los de lgica ni los de metafsica - t w

2. La disyuncin.
Operador didico que da lugar a una proposicin compleja que
es verdadera cuando al menos una de las proposiciones que la
integran sean verdaderas, o de otro modo, es falsa slo en el caso
de que lo sean las proposiciones que la integran.
P v Q; se lee: P o Q
P Q
1 1
1 0
0 1
0 0

PvQ
1
1
1
0
Regla de formalizacin del lenguaje natural: Las expresiones
del lenguaje natural tales como o, o ... o ... , bien ... bien
... , ya ... ya .... , etctera o cualquiera que equivalga al
sentido que en el lenguaje natural tiene la conjuncin o -que
viene a significar que ocurre una de las cosas que estamos
diciendo-, se escribe el smbolo v entre las dos variables
proposicionales que une.
Ejemplos:
Juan o Pedro van al cine - p v q
Quiz sea mejor que vengas los lunes o los mircoles - r v s
O estos apuntes son los de lgica o los de metafsica - t v w

IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

3. El condicional.
Operador didico que da lugar a una proposicin compleja que
slo es falsa si la proposicin antecedente es verdadera y la
consecuente es falsa.
P

Q; se lee Si P, entonces Q

La proposicin que resulta expresa la afirmacin de que en el

caso de que se de P, debe darse Q, por tanto, es falsa cuando
dndose P (P es verdadera), no se de Q (que Q sea falsa). En
una tabla de verdad
P
1
1
0
0

Q
1
0
1
0

Q
1
0
1
1

Regla de formalizacin del lenguaje natural: Las expresiones del

lenguaje natural tales como si, si ... entonces, cuando,
porque, con tal que, ... por tanto ... , ... en consecuencia
.... , ... se infiere ... , ... se deduce ... , ... se deriva ... , ...
se demuestra ... , etctera o cualquiera que equivalga al sentido
que en el lenguaje natural tienen las expresiones condicionales -que
viene a significar que de las cosas que estamos diciendo ocurre por
culpa, a causa de la otra-, se escribe el smbolo entre las dos
variables proposicionales que une.
Ejemplos:
Si Juan va al cine, entonces Pedro va - p q
Quiz sea mejor que vengas los lunes porque estars mejor - r
s
Los apuntes tienen smbolos raros, en consecuencia son los de
lgica - t w
NOTA: Los condicionales tienen un componente temporal lgicamente temporal, podramos decir-, lo que llamamos el
antecedente tiene que ocurrir antes, darse previamente, como
condicin para que ocurra el consecuente, aunque en el lenguaje
natural lo digamos al contrario; en el ejemplo segundo, la r se
refiere a Tu estars mejor. Los lobos aullan cuando hay luna
llena no quiere decir que la luna sale cuando escucha el aullido,
sino al revs entiendes? pues siempre la que va priemro es la causa
de la segunda.

IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

4. El bicondicional.
Operador didico que da lugar a una proposicin compleja que
es verdadera slo en el caso de que los valores de verdad de las
proposiciones que enlaza coincidan. Esto es, que sean los dos
verdaderos o los dos falsos..
P

Q ; se lee P, si y slo si Q

P Q
1 1
1 0
0 1
0 0

Q
1
0
0
1

Regla de formalizacin del lenguaje natural: Las expresiones del

lenguaje natural tales como ... si y solo si ... , ... equivale a ...,
... es igual a ... , ... vale por .... , ... es lo mismo que ... , ...
significa que ... , etctera o cualquiera que equivalga al sentido que
en el lenguaje natural tienen las expresiones que signifique
equivalencia -que viene a significar que de las cosas que estamos
diciendo que son lo mismo-, se escribe el smbolo entre las dos
variables proposicionales que une.
Ejemplos:
Juan va al cine si y solo si Pedro va - p q
Que vengas los lunes es lo mismo que vengas los martes - r s
Los apuntes de lgica de Javi son los mismos que los de Miguel t w

IES Pintor Juan Lara

El Puerto de Santa Mara

Departamento de Filosofa
Filosofa I

Representacin grfica de Gonseth

(1,1)

(1,0)

(0,1)

(0,0)

El primer cuadrante corresponde al caso en que el valor de verdad de P

sea 1, y el de Q sea 1. Y as puede entenderse el resto de cuadrantes.
Si queremos representar grficamente, por ejemplo una disyuncin entre P
y Q,
P v Q, ensombreceremos (o marcaremos) el cuadrante que corresponde
al caso en que dicha proposicin sea verdadera, esto es, en el ejemplo, para P (1)
y Q (1), que corresponde al primer cuadrante.

Q1

Q0

P 1

P 2
PvQ

lgica

Lgica
Esquema:
i)
ii)
a.
b.
iii)
iv)
a.
b.
c.
d.
v)
vi)
i)

Definiciones
Historia de la lgica
Aristteles y la silogstica.
La lgica matemtica o simblica.
Las partes de la Lgica. Lgica de proposiciones y de predicados.
La Lgica Proposicional (Lp)
Lenguaje Lp.
Las tablas de verdad como semntica para Lp.
El clculo de deduccin natural (DNp) como sintaxis para Lp.
Metapropiedades: Consistencia, compacidad y completud.
Principios lgicos: identidad, no contradiccin, tercero excluido.
Ejercicios: formulacin, tablas de verdad y deduccin.

DEFINICIONES
LGICA:
1. Teora general de la inferencia.
2. Ciencia que estudia las leyes y las formas que debe cumplir, o seguir, una argumentacin, o lo que es lo mismo,
las condiciones formales que debe reunir el razonamiento para que las relaciones en l establecidas sean vlidas.
3. Ciencia formal que tiene por objeto el estudio de las inferencias deductivas formalmente vlidas, es decir, que
prescinde de los contenidos y considera exclusivamente la estructura del razonamiento, su validez formal.
Se la concibe como el puente entre las ciencias y las letras, al tratarse de una parte de las matemticas con
implicaciones filosficas.
SEMITICA O SEMIOLOGA:
Estudio general de los signos, entendidos como aquellas entidades que, estando en lugar de otras tienen la capacidad
de referirnos al objeto que sustituyen.
Partes:
- Sintaxis: Estudia la relacin de los signos entre s.
- Semntica: Estudia la relacin de los signos con su significado.
- Pragmtica: Estudia la relacin de los signos con aquellos que hacen uso de los mismos.
Desde el punto de vista de la lgica, nos interesan los aspectos sintcticos, que constituyen el clculo lgico, y los
semnticos, que hacen referencia a las condiciones de verdad o falsedad.
LENGUAJE NATURAL, LENGUAJE ARTIFICIAL, LENGUAJE FORMAL Y CLCULO.
1. Los lenguajes naturales son las lenguas, creadas y recreadas constantemente en el transcurso de la historia, y
transmitidas a cada individuo en pocos aos. En este sentido podemos decir que los lenguajes naturales los
heredamos.
2. Los lenguajes artificiales son lenguajes de precisin construidos por los cientficos para formular con ms
exactitud las relaciones entre los objetos analizados por las respectivas ciencias.
Desde el punto de vista de que todo lenguaje natural es una concrecin histrica se podra decir que todos los
lenguajes son artificiales, pero interesa establecer una diferencia entre por ejemplo, el espaol, y la formulacin
de los elementos qumicos.
3. Un clculo es una estructura artificial que define un sistema de relaciones entre signos para los que no
proporciona un significado. Se compone de:
- Un conjunto de elementos primitivos o smbolos elementales, anlogos a los trminos o palabras de un
lenguaje, construidos de tal forma que ante un objeto cualquiera se pueda determinar si ese objeto es o no
miembro del conjunto. El clculo lgico se atiene a sus propias leyes y se desentiende de la realidad.
- Un conjunto de reglas de formacin que establecen cuales son las combinaciones correctas de esos smbolos
elementales.
- Un conjunto de reglas de transformacin, que indican cmo puede pasarse de una combinacin de smbolos a
1

4.

lgica
otras.
En un clculo es posible realizar operaciones sin saber qu significan los smbolos. Es decir, atendemos
exclusivamente a los aspectos sintcticos, no a los semnticos.
Un lenguaje formal no es mas que un clculo interpretado. Es decir, manteniendo la estructura del clculo,
interpretamos sus smbolos, dotndolos de significado. Un mismo clculo lgico puede ser transformado en
varios lenguajes formales si cambiamos su interpretacin. Todo lenguaje formal es un lenguaje artificial.

LENGUAJE OBJETO Y METALENGUAJE.

Cuando estudiamos un lenguaje, el lenguaje sobre el que tratamos se denomina lenguaje objeto, y el lenguaje que
utilizamos para expresarnos se llama metalenguaje. Por ejemplo en nuestro caso el lenguaje objeto ser el lenguaje
lgico, y el metalenguaje ser el espaol.
Esta diferenciacin es necesaria porque el lenguaje es recursivo, es decir podemos usar el lenguaje para hablar del
propio lenguaje.
USO Y MENCIN.
Usamos una palabra cuando la utilizamos de acuerdo con su significado; en cambio la mencionamos cuando nos
referimos a ella misma o a los signos que la representan o expresan. En este caso suele ir entre comillas.
Ej:
- La mesa tiene cuatro patas.
- Mesa tiene cuatro letras.
La importancia de esta distincin es idntica a la de lenguaje y metalenguaje, pues mencionar una palabra o una
proposicin no consiste sino en aludir a una propiedad o a una caracterstica de un lenguaje, mediante un
metalenguaje. As evitamos usar confusamente distintos niveles del lenguaje. Ej:
Hombre tiene seis letras,
Chindasvinto es hombre,
Luego Chindasvinto tiene seis letras.
JUICIO, ENUNCIADO Y PROPOSICIN.
Un juicio (acto de juzgar) es una operacin del entendimiento mediante la cual se afirma o se niega la pertenencia de
un predicado a un sujeto. Es decir, es un acontecimiento psquico real que ocurre en el sujeto que juzga.
La proposicin en cambio, es lo expresado mediante el juicio, en el sentido contenido en el juicio y que es
susceptible de ser verdadero o falso.
El enunciado (u oracin) es el vehculo expresivo, es decir, el conjunto de palabras, trminos, o signos (orales o
escritos) mediante los cuales se expresa el contenido de la proposicin.
Ej: las oraciones La nieve es blanca, Snow is white o La neige est blanche expresan la misma proposicin.
En lgica vamos a entender una proposicin como todo enunciado con sentido acabado y completo susceptible de ser
verdadero o falso. Nos va a ser especialmente til distinguir entre la forma lgica y la forma escrita (enunciado) de la
proposicin en casos de enunciados negativos, ya que no hay hechos negativas. As por ejemplo el enunciado no
llueve expresa la proposicin que niega que est lloviendo (hecho positivo).
ii)

HISTORIA DE LA LGICA.
a.

Aristteles y la silogstica.

Aristteles fue el primer pensador que estudi como un contenido propio y aparte el orden lgico del pensamiento.
Fue el primero que se ocup de la lgica, en su libro Peri Hermeneia (sobre los elementos).
La lgica de Aristteles es una lgica de trminos, constituidos por palabras del lenguaje natural que se refieren a
conceptos que expresan objetos, cualidades o propiedades. Mediante la relacin entre dos o ms trminos se forma una
proposicin, que constituye la expresin de un juicio, por medio del cual se establece una afirmacin o una negacin acerca
de una realidad. En este sentido la proposicin puede ser verdadera o falsa, segn lo enunciado en ello se conforme con la
realidad o no (criterio referencialista).
En las proposiciones distinguimos entre la cantidad y la cualidad:
- cantidad: es la manera de una proposicin de referirse al conjunto de seres que caen bajo su significacin.
Pueden ser universales, cuando se refieren a la totalidad, o particulares, cuando solo aluden a una parte de
esos seres.
- cualidad: las proposiciones pueden ser afirmativas cuando se establece la asercin de algo, o negativas,
cuando entre los trminos de la proposicin se establece una relacin de separacin.
Combinndolas Aristteles distingue 4 tipos de proposiciones:
2

lgica
Universales afirmativas: Todo ser humano es mortal.
Universal negativa: Ningn ser humano es pjaro.
Particular afirmativa: Alguna mujer juega al tenis.
Particular negativa: Alguna mujer no juega al tenis.
El razonamiento
Df. Es un enunciado en el que afirmadas ciertas cosas, se sigue necesariamente algo distinto de lo ya establecido por
el simple hecho de darse dichas cosas.
Se pueden distinguir entre razonamiento
Inductivo: es aquel que va de lo singular a lo universal.
Ej: Una ley fsica: Una persona, un barco, un delfn, sumergidos en agua desalojan una cantidad de lquido igual
a su propio peso
Todo cuerpo.
Deductivo: va de lo universal a lo particular.
Ej: Si todo cuerpo .
Yo tengo un cuerpo, luego si yo me sumerjo en el agua
El silogismo es un tipo de razonamiento deductivo que Aristteles estudia en profundidad. Consiste en un
razonamiento constituido por tres proposiciones, las dos primeras llamadas premisas y la tercera conclusin. En las
premisas se encuentran tres trminos:
El mayor, que hace de predicado de la conclusin.
El menor, que hace de sujeto,
El medio, que se halla nicamente en las premisas y que sirve como elemento de enlace entre los dos anteriores.
Ej:
Todo hombre es mortal,
Scrates es hombre,
Luego Scrates es mortal.
Aristteles distingue 3 figuras, de acuerdo con la estructura del silogismo:
1. El trmino medio es sujeto de la primera premisa y predicado de la
segunda:
Todo A es B
Ningn A es B
todo C es A
Todo C es A
todo C es B
luego ningn C es B
2 El trmino medio aparece como predicado en ambas premisas:
Ningn B es A
Todo B es A
Todo C es A
Algn C es A
luego ningn C es B
luego algn C es B
3 El trmino medio es el sujeto de ambas proposiciones:
Todo A es B
Algn A no es B
Algn A es C
todo A es C
luego algn C es B
luego algn C no es B

Esquema:
M
T
t
M
t
T
Esquema:
T
M
t
M
t
T
Esquema:
M
T
M
t
t
T

Todos los silogismos poseen valor demostrativo, en el sentido de que en todos ellos la conclusin brota
necesariamente de las premisas.
Aristteles tambin desarroll la teora modal, es decir aquellas proposiciones modificadas por los operadores de
necesidad y posibilidad.
b.

La lgica matemtica o simblica.

Despus de Aristteles algunos de sus discpulos (estoicos y megricos) continuaron y completaron su sistema, hasta
tal punto que Kant a finales de siglo XVIII pens que el sistema de la lgica estaba completo y acabado.
Cabe destacar la obra del mallorqun Ramn Llull (Ars magna), de los lgicos de Port Royal o de Leibniz (mathesis
universalis) que intentan hacer de la lgica un clculo y a la progresiva introduccin de simbolismos.
A partir del s. XIX comienza un desarrollo sin precedentes desde Aristteles, a partir de la matematizacin de la
lgica. Esto es posible porque:
- se construye un sistema simblico adecuado, lo que permite un mayor grado de seguridad y exactitud en la
construccin de argumentos, as como en la formulacin de las reglas que los gobiernan.
3

lgica
- se formulan reglas precisas de operacin.
- la distincin entre la lgica y la realidad, mediante la distincin entre lenguaje objeto y metalenguaje, lo que
permite distinguir entre un razonamiento y las reglas que lo gobiernan.
Con estas condiciones se considera que la lgica se subordina al mtodo matemtico, de ah su nombre. Ello permite
construir los primeros clculos, por George Boole (1815-1867) fundador del lgebra de la lgica, A. De Morgan o C.S.
Peirce, o George Cantor, quien crea la teora de conjuntos.
El paso del lgebra de la lgica a la lgica matemtica se produce cuando la lgica se formaliza y axiomatiza. A
principios del s. XX. G. Frege consigue la construccin de un clculo lgico perfecto, con una escritura artificial que permite
la formulacin completa de la lgica deductiva elemental. Bertrand Russell y Alfred North Whitehead escriben la obra
Principia Matemtica, obra clsica.
iii)

LAS PARTES DE LA LGICA. LGICA DE PROPOSICIONES Y DE PREDICADOS.

La lgica es una ciencia formal que tiene por objeto el estudio de las inferencias deductivas formalmente vlidas, es
decir, que prescinde de los contenidos y considera exclusivamente la estructura del razonamiento, su validez formal.
Ello puede hacerse desde dos perspectivas:
- Desde una perspectiva extensional, la lgica proposicional, toma en cuenta los enunciados en su totalidad, sin
necesidad de analizar su contenido. Si tomamos una proposicin, podemos distinguir entre un sujeto, un verbo
y un predicado. Esto no es importante para la lgica proposicional, que toma la proposicin como un todo.
- Desde un punto de vista intencional, la lgica de predicados, sin llegar a analizar el contenido de la
proposicin, s que entra a analizar la relacin que se establece entre los elementos de la proposicin (sujeto y
predicado). As en una proposicin del tipo El cielo est gris, a esta parte de la lgica le interesar qu tipo
de predicados se predican de qu tipo de sujetos.
Para formalizar estas relaciones se asigna un smbolo a cada uno de los elementos que componen la
proposicin, letras maysculas para los predicados y minsculas para los sujetos. As la anterior proposicin
podra formalizarse como Gc. Por convencin se utilizan las letras P y Q para predicados y las primeras letras
del abecedario (a, b, c) para los sujetos que estn determinados y las ltimas (x,y,z,) para los que no lo estn.
As Pa se entender como el sujeto a tiene la cualidad P y Px como un sujeto x tiene la cualidad P.
Esta lgica utiliza los cuantificadores universales (todos), y existenciales o particulares (algn).
xPx = Existe un x que tiene la propiedad P.
xPx = T todo individuo x tiene la propiedad P.
Un tipo especial de lgica de predicados es la lgica de relaciones, que analiza las relaciones que podemos
establecer entre distintos sujetos. As Pab sera los individuos a y b estn unidos por la propiedad P.
iv)

LA LGICA PROPOSICIONAL (Lp)

a.

Lenguaje Lp.1

La lgica es un lenguaje formal dotado de un clculo, que nace para evitar las imprecisiones del lenguaje natural
cuando se trata de expresar contenidos rigurosos y precisos, debidas a ambigedades. El objetivo inicial de la lgica era la
total formalizacin del lenguaje natural, aunque ello no es posible precisamente por la existencia de dichas ambigedades,
tales como las polisemias, las metforas, etc. Para elucidar el significado de una metfora hay que acudir a los aspectos
pragmticos del lenguaje, al uso que los hablantes hacen de l. No es posible entender el significado de Juan es un cerdo
atendiendo nicamente a los aspectos sintcticos y semnticos.
Consta de :
1. Conjunto de variables enunciativas o proposiciones: p, q, r, s... que representan formalmente una proposicin
atmica.
2. Conjunto de conectivas (similares a las del lenguaje ordinario) que nos sirven para conectar proposiciones
atmicas:2
- Condicional (): Se lee Si... entonces. El primer miembro del condicional se llama
antecedente y el segundo consecuente.
- Conjuncin (): Se lee y.
- Disyuncin (): Se lee o, bien... bien. Hay que hacer notar que esta disyuncin es inclusiva,
1

Recuerda los componentes de un clculo.

Sobre la discusin sobre el nmero de conectivas recordar que todas se pueden escribir slo con , ; ver las leyes de
interdefinicin.
2

lgica
es decir no excluye que se pueda dar las dos alternativas a la vez.
- Bicondicional o equivalencia (): Se lee si y slo si o equivale / coimplica. Es un doble
condicional.
- Negacin () (mondico): Se lee no es verdad que
3. Conjunto de smbolos auxiliares: Parntesis ( ) y corchetes [ ].
Finalmente definimos lo que es una frmula bien formada (frmula vlida) en este lenguaje:
1. Si p es una variable proposicional, p es una fbf, y ser atmica, no podr descomponerse.
2. p q es fbf si el segundo trmino lo es.
p q es fbf si el los dos trminos lo son.
p q es fbf si al menos uno de los dos trminos lo es.
p q es fbf si los dos trminos lo son.
p es fbf si p lo es.
3. No existen mas fbf que las que se derivan de 1. y 2.
Precisiones:
1. Utilizamos las letras maysculas A, B, C... para referirnos a esquemas de frmulas. Ej.:
las frmulas : p q; (p q) (q r) se pueden leer ambas como A B
p q; (p q) (q r) como A B
2. Un negador delante de un parntesis afecta a todo el parntesis:
Formalizacin: Proceso por el que traducimos argumentaciones extralgicas (lenguaje ordinario) a lenguaje formal
Lp.
(Ejercicios)
b.

Las tablas de verdad como semntica para Lp.

La lgica clsica se caracteriza por ser:

- Funcional de verdad: el significado de las proposiciones se reduce a su valor de verdad.
- Bivalente: se contemplan solamente dos valores de verdad: verdad absoluta y falsedad absoluta. No se admite
grados de verdad o posibilidad.
El asignar un valor de verdad a una proposicin se denomina interpretacin.
Definicin de las funciones de verdad de los smbolos lgicos:

Negador:

Conjuntor:
x
V
F

x
V
V
F
F

x
F
V

Condicional:
x
y
V V
V F
F V
F F

Disyuntor:
y
V
F
V
F

x
y
V V
V F
F V
F F

x y
V
F
F
F

xy
V
V
V
F

Bicondicional:
xy
V
F
V
F

x
V
V
F
F

y
V
F
V
F

xy
V
F
F
V

lgica
CONSTRUCCIN DE TABLAS DE VERDAD:
Para averiguar el valor de verdad de cualquier frmula:
1. Se asignan valores de verdad a las proposiciones simples, aplicando la frmula 2 n (2 valores de verdad / nmero
de variables)
2. Se resuelven las negaciones que afectan a las proposiciones simples.
3. Se resuelven los smbolos lgicos en orden inverso a la dominancia: , , .
4. Se resuelven las negaciones que afectan a las proposiciones compejas.
Ej: x [ (x y) z)]
1. tenemos 3 variable, x, y, z, luego tendremos
que asignar 8 valores de verdad (23 = 2x2x2)
x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

2. Se resuelven las negaciones

x
1
1
1
1
0
0
0
0

z
1
0
1
0
1
0
1
0

3. Resolvemos la conectiva v que

afecta a x y
y x [ ( x y) z)]
1
0 1
1
0 1
0
0 0
0
0 0
1
1 1
1
1 1
0
1 1
0
1 1

x [ ( x y) z)]
0
0
0
0
1
1
1
1

4. Resolvemos el resto de conectivas

x
1
1
1
1
0
0
0
0

y
1
1
0
0
1
1
0
0

z
1
0
1
0
1
0
1
0

x [( x
1
0
0
0
1
1
1
1

y) z)]
1
1
1
0
0
0
0
0
1
1
1
0
1
1
1
0

Tautologa: Frmula vlida. Aquella verificada por todas las funciones de verdad / es verdadera para cualquier
interpretacin de sus proposiciones.
Contradiccin: Es falsa para toda interpretacin.
Contingente: Verificada por algunas funciones y por otras no.
(EJERCICIOS)
c.

El clculo de deduccin natural (DNp) como sintaxis para Lp.

El ltimo componente que nos falta por definir para tener un clculo son las reglas de transformacin. Estas reglas
nos permiten derivar, argumentar.
Argumentacin: Proceso por el que, a partir de una serie de premisas, y a travs de unos pasos intermedios,
llegamos a una conclusin. Los pasos intermedios correctos vienen definidos por las reglas de transformacin. Las hay de
dos tipos: de eliminacin (para extraer conclusiones) y de introduccin (de construccin de argumentos).

Reglas primitivas DNp.

- Reglas de eliminacin:
AB
A ,
B

Pero no:
AB
B
A

lgica
1.

Eliminacin del condicional (E) o Modus Ponens (MP)

2.

Eliminacin de la conjuncin (E):

3.

Eliminacin de la disyuncin (E):

AB
A/B
AB
A
C
B

4.

Eliminacin del bicondicional (E):

5.

Eliminacin de la negacin (E):

AB
AB / BA

C
C

A
A

- Reglas de introduccin:
1.

Introduccin del disyuntor (I)

A
,
AB / BA

2.

Introduccin del conjuntor (I)

A
B
,
AB / BA

3.

Introduccin del bicondicional (I)

AB
BA
AB

4. Introduccin del condicional (I) A

Si de A se sigue B, entonces se
B
,
puede concluir.
A B
5. Introduccin del negador (I).
Cuando de A se sigue una
contradiccin.

A
B B
A

(EJERCICIOS)
Interdefinicin de las conectivas:
Todas las conectivas se pueden escribir con , .
AB
AB
AB
AB

(A B)
AB
(A B)
AB

Reglas derivadas:
A ,
A

1.

Identidad o Repeticin (Id):

2.

Carga de premisas (Cpr)

3.

Ex contradictione quod libet (ECQ):

A
,
BA
A A
B
7

lgica
AB
B
A

4.

Silogismo disyuntivo (Sd):

5.

Modus Tollens (MT)

6.

Contraposicin (Contr)

7.

De Morgan 1 (DM)

(AB)
A B

8.

De Morgan 2 (DM)

(A B)
A B

9.

Interdefinicin (Id /)

AB
B
A
AB
B A

(A B)
AB

(EJERCICIOS)
d.

Metapropiedades: Consistencia, compacidad y completud.

Un sistema formal ha de reunir la serie de condiciones formales que indicamos seguidamente:

a) Consistencia. Un sistema formal es consistente cuando no encierra (es decir, no contiene) ningn teorema (o
proposicin) contradictoria o, lo que es lo mismo, cuando no puede derivarse una frmula y la negacin de esa
frmula (A A).
b) Completitud. Un sistema formal es completo si es posible deducir todas las frmulas que configuran dicho sistema o,
expresado de otra manera, si dada una frmula del mismo se puede demostrar bien sta o bien su contraria, y nunca
ambas.
c) Decidibilidad. Un sistema formal es decidible si existe un procedimiento mecnico que, mediante un nmero finito de
pasos, puede establecer si una determinada frmula es o no un teorema de dicho sistema. Las tablas de verdad son un
procedimiento de decidibilidad para la lgica proposicional clsica.
De las tres condiciones mencionadas, la fundamental es la consistencia o no existencia de contradiccin interna, pues en
caso de surgir una contradiccin el sistema queda invalidado. Los otros requisitos poseen menor importancia y puede
mantenerse un sistema aunque no se cumplan o, al menos, aunque no resulte evidente su cumplimiento.
El sistema de lgica que hemos estudiado es consistente, completo y decidible.
v)

Principios lgicos: identidad, no contradiccin, tercero excluido.

Los principios lgicos naturales constituyen un determinado nmero de verdades indemostrables y evidentes en s
mismas (axiomas) que, implcita o explcitamente admitidos por todos los seres humanos, constituyen el fundamento de toda
actividad e incluso del razonamiento cotidiano. Podemos destacar:
1. Principio de identidad: Una cosa es idntica a s misma /si dos cosas son idnticas a una tercera, son iguales
entre s. A = A / AA / AA
2. Principio de contradiccin (o no contradiccin): Aristteles lo define como: Es imposible que un mismo
atributo se de y no se de simultneamente en el mismo sujeto y en un mismo sentido / es imposible que una cosa
sea y no sea al mismo tiempo. ( A A)
3. Principio de tercero excluido: Entre el ser y el no ser no existe trmino medio. En lgica se traduce en que, si
una proposicin es verdadera, su contraria tiene que ser falsa; y si una proposicin es falsa, su contraria tiene que
ser verdadera. A A

EJERCICIOS DE FORMALIZACIN
1.

Los animales, como las plantas, son seres vivos.

8

2.
3.
4.

5.
6.
7.
8.
9.
10.
11.
12.

13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.

32.

33.

34.

lgica
El fenmeno de la nutricin separa de una manera tajante los seres vivientes de los no vivientes.
Dos rectas son paralelas si tienen la misma direccin.
Decir que la suma de sucesiones positivas es una sucesin positiva y el producto de sucesiones positivas es una
sucesin positiva equivale a decir que la suma y el producto de dos nmeros reales positivos es un nmero real
positivo.
Perseverando en tus decisiones y no cediendo al desaliento frente a los obstculos comprobars cmo el xito te
sonre.
Si Frankestein cruza nuestras calles, ha de indicar qu y cuntos fines persigue, y si miente, le daremos con las
puertas en las narices, pero si dice la verdad, te invitaremos a cenar.
El hidrxido de aluminio es maleable y, a igualdad de peso, mejor conductor de la electricidad que el cobre.
Por el puente se va a casa, que no por el agua.
El nitrgeno se usa en los laboratorios y reemplaza el aire de ciertos aparatos cuando eL oxgeno es perjudicial en
las operaciones.
Si el hombre es moral, no est determinado unvocamente por el ambiente y cabe exigirle cuenta de sus acciones.
La persona humana tiene creencias sobre multitud de cosas, pero tal multitud no forma un caos, sino que est
organizada psicolgicamente.
Si el Rh de la futura madre es negativo, debe analizarse inmediatamente despus de cada parto la sangre del recin
nacido y, si sta es Rh positivo, ha de administrarse a la parturienta el suero apropiado si se desean evitar
complicaciones a otros posibles hijos.
Si Hume rechaza la causalidad y pone EN Entredicho la existencia del mundo exterior, entonces, si de alguna manera
no recobra dicho mundo, habra que incluirle entre los escpticos.
O la Televisin modifica sus esquemas y renueva su programacin o se producir una huida masiva de
telespectadores y veremos las calles inundadas de gente.
Si se ganan las elecciones y nuestros representantes acceden a! poder, confiaremos en ellos si y slo si cumplan sus
promesas y el poder no les corrompa.
Las lluvias pueden volver o no, pero cuando nosotros estemos lejos del tiempo y del espacio querremos volver a los
aos de juventud.
Si el objetivo de la guerra es destruir o doblegar a otro sistema suprapersonal, entonces hay guerra si y slo si existe
violencia fsica y ruptura de relaciones diplomticas.
Si siembras temprano y podas tardo, cogers pan y vino.
La divisibilidad en nmeros naturales es una relacin de orden, puesto que es reflexiva, antisimtrica y transitiva
Mara es alta o baja.
El camino es largo o corto.
Llueve, hace fro y las calles estn vacas.
No tengo nada.
No ir, si t no vas tambin.
No es cierto que Antonio y Luisa hayan copiado el examen.
Ni Antonio ni Luisa han copiado el examen.
En no habiendo armas, no habr hambre.
Llorar a menos que me apruebes.
Si los elefantes se fugan, entonces el domador se quedar muy triste y los payasos o los nios rompern el saxofn a
menos que los elefantes vuelvan.
Si los alumnos no fuesen tan malos jugando al baloncesto, habran podido ofrecer una mnima resistencia en el
partido contra los profesores.
Si las partculas elementales del tomo se aceleran y se escinden, los "trozos" resultantes no son ni ms pequeos ni
ms ligeros que tales partculas. Si los "trozos" resultantes no son ni ms pequeos ni ms ligeros, las partculas
elementales del tomo son las ltimas unidades representativas de la materia. Las partculas elementales se aceleran
y se escinden. Por tanto, son las ltimas unidades representativas de la materia.
Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus alas y encuentra mi ventana abierta,
pasar, me despertara pero le dar un fuerte tirn de orejas. Si afila sus dientes y la encuentra cerrada, montar en
clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la noche es clara y Drcula encuentra la
ventana abierta o cerrada, le dar un fuerte tirn de orejas.
Si la pena de muerte antepone la defensa de la sociedad a la conservacin de la persona, entonces, si supone la
destruccin total de la persona, imposibilita la correccin del penado. Imposibilita la correccin del penado slo si
es condenable ticamente. La pena de muerte antepone la defensa de la sociedad a la conservacin de la persona.
Por tanto, si la pena de muerte supone la destruccin total de la persona e imposibilita la correccin del penado, es
condenable ticamente.
La fsica cuntica describe la naturaleza a base de observables clsicos o a base de estados abstractos. Si describe la
naturaleza a base de observables clsicos, permite representarse las cosas intuitivamente, pero exige la renuncia a la
causalidad. Si describe la naturaleza a base de estados abstractos, prohbe la representacin intuitiva pero permite
conservar la causalidad. No es cierto que la fsica cuntica prohba la representacin intuitiva y que conserve la
9

35.

36.

37.

38.

39.

40.

lgica
causalidad. Por tanto, no es cierto que si la fsica cuntica representa las cosas intuitivamente, no renuncie a la
causalidad.
Si los habitantes de Venus invaden la Tierra, entonces los hombres se pondrn nerviosos o las mujeres se
entusiasmarn. Si los hombres se ponen nerviosos, las mujeres se entusiasmarn. Por tanto, s los habitantes de
Venus invaden la Tierra, las mujeres se entusiasmarn.
S las autoridades prohben fumar en pipa a los feos, entonces los guapos se alzarn indignados porque no venden
pipas. S los guapos no venden pipas o las autoridades crean nuevos puestos de trabajo, entonces la nacin no saldr
de la crisis econmica. La nacin sale de la crisis econmica y los guapos no venden pipas. Por lo tanto, las
autoridades no prohibirn fumar en pipa a los feos.
Si los filsofos callasen la nieve quemara y los crculos seran cuadrados. Si los crculos fuesen cuadrados, entonces
los matemticos se dedicaran a cazar brujas y las abejas a fabricar acero. Ni los matemticos se dedican a cazar
brujas, ni las abejas a fabricar acero. Por lo tanto, los filsofos no callarn.
Si existieran seres extraterrestres y tuviesen inteligencia, nos habran enviado algn mensaje de salutacin o habran
venido a hacemos alguna visita. Si nos hubiesen visitado, habran presentado pblicamente sus credenciales ante los
humanos. Si hubiesen presentado pblicamente sus credenciales ante los humanos, entonces todos los humanos los
describiran de modo similar. No es cierto que todos los humanos describan a los seres extraterrestres de modo
similar o que stos no tengan necesariamente figura antropomrfica. Los seres extraterrestres no tienen figura
antropomrfica y no nos han enviado ningn mensaje de salutacin. Por lo tanto, si existieran seres extraterrestres,
no tendran inteligencia.
Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara en medio de la plaza y dormira una
plcida siesta. Si el toro se sentase en medio de la plaza, entonces los espectadores se marcharan decepcionados o el
torero se sentira ridculo. Ni el torero se siente ridculo, ni los espectadores se marchan decepcionados. As que el
toro no tiene sentido del humor.
Los apaches se vern obligados a desenterrar el hacha de guerra y dejarn sin cabellera a los colonos si y slo si el
caballo de hierro cruza sus territorios o los tirantes del general Custer no le llegan a los pantalones. Pero si el rostro
plido deja en su casa el tubo de fuego o el caballo de hierro no cruza sus territorios. Los apaches nicamente
bailarn la danza de la lluvia y. en caso de que el rostro plido les visite amistosamente, compartirn la pipa de la
paz con el apache. O es cierto que el rostro plido les visita amistosamente o se conservan todas las cabelleras en su
sitio. Si el rostro plido comparte la pipa de la paz, el humo invadir el Can del Colorado. No es cierto que se
conserven en su sitio todas las cabelleras o que el rostro plido no deje en su casa el tubo de fuego. As pues, si los
tirantes del general Custer no le llegan a los pantalones, los apaches se vern obligados a desenterrar el hacha de
guerra y el humo invadir el Can del Colorado.

EJERCICIOS DE TABLAS DE VERDAD.

Averigua si las siguientes frmulas son tautologcas, contradictorias, o contingentes.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.

A (B A)
( A B) (B A)
A [(A B) C)]
(A B) A
[(A B) (B A)]
B (A B)
(A B) ( A B)
(AB) [(A C) (A (B C)]
(A B) (A B)
A (A (A B)
[(A B) C) [(A C) (C B)]
(AB) [(A C) ( B C)]
(AB) [(A C) ( B C)]
(A B) (B A)
[ A ( B A)]
(A A)
(A B) (A B)
(A B) [( A C) ( C B)]
[A (B B)] A
[(A B) (C D)] [(A C) (B D)]

10

lgica
EJERCICIOS DE DEDUCCIN (I).
Aplicacin de reglas primitivas:
1)

2)
1. p q
2. r s
r q

5)

3)
1. p q
2. r
(p q) v r

6)
1. p (q r)
2. q p
r

9)

7)
1. (p v q) r
2. p
r

10)
1. (p q) r
2. t p
3. t s
rs

13)

17)

pq
pr
qs
rs

18)

12)

19)

24)

25)
1. p q
2. q r
3. p
r

20)

32)

36)

pr
pr
qs
r s

1.
2.
3.

(p q) r
rq
p

1. p (p r)
2. r s
3. r (s p)
q
27)

1. p q
2. (q s) r
3. r s
p

30)

1. p (q r)
2. r
(p q)

31)
1. p q
2. q r
pr

34)
1.
2.
3.
4.
r

37)
1. r (p q)
2. p
q r

23)

26)

33)
1. r p
2. s p
3. q r
qs

1. s r
2. q p
3. q r
ps

1. p (q r)
2. q r
p

1. (p q) r
2. r q
p

Aplicacin de reglas derivadas: modus tollens

28)
29)
21. p q
1. q (p r)
22. q r
2. (p r)
p r
q

1. (p q) r
2. p ( t q)
3. t
r

1. p q
2. p (r t)
3. r q
r

Mtodos de reduccin al
absurdo:

p (q t)
qr
t r
p

16)

22)
1. (p q) r
2. q p
3. (p r) (s q)
r

1.
2.
3.
4.
r

1. p q
2. p (r s)
3. q (s t)
s

1. p q
2. r q
3. r p
pq

21)

1. p r
2. ( q t) p
3. s t
rst

1. p r
2. (q r) s
3. p
s
15)

1.
2.
3.
4.
s

1. (p r) (t s)
2. (p s) r
3. r (s t)
4. t q
sq

8)

11)

14)

1. p r
2. p
3. q
rq

1. p (q r)
2. q ( r t)
3. q (r m)
4. p m
rtm

1. p q
2. q s
s
Modus Tollens

1. p q
2. p r
3. q r
r

4)
1. p q
(p v r) (q v r)

1. p q
2. q r
3. r
p
35)

1. (p q) r
2. p
qr

38)

1. (p q) r
2. (q r) s
ps

39)
1.
2.
3.

(p q) r
p
sr

1.
2.
3.

(p q) r
qr
s p

11

lgica
qr
Aplicacin reglas de De Morgan
40)
1. (p q) r
2. r
pq
43)
1. (p r) r
2. r
pq

qs

41)

42)
1. p (q r)
2. p
(q r)

1. q (p r)
2. q
(p r)

44)

45)
1. p (q r)
2. q
3. r q
p

Aplicacin silogismo disyuntivo

46)
1. p q
2. q
p

1. (p r) q
2. p s
3. r s
q

47)

48)
1. p ( q r)
2. p r
q

49)

1. t s
2. s p
3. p r
tr

50)
1. (p q) r
2. r q
p

51)
1. (p q) r
2. (r q)
3. ( p s) t
t

1. s p
2. s q
3. s r
4. s
[p ( q r)]

EJERCICIOS DE DEDUCCIN (II)

Aplicacin de diferentes reglas y procedimientos.

52)
53)
1. p q
1. (p q) r
2. r p
2. t p
pr
3. t s
rs
56)
57)
1. p (r q)
1. (p q) r
2. r
2. (p q) s
3. q
3. s
p
r
60)
61)
1. (p q)
1. p (q r)
2. ( p q) r
2. q r
3. s r
p
s
64)
65)
1. (p q) r
1. p q
2. r q
2. s q
3. q s
3. r s
ps
pr
68)
69)
1. r p
1. r s
2. r (s q)
2. p s
pq
(p q) (r q)
72)

73)
1.
2.
3.

pq
qs
sq

54)

55)
1. p s
2. r (q p)
(r q) s

58)

59)
1. p (q r)
2. (q r) s
3. s
p

62)

1. (p q) r
2. r (p q)
3. p
p q
63)

1. r ( p q)
p (q r)

66)

1. (p q) r
2. s r
p (q s)
67)

1. (p q) r
2. r
3. q s
ps
70)

1. r s
2. s (p q)
p ( q r)
71)

1. (p q) r
2. s q
3. s p
r
74)

1. (p q) r
2. (s r)
(p t) (q t)

1. s r
2. q r
3. p s
(p q) s

1. p q
2. r q
3. (p r) s
s
75)

1.
2.
3.

pq
(p t)
st

1. p r
2. q s
(p q) (r s)

12

lgica
ps
76)

(p q) (r s)
77)

1. p (q s)
2. r (p q)
3. q
r
80)

78)
1. (p q) r
2. p
qr

81)
1. q s
2. q p
3. s t
pt

84)

82)
1. ( p q)
qs

85)
1.
2.
3.
4.
r

pt
st
sq
(q p) r

88)

rs
s (p q)
rt
t

89)

92)

101)

p q
qr
r s
pt
w t
(w s) u

102)

105)

106)
1. q w
2. (t s) q
3. (m n) (s t)
4. w
5. r (n m)
ru

109)

t s
w u
t w
m
r s
r q

1.
2.
3.
4.
5.
p

p (q r)
mq
sr
( s m) t
t w

1. t (m w)
2. (q r) n
3. w n
4. t r
w

1. p ( r s)
2. s u
3. m n
4. n
5. p q
(u m)

104)
1. (p q) r
(p r) (q r)

107)
1. p m
2. q n
3. (r s)
4. r p
5. s q
(m n)

st
rp
s w
w

100)

103)
1. (p q)
2. (r s) n
3. (u w) (p q)
4. n (u w)
(r s)

1.
2.
3.
4.
q
95)

1.
2.
3.
4.
5.
6.
q
99)

1.
2.
3.
4.
5.
6.
u

1. (m s)
2. u q
3. t q
4. w t
5. m w
(u n)

91)

94)

98)

1. p q
2. r s
3. s q
4. r
p

1. ( p q) r
2. (p r) s
3. p q
s r

1. q q
2. q n
3. n l
4. l r
5. r t
6. p
t

1. n (u w)
2. p q
3. m t
4. q s
5. (r s) t
6. m n
7. p r
wu

1. (p s)
2. p q
3. q p
4. r
(p s) q
87)

90)

93)

96)

83)

1. p q
2. q r
3. p s
4. s
r s

1. p q
2. r q
3. r t
4. (s r)
5. t v
qu

1. (q s) t
2. q r
3. p s
4. t s
pr

1. s q
2. q t
3. t
s

1. (t q)
2. s q
su

86)
1.
2.
3.
4.
q

1. p (q r)
2. p s
3. q
s

79)
1. p ( r q)
2. r (p q)
(p q) r

1. q t
2. t r
3. (r s) p
4. s
p q
108)

1.
2.
3.
4.
p

r (p s)
t k
(t k) r
(s q) q

1. (p s)
2. p (q r)
3. r s
4. (q t) [m (k s)]
(m k)

110)
1.
2.
3.

tm
(u p)
n m

1.
2.

( p r)
(m n)
(s t)

13

lgica
4.
5.
6.
7.
8.
w

(p w)
n s
zu
(r t)
z s

(p r)
3. m u
4. n w
5. (s t)
w u

Decuccin a partir del conjunto vaco de premisas

14

Aula de Filosofa

Ejercicios de lgica proposicional

Autor Eugenio Snchez Bravo
Saturday, 16 de December de 2006
Modificado el Sunday, 18 de February de 2007

Seleccin de ejercicios de Lgica proposicional

- Ejercicios de clculo
XXI de Espaa Editores,

proposicional tomados de Eulalia Prez Sedeo:

1991.

Ejercicios de Lgica, Madrid: s.

- Ejercicios de clculo
proposicional tomados de Pedro Montaner, Hilari Arnau: Teora y
lgica proposicional. 3 ed. Barcelona: Vicens-Vives,
1997

prctica de la

- Ms ejercicios de clculo
proposicional
N
de clculo proposicional tomados de Prez Sedeo, Eulalia: Ejercicios de Lgica, s. XXI.
1
EC, ID, DN, IC
-1 (s -> t) & (r & t)
I- (s -> t) & r
2
EC, ID, DN, IC
-1 (p & q) & (r & s)
I- p & r
3
EC, ID, DN, IC
-1 (p -> q) & (r v q)
I- (p -> q) & ( r v s)
4
EC, ID, DN, IC
-1 p & (q & r)
I- (p & q) & r
5
MP
-1. t -> q
-2. s v r -> v
-3. v & q -> p
-4. t & s
I- p
6
IB
-1. p v q -> (q -> p & q)
-2. r & (p & q -> q)
-3. p
I- q <-> p & q
7
IB
-1. p & (q -> r)
-2. r -> q
I- q <-> r
8
EB
-1. p <-> q
-2. r <-> (p & q)
-3. p
I- r v s
9
EB
-1. p <-> t
-2. s <-> t
-3. (t -> s) <-> q
-4. p
I- p & q
10
IN
-1 p & q -> r
-2 r -> s
-3 q & s
I- p
11
IN
-1 q & (r <-> q)
-2 r -> p
I- r
12
IC
-1 t -> q
-2 w -> r
-3 r & q -> p
I- t & w -> p
13
IC
-1 p -> r
-2 (q -> r)
I- (q -> p)
14
IC
-1 p -> (q -> r)
-2 s -> p & q
I- s -> r
15
IC
-1 p & q -> r
I- p -> (q -> r)
16

Ejercicios

http://www.auladefilosofia.com

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

ED
(144)
- 1 q -> r
- 2 t -> q
- 3 s -> q
I-t v s -> r
17
ED
-1 p -> q
-2 r -> p
-3 t -> r
-4 s -> r
-5 t v s
I- q v w
18
ED
-1 p & (q v r)
I- (p & q) v (p & r)
19
ED
-1 (p v q) v r
I- p v (q v r)
20
REGLAS BSICAS
-1 q -> p
-2 r -> q
-3 r
I- p
21
REGLAS BSICAS
-1 p -> q
-2 s v q -> r
-3 p
I- r
22
REGLAS BSICAS
-1 p <-> (q & r)
-2 q & (r -> s)
-3 p
I- s
23
REGLAS BSICAS
-1 p <-> q
-2 s v t -> p
-3 s
I- q v r
24
REGLAS BSICAS
-1 p
-2 p -> q
-3 p & q -> s
-4 s -> t
I- t
25
REGLAS BSICAS
-1 p
-2 p -> q
-3 ( q -> s)
I- s
26
REGLAS DERIVADAS
-1 p -> q
I- q -> p
27
REGLAS DERIVADAS
-1 p -> q
-2 q
I- p
28
REGLAS DERIVADAS
-1 q & r -> s
-2 s
I- q v r
29
REGLAS DERIVADAS
-1 p -> q & r
-2 q v r
I- p
30
REGLAS DERIVADAS
-1 p v q -> r
-2 r
I- q
31
REGLAS DERIVADAS
-1 p
-2 q -> p
-3 q -> r
I- r v s
32
REGLAS DERIVADAS
-1 p v q
-2 q -> t
-3 t
I- p
33
REGLAS DERIVADAS
-1 r v q
-2 t v s -> r
http://www.auladefilosofia.com

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

-3 q v s
-4 t
I- (t v s)
34
REGLAS DERIVADAS
-1 p v q
-2 t -> p
-3 (q v r)
I- t
35
REGLAS DERIVADAS
-1 p -> s
-2 s v r
-3 (t v r)
I- p
36
REGLAS DERIVADAS
-1 p -> q v r
-2 q -> p
-3 s -> r
I- p -> s
37
IC
-1 p v s
-2 r -> s
I- p -> r
38
IC
-1 (r & s)
-2 q -> s
I- r -> q
39
IC
-1 s -> r
-2 s v p
-3 p -> q
-4 r -> t
I- q -> t
40
IC
-1 s <-> t & p
-2 r -> s
I- r-> t
41
IC
-1 s & (p v t)
-2 t -> q v r
I- p -> (q -> r)
42
IC
-1 p -> q
-2 q -> r
-3 r -> s v t
I- s & t -> p
43
IC
-1 p v q -> (r v s -> t)
I- p -> (r -> t)
44
IC
-1 q -> p
-2 p -> (q -> r)
-3 (r -> s) -> q
I- p -> s
45
IC
(146)
-1 s v p
-2 q -> r
-3 t -> s & r
I- t -> (p v q)
46
IC
(136)
- 1 (r v q) -> p
- 2 t -> (p&m)
-3tvs
I- r -> s
47
IN
-1 (p & q)
-2 r -> p
-3 q -> r
I- p
48
IN
-1 t -> s
-2 r -> t
-3 s v r
I- t
49
IN
-1 (p & q)
-2 q -> r
-3 r -> p
I- r
50
IN
-1 (q v r)
http://www.auladefilosofia.com

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

-2 t <-> p
-3 p v q
I- t
51
IN
-1 s -> p
-2 s v r
-3 (t vr)
I- p
52
IN
-1 p -> q v r
-2 q -> p
-3 s -> r
I- (p & s)
53
IN
-1 r -> s
-2 t & r <-> s
I- r
54
IN
-1 r v q
-2 t v s -> r
-3 q v s
-4 t
I- (t v s)
55
IN
(152)
-1 (p v q) -> (r & s)
-2 r
I- p
56
IN
-1 s -> p
-2 r v p
-3 t -> r
I- s v t
57
IN
-1 p -> q
-2 r -> q
I- (p & q)
58
IN
-1 ( q -> p) & (p -> q)
I- q
59
IN
-1 (p & r)
-2 s -> r
-3 p -> q
I- q v s
60
IN
-1 p -> s v r
-2 p & r
-3 s -> q
I- q v r
61
REGLAS DERIVADAS
-1 p v (q & r)
-2 p & q
I- r v s
62
IC
-1 p -> q
-2 q -> r
I- r -> p
63
IN
-1 p -> q
-2 (p & r) & (r v q)
I- p
Ejercicios
de clculo proposicional tomados de Montaner Pedro
y Arnau Hilari: Teora y prctica
de la lgica proposicional, Vicens-Vives
64
- 1 s -> r
-2svp
- 3 p -> q
- 4 r -> t
I- q -> t
65
- 1 t -> s
- 2 q -> t
-3svq
I- t
66
- 1 (m&n)-> t
- 2 t vs
- 3 (p v s)
I- (m & n)
67
-1qvs
- 2 s
- 3 (r & s) -> q
I- r
68
- 1 p vr
http://www.auladefilosofia.com

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 2 r -> s
- 3 p -> t
- 4 s
I- t
- 2 q -> (m v r)
- 3 (u & p)
- 4 (u & q)
I- u
- 2 (p->r) -> (svq)
- 3 (p & q) -> r
- 4 s
I- q
- 2 q -> s
- 3 m -> (r & s)
- 4 n -> (r & s)
- 5 t -> m
- 6 t -> n
I- p v q
- 2 r -> s
I- r
- 2 w-> (m&s)
- 3 (tvn) ->m
- 4 q <-> t v n
-5s
I- w -> r
- 2 q v s
- 3 (p & r)->t
I- t
- 2 p -> m
- 3 n -> q
-4pvn
I- m
- 2 m -> n
- 3 r -> s
- 4 s -> x
- 5 (p v m)
- 6(r v s)
- 7 (s -> q) -> w
- 8 (n -> x)-> u
I- (w v u)
- 2 (w v m)
- 3 (z v n)
- 4 (mvn) ->t
- 5 (svp)
- 6 (u vq)
I-(r vt)
-2qvw
- 3 ( p & q)
I- p
- 2 r -> q
- 3 p -> r
I- r
-2q
- 3 p -> ( r & s)
I- r & s
- 2 r -> q
- 3 r -> s
I- s vp
- 2 t -> p
- 3 r -> q
I- (p & q) -> (s & t)
-2tvs
- 3 q v s
I- (p v r) -> t
- 2 (p & q) -> r
http://www.auladefilosofia.com

69

- 1 p-> (s v r)

70

- 1 p -> q

71

- 1 p -> r

72
73

- 1 (t & r) <-> s
- 1 (p v q) -> r

74

75

- 1(p->q) & (r -> s)

- 1 (q v t)

76

- 1p -> q

77

78

79

80

- 1 (pvq) ->r

- 1 p -> w

- 1 (p & q)

- 1 p -> q

81

-1p&q

82

-1rvs

83

84

- 1 q -> p

- 1 p -> q
Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 3 (p & r)
I- p
- 2 (q & r)
I- p -> q
- 2(t & q) -> w
- 3 t -> m
-4s
- 5 p v q
- 6 (m & r)
I- p -> w
- 2 q -> m
-3xvt
- 4 t -> (r & s)
- 5 ( s & r )->w
I-(p->q)->(w->x)
- 2 r v (s&t)
- 3 p <-> q
I- p -> s
- 2 s ->u
- 3 m v n
- 4n
-5p&q
I-(u v m)
- 2 (u & p)
- 3 n ->m
- 4(p & w)
- 5 n -> s
- 6 z -> u
- 7 (r v t)
- 8 z -> s
I- w v q
- 2 p v r
- 3 r -> t
I- s v t
- 2 r -> p
- 3 (r &p)
I- t
- 2 s -> q
- 3 r v (s & t)
I- q -> (t &s)
- 2 s -> (p &q)
- 3 r -> t
- 4 t
I- q
- 2 r -> t
- 3 p
I- t & p
- 2 t -> (p&m)
-3tvs
I- r -> s
- 2 t -> (p v r)
- 3 (q v n) -> t
- 4 n
I- p -> q
- 2 r -> (p&q)
- 3 s -> p
- 4 n-> t
I- (r v s) -> n
- 2 p->(q -> r)
- 3 q->( r -> s)
I- p -> s
- 2p v r
- 3 r -> t
I- s v t
- 2 s -> t
http://www.auladefilosofia.com

85

- 1 r -> p
86

- 1(s & r) -> q

87

- 1 m v p

88

89

- 1 (p&q)->r

- 1 p->(rvs)

90

- 1 t -> m

91

- 1 p -> s

92

- 1 t v r

93

- 1 r -> s

94

95

- 1 r -> s

- 1 s v r

96

- 1 (r v q) -> p

97

- 1 r -> n

98

- 1 q -> (mvt)

99

100

101

- 1 p -> q

- 1 p -> s

- 1 (m v n)
Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 3 m -> t
I- (s & q)
- 2 s & m
- 3 p v q
-4q&t
I-(p &t) v (w & r)
103
- 2(t & u)
- 3 (n &p)
- 4 (s & t)
- 5(q & r)
- 6 (u v w)
- 7 (r &s)
- 8 (p &q)
I- m
-2svp
- 3 p -> q
- 4 r -> t
I- q -> t
- 2 q -> t
-3svq
I- t
- 2 t vs
- 3 (p v s)
I- (m & n)
- 2 s
- 3 (r & s) -> q
I- r
- 2 r -> s
- 3 p -> t
- 4 s
I- t
- 2 q -> (m v r)
- 3 (u & p)
- 4 (u & q)
I- u
- 2 (p->r) -> (svq)
- 3 (p & q) -> r
- 4 s
I- q
- 2 q -> s
- 3 m -> (r & s)
- 4 n -> (r & s)
- 5 t -> m
- 6 t -> n
I- p v q
- 2 r -> s
I- r
- 2 w-> (m&s)
- 3 (tvn) ->m
- 4 q <-> t v n
-5s
I- w -> r
- 2 q v s
- 3 (p & r)->t
I- t
- 2 p -> m
- 3 n -> q
-4pvn
I- m
- 2 m -> n
- 3 r -> s
- 4 s -> x
- 5 (p v m)
http://www.auladefilosofia.com

102

- 1 p->(q<->s)

Ms
- 1(m & n)

104

ejercicios de clculo proposicional

- 1 s -> r

105

- 1 t -> s

106

- 1 (m&n)-> t

107

-1qvs

108

- 1 p vr

109

- 1 p-> (s v r)

110

- 1 p -> q

111

- 1 p -> r

112
113

- 1 (p v q) -> r

114

115

116

- 1 (t & r) <-> s

- 1(p->q) & (r -> s)

- 1 (q v t)

- 1p -> q

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

- 6(r v s)
- 7 (s -> q) -> w
- 8(n -> x)-> u
I- (w v u)
- 2 (w v m)
- 3 (z v n)
- 4 (mvn) ->t
- 5 (svp)
- 6 (u vq)
I-(r vt)
-2qvw
- 3 ( p & q)
I- p
- 2 r -> q
- 3 p -> r
I- r
-2q
- 3 p -> ( r & s)
I- r & s
- 2 r -> q
- 3 r -> s
I- s vp
- 2 t -> p
- 3 r -> q
I- (p & q) -> (s & t)
-2tvs
- 3 q v s
I- (p v r) -> t
- 2 (p & q) -> r
- 3 (p & r)
I- p
- 2 (q & r)
I- p -> q
- 2(t & q) -> w
- 3 t -> m
-4s
- 5 p v q
- 6 (m & r)
I- p -> w
- 2 q -> m
-3xvt
- 4 t -> (r & s)
- 5 ( s & r )->w
I-(p->q)->(w->x)
- 2 r v (s&t)
- 3 p <-> q
I- p -> s
- 2 s ->u
- 3 m v n
- 4n
-5p&q
I-(u v m)
- 2 (u & p)
- 3 n ->m
- 4(p & w)
- 5 n -> s
- 6 z -> u
- 7 (r v t)
- 8 z -> s
I- w v q
- 2 p v r
- 3 r -> t
I- s v t
- 2 r -> p
- 3 (r &p)
http://www.auladefilosofia.com

117

118

119

- 1 (pvq) ->r

- 1 p -> w

- 1 (p & q)

120

- 1 p -> q

121

-1p&q

122

-1rvs

123

124

125

- 1 q -> p

- 1 p -> q

- 1 r -> p
126

127

- 1(s & r) -> q

- 1 m v p

128

129

130

131

132

- 1 (p&q)->r

- 1 p->(rvs)

- 1 t -> m

- 1 p -> s

- 1 t v r

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

I- t
- 2 s -> q
- 3 r v (s & t)
I- q -> (t &s)
- 2 s -> (p &q)
- 3 r -> t
- 4 t
I- q
- 2 r -> t
- 3 p
I- t & p
- 2 t -> (p&m)
-3tvs
I- r -> s
- 2 t -> (p v r)
- 3 (q v n) -> t
- 4 n
I- p -> q
- 2 r -> (p&q)
- 3 s -> p
- 4 n-> t
I- (r v s) -> n
- 2 p->(q -> r)
- 3 q->( r -> s)
I- p -> s
- 2p v r
- 3 r -> t
I- s v t
- 2 s -> t
- 3 m -> t
I- (s & q)
- 2 s & m
- 3 p v q
-4q&t
I-(p &t)v(w & r)
- 2(t & u)
- 3 (n &p)
- 4 (s & t)
- 5(q & r)
- 6 (u v w)
- 7 (r &s)
- 8 (p &q)
I- m
-2 t -> q
-3 s -> q
I- t v s -> r
2. - p -> r
3. - q v r
I- p
2. - q -> r
3. - t -> s & r
I- t -> (p v q)
2. - r -> q
3. - r -> s
I- p & s
148
2. - s -> t
3. - s v q
4. - (q v p)-> u
I- u
2. - s -> (p & q)
3. - r -> (t & w)
4. - t
I- q v (m & n)
2. - q -> t
http://www.auladefilosofia.com

133

- 1 r -> s

134

135

- 1 r -> s

- 1 s v r

136

- 1 (r v q) -> p

137

- 1 r -> n

138

- 1 q -> (mvt)

139

140

- 1 p -> q

- 1 p -> s

141

- 1 (m v n)

142

- 1 p->(q<->s)

143

144

- 1(m & n)

-1 q -> r

145

146

1. - (p & q)

1. - s v p

147

1. - p &q

1. - p & t

149

1. - r -> s

150

1.-m-> (p&q)
Potenciado por Joomla!

Generado: 3 September, 2007, 19:24

Aula de Filosofa

3. - p -> s
I- m -> (t & s)
151
2. - q v r
3. - p -> s
I- (s v r)
2. - r
I- p
153
2. - q v r
3.- (r&p)->(s&p)
4.- q
I- s
2.- t->(w v n)
3. - s & w
I- m v n
155
2. - u -> q
3. - t -> q
4. - w -> t
5. - m v w
I- (u & n)
2. - t -> m
3. - (u &w)
4. - (p v z)
5. - r -> q
6. - n -> u
7. - t -> s
8. -(m & n)
9. - r -> s
I-w

http://www.auladefilosofia.com

1. - p & q

152

1. - (p v q) -> (r&s)

1. - p -> q

154

1.- s->(p v t)

1. - (mvs)

156

1. - p -> q

Potenciado por Joomla!

Generado: 3 September, 2007, 19:24