lgebra de Proposiciones

Elementos de lgica proposicional

El lenguaje de la lgica proposicional
Los objetos de estudio de la lgica proposicional son las proposiciones y los razonamientos proposicionales;
ella provee mtodos adecuados para establecer la verdad o falsedad de una proposicin dada, y la validez o invalidez
de los razonamientos proposicionales.
Estos son, a grandes trazos, los dos temas fundamentales que trataremos en el presente captulo, pero antes
necesitamos ponernos de acuerdo sobre cules sern los signos que emplearemos en nuestro lenguaje abstracto.
Como lenguaje nuevo, desde el punto de vista de su formacin, podemos encontrar los siguientes elementos,
que clasificaremos en tres tipos de expresiones lgicas:
a) Variables proposicionales:
b) Conectivas extensionales
c) Signos de puntuacin
Procederemos a la descripcin e identificacin de cada uno de ellos.
Aclaracin: El lenguaje abstracto de la lgica puede construirse con independencia de los lenguajes
interpretados, pero tambin con miras a su aplicacin por la doble va de la abstraccin y la interpretacin. (Ver
diccionario). En ambos casos el resultados ser un lenguaje abstracto en el que habr que distinguir entre las
expresiones propias de ese lenguaje (lgicas ) y las expresiones que usaremos para referirnos a ellas (meta-lgicas)

Las proposiciones
Caracterizacin del vocablo proposicin
El trmino proposicin se ha entendido de muy diversos modos, entre otros la expresin de un juicio, el acto
por el cual se afirma o se niega algo, etc.
Nosotros usaremos el trmino proposicin para referirnos a una estructura lgica de variado grado de
complejidad, integrada por trminos y cuya principal propiedad es la de ser o bien verdadera, o bien falsa.
La proposicin es una construccin mediante al cual se dice algo de las entidades (cosas u objetos
individualizables) designadas por los trminos, mediante la cual informamos que tal cosa es de tal modo o de tal otro.
Cuando nuestra informacin se adecua a la realidad que describe o enuncia, decimos que la proposicin es verdadera,
cuando esto no sucede, decimos que es falsa.
Se nos hace necesario ahora, distinguir el concepto de enunciado o sentencia del de proposicin antes
definido.
Enunciado: es toda oracin significativa, es decir, que expresa un mensaje con sentido y est construida
segn reglas gramaticales de ese lenguaje.
Aparecen entonces, las siguientes reglas de correlacin entre proposicin y enunciado:

Regla 1: distintos enunciados declarativos o sentencias pueden expresar una nica proposicin.
Esta regla se desprende del hecho de que una proposicin declarativa puede ser traducida a distintos idiomas,
precisamente, sobre la base de mantener en todas ellas eso que se quiere transmitir: su alcance y significado.
Inclusive, dentro de un mismo lenguaje dos o ms sentencias distintas pueden expresar una nica proposicin:

ejemplo 1: Todos los hombres son mortales

ejemplo 2: Si un individuo cualquiera es hombre, entonces es mortal
ejemplo 3: Si un individuo cualquiera pertenece a la clase de los hombres, entonces pertenece a la clase de los
mortales

Regla 2: Una proposicin puede ser expresada en uno o varios signos lingsticos
ejemplo: en una sala de espectculos, alguien puede informar el comienzo de un incendio en la sala, gritando
simplemente: Fuego, y esto constituye una proposicin, por ser un discurso en el cual reside lo verdadero o lo falso.

Regla 3: Un mismo enunciado puede conformar diferentes proposiciones

As, el enunciado Voy para all, no constituye la misma proposicin si es expresado por Juan desde el interior
del dormitorio hacia la cocina, que si es dicho por Julia yendo de la cocina al patio de la casa.
Podemos decir entonces que: Los enunciados declarativos, si bien constituyen las formas expresivas ms
cercanas a las proposiciones, no son las proposiciones mismas, sino el vehculo ms corriente de su expresin. Y aqu,
es necesario destacar que no es el nico. La interrogacin, la exclamacin, la exhortacin, la splica etc., pueden
cumplir en ciertos casos la funcin informativa del lenguaje y constituirse en vehculos de las proposiciones, a condicin
de que se haga verdaderamente explcita la informacin que encierran en tales casos y que se puede predicar de ellas
ya la verdad, ya la falsedad.
Por lo dicho precedentemente y a manera de resumen, podemos repetir la definicin de proposicin propuesta
anteriormente:
La proposicin es una estructura lgica de variado grado de complejidad, integrada por trminos y
cuya propiedad fundamental es la de ser o bien verdadera, o bien falsa.

Las funciones proposicionales

Concepto de funcin proposicional
Desde el punto de vista semntico, la caracterstica fundamental de una proposicin predica en el hechos de
que, si el estado de cosas que ella enuncia o declara sucede tal como est afirmado, la proposicin resulta verdadera; si
en cambio sucede de modo distinto al declarado por ella, la proposicin resulta falsa.
De una proposicin podemos decir o bien que es verdadera o bien que es falsa, pero hay ciertos enunciados
cuyo grado de verdad no puede determinarse hasta tanto no se especifiquen ciertos trminos que entran en su
estructura. Estas expresiones reciben el nombre de funciones proposicionales. Tomaremos la definicin propuesta
por B. Russell:
Una funcin proposicional es toda expresin que contiene uno o ms constituyentes indeterminados (x,
y,..), tal que, si fijamos lo que estos constituyentes hayan de ser, el resultado ser una proposicin
Segn la definicin establecida una expresin X es un nmero primo o Un fulano te llam por telfono
donde X y Un fulano son las variables indeterminadas que si se sustituyen por trminos de la categora semntica que
ellas determinan, es decir, X por 5 y un fulano por Juan, por ejemplo, el resultado es una proposicin (ya que de este
ltimo enunciado, s puede predicarse verdad o falsedad)

Las estructuras proposicionales o formas proposicionales

Desde un punto de vista sintctico, las proposiciones se presentan como estructuras integradas por un nmero
finito de trminos, que guardan entre s un cierto orden que queda prescrito por las reglas de la sintaxis lgica y tambin
sobre la base de los enunciados declarativos de que se valen los lenguajes interpretados.

Obtener la estructura lgica de una proposicin equivale a distinguir cules de entre sus trminos son los
trminos lgicos, los no-lgicos, de qu modo los trminos lgicos vinculan a los dems, cul es la funcin lgica de
cada uno de los trminos dentro de la estructura.
Pero tambin, el grado de complejidad de un trmino y de una proposicin, es decir, su estructura, depender
entre otras cosas, del tipo de anlisis a que se lo someta. Un ser humano puede ser estudiado como una unidad o
elemento que integra el compuesto de una estructura social determinada o como un compuesto de rgano y cada
rgano como un compuesto de tejidos y as sucesivamente Algo parecido sucede con las estructuras lgicas donde
pueden darse diferentes puntos de vista o perspectivas que darn lugar a distintos captulos de la lgica como la lgica
proposicional, de trminos y dentro de la ltima, de clases, cuantificacional, de relaciones.. nuestro anlisis se limitar
en este captulo a la lgica proposicional
Aqu, las proposiciones sern consideradas como los elementos indivisibles e inanalizables con los cuales se
obtienen estructuras ms complejas formadas por esos elementos (proposiciones moleculares) y otras estructuras an
ms complejas (los razonamientos proposicionales).
Consideraremos en la estructura de la proposicin, slo las relaciones que los trminos tienen entre si
(dimensin sintctica), dejando de lado tanto los contenidos significativos de sus trminos (dimensin pragmtica) como
las referencias a los objetos que tales trminos nombran, designan o denotan (dimensin semntica).
Para lograr esto, tenemos que pasar del lenguaje descriptivo de las sentencias o enunciados, al lenguaje
abstracto de la lgica; del lenguaje intuitivo a un lenguaje simblico, usar, en fin variables y constantes no descriptivas.
Esto se logra mediante el procedimiento de abstraccin, por el cual vamos logrando el esqueleto, el esquema, el
armazn desnudo de una proposicin, donde los pilares bsicos se presentan con toda claridad. As, el enunciado
proposicional Scrates naci en Atenas y Euclides en Megara, puede ser traducido en nuestro proceso de abstraccin
como una proposicin molecular conjuntiva integrada por dos proposiciones atmicas y vinculadas entre s por la
conectiva extensional y, todo ello, en el anlisis de la lgica proposicional p . q
En suma: la estructura de una proposicin vara si vara la perspectiva desde la cual se la analiza y queda
determinada a) por los trminos lgicos, b) por la categora semntica y sintctica de los trminos no-logicos c) por el
lugar que las reglas de formacin prescriben para cada uno de ellos d) por el orden, cantidad y distribucin de los
trminos lgicos y no-lgicos.

Clasificacin de las proposiciones desde el punto de vista de la lgica proposicional.

Este criterio permite clasificar a las proposiciones en dos grandes grupos: se dividen en atmicas y
moleculares.
Las proposiciones atmicas son las mnimas unidades de las que tiene sentido predicar su verdad o
falsedad. As, por ejemplo : Hoy es domingo es una proposicin atmica.
Considerando las diferentes clases de lenguaje (recordar este concepto), podemos trabajar en un
lenguaje natural o tcnico, esto es, lenguaje de oraciones, como en el ejemplo citado, o en un lenguaje
simblico o formal y en este ltimo caso identificaremos: variables proposicionales, es decir, lugares en los
que pueden ubicarse cualesquiera proposiciones y que se simbolizan con las letras p, q, r, s, etc. Y
variables de frmulas proposicionales, pues, al sustituirlas por constantes, en ellas se ubicarn frmulas
proposicionales (ver ms adelante este concepto), y que se simbolizan con las letras mausculas A, B, C,
D, etc.
Las proposiciones moleculares estn compuestas por una o ms atmicas y su valor de verdad, es
decir, el ser verdaderas o falsas, est en funcin o es funcin (depende) del valor de verdad de las proposiciones
atmicas componentes (que la estructuran) Por ejemplo Hoy es domingo y hace mucho fro es una proposicin
molecular integrada por dos proposiciones atmicas Hoy es domingo , y Hoy hace fro.
Esto es as porque en la estructura de una proposicin molecular aparece siempre una conectiva extensional
(funcin de verdad), que, en estos casos, son constantes lgicas interproposicionales.
Cada conectiva extensional determina un tipo de proposicin molecular que lleva su nombre. As tendremos:
a) Negativas: Algunas plantas no tienen flores
b) Conjuntivas: Llueve y hace fro
c) Disyuntivas exluyentes: Pedro es casado o soltero

d) Disyuntivas incluyentes: Pedro es estudiante o profesor

e) Condicionales o hipotticas: Si obtengo buen promedio entonces apruebo el ao
f) Bicondicionales: Pedro es soltero, si y slo si, no es casado

Determinacin del valor de verdad de las proposiciones

La lgica no puede determinar la verdad o falsedad de las proposiciones atmicas, slo la experiencia, por
ejemplo, observar un termmetro, puede determinar el valor de verdad de la proposicin Hoy hace mucho fro, pero
en cambio, la proposicin molecular ser verdadera o falsa segn lo sean las atmicas que la componen. En este
ejemplo: Hoy es domingo y hace mucho fro ser verdadera s y solo si es verdad que Hoy es domingo y es verdad
que Hoy hace mucho fro. Bastara que una de las dos atmicas fuese falsa para que la proposicin molecular en su
conjunto fuera falsa.
La mayor parte de las proposiciones moleculares est compuesta por dos o ms atmicas, pero existe un tipo
de proposicin molecular, la proposicin negativa, que est compuesta por una nica proposicin atmica. Por ejemplo,
Pichi no es un tigre es una proposicin molecular compuesta de la proposicin atmica Pichi es un tigre. Est claro
que el valor de verdad de la proposicin molecular est en funcin del valor de verdad de la atmica: la molecular ser
verdadera cuando la atmica sea falsa y ser falsa cuando la atmica sea verdadera (volveremos a este concepto).
En conclusin, todas las proposiciones moleculares poseen esta caracterstica definitoria: su valor de verdad
depende del valor de verdad de las atmicas. Esta caracterstica se denomina extensionalidad y se dice de las
proposiciones moleculares que constituyen funciones de verdad.

Enunciados y conectivos lgicos

Enunciados simples y compuestos

Enunciado simple es aquel que no contiene ningn otro enunciado como parte constituyente de s mismo. Por
ejemplo Carlos es aseado es un enunciado simple. Un enunciado compuesto es aquel que contiene otro enunciado
como parte constituyente de s mismo. Por ejemplo Carlos es aseado y Carlos es suave es un enunciado compuesto,
pues contiene dos enunciados simples como constituyentes de un enunciado compuesto. Claro est que las partes de
un enunciado compuesto pueden ser ellas mismas compuestas.
Los enunciados compuestos, a su vez, pueden dividirse en mondicos o unarios, cuando el valor de verdad
est en funcin del valor de verdad de la atmica que le contina o de la frmula alcanzada por dicha negacin (que es
el nico conectivo mondico que encontramos), tal como veremos a continuacin y didicos o binarios, cuando el valor
de verdad del enunciado compuesto resultante est determinados por el valor de verdad de las dos expresiones o
frmulas que son vinculadas con ese conectivo binario en particular.
A.- La Conjuncin:
El primer tipo de enunciados compuesto que examinaremos es la CONJUNCIN Cuando dos enunciados se
combinan mediante la palabra Y, el enunciado compuesto resultante es una conjuncin y los dos enunciados que se
combinan son llamados conjuntivos. As el enunciado compuesto Carlos es aseado y Carlos es suave es una
conjuncin cuyo primer conjuntivo es Carlos es aseado y cuyo segundo conjuntivo es Carlos es suave.
Advertencia: La palabra y tiene otros usos adems del de conectar enunciados. Por ejemplo, el enunciado
Borges y Bioy Casares eran contemporneos no es una conjuncin sino un enunciado simple que expresa una
relacin.
Smbolos de la conjuncin: . ,

Valor de verdad de los enunciados

Puesto que todo enunciado es verdadero o falso, todo enunciado tiene un valor de verdad: el valor de verdad
de un enunciado verdadero es verdadero y el de un enunciado falso es falso. Dividimos los enunciados compuestos en
dos categoras diferentes, segn que el valor de verdad del enunciado compuesto quede o no totalmente determinado
por los valores de verdad de sus componentes. Por ejemplo, el valor de verdad del enunciado compuesto Otelo cree
que Desdmona ama a Casio es totalmente independiente del valor de verdad del enunciado simple que lo compone
Desdmona ama a Casio pues las creencias a veces son erradas. Pero existe una conexin necesaria entre el valor
de verdad de una conjuncin y los valores de verdad de sus componentes.

Valor de verdad de la conjuncin:

Una conjuncin es verdadera si ambos componentes son verdaderas, y falsa en caso contrario Todo
compuesto cuyo valor de verdad est determinado en forma total por los valores de verdad de sus componentes recibe
el nombre de enunciado compuesto funcional veritativo.
Dados dos enunciados p y q hay solamente cuatro conjuntos posibles de valores de verdad que se les puede
asignar, donde el valor de verdad de un enunciado verdadero es verdad y el valor de verdad de un enunciado falso es
falsedad Estos cuatro casos posibles y el valor de verdad de la conjuncin en cada uno de ellos pueden exponerse de
la siguiente forma:
si p es verdadero y q es verdadero, p.q es verdadero
si p es verdadero y q es falso, p.q es falso
si p e verdadero y es falso, p . q es falso
si p es verdadero y q es falso, p . q es falso
Si representamos los valores de verdad verdad y falsedad mediante letras maysculas V y F , la
determinacin del valor de verdad de una conjuncin por los valores de verdad de sus conjuntivos puede representase
ms brevemente por medio de una tabla de verdad de la manera siguiente:
p
v
f
v
f

q
v
v
f
f

p.q
v
f
f
f

Puede considerarse que esta tabla de verdad define el smbolo de la conjuncin, puesto que explica cules son
los valores de verdad que asume p . q en todos los casos posibles.
Aclaraciones: Algunas conjunciones cuyos compuestos tienen el mismo trmino sujeto - por ejemplo Juan
era abogado y Juan era profesor- se expresan de manera ms breve y natural en castellano colocando el y entre los
trminos predicados sin repetir el trmino sujeto, as, Juan era abogado y profesor y se simboliza como p . q. Si
ambos compuestos de la conjuncin tienen el mismo trmino predicado, como San Martn fue un gran estratega militar
y Bolvar fue un gran estratega militar habitualmente la conjuncin se expresa en castellano colocando el y entre los
trminos sujeto sin repetir el predicado San Martn y Bolvar fueron grandes estrategas militares. Aqu tambin, la
simbologa correspondiente es p . q
Advertencia: la palabra Y tiene otro uso adems de significar una conjuncin funcional - veritativa, sino que
tiene tambin el sentido de y entonces que tiene el significado de una sucesin temporal, como vemos ms adelante.
Y hay una gran diferencia entre Se sac los zapatos y se meti a la cama y Se meti a la cama y se sac los
zapatos.
Debe observarse que las palabras castellanas pero, aunque, sin embargo, no obstante etctera, pueden
tambin servir para unir conjuntivamente dos enunciados en uno solo en sentido conjuntivo.

B.- La negacin ( o el contradictorio)

La negacin o el contradictorio de un enunciado se forma a menudo en castellano insertando un no en el

enunciado original. Tambin es posible expresar la negacin de un enunciado en castellano anteponindole la frase es
falso que o no se da el caso de que. Se acostumbra usar el smbolo (llamado Tilde ) para expresar la negacin
de un enunciado. De este modo, si p simboliza el enunciado todos los hombres son mortales, los diversos
enunciados No todos los hombres son mortales, Es falso que todos los hombres sean mortales, Algunos hombres
no son mortales, No se da el caso de que todos los hombres sean mortales, etctera, pueden simbolizarse todos
indistintamente como p. Es obvio que el tilde es un operador funcional - veritativo.
Smbolos utilizados: , , -
Valor de verdad
La negacin de todo enunciado verdadero es falsa y la negacin de todo enunciado falso es verdadera. Este
hecho puede expresarse muy simplemente por medio de una tabla de verdad:
p
v
f

-p
f
v

Esta tabla de verdad puede ser considerada como la definicin del smbolo de negacin. Y por todo lo
expuesto, es obvio que es el nico conectivo mondico o unario que encontramos.

C.- La Disyuncin
La disyuncin (o alteracin) de dos enunciados se forman castellano insertando la palabra o entre ellos. Los
dos enunciados constituyentes combinados de este modo son llamados los disyuntos (o alternativos)
La palabra castellano o es ambigua, pues tiene dos significados que, aunque relacionados entre s, son
distinguibles. Uno de ellos lo ejemplifica el enunciados No se otorgarn primas en caso de enfermedad o desempleo;
aqu, la intencin, obviamente es afirmar que las primas se niegan no solamente a personas enfermas o a personas sin
empleo, sino tambin a las que al mismo tiempo estn enfermas y sin empleo. Este sentido de la palabra o es
llamado el sentido dbil o inclusivo Una disyuncin inclusiva es verdadera si uno de los disyuntos a ambos son
verdaderos; solamente en caso de que sean ambos falsos, sea falsa la disyuncin inclusiva. El o inclusivo tiene el
sentido de uno u otro, posiblemente ambos Cuando se quiere precisin, como en los contratos y otros documentos
legales, se hace explcito este sentido mediante el uso de la expresin y/o
La palabra o tambin se usa en un sentido fuerte o exclusivo, cuyo significado no es al menos uno sino
al menos uno y a lo sumo uno. Si en el men de precio fijo de un restaurante se indica ensalada o postre, lo que se
quiere significar es que, por el precio de la comida, el comensal puede elegir uno y otro, pero no ambos . Si una madre
sucumbe a los requerimientos de su hijo y le da permiso para que tome una masita o un pedazo de torta, el nio que
se sirviera ambos sera un nio atrasado o desobediente. Cuando se requiere precisin y se usa el o en un sentido
exclusivo, suele agregarse la expresin pero no ambos.
Interpretamos la disyuncin inclusiva de dos enunciados en el sentido de que afirma la verdad de al menos uno
de los enunciados, y su disyuncin exclusiva como si afirmara que al menos uno de los enunciados es verdadero, pero
no lo son ambos. Observamos aqu que los dos tipos de disyuncin tienen una parte de significado comn. Este
significado comn es parcial, segn el cual al menos uno de los disyuntivos es verdadero, pero constituye todo el
significado del o inclusivo y parte del significado del o exclusivo.
Smbolo de la disyuncin inclusiva: v.
Valor de Verdad:
Si p y q son dos enunciados cualesquiera, su disyuncin inclusiva es tambin un conectivo funcional veritativo. Una disyuncin dbil es falsa solamente si ambos disyuntivos son falsos. Podemos considerar que el o
queda definido por la siguiente tabla:

p
v
f
v
f

q
v
v
f
f

pvq
v
v
v
f

Smbolo de la disyuncin exclusiva: , , w, v

Valor de verdad de la disyuncin exclusiva:
En general, el sentido en el cual se usa o slo puede quedar revelado mediante un minucioso examen del
contexto o mediante una pregunta explcita dirigida al que habla o al que escribe. Podemos evitar este problema, que
en el mejor de los casos es difcil de resolver y a menudo imposible, si convenimos en tratar toda aparicin de la palabra
o como inclusiva. Si se aclara explcitamente que se atribuye a la disyuncin el sentido exclusivo, mediante el
agregado de la expresin pero no ambos, por ejemplo, tambin disponemos del aparato simblico apropiado para
indicar este sentido adicional.

p
v
f
v
f

q
v
v
f
f

pwq
f
v
v
f

Aclaraciones: Cuando los dos componentes de la disyuncin tienen el mismo trmino sujeto o el mismo
trmino predicado, es natural reducir la formulacin de su disyuncin en castellano colocando la palabra o de tal modo
que no haya necesidad de repetir la parte comn de los dos componentes. As, Prez es el propietario o Prez es el
gerente tambin puede ser expresado Prez es el propietario o el gerente y uno y otro se hallan adecuadamente
simbolizados como p v q. Y Juan es el culpable o Pedro es el culpable a menudo se expresar como Juan o Pedro
es el culpable, ambos se simbolizan por p v q Debe observarse que tambin puede usarse la expresin a menos que
para formar la disyuncin de dos enunciados. As, el pic-nic se har a menos que llueva y A menos que llueva, el picnic se har, pueden expresarse tambin como el pic-nic se har o llover; su simbolizacin es p w q .

D- Enunciados condicionales e implicacin material

Si se combinan dos enunciados colocando la palabra si antes del primero e insertando entre ellos la palabra
entonces, el enunciado compuesto resultante es un condicional (tambin llamado un enunciado hipottico, una
implicacin o un enunciado implicativo) En un condicional, el componente que se halla entre el si y el entonces es
llamado el antecedente (o el implicante, o tambin - ms raramente - la prtasis) y el componente que sigue a la palabra
entonces es el consecuente (o el implicado). Por ejemplo, Si el seor Juan es el vecino que vive en la casa que est al
lado de la del guarda, entonces el seor Juan gana exactamente tres veces lo que gana el guarda es un enunciado
condicional en el cual El seor Juan es el vecino que vive en la casa de al lado del guarda es el antecedente, y El
seor Juan gana tres veces lo que gana el guarda es el consecuente.
Valor de verdad:
Un enunciado condicional afirma que su antecedente implica su consecuente. No afirma que su antecedente
sea verdadero, sino solamente que si el antecedente es verdadero, entonces su consecuente tambin es verdadero.
Tampoco afirma que el consecuente sea verdadero, sino solamente que su consecuente es verdadero si el antecedente
lo es. El significado esencial de un enunciado condicional reside en la relacin de implicacin que se afirma entre el
antecedente y el consecuente, en este orden. Para comprender el significado de un enunciado condicional, debemos
comprender qu es una implicacin.
Diferentes significados de la implicacin:
Surge la posibilidad de que quiz la palabra implicacin tenga ms de un significado. Ser conveniente
distinguirlos.
Comencemos por anotar una serie de enunciados condicionales diferentes, cada uno de los cuales parece
afirmar un tipo diferente de implicacin y cada uno de los cuales corresponde a un sentido diferente de si- entonces.
A. Si todos los hombres son mortales y Scrates es hombre, entonces Scrates es mortal
B. Si el seor Gmez es soltero, entonces, el seor Gmez no est casado

C. Si se coloca en un cido papel de tornasol azul, entonces el papel de tornasol se volver rojo
D. Si nuestro equipo pierde el partido, entonces me como el sombrero

Hasta una inspeccin rpida de estos cuatro enunciados condicionales revela que son de tipos muy diferentes.
El consecuente de A se desprende lgicamente de su antecedente, mientras que el consecuente de B slo se
desprende de su antecedente por la definicin del trmino soltero que significa hombre no casado. La conexin del
consecuente de C debe descubrirse empricamente, pues la implicacin formulada en este caso es causal. Finalmente,
en relacin con el enunciado D, el mismo comunica una decisin del orador de comportarse de cierta manera en
determinadas circunstancias.
Los cuatro enunciados condicionales examinados en el prrafo precedente difieren en que afirman distintos
tipos de implicacin entre sus antecedentes y sus consecuentes. Pero no son totalmente diferentes; todos afirman
algn tipo de implicacin. Deberemos ahora resolver si hay algn significado comn de todos los tipos de implicacin
que sea al menos una parte del significado de los mismos.
Una manera de enfocar este problema consiste en preguntarse cules seran las circunstancias que bastaran
para establecer la falsedad de un determinado enunciado condicional
Retomando el enunciado C de nuestro ejemplo, que estableca una relacin causal, comprendemos que el
mismo no afirma que se coloca realmente un papel azul de tornasol en la solucin, ni tampoco que cualquier papel azul
de tornasol se vuelve realmente rojo. Simplemente afirma que si se coloca papel de tornasol azul en la solucin,
entonces el papel se volver rojo. Se demuestra que es falso en caso de que se coloque realmente papel de tornasol
azul en la solucin y no se vuelva rojo. La prueba de la falsedad de un enunciado condicional puede hacerse cuando su
antecedente es verdadero, pues si su consecuente es falso mientras su antecedente es verdadero, queda demostrada
la falsedad del enunciado condicional mismo.

Valor de verdad:
Se sabe que un enunciado condicional Si , p entonces q es falso, en caso de que la conjuncin p . -q sea
verdadera, es decir, en caso de que su antecedente sea verdadero y su consecuente falso. Para que sea verdadero un
condicional, pues, debe ser falsa la conjuncin indicada, esto es, debe ser verdadera su negacin -(p . - q) . En otras
palabras, para que un condicional sea verdadero, debe ser tambin verdadera - (p . -q ), la negacin de la conjuncin
de su antecedente con la negacin de su consecuente. Por lo tanto, podemos considerar a - (p . -q) como parte del
significado de Si p, entonces q.
El significado de todo enunciado condicional incluye la negacin de que su antecedente sea verdadero y su
consecuente sea falso, pero ste no tiene por qu ser todo su significado. Un condicional como el del ejemplo A afirma
tambin una conexin lgica entre su antecedente y su consecuente, el B afirma una conexin de carcter definitorio, el
C una conexin causal y el D una conexin en la que est en juego una decisin. Pero sea cual fuere el tipo de
implicacin afirmado por un enunciado condicional, parte de su significado es la negacin de la conjuncin de su
antecedente con la negacin de su consecuente.
Smbolos del condicional: , ,
Introduciremos ahora un smbolo especial para representar este significado parcial comn de la expresin sientonces. Definiremos el nuevo smbolo (llamado herradura) considerando a p q como una abreviatura de - (p .
-q). La significacin exacta del mismo, puede indicarse mediante una tabla de verdad
p
v
f
v
f

pq
v
v
f
v

q
v
v
f
f

La implicacin material como quinto significado

Hay varios significados de si entonces que quedan denotados por la tabla enunciada, pero el smbolo
abrevia - (p . -q) , que est incluido en el significado de los diversos tipos de implicacin considerados, pero que no
constituye el significado total de ninguno de ellos.
Podemos considerar que este smbolo representa otra clase de implicacin, que los lgicos llaman implicacin
material y al darle un nombre especial, reconocen que se trata de una nocin espacial.
Esta constituye un quinto tipo que tambin puede ser considerada en el lenguaje ordinario. Consideremos la
frase Si Hitler era un genio militar, entonces yo soy el to de un mono. Aqu no hay ninguna de las conexiones ya
vistas, sino que un condicional de este gnero, a menudo es usado como una manera enftica o jocosa de negar su
antecedente. Habitualmente, el consecuente de tales enunciado hipotticos es obvio y ridculamente falso. Y puesto que
ningn condicional verdadero puede tener un antecedente verdadero y un consecuente falso, afirmar tal enunciado
equivaldra a negar que su antecedente sea verdadero. El significado pleno de este condicional parece consistir en la
negacin de que Hitler era un genio militar sea verdadero cuando yo soy el to de un mono sea falso. Y puesto que
el ltimo es obviamente falso, debe entenderse el condicional en el sentido que niega el primero.
La implicacin material no sugiere ninguna conexin real entre el antecedente y el consecuente. Todo lo que
se afirma es que de hecho no se da el caso de que el antecedente sea verdadero cuando el consecuente es falso. Debe
observarse que el smbolo de la implicacin material es un conectivo funcional - veritativo, al igual que los smbolos para
la conjuncin y la disyuncin.
Algo ms sobre la tabla de verdad del condicional
La extraeza que a veces provoca su tabla, puede disiparse, al menos en parte, con el siguiente ejemplo.
Puesto que el nmero 2 es menos que 4 (simblicamente 2 4), se sigue que todo nmero menor que 2 es menor que
4. La frmula condicional: Si x 2 entonces x 4 es verdadera cualquiera que sea el nmero x. Si tomamos los
nmero 1,3 y 4 y reemplazamos la variable numrica x en la frmula condicional anterior por cada uno de ellos
sucesivamente, podemos hacer las siguientes observaciones:
En Si 1 2 entonces 1 4 tanto el antecedente como el consecuente son verdaderos, y por supuesto, el
condicional es verdadero.
En Si 3 2 entonces 3 4, el antecedente es falso y el consecuente es verdadero, y por supuesto, el
condicional es tambin verdadero.
En Si 4 2 entonces 4 4 tanto el antecedente como el consecuente son falsos, pero el condicional es
verdadero. Estos tres casos corresponden a las filas primera, tercera y cuarta de la tabla que define el condicional.
Luego, no hay nada de particularmente notable o sorprendente en que un condicional sea verdadero cuando son
verdaderos el antecedente y el consecuente, cuando el antecedente es falso y el consecuente verdadero o cuando el
antecedente y el consecuente son falsos. Por supuesto que no hay ningn nmero que sea menor que 2 pero no sea
menor que 4, esto es, no hay ningn enunciado condicional verdadero con un antecedente verdadero y un consecuente
falso, esto es exactamente lo que establece la tabla enunciada.
Todos los tipos de enunciados condicionales trabajados por nosotros sern abarcados por la misma tabla de
verdad porque la validez de los mismos permanece inalterable aunque se ignoren los significados adicionales de sus
enunciados condicionales. Aqu, la demostracin:
Es posible expresar los enunciados condicionales de diversas maneras. El enunciado: Si tiene un buen
abogado, entonces ser absuelto, tambin puede ser expresado sin usar la palabra entonces, del siguiente modo: Si
tiene un buen abogado, ser absuelto. El orden del antecedente y el consecuente puede estar invertido, siempre que el
si preceda inmediatamente al antecedente. Por ejemplo: Ser absuelto, si tiene un buen abogado. Claro est que en
cualquiera de las anteriores oraciones, la palabra si puede ser reemplazada por expresiones tales como en caso de
que, siempre que, dado que, o a condicin de que sin ningn cambio de significado
Implicacin y condicin necesaria y suficiente
Los conceptos de condicin necesaria y suficiente brindan otras formulaciones de los enunciados
condicionales. Para cualquier suceso especfico, existen muchas circunstancias que son necesarias para que se
produzca. As, para que un automvil funcione, es necesario que tenga nafta en el tanque, sus bujas de encendido se
abran adecuadamente, su bomba de aceite trabaje, etctera. As, si el suceso se produce, es por que se dan todas las
condiciones necesarias para ello. Por consiguiente el enunciado Que tenga nafta en el auto es una condicin
necesaria para que el automvil funcione, tambin puede ser expresado as: El automvil slo funciona si tiene nafta
en el tanque, que es otra manera de decir que Si un automvil funciona, entonces tiene nafta en el tanque

Para una situacin especfica, hay muchas circunstancias alternativas, cualquiera de las cuales es
SUFICIENTE para producir esa situacin. As, para que una bolsa contenga ms de un peso, ser suficiente que
contenga diez monedas de diez centavos, veinte monedas de cinco centavos, cuatro monedas de veinticinco centavos.
Si de da cualquiera de estas circunstancias, la situacin especificada se producir. Por consiguiente, decir que la bolsa
contiene cinco monedas de veinticinco centavos es una condicin suficiente para que contenga ms de un peso
equivale a decir que si la bolsa contiene cinco monedas de veinticinco centavos, entonces contiene ms de un peso.
No todo enunciado que contenga la palabra si es un condicional. Ninguno de los siguientes lo es: Hay comida
en la heladera, si quiere; La mesa est servida, si deseis, La reunin se har, an si no se obtiene el permiso. La
presencia o ausencia de palabras particulares no es nunca decisiva. En cada caso se debe comprender el significado
de la oracin dada.

E.- El bicondicional
Son proposiciones que expresan la equivalencia o mutua implicacin entre sus componentes. Por ejemplo:
Ingresa a la facultad si y slo si aprueba el examen. Esta proposicin significa: Si ingresa a la facultad, entonces
aprueba el examen y si aprueba el examen, entonces ingresa a la facultad.
Smbolos: , , .
Valor de verdad
Las proposiciones bicondicionales son verdaderas si y slo si ambos componentes tienen el mismo valor de
verdad.
La tabla de verdad del bicondicional es la siguiente:
p
v
f
v
f

p q
v
f
f
v

q
v
v
f
f

Adems de si y slo si, se simbolizan con el bicondicional las siguientes expresiones: Cuando y slo
cuando, Es equivalente a, es condicin necesaria y suficiente para, etc.

Los signos de puntuacin

En lgica simblica, los parntesis, corchetes y llaves se usan como signos de puntuacin, que son el tercer
elemento necesario para construir expresiones lgicas, ya que funcionan como smbolos auxiliares. Puede verse que
punteando de distintas maneras la expresin original se obtienen resultados diferentes si se considera el caso en que
agrupando una expresin cualquiera, por ejemplo p . ( q v r) , o as (p . q ) v r se obtienen resultados diferentes si la
variable p es falsa y q y r son ambas verdaderas.
En pro de la brevedad, es decir, para disminuir el nmero de parntesis, es conveniente establecer la
convencin de que en cualquier frmula se entender que el signo de la negacin se aplica al enunciado mnimo que la
puntuacin permita. Si hacemos esta convencin, la frmula -p v q significa (-p) v q , es decir, que la negacin se
aplica al primer constituyente y no a ambos.
El valor de verdad de los enunciados compuestos que se obtienen a partir de enunciados simples mediante el
uso repetido de los conectivos funcional-veritativos, el punto, la tilde y la disyuncin, queda completamente determinado
por la verdad o falsedad de los enunciados simples que los componen. Si conocemos los valores de verdad de los
enunciados simples que los constituyen, podemos discernir fcilmente el valor de verdad de cualquier compuesto que
sea una funcin de verdad de los primeros. Para hacer el proceso, comenzaremos siempre con los constituyentes
interiores y procederemos hacia afuera, como veremos ms adelante.

10

Simbolizacin de proposiciones y tablas de verdad

Hasta ahora se han simbolizado proposiciones atmicas y moleculares en las que aparece una sola conectiva:
la conjuncin, la disyuncin, etc. Ahora presentaremos la manera de simbolizar proposiciones moleculares, en general,
que combinan ms de una conectiva. As, por ejemplo, la proposicin No fue al cine, pero concurri al teatro, incluye
una negacin y una conjuncin; la negacin afecta a la primera proposicin solamente, en este caso. Esta proposicin
se simboliza: -p . q. Pero si consideramos la proposicin No es cierto que fui al cine y al teatro, se advierte que la
negacin afecta a la conjuncin en su conjunto; esta proposicin se simboliza - ( p . q ). Los parntesis, corchetes y
llaves indican el alcance de una conectiva, de modo similar como en matemtica indican el alcance de una operacin.
Por ejemplo, la proposicin si estudia mucho y tiene buena suerte entonces aprobar el examen, es una proposicin
condicional, cuyo antecedente es una conjuncin, por lo tanto se simboliza (p.q) r; sera incorrecto simbolizarla p .
( q r). La proposicin No es verdad que si ensanchan la avenida y pasa la autopista, las casas sern derribadas, es
un poco ms compleja; obsrvese que lo que no es verdad es que si ensanchan la avenida y pasa la autopista, las
casas sern derribadas; es decir, la negacin afecta todo lo que sigue a ella, y lo que sigue a ella es una proposicin
condicional cuyo antecedente es una conjuncin. Esta proposicin se simboliza: -[ ( p . q ) r ].
Cuando una proposicin atmica se repite, debe repetirse la variable proposicional que la simboliza. Por
ejemplo, la proposicin Michi comi y no comi la carne se simboliza p . -p. Por su parte, la proposicin Eduardo fue
al cine o no fue al cine, se simboliza p v -p. La proposicin , No es el caso que Pedro estudia y no estudia es una
proposicin de la forma -( p . -p). Las frmulas obtenidas se llaman formas proposicionales.
Valindose de las tablas de verdad de las conectivas que conocemos se puede hallar la tabla de verdad de
cualquier forma proposicional, por complicada que sea.. Supongamos una forma proposicional relativamente simple
como -p . q.
Tautologas, contradicciones y contingencias
Algunas tablas de verdad dan por resultado final todos valores V, otras dan por resultado todos valores F y un
tercer grupo alterna en su resultado final, valores V y F. Se dice que las primeras son formas proposicionales
tautolgicas, las segundas contradictorias y las terceras contingentes.
Este hecho tiene una gran importancia porque nos indica que hay proposiciones que son verdaderas
cualesquiera fueren los valores de verdad de sus componentes; otras que son falsas en las mismas condiciones y otras
cuya verdad no puede determinarse formalmente.
Las Tautologas son formas proposicionales que corresponden a proposiciones lgicamente verdaderas, es
decir, verdaderas por su sola forma lgica e independientemente del contenido informativo de las proposiciones
atmicas que las componen. Toda tautologa es por esta razn, una proposicin analtica y lgicamente determinable:
su verdad puede decidirse por mtodos puramente lgicos. Por ejemplo, - (p . -p) , constituye una forma tautolgica, al
reemplazar p por una proposicin atmica se obtiene siempre una proposicin verdadera: No es cierto que Juan viaj
a Japn y no viaj a Japn, etctera.
Las tautologas no estn asociadas siempre a una determinada conectiva, sino que resultan de ciertas
combinaciones de conectivas. De las tautologas se ha dicho:
..no por ser vacas de contenido las tautologas son intiles: en muchos casos su verdad formal no es evidente, y se
requiere un detenido examen para advertirla. Adems, si descubrimos que un enunciado encierra una tautologa
dejaremos de inmediato de discutir sobre ella, perderemos inters en la averiguacin de sus presupuestos empricos
(ya que no los tiene) y - lo que es ms importante - podremos utilizarla como puente para razonamientos ms
complejos. Por esto la lgica trata muy especialmente sobre las tautologas, y por esto empleamos hoy mquinas - las
computadoras - que son formidables constructoras de relaciones tautolgicas: dados un programa y los datos con que
se la alimenta, la mquina produce una respuesta que resulte formalmente verdadera bajo condicin de la verdad de
aquellas premisas
(Lgica, proposicin y norma Dechave y otros. Astrea, Ba. As. 1980)

Las Contradicciones son formas proposicionales que corresponden a proposiciones lgicamente falsas, es
decir, falsas por su sola forma lgica. Por ejemplo, p . -p constituye una forma proposicional contradictoria; al
reemplazar p por una proposicin atmica cualquiera se obtiene una proposicin falsa: Llueve y no llueve, por
ejemplo
Las Contingencias son formas proposicionales que corresponden a proposiciones lgicamente
indeterminadas, es decir, proposiciones que son verdaderas o falsas por razones fcticas, pero no por su sola forma
lgica.

11

Si la tabla de verdad de una proposicin alterna la verdad y la falsedad, ya no hay mtodos lgicos para
asignarle a la proposicin un valor con preferencia a otro; esto es, la comprobacin de su verdad (o falsedad) depende
de circunstancias fcticas. La verificacin de una proposicin contingente es asunto extra-lgico; a diferencia de las
tautologas y las contradicciones, que son lgicamente determinables, de las contingencias se dice que son lgicamente
indeterminables.
Por ello, la verdad (o falsedad) de una contingencia va a depender primordialmente de la verdad (o falsedad )
de sus componentes.
As por ejemplo, la proposicin Si mi perro viene, entonces no viene no es una contradiccin como a primeras vistas
parece, sino una contingencia, y ser falsa slo en el caso de que el antecedente Mi perro viene, sea verdadero. En
cambio, si este antecedente es falso, la expresin es verdadera

Las leyes lgicas

Definicin: ley lgica es toda forma proposicional tal que, si sustituimos sus variables, por constantes
descriptivas de la categora semntica que ellas determinan, el resultados ser siempre una proposicin lgicamente
verdadera
Aclaracin: Todas las formas proposicionales tautolgicas de la lgica proposicional son leyes lgicas, pero no
siempre sucede al revs. La lgica proposicional es necesaria pero no suficiente para decidir sobre la categora de ley
de todas las formas proposicionales, hay leyes que escapan a sus mtodos y, como veremos ms adelante, esto dio
lugar al nacimiento de otras lgicas
Se denomina ley lgica a toda forma proposicional tal que al sustituir sus variables por constantes, es decir,
las letras proposicionales por proposiciones, el resultado es siempre una proposicin verdadera.
Por ejemplo, --p p, es una ley lgica porque cualquiera que sea la proposicin que reemplace a P, el
resultado ser una proposicin verdadera. Si p se reemplaza por Graciela fue a la manifestacin, entonces la
proposicin que se obtiene es No es cierto que Graciela no fue a la manifestacin si y solo si fue a la manifestacin
A continuacin, daremos una lista de leyes lgicas ms comunes a las que dividiremos en tres grupos: el
primero enunciado ser el de los principios lgicos de identidad, no contradiccin y tercero excludo; el segundo de
ellos, el de las estructuras deductivas elementales, y el tercero, de las equivalencias.
1.- Principios lgicos
1. Identidad
2. No contradiccin
3. Tercero excludo

A A
- ( A . -A)
A v -A

2.-Estructuras deductivas
4.Modus ponens

[( AB) . A ] B

5. Modus tollens

[( A B) . -B] -A

6. Silogismo hipottico [ ( AB) . ( B C)] ( A C)

[ ( A v B) . -A] B

7. Silogismo disyuntivo
8. Prueba por casos

{[ ( AB) . (C B)] . ( A v C)} B|

9. Dilema constructivo{[ ( AB) . (C D)] . ( A v C)} (B v D)

10. Dilema destructivo{[ ( AB) . (C D)] . ( -B v -D)} (-A v -B)
11. Simplificacin
12. Conjuncin
13. Adicin

[ A. B ] A
A, B
A

( A . B)

( A v B)

12

14. Introd. del antecedente A

(B A)

3.- Equivalencias lgicas

15. Teoremas de Morgan - ( A . B ) ( -A v -B)
16.
- ( A v B ) ( -A . -B)
( A v B) ( B v A)
( A . B) ( B . A)

17.Conmutacin
18
19 Asociacin
20.

[A v ( B v C ) ] [ (A v B) v C]
[A . ( B . C ) ] [ (A . B) . C]

21. Distribucin

[A . ( B v C ) ] [ (A . B) v ( A . C]

22.

[A v ( B . C ) ] [ (A v B) . ( A v C]

22. Doble negacin

A - - A

23. Transposicin

(A B) ( - B -A)

24. Implicacin material (A B) ( -A v B)

25. Tautologa

A ( A v A )

Relaciones lgicas entre proposiciones

Estamos en condiciones de definir ahora con toda precisin una serie de relaciones lgicas que se dan entre
las proposiciones: implicacin, equivalencia y contradiccin
Al enunciar estas relaciones se utilizan las letras A,B, C, etc., que se denominan variables metalgicas,
para indicar que cada una de ellas puede designar una proposicin atmica o molecular tan compleja como se quiera.
Implicacin.
Una proposicin A implica a otra B cuando no puede darse que A sea verdadera y B sea falsa. Por ejemplo No
llueve y no hace fro implica a No llueve, porque siempre que la primera sea verdadera tambin lo ser la segunda.
Decir que A implica a B es lo mismo que decir que B se deduce lgicamente de A o que B se sigue lgicamente de A.
Esta relacin es de fundamental importancia y constituye quizs una de las aplicaciones ms importantes de la lgica a
las ciencias, pues estas ltimas necesitan contar con mtodos seguros de deduccin. Se puede verificar que una
proposicin A implica a otra B mediante el siguiente procedimiento: se constituye un condicional de la forma A B y se
realiza la tabla de verdad correspondiente, A implica lgicamente a B si y slo si el resultado es una tautologa. En
nuestro ejemplo:
(F
V
V
V

p
v
f
v
f

A
.
V
F
F
F

q)
V
V
f
f

V
V
V
V

B
-p
F
V
F
V

Equivalencia
Dos proposiciones A y B son lgicamente equivalentes cuando A implica a B y B implica a A. Si dos
proposiciones son lgicamente equivalentes no puede ocurrir que tengan distinto valor de verdad. Por ejemplo, las
proposiciones Saldr de viaje a menos que empiece a trabajar y Saldr de viaje si y slo si no empiezo a trabajar son
equivalentes, porque siempre que una sea verdadera, tambin lo ser la otra, y siempre que una sea falsa, tambin lo
sea la otra.

13

Se puede verificar que dos proposiciones son lgicamente equivalentes mediante el siguiente procedimiento:
se construye un bicondicional de la forma AB y se realiza la tabla de verdad correspondiente, A es lgicamente
equivalente a B si y slo si el resultado es una tautologa. En nuestro ejemplo:
(p

A
w

q)

(p

-q)

V
F
V
F

F
V
V
F

v
v
f
f

V
V
V
V

v
f
v
f

F
V
V
F

f
f
v
v

Es importante comprender que hay mltiples maneras de expresar lo mismo. A propsito de las equivalencias
lgicas dice Blanch:
...prcticamente empleamos en el lenguaje comn, semejantes transformaciones. As decimos indiferentemente, por
ejemplo: Si no me equivoco, t has venido ya (-p q) y Me equivoco , o t has venido ya (p v q) . O tambin Si me
encuentra me saluda siempre(p q) y No me encuentra nunca sin saludarme-(p . q)
Tambin si se quiere negar que Pablo trabaja o estudia , es decir No es cierto que Pablo trabaja o estudia se
advierte que es equivalente a sealar Ni Pablo trabaja , ni Pablo estudia
Contradicciones
Dos proposiciones A y B son lgicamente contradictorias cuando no pueden ser ni ambas verdaderas ni ambas
falsas. Por ejemplo, las proposiciones O bien llueve o bien hace fro y Llueve si y slo si hace fro son contradictorias,
por que si una es verdadera, la otra es falsa, y recprocamente.
Se puede verificar que dos proposiciones son contradictorias mediante el siguiente procedimiento: se construye
un bicondicional de la forma A b y se realiza la tabla de verdad correspondiente; A y B son contradictorias si y slo si
el resultado es una contradiccin
En nuestro ejemplo:

14

(p

A
w

q)

(p

q)

V
F
V
F

F
V
V
F

v
v
f
f

F
F
F
F

v
f
v
f

V
F
F
V

v
v
f
f

Actividades

Actividad 1
Sealar cules de las siguientes expresiones son proposiciones y cules no.
1. Si llueve, entonces hace fro.
2. Todos los que son mis compaeros de aula
3. El profesor de lgica me dijo: Pase al pizarrn.
4. Profesor, Usted me pidi que pasase?
5. Todo nmero par es divisible por dos.
6. Una semana tiene ocho das.
7. La semana no tiene ocho das, tiene siete.
8. Cuntos aos tiene un lustro?
9. Levntese, es una orden pero no una proposicin.
10. Lzaro, levntate y anda.
11. La ventana est cerrada; por lo tanto, no est abierta.
12. Pienso, entonces existo.
13. Hay de los que piensan !
14. Si yo pensara.
15. Pedro pertenece a la clase de los que piensan.
16. Hay polticos inteligentes, y Juan es un poltico.
17. Mara es casada, o soltera o viuda.
18. Dos ms dos es igual a cuatro, s o no?
19. Son amantsimos esposos.
20. Norma y Joaqun son amantsimos esposos.
21. Cuando nace la luna, agoniza el da.

Actividad 2
Simbolizar las siguientes proposiciones usando las variables p, q, r para representar los componentes atmicos.
Recordar que si una proposicin se repite en la expresin, debe ser simbolizada con la misma variable todas las veces
que se repita, y que proposiciones atmicas distintas deben abstraerse con variables distintas. La respuesta 1
ejemplifica el procedimiento.
1) Si Scrates es griego y filsofo, entonces es filsofo.
2) Si Juan es argentino, entonces es americano, y es argentino; entonces es americano.
3) El nmero x es par si y slo si es divisible por dos.
4) El nmero z o bien es par o bien es impar, pero no ambas cosas.
5) Juan es estudiante y empleado de banco.
6) Si yo pienso, entonces existo, y pienso; entonces existo.
7) Yo nac libre o esclavo, es lo mismo que decir yo nac esclavo o libre.
8) Scrates fue maestro de Platn.
9) Si filosofamos, entonces filosofamos y si no filosofamos, entonces filosofamos; entonces filosofamos.
10) No es verdad que Pedro es estudiante y sastre, entonces o Pedro no es estudiante, o Pedro no es sastre.

15

11) Si q es condicin suficiente para que se d p, y p es condicin suficiente para que se d q, entonces ambas
proposiciones son equivalentes.
12) Si estudias, aprendes; y si aprendes, sabes. Entonces, si estudias, sabes.
13) Mi perro ladra o no; y si ladra, no muerde.

Actividad 3
Usando el mtodo de las tablas de verdad, decir cules de las siguientes formas proposicionales son TAUTOLGICAS,
CONTRADICTORIAS Y CONTINGENTES. El ejercicio No 1 ejemplifica el procedimiento.
1.)
[( p
v
f

V
V

p)
v
f

.
V
V

(- p
f
v

V
V

-p )]
f
v

v
V
V

p
v
f

Tautologa
2.) - ( p q ) [ - ( p . - q) . ( - q v q )]
3.) [ ( p q ) . ( q r ) ] ( p r )
4.) - {[r v ( p . q ) ] [ ( r v p ) . ( r v q )]}

Actividad 4
Interpretar las siguientes formas proposicionales
1) (p . q ) r
2) ( p q ) . ( r s)
3) - ( p . q ) ( -p v -q)
4) p ( q v r)
5) - [ ( p . q ) r ]
6) ( p q ) - ( p . -q)

Actividad 5:
Siendo p, Delia es profesora de historia, y q , Juan es profesor de filosofa, interpretar las siguientes formas
proposicionales
1) p . q
2) - p . - q
3) - p . - q
4) - ( p . q )
5) - ( p q)
6) - p q

16

Actividad 6:
Abstraer la forma lgica de los siguientes razonamientos. Realizar la tabla de verdad correspondiente para cada uno de
ellos
1.- Si Carlos fue a clase, se encontr con Mario. Pero, en realidad, no se encontr con Mario. Por lo tanto, no fue a
clase.
2.- En febrero, en Pars llueve o hace fro. No llueve. Luego, hace fro.
3.- Si Patricia fue a la fiesta, estuvo con Eusebio. Si estuvo con Eusebio, Andrs estar molesto. En consecuencia,
Patricia no fue a la fiesta.
4.- Si Susana viaja a Salta, llegar a Zapla. Ya que si viaja a Salta, llegar a Jujuy y si llega a Jujuy , visitar Zapla.
5.- Alberto ingresa a la facultad si y slo si aprueba el examen. Si aprueba el examen, ha estudiado mucho. Por lo
tanto, si no ha estudiado mucho, no ingresa a la facultad.
6.- Si la nueva poltica econmica tiene xito, habr prosperidad y se detendr la inflacin. La nueva poltica econmica
tiene xito. Por lo tanto, habr prosperidad y se frenar la inflacin, o habr reactivacin.
7.- La democracia se consolida si y slo si hay participacin popular. Pero si hay participacin popular, las
provocaciones estar a la orden del da. Hay participacin popular. En consecuencia, la democracia se consolida, pero
las provocaciones estar a la orden del da.
8.- Si estos libros dicen lo mismo que el Corn, entonces son intiles. Si no dicen lo mismo, son nocivos. Pero estos
libros dicen lo mismo o no dicen lo mismo. Luego, son intiles o son nocivos.
9.- Jos no estudia ni trabaja. Si no trabaja, no tiene dinero y sin dinero, no se ir de su casa. Por lo tanto no se ir de
su casa

17