Filosofa

Unidad
Cmo Pensar II?
LGICA PROPOSICIONAL
LOS PINGUINOS SON EN BLANCO Y NEGRO.
ALGUNOS PROGRAMAS DE TELEVISIN VIE-
JOS SON EN BLANCO Y NEGRO. POR LO
TANTO, ALGUNIOS PINGUINOS SON PRO-
GRAMAS DE TELEVISIN VIEJOS.

LGICA: OTRA COSA EN LA QUE LOS

PINGUINOS NO SON MUY BUENOS...

p W
V q
F V
F V
V V
V F
F F F

Fichas y Textos
Gerardo Surez Silva
N Reg. Propiedad Intelectual: 966979
 Filosofa

Otra unidad de lgica? Clasifi-

cacin de
C omo dijimos, la lgica es una ciencia formal que estudia los principios de la demostra-
cin e inferencia vlida. El objeto de estudio de la lgica es la inferencia. La inferencia
es el proceso por el cual se derivan conclusiones a partir de premisas. La lgica investiga los princi-
Lgica
pios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es acep- Texto 1
table, lo es por su estructura lgica, y no por el contenido especfico del argumento o el lenguaje
utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en vez de
una ciencia emprica.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del siglo XIX, su formalizacin sim-
blica ha demostrado una ntima relacin con las matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha
pasado a ser principalmente la lgica simblica, un clculo definido por smbolos y reglas de inferencia, lo que ha permitido su
aplicacin a la informtica. Hasta el siglo XIX, la lgica aristotlica y estoica mantuvo siempre una relacin con los argumentos
formulados en lenguaje natural. Hoy esa relacin se trata bajo un punto de vista completamente diferente. La formalizacin
estricta ha mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como una parte pequea de
la lgica de clases.
Podemos clasificar los tipos de lgica desde dos puntos de vista, la lgica clsica y la moderna. Sin embargo dicha clasi-
ficacin slo sirve para efectos histricos, de ah que mejor proponemos dividir, los distintos tipos de lgica, respecto a los ob-
jetos que trata.
La Lgica Formal es conocida tambin como lgica clsica o aristotlica, Se imputa al filosofo ARISTOTELES ser el crea-
dor de la misma, aunque ya existan antecedentes en PARMENIDES y ZELEO. As mismo
con el paso del tiempo, con la evolucin de algunas corrientes matemticas, especfica-
mente las aportaciones realizadas por los matemticos EULER y BOOLE, a la lgebra, se Lgica y computacin
da inicio a la Lgica Moderna, Matemtica, Simblica o Logstica.
De esta lgica moderna, se desprende la semitica, lgica dentica, modal, de La lgica es un elemento de mediacin inevita-
ble entre el hombre y la computadora y muchos
clases, cuantificacional y proposicional. de los conceptos fundamentales en ciencia de
La Semitica es la lgica de los smbolos y se divide en tres partes: sintaxis, se- la computacin fueron descubiertos y desarro-
mntica y pragmtica. La primera trata de las relaciones de los smbolos entre si, pres- llados por los lgicos, por lo menos, un decenio
antes de la aparicin de las primeras mquinas
cindiendo de su contenido. La segunda trata de las relaciones entre el smbolo y lo que
digitales.
significa. La tercera trata de las relaciones entre el smbolo y el sujeto que lo utiliza. En la actualidad, la complejidad y el avance en
La lgica dentica se formaliza a travs de conceptos relacionados con el deber. la Informtica, ha estrechado los vnculos entre
ambas ciencias. John Mc Carthy en 1936 afir-
Este tipo de lgica se utiliza en el Derecho, infirindose del mismo, la denominada lgi-
maba: Es razonable esperar que la relacin en-
ca de las normas. tre la ciencia de la computacin y la lgica va a
La lgica modal lo hace en los conceptos de necesidad y posibilidad. ser tan fecunda en el prximo siglo como lo fue
entre el anlisis y la fsica en el siglo pasado.
La lgica de clases relaciona conceptos con propiedades (sujeto y predicado),
Observemos que paralelamente a la sofistica-
estudia adems las implicaciones de unas clases con otras, las cuales suelen ser repre- cin de la microelectrnica, que viene permi-
sentados grficamente mediante crculos (mejor conocidos como diagramas de Venn) tiendo la construccin de mquinas cada vez
empleando la denominada lgebra booleana. ms veloces y ms econmicas, con mayor ca-
pacidad de almacenamiento en menor volumen,
La lgica cuantificacional que estudia de manera ms detallada los predicados a se han desarrollado y estn an
travs del uso de cuantificadores que expresan cantidad en pleno desarrollo tcnicas formales para una
La lgica proposicional analiza los razonamientos formalmente vlidos partien- especificacin rigurosa, tanto de las estructuras
de datos destinadas a ser procesadas en m-
do de proposiciones y conectivas proposicionales (operadores lgicos). quinas, como de la accin de los programas so-
Esta lgica simblica, de la que nos estamos refiriendo, emplea un lenguaje arti- bre estas estructuras.
ficial en la que simboliza las proposiciones generalmente con las letras p, q, r, s, t utili- Las especificaciones formales de la lgica son
necesarias para reducir lo aleatorio y emprico
zando de operadores lgicos, tambin llamados conectores, functores, juntores, para que acompaan la construccin y verificacin
poder construir formulas operando sobre las variables proposicionales y las proposicio- de un programa de computadora.
nes complejas. La lgica formal permite captar los criterios cu-
ya funcin no pierde de vista la no ambigedad,
Finalmente existe otro tipo de lgica que es la dialctica, aunque sta no la po- la consistencia interna, la calculabilidad efecti-
demos considerar como integrante de la lgica moderna, toda vez que la misma no tie- va. En definitiva, la lgica es el campo de las
ne un contenido formal, sino ideolgico; ni es pasiva como la lgica formal, sino que especificaciones formales no arbitrarias logran-
do la completitud.
es activa, al obtener principios racionales a travs de la interpretacin de la historia, La compresin del clculo proposicional es in-
utilizando como su estructura en su discurso, la tesis, seguida de la anttesis y su res- dispensable para captar el manejo de una ex-
pectiva conclusin denominada sntesis; teniendo sus antecedentes desde los griegos presin lgica en la computadora. El lgebra
Booleana, y su expresin en el clculo proposi-
con SOCRATES y PLATN quienes la concibieron como una tcnica de discusin y de ob- cional, interesan tanto a aquellos que se dedi-
tencin de conclusiones, siendo la misma tambin estudiada y empleada por algunos can a la investigacin operacional (esquemas
filsofos como KANT, HEGEL, MARX, entre otros ms. de programas) como a quienes estn interesa-
dos por la complejidad algebraica de un lengua-
je formal, propio de los lenguajes informticos.

Fichas y Textos
Gerardo Surez Silva
1
N Reg. Propiedad Intelectual: 966979
 Filosofa

LA LGICA PROPOCISIONAL
La Lgica
proposicional se ocupa del clculo de proposiciones o enunciados (o sea, las operaciones entre ellos), sin tener en
cuenta la estructura interna de las mismas.
Esto quiere decir que en este captulo de la lgica vamos a trabajar solamente con los enunciados, o sea con la
2a operacin.
Te acords cul era la propiedad de esta estructura lgica? ("Los enunciados son estructuras lgicas de diver-
so grado de complejidad. .. que tienen la propiedad de ser verdaderos o falsos")
Otra caracterstica de la lgica proposicional es que trabaja exclusivamente con formas: las proposiciones se
abstraen o simbolizan mediante las letras proposicionales, tales como: p, q, r, s, etc. Esto quiere decir que, por ejem-
plo "p", puede simbolizar tanto "Todo hombre es mortal", como tambin "Ese perro es malo", como "Juan es bohe-
mio", etc. Ya no nos interesa tanto el contenido de la proposicin, pero s su forma.

Lenguaje formal de la lgica de enunciados.

Siempre se ha dado por descontado que algn grado de formalizacin, en el estudio de lgica, es inevitable.
La introduccin de letras minsculas, p, q, r, . . . para representar enunciados facilita el anlisis de la correc-
cin de los argumentos:
Ejemplos
Donde Scrates es un hombre est sim-
Scrates es un hombre p bolizado por la letra p; y Scrates es
Scrates es mortal q mortal, por la letra q

Si Scrates es un hombre entonces Scrates es mortal; Si p entonces q

Scrates es un hombre; p
Scrates es mortal. q

Cuando
simbolizamos un enunciado compuesto, de la manera que lo hemos hecho en el ejemplo 2, lo que queda es un ar-
mazn lgico o matriz que denominamos forma enunciativa. Estudiaremos formas enunciativas ms bien que
enunciados particulares.
Los elementos y reglas necesarios para determinar un lenguaje formal, que forman parte de la Sintaxis de la
Lgica, son:
Un alfabeto de smbolos primitivos.
Unas reglas de formacin para combinar esos smbolos.
Una vez finalizada la formalizacin se asocian a las frmulas obtenidas valores de verdad que les dan significado.
Dentro de los smbolos primitivos, encontramos
las variables de enunciado (letras enunciativas, o
~ es la negacin.
tambin letras proposicionales): p, q, r, . . . que desig- . Es la conjuncin
nan enunciados simples arbitrarios no especificados.
variables proposicionales: p, q, r, . . . v es la disyuncin inclusiva lgica.
frmulas proposicionales constituidas por variables
proposicionales y conectivos: w es la disyuncin exclusiva lgica. v
Parntesis, corchetes, llaves: ( ) * + , - Se los de-
nomina conectivos de agrupacin.
es la implicacin o condicional lgica.

es la doble implicacin o bicondicional lgica

Es la falsedad conexa

Fichas y Textos
Gerardo Surez Silva
2
N Reg. Propiedad Intelectual: 966979
 Filosofa

CLASIFICA- Proposiciones Simples o atmicas

CIN DE
LAS PROPO- Las simples o atmicas son aquellas proposiciones que no admiten dentro de s, ms
que una sola proposicin, as por ejemplo: "Charly Garca es msico", "Scrates fue un
SICIONES filsofo", etc. Aqu las vamos a simbolizar con una sola letra, por ejemplo "q"
Texto 2 En las simples, es muy fcil saber el valor de verdad: En ambos ejemplos es verdadero.
En general, las proposiciones simples son aquellas de las que no se pueden extraer
otros enunciados, es decir, contienen un nico enunciado.
Otros ejemplos:
El tren lleg puntual" Estaba esperndole"
El examen era difcil" l haba estudiado"
Lleg tarde" Se encontr con su amigo"
Hay examen" Le gusta lo que ve en clase"
"Juan estudia" La peli result tan buena como decan

Proposiciones Compuestos o moleculares

Las proposiciones compuestas o moleculares son proposiciones que admiten dentro de s, dos o
ms proposiciones unidas por nexos lingsticos que se llaman conectivas extensionales. "Pars es la
capital de Francia y Madrid es la capital de Espaa". vemos claramente que en este caso se trata de
dos proposiciones simples, unidas por un nexo 'Y'. Se simbolizar: p . q, siendo:
"p" = "Pars es la capital de Francia"
"q" = "Madrid es la capital de Espaa" NOTA: Es recomendable utilizar
minsculas para evitar confusiones
"." (un punto) = el nexo o conectiva extensional que simboliza la con las maysculas que se utilizan
"y" (conjuncin) en la teora de conjuntos, y las
primeras letras (a,b,c, etc) que se
utilizan en geometra y trigonome-
Otros ejemplos: tra para vrtices, por lo mismo no
El tren lleg puntual y no estaba esperndole" es recomendable utilizar esta nota-
cin para nombrar las proposicio-
El examen era difcil o l no haba estudiado" nes, pero tampoco est prohibida
No se encontr con su amigo porque lleg tarde" en algunos libros se manejan letras
maysculas.
La pelcula no result tan buena como decan"
Juan estudia si hay examen o le gusta lo que se ve en clase"
En el ejemplo, "Pars es la capital de Francia y Madrid es la capital de Espaa". es claro que am-
bas proposiciones simples son verdaderas, y por lo tanto el valor de la proposicin toda (compuesta)
lo ser tambin.
El problema se plantea cuando alguna de las dos no sea verdadera. Por ejemplo: "Pars es la ca-
pital de Francia y Barcelona es la capital de Espaa". Para estos casos existe una regla lgica que nos
indica cul ser el valor de verdad de la proposicin compuesta. En el ejemplo visto, estamos usando
la conjuncin, y su regla dice que el valor de verdad de la proposicin compuesta ser verdadero, solo
cuando cada una de las proposiciones simples que la compongan sean verdaderas. Por ello: "Pars es
la capital de Francia" es verdadera, pero "Barcelona es la capital de Espaa "es falso. por lo tanto
"Pars es la capital de Francia y Barcelona es la capital de Espaa" es falsa
Existen, tambin otras conectivas. Las ms importantes de ellas, y sus reglas lgicas, las encon-
trs en el cuadro de la pgina siguiente.

Fichas y Textos
Gerardo Surez Silva
3
N Reg. Propiedad Intelectual: 966979
 Filosofa

ENUNCIADOS NEXO O FORMA TABLA DE VERDAD FORMULA- NEXOS MS EJEMPLO

COMPLEJOS CONEC- CIN COMUNES
TIVA
NEGACIN Cuando el No No es cierto
~ ~p ~p enunciado sea no es cierto que
es falso que
que soy estu-
diante
verdadero, su no es verdad
V F
negacin ser que
F V falsa, y vice-
versa
CONJUNCIN p . q Slo ser ver- y Juan canta y
. p.q V V

V
dadera cuando mas Mara baila
ambos enun- pero
F V F ciados sean ,
V F F verdaderos
F F F
DISYUNCIN
INCLUSIVA v pvq
p v q
V V

V
Slo ser falso
cuando ambos
o
u
Podrn con-
currir a la
enunciados y/o fiesta solos y/
F V V sean falsos o bien o acompaa-
dos de sus
V F V padres
F F F
DISYUNCIN
EXCLUSIVA w pwq p w q

Slo ser ver- o
dadera cuando u
Estoy vivo o
estoy muerto.
V V F ambos enun- o bien
F V V ciados tengan
V F V distinto valor
de verdad
F F F
CONDICIONAL p q Ser falsa, so- "Si ... enton- Si estudio,
pq V V

V lo cuando el
antecedente
ces ... "
"Si ... por lo
entonces
apruebo
F V V sea verdadero tanto
V F F y el conse- "Si ... , ... "
cuente falso enton-
F F V ces
BICONDICIO-
NAL p q
p q

Ser verdade- "... si, y solo
ra cuando am- si ..."
Ingreso a la
facultad si y
V V V bos enuncia- slo si aprue-
F V F dos tengan el bo el CBC
V F F mismo valor
F F V de verdad

FALSEDAD
CONEXA p q p q

Ser verdade- Ni ni
ra, solo
Ni llueve, ni
hace fro
V V F cuando ambos
F V F enunciados
V F F sean falsos
F F V
Fichas y Textos
Gerardo Surez Silva
4
N Reg. Propiedad Intelectual: 966979
 Filosofa

Veamos cada una en detalle:

Una proposicin Disyuntiva, es aquella que est
formada por proposiciones atmicas o moleculares, diga-
mos p y q, con el conectivo lgico o. Se simboliza as:
v, se escribe: p v q y se lee: p o q
Existen dos operadores de disyuncin: La disyun-
cin exclusiva o excluyente y la disyuncin inclusiva o
incluyente.
DISYUNCIN INCLUSIVA: Slo ser falso cuando
ambos enunciados sean falsos.
La disyuncin inclusiva sera algo intermedio entre la
conjuncin y la disyuncin exclusiva, ya que pueden dar-
se ambas opciones, o una de ellas. Lo que no puede pa-
sar es que no se d ninguna de las dos
Ejemplos: Los nervios eferentes son motores o asociativos.
(debe leerse como los nervios eferentes son motores o los
nervios eferentes asociativos)
O bien Cervantes escribi el Quijote, o bien Julio
Csar fue un emperador romano.
Son dos o ms proposiciones de las cuales puedo elegir una o
ms de una, se caracteriza por permitir que las proposiciones
que contiene sean todas verdaderas, as que se le llama tam-
bin Incluyente.
Supongamos que un pap le dice a su hijo llamado Juan: Para
que te deje ir a bailar el fin de semana debes cumplir una de
estas dos condiciones: Traer 10 en tu examen de esta semana
o lavarme el coche todos los das desde el lunes hasta el vier-
nes
El joven se encuentra ante dos situaciones que reflejaremos en
las siguientes proposiciones:
p = Juan saca 10 en su examen semanal.
q= Juan lava el coche de su pap de lunes a viernes.
p v q = Juan saca 10 en su examen semanal o lava el
coche de su pap de lunes a viernes.
Debemos fijarnos que su pap le pidi cumplir con p o cumplir
con q, significa que Juan puede cumplir con una sola de estas
tareas para poder ir al boliche. Las posibles situaciones en las
que Juan se podra caer para ir al boliche son:
Con esto podemos ver que para que Juan no vaya al antro,
tanto p como q deben ser falsas. La disyuncin inclusiva entre
dos proposiciones es falsa solo si ambas proposiciones son
falsas.
Situaciones p q pvq
Juan pudo sacar 10 en su examen y lav el coche todos V V V
los das.
Juan no pudo sacar 10 en su examen, pero pudo lavar el F V
coche todos los das.
Juan pudo sacar 10 en su examen, pero no lav el co- V F V mo No es verdad que Venezuela limite con Per)
che todos los das.
Juan no pudo sacar 10 en su examen y tampoco lav el F F F proposicin atmica o molecular a diferencia de los otros co-
coche todos los das.
Juan no ir a bailar cuando no haga ninguna de las dos cosas.
Por lo tanto, slo ser falso cuando ambos enunciados sean
falsos.
DISYUNCIN EXCLUSIVA: Slo ser verdadera cuan-
do ambos enunciados tengan distinto valor de ver-
dad.
Aqu se plantea claramente una situacin donde solamente
una de las dos opciones puede darse en forma excluyente
Ejemplos: O tomo un medicamento sin consultar o voy
al mdico a que me recete uno
Todo o nada
Un nmero natural es par o impar (debe leerse
Un nmero natural es par o un nmero natural im-
par)
Son dos o mas proposiciones de las cuales puedo elegir solo
una, no permite que las proposiciones que contiene sean todas
verdaderas, as que se le llama tambin excluyente.
Supongamos que un pap le dice a su hijo llamado Juan: Para
poder seguir estudiando debes tomar la decisin de inscribirte
en Ingeniera en sistemas o en Ingeniera mecnica, pero no en
ambas
El joven se encuentra ante dos situaciones que reflejaremos en
dos proposiciones:
p = Juan se inscribe en Ingeniera en sistemas.
q = Juan se inscribe en Ingeniera mecnica.
p w q = Juan se inscribe en Ingeniera en sistemas o se
inscribe en Ingeniera mecnica.
En este caso Juan tiene ambas opciones y puede cumplir solo
con una de ellas:
Situaciones p q p wq
Juan se inscribe en Ingeniera en sistemas y en Ingenie- V V F
ra mecnica
Juan slo se inscribe en Ingeniera mecnica F V V
Juan slo se inscribe en Ingeniera en sistemas. . V F V
Juan no se inscribe en ninguna de las dos carreras F F F
Las posibilidades de que Juan siga estudiando se reducen a
pesar de tener dos opciones. Porque o estudia una o estudia
otra. De esto se desprende que slo ser verdadera cuando
ambos enunciados tengan distinto valor de verdad.
NEGACIN: Cuando el enunciado sea verdadero, su
negacin ser falsa, y viceversa
Si bien, en realidad es un enunciado slo ms un
nexo, se lo considera complejo por su estructura.
Ejemplos: No quiero hacer la tarea
No es cierto que hay que estudiar
No es verdad que hoy es martes
Es falso que hay vida en Marte.
V Es imposible que el tomo sea una molcula.
Venezuela no limita con Per (debe entenderse co-
Una proposicin de este tipo, puede estar formada por una
nectivos que afectan a mas de una, digamos p, con el conecti-
vo Lgico No.
Juan no va al boliche: En este caso, si Juan va al boliche es
verdadero, Juan no va al boliche es falso. Y si Juan va al
boliche es falso, Juan no va al boliche es verdadero.

Fichas y Textos
Gerardo Surez Silva
5
N Reg. Propiedad Intelectual: 966979
 Filosofa
CONJUNCIN: Slo ser verdadera cuando ambos
enunciados sean verdaderos
Ejemplos:
2+ 2 es igual a 4, y 3 + 3 es igual a 6
Marte tiene satlites y Jpiter tambin (ms espec-
ficamente debe entenderse como "Marte tiene
satlites y Jpiter tiene satlites", aunque en el
lenguaje hablado o escrito se abrevie para no ser
reiterativos)
Brasil est en Latinoamrica, ms su idioma es el
Portugus. (En este caso, el ms funciona co-
mo y; "sera Brasil est en Latinoamrica, y su
idioma es el Portugus)
Juan no juega al futbol, pero tiene voluntad.
Hoy har frio, tambin se esperan algunas lluvias.
Podrn realizar la excursin, adems conocern
hermosos lugares
Manuel e Ismael son universitarios.
Supongamos que un pap le dice a su hijo llamado Juan: Para
que te deje ir al boliche el fin de semana debes traer 10 en tu
examen de esta semana y lavarme el coche todos los das des-
de el lunes hasta el viernes
Juan se encuentra ante las mismas dos situaciones anteriores,
que reflejaremos en dos proposiciones:
p = Juan saca 10 en su examen semanal.
q = Juan lava el coche de su pap de lunes a viernes.
Pero en este caso Juan debe cumplir con ambas proposiciones
para poder ir al boliche, ya que su pap utiliz la conjuncin
y:
Situaciones p q p.q
Juan pudo sacar 10 en su examen y lav el coche V V V en la relacin de necesidad que establece el condicional. Por
todos los das.
Juan no pudo sacar 10 en su examen, pero pudo F V
lavar el coche todos los das.
Juan pudo sacar 10 en su examen, pero no lav el V F F
coche todos los das.
Juan no pudo sacar 10 en su examen y tampoco F F
lav el coche todos los das.
El padre de Juan fue claro. Slo accedera a su pedido si cum-
pla con las dos condiciones. Las posibilidades de ir al boliche
se reducen a solo una: Slo ser verdadera cuando ambos
enunciados sean verdaderos.
CONDICIONAL: Ser falsa, solo cuando el antecedente
sea verdadero y el consecuente falso
La proposicin condicional est compuesta por un anteceden-
te y un consecuente. En ella se establece una relacin de ne-
cesidad entre el antecedente y el consecuente, de tipo causa
efecto. (y no al revs)
De hecho, la regla que rige esta proposicin compleja, no afir-
ma la veracidad de los hechos, sino que si se da el anteceden-
te, necesariamente debe darse el consecuente. Dicho de otra
manera, el consecuente es condicin necesaria del antece-
dente y el antecedente es condicin suficiente del consecuen-
te. Ejemplos:
Si es herbvoro, entonces se alimenta de plantas (en
este caso no estoy afirmando que efectivamen-
te el ser vivo en cuestin sea herbvoro, sino
Fichas y Textos
Gerardo Surez Silva
N Reg. Propiedad Intelectual: 966979
que si lo fuese, necesariamente se alimenta con
plantas)
Si un metal se calienta, se dilata.
Tienes buena alimentacin entonces tienes buena
salud.
Evitars enfermedades infantiles si vacunas a tu hijo
(en este caso el condicional se llama Inverso o repli-
cativo: la operacin de implicacin est desordena-
da. Es decir primero est el consecuente y luego el
antecedente. Debe entenderse como: Si vacunas a
tu hijo, entonces evitars enfermedades infantiles)
Supongamos que un pap le dice a su hijo llamado Juan: Si te
sacs un 10 en el examen de esta semana, entonces te dejo ir
al boliche
p = Juan saca 10 en su examen semanal.
q = el padre lo deja ir al boliche.
Lo que se afirma en este enunciado es que es condicin nece-
saria que se saque 10 para ir al boliche. Veamos las opciones
Pueden acontecer todas las situaciones en la semana de Juan,
Situaciones p q pq
Juan pudo sacar 10 en su examen y el padre lo dej V V V
ir al boliche
Juan no pudo sacar 10 en su examen, pero el padre F V V
lo dej ir al boliche
Juan no pudo sacar 10 en su examen, pero lav el V F F
coche todos los das.
Juan no pudo sacar 10 en su examen y tampoco F F V
lav el coche todos los das.
pero lo nico que no puede pasar es que si se saca un 10 el
padre no lo deje ir a bailar, porque esto es lo que se afirmaba
lo tanto slo ser falso cuando el antecedente sea verdadero
F y el consecuente falso
BICONDICIONAL: Ser verdadera cuando ambos enun-
F
ciados tengan el mismo valor de verdad
Es un condicional de ida y vuelta, quiere decir que si se
da uno, se da el otro y viceversa; a diferencia del condi-
cional, donde el antecedente es condicin necesaria pa-
ra el consecuente pero no al revs.
Ejemplos: Un nmero es divisible por dos, si y slo si
es un nmero par.
Luis viajar al extranjero, si y slo si o obtiene su visa
Es fundamentalista si y slo si es talibn
FALSEDAD CONEXA: Ser verdadera, solo cuando am-
bos enunciados sean falsos.
La falsedad conexa puede entenderse tambin como la con-
juncin de dos negaciones. Por ello para ser verdadera, tienen
que ser falsas ambas.
Ejemplos:
Ni lerdo, ni perezoso (significa que no es lerdo y
no es perezoso)
Ni est enojado, ni presentar una queja
6
 Filosofa
1) Analizar las siguientes expresiones lings-
ACTIVI-
DAD ticas e indique si son o no proposiciones:
La constitucin poltica Mxico fue declarada y pro-
mulgada por la asamblea constituyente en 1917
Quin es el pez gordo del narcotrfico?
Sea bienvenido
Por fin lleg la primavera!
Los nmeros racionales son inteligentes.
Que tengan ustedes un buen viaje.
Solo se que no se nada.
Juan es bondadoso.
No digas mentiras.
Quiz existan miles de millones de universos.
Los organismos superiores tienen pulmones porque
necesitan respirar.
Los planetas del sistema solar a excepcin de Plu-
tn ocupan el mismo plano con respecto al sol.
El nmero 5 sonri.
Los electrones son partculas que se encuentran
alrededor del ncleo del tomo
2) Sealar cules de las siguientes proposicio-
nes son simples y cules son complejos:
Construyeron un dique para controlar las bruscas
crecidas de primavera
Comprendo tus puntos de vista pero no los compar-
to.
O me ayudas con este trabajo, o tendr que llamar
a otra persona
En los das feriados el centro de la ciudad permane-
ce desierto
Si Carlos logra convencer a Jorge, lo considerar un
gran orador
No se han producido epidemias de viruela en los
ltimos 10 aos
El ro que cruza la llanura, provee de agua a todas
las granjas linderas.
Este nio lee perfectamente ms no escribe en ab-
soluto.
Ni ests quieto, ni te queds callado.
Sale el sol, si y slo si se despejan las nubes.
3) Determinar en ejercicio anterior, de las
complejas, de que tipo son
4) Determinar que tipo de enunciado comple-
jo es, subrayando o resaltando el nexo:
En el invierno hace frio y en algunos lugares cae
nieve.
Mxico est en crisis econmica si y solo si se deva-
la la moneda.
No es difcil desarrollar un software
Mi ta es enfermera y mi mam es ama de casa.
O eres mdico o eres enfermera.
Jams he visto al vecino.
Es carnvoro si se alimenta de otros animales.
Fichas y Textos
Gerardo Surez Silva
N Reg. Propiedad Intelectual: 966979
O el tejido epitelial es avascular o el tejido conjunti-
vo es avascular.
Silvia es inteligente, sin embargo es floja
La epidermis es tejido epitelial o la dermis es tejido
conjuntivo.
Si apruebo el examen de admisin, entonces y slo
entonces ingresar a la universidad.
Herfilo de Calcedonia es el Padre de la Anatoma y
Erasstrato de Chios es el Padre de la fisiologa.
Nunca he odo esa msica.
Los dientes heterodonto son de 4 clases o los dien-
tes difiodonto son de dos clases.
El Esfenoides es un hueso plano o el Fmur es un
hueso largo.
El sndrome de Turner es causado en el sexo feme-
nino o el Sndrome de Klinefelter es causado en el
sexo masculino.
El Albinismo se da en ausencia de pigmento en la
piel, ojos, cabello o la Galactosemia se da por acu-
mulacin de galactosa en el hgado.
El Daltonismo no permite la percepcin normal del
color rojo y verde o la Hemofilia es la tendencia a
sangrar abundantemente con la menor herida.
El genotipo es la constitucin gentica de un orga-
nismo o el fenotipo es la expresin del genotipo en
un organismo.
El aracnoides es una capa avascular delgada o la
piamadre es altamente vascularizada.
El nmero dos es par, pero el nmero tres es impar.
Si es joven, entonces es rebelde.
El nmero cuatro es par puesto que es divisible por
dos
Es fundamentalista si y slo si es talibn.
Habr cosecha cuando y slo cuando llueva.
Es imposible que el tomo sea molcula.
Es falso que el juez sea fiscal.
5) Dados los siguientes enunciados comple-
jos, transcribir su forma lgica correcta,
por ejemplo:
La Neuritis es la inflamacin de uno o varios ner-
vios: .La Neuritis es la inflamacin de un nervio o
la neuritis en la inflamacin de varios nervios
La hormona es producto de la secrecin de ciertos
rganos del cuerpo de animales y plantas.
Los rganos homlogos tienen el mismo origen
embriolgico, la misma estructura interna, pero
cuya forma y funcin son distintas.
La enterocolitis es la inflamacin del intestino del-
gado, del ciego y del colon
Los rganos homlogos tienen estructura diferente
y distinto origen embriolgico, pero realizan la mis-
ma funcin.
O el encfalo o la mdula espinal est contenido en
la cavidad craneal.
La materia ni se crea ni se destruye.
Pedro es to o es sobrino.
7
 Filosofa
Simbolizacin
Una forma enunciativa es una expresin, en la
que intervienen variables de enunciado y conectivas,
que pude formarse utilizando las siguientes reglas:
A veces un enunciado complejo puede estar
formado por ms de dos enunciados simples y a veces
puede combinar varias conectivas.
Por ejemplo:
La enterocolitis es la inflamacin del intestino
delgado, del ciego y del colon
Debe entenderse como:
La enterocolitis es la inflamacin del intestino
delgado, la enterocolitis es la inflamacin del ciego y
la enterocolitis es la inflamacin del colon
En este caso hay tres enunciados complejos uni-
dos por el mismo nexo, la conjuncin. Por tanto debe
simbolizarse con tres letras distintas:
p = La enterocolitis es la inflamacin del intes-
tino delgado
q = la enterocolitis es la inflamacin del cie-
go
r = La enterocolitis es la inflamacin del co-
lon
El nexo se coloca entre los enunciados:
p.q.r
Otro ejemplo:
Se terminarn los problemas de sequa si llueve
Nos encontramos frente a u condicional de tipo
inverso o replicativo, donde:
p = se terminarn los problemas de sequa
q = llueve
Debido a que el antecedente es que y el conse-
cuente es p, la correcta formulacin sera:
q p
Otro ejemplo:
Si no apruebo el CBC, entonces no podr ingre-
sar a la carrera.
Siempre se deben tomar para simbolizar los
enunciados en forma afirmativa:
p = apruebo el CBC
q = podr ingresar a la carrera
Aqu, adems de un condicional, tenemos dos
negaciones, es decir el antecedente y el consecuente
estn negados, por lo tanto, la simbolizacin correcta
sera:
(p. ~q ) r
Fichas y Textos
Gerardo Surez Silva
N Reg. Propiedad Intelectual: 966979
cin.
La negacin siempre va pegada a la proposi-
Pero cuando las operaciones que se combinan
son otras distintas que la negacin, ser necesario
agregar parntesis, llaves, corchetes, etc.
Si me quedo dormido y no suena el despertador,
llegar tarde a clases.
p = me quedo dormido
q = suena el despertador
r = llegar tarde a clases
Para que llegue tarde a clases, deben darse am-
bas situaciones: que me quede dormido y que n suene
el despertador, por ello, el antecedente es complejo a
la vez, es una conjuncin y debe ir entre parntesis
~p ~q
Jerarqua de simbolizacin:
La jerarqua de las proposiciones son: negacin, conjuncin,
las disyunciones, condicional, bicondicional y son asociadas
por la izquierda. De esta manera sin nos encontramos ante
la siguiente proposicin:
p q . ~r
El correcto para resolverlo sera para este caso:
1. Primero negamos r ( ~r )
2. Luego resolvemos la conjuncin (q . ~r)
3. Por ltimo resolvemos el condicional
Pero tiene mayor jerarqua los signos de agrupacin, de esta
manera, si nos encontramos con la proposicin:
(p q) . ~r
1. Primero resolvemos la implicacin (p q)
2. Luego hacemos la negacin de r ( ~r )
3. Por ltimo la conjuncin. Con el resultado de (p q)
y el resultado de ~r
Formulas bien formadas (wff):
A la combinacin de proposiciones y conectivos se la deno-
mina frmula bien formada (well-formed formula, wff). Una
frmula bien formada puede ser una proposicin simple o
compuesta que tiene sentido completo y cuyo valor de ve-
racidad, puede ser determinado.
[ ~p . ( p v q ) ] q ; [ p. (~p v ~ q ) ] q
[ ( ~p v q ) . ( p . r ) ] ( q v r )
No todas las formulas son bien formadas, si a una formula
no se le puede dar un valor se dice que no es un formula
bien formada.
8
 Filosofa

LAS TABLAS DE VERDAD

Se denomina as a la procedimiento a a travs del cual es posible determinar el valor de verdad de una pro-
posicin, ya sea sta atmica o molecular.
De esta manera hacemos una valoracin de las variables enunciativas y las formas enunciativas binarias.
Usando las tablas de verdad de las conectivas podemos construir la valoracin de cualquier forma enunciativa, de-
terminando el valor de verdad de la misma a partir del valor de verdad de sus componentes atmicos.

La construccin de una tabla de verdad responde a la siguiente frmula:

2n = x
2 = indica la cantidad de valores de verdad con los que trabajamos: (verdadero - falso)
n = se reemplaza por al cantidad de proposiciones simples con las que se opera
X = indica la cantidad de renglones que tendr esa tabla, ya que expresa el nmero de todas las
posibles combinaciones o filas, entre los valores de verdad, de las proposiciones que intervienen en la operacin
El procedimiento es el siguiente
1) Se simbolizan las proposiciones dadas. Por ejemplo "Pars es la capital de Francia y Madrid es la
capital de Espaa", se simboliza: p . q
2) Aplicamos la frmula
22 = 4
Esta tabla de verdad tendr cuatro renglones
3) En la primer columna (en nuestro ejemplo: "p") p 5) En la segunda columna (en nuestro ejemplo: q
se atribuyen en cada rengln, los valores de ver- V "q") se atribuyen en cada rengln, los valores de V
dad en forma alternada de uno en uno, hasta F verdad en forma alternada de dos en dos, hasta V
completar la cantidad de renglones que tenga la V completar la cantidad de renglones que tenga la f
tabla (en un nuestro ejemplo: F tabla F

4) Nuestro ejemplo queda de la siguiente ma- p . q 6) Se procede a resolver la tabla p . q

nera: V V de verdad, aplicando la regla lgi- V V V
F V ca correspondiente a esa conecti- F F V
V F va. El resultado se coloca debajo V F F
de la conectiva y se recuadra. F F F
F F

7) Si la tabla de verdad tuviese tres proposiciones, por ejemplo p . q . r ( en ese caso la frmula dara 8 renglones)
los valores de verdad de la tercer proposicin r se alternaran de a cuatro. Si tuviera cuatro, se alternaran de a 16,
y as sucesivamente
8) En una forma proposicional compuesta, cada letra que se repita, le corresponder la misma columna de valores
de verdad que la primera
Juan canta, baila p . q . r
Otros ejemplos: y acta. V V V V V
No es cierto que el juez
sea fiscal ~ p Pedro es to o p v q 23 = 8 F
V
V
V
V
F
V
V
V
V
Tenemos una sola pro- F V es sobrino. V V V
En este caso re- F F F F V
F V V
posicin:
p = El juez es fiscal
V F 22 = 4 V V F
solveremos pri- V
mero p . q y lue- F
V V F F
V V F F
Y una sola conectiva, F F F go el resultado
la negacin 21 = 2 de stos con r. V V F F F
F F F F F

F i ch a s y T e xt o s
Gerardo Surez Silva
9
N Reg. Propiedad Intelectual: 966979
 Filosofa

TABLAS DE VERDAD CON DISTINTAS CONECTIVAS

"Si baja la presin atmosfrica y sopla viento sur, entonces es probable que llover"
En este ejemplo tenemos dos tipos de conectivas: conjuncin y condicional. Lo podramos simbolizar as:

( p. q ) r

Es estos casos complejos, se resuelven primero las conectivas de menor alcance, es decir las conectivas que
relacionan el menor nmero de letras, luego la de mayor alcance siguiente, y as sucesivamente hasta llegar a la
conectiva principal, la cual proporcionar el resultado final de la operacin realizada (el resultado final se colo-
car debajo de esta y se recuadrar para distinguirlo de otras columnas)

(p . q) r
En la medida que se vaya resolviendo
V V V V V
una columna, se va tachando y uniendo
F F V V V para que quede claro cul fue la opera-
V F F V V cin. Estas uniones se van escalando
F F F V V tambin de menor a mayor para distin-
guir el orden en que fuimos resolviendo.
V V V F F
F F V V F
V F F V F
F F F V F

En el caso de haber una negacin, se resuelve siempre primero la negacin y luego las otras conectivas. Por
ejemplo:
Pienso y elijo una carera, o no podr anotarme en la facultad

(p . q) w ~ r
V V V V F V
F F V F F V
V F F F F V
F F F F F V
V V V F V F
F F V V V F
V F F V V F
F F F V V F

Fichas y Textos
Gerardo Surez Silva
10
N Reg. Propiedad Intelectual: 966979
 Filosofa

Tautologa, Contradiccin y Contingencia:

A partir del resultado de las tablas de verdad es posible clasificar las formas proposicionales en tres tipos
Las Tautologas son aquellas formas proposicionales cuyas tablas de verdad dan por resultado valores
siempre verdaderos. Son formas proposicionales lgicamente verdaderas. Las tautologas interesan a la
lgica especialmente porque son un tipo de leyes lgicas. Las leyes de la lgica proposicional son todas
tautologas, son formas proposicionales, cuyos casos de sustitucin son siempre verdaderos (solo tie-
nen una interpretacin verdadera)
Las Contradicciones son aquellas formas proposicionales cuyas tablas de verdad dan por resultado va-
lores siempre falsos. Son formas proposicionales falsas por su forma lgica, al interpretar las letras pro-
posicionales que la forman se obtienen siempre una proposicin falsa.
Las Contingencias son aquellas formas proposicionales cuyas tablas de verdad dan por resultado valo-
res en parte verdaderos y en parte falsos. Son formas proposicionales lgicamente indeterminadas, es
decir, son verdaderas o falsas por razones fcticas y no por su forma lgica.

Equivalencia:
Dos proposiciones son equivalentes cuando sus tablas de verdad arrojan idntico resultado

1) Demostrar las proposiciones de cada caso y sus posibles valores en una tabla de verdad y de-
ACTIVI- termine que tipo de proposicin es (conjuncin, disyuncin exclusiva, disyuncin inclusiva,
DAD
negacin, condicional, bicondicional, o falsedad conexa):
En un restaurante se regala un postre despus de cada comida, pero solo se puede elegir uno entre es-
tos dos: Flan napolitano o gelatina mosaico.
Una tienda se tiene la siguiente promocin: En la compra de mas de $2000.00 pesos en artculos depor-
tivos se le hace el 50% de descuento sobre la compra.
Para ser merecedor de una beca un alumno debe contar con un promedio superior a 9.0 o demostrar
que los ingresos de sus padres son inferiores a $1500.00 mensuales.
Para poder ingresar el ejercito un aspirante no debe tener tatuajes y ni padecer ninguna enfermedad
contagiosa.
2) De la siguiente afirmacin Andrs es padre de Bernardo y ste es padre de Cecilia se obtienen las si-
guientes proposiciones:
p : Andrs es descendiente de Bernardo , es VERDADERO q : Bernardo es descendiente de Andrs , es FALSO
r : Cecilia es descendiente de Bernardo , es FALSO s : Cecilia es descendiente de Andrs , es VERDADE-
RO
Asignar los valores a las siguientes formulas de las tablas de verdad y explicar porque:
Proposicin Valores Resultado
~p
~q
p.q
~p . ( q v ~r )
pw(qs )
pq

Fichas y Textos
Gerardo Surez Silva
11
N Reg. Propiedad Intelectual: 966979
 Filosofa

3) Formalizar la siguiente proposicin:

Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y
respetan a todo ser viviente y al medio ambiente, no habra ningn problema. Pero si los hechos son brbaros o
no respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no po-
dramos considerarnos dignos de nuestro tiempo.
p: justificar hechos por su tradicin q: ser inofensivo.
r: ser respetuoso con los seres vivos. s: ser respetuoso con el medio ambiente.
t: tener problemas. ~q: ser brbaro. (= no ser inofensivo)
u: ser digno de nuestro tiempo.

4) Formaliza las siguientes proposiciones y confecciona su tabla de verdad:

Ests seguro y lo que dices es cierto o eres un mentiroso
2+2=4, si y solo si 4-2=2; y 2+3=5 si y solo si 5-3=2
Ir al centro el da de paro, si circulan los colectivos y el subte
Fuimos al museo, pero ni encontramos las obras que buscbamos, ni nos dijeron dnde halladas
Si llegamos tarde, no conseguiremos pasajes y no nos harn la reserva para el da siguiente
Entregamos el proyecto maana, o no lo entregamos y quedaremos fuera del concurso
Si para la tormenta el avin llegar esta noche o maana a la madrugada

5) Verificar si las siguientes proposiciones son equivalentes

(pq).(qp) pq
(p w q) (p v q).~(p .q)
p q ~p . ~q

6) Simbolizar y realizar tabla de verdad

Madrid no es la capital de Espaa
O Madrid es la capital de Espaa, o Barcelona est en Inglaterra .
Mozart fue msico o Barcelona no est en Inglaterra
No es cierto que: Mozart fue msico y Barcelona est en Inglaterra
Madrid es la Capital de Espaa o no lo es
Maradona es drogadicto o no lo es, y la prensa tendr que arrepentirse de todo lo que dijo.
Si estudio y apruebo todas las materias en diciembre, entonces me podr ir de vacaciones tranquilo.
Si y slo si viera un marciano con mis propios ojos, creera que hay vida extraterrestre

7) Determinar el valor de verdad, sabiendo que p y q son verdaderas, y que r y s son falsas
(p. q) v ~ r
p v (q. r)
~ p . ~ ( q. r)
(p. s) v ~ r
( p . q) v (r. s )

8) Construye las tablas de verdad e indica si se trata de tautologas, contradicciones o contingencias.

~pvq
(p.q)p
p ~p
( p ~q) . ( p v ~q )
( p ~q ) v ( p v ~q )
( ~p v q ) p q )

Fichas y Textos
Gerardo Surez Silva
12
N Reg. Propiedad Intelectual: 966979
 Filosofa

SIMBOLIZACIN DE ARGUMENTACIONES
Recordamos que la argumentacin es el modo de expresin e la tercera operacin lgica que es
razonar.
Razonar es la operacin que obtenemos combinando enunciados.
Las argumentaciones no son verdearas o falsas, sino vlidas o invlidas.
Si bien en esta lgica hace foco en la segunda operacin, en las proposiciones, y por eso se lla-
ma proposicional, podemos tambin simbolizar desde este lenguaje las argumentaciones:

Lo primero que tenemos que hacer es identificar cuantos enunciados tiene esta argumentacin, y cules hacen de
premisa y cul de conclusin.
Las premisas pueden estar separadas unas de otras por un punto seguido o por una coma o por un punto y coma.
La conclusin tambin puede estar separada de la misma manera, pero generalmente va precedida por Por lo tan-
to, de esto se concluye, de esto se sigue y adems de al raya que separa premisa y conclusin, se puede agre-
gar el signo

Veamos un ejemplo
Me amas o me odias, yo s que no me odias; por lo tanto, me amas.
1 premisa = Me amas o me odias
2 premisa = yo s que no me odias
Conclusin = me amas
Procedemos a simbolizar: Aqu solo hay 2 enunciados.
p= me amas
q = me odias
Como conectivas hayamos la disyuncin exclusiva y la negacin.
Ahora s simbolizamos de la siguiente manera
p w q
~q
p

Otros ejemplos:

Si viene en tren, llegar antes de las seis. Si viene en coche, llegar antes de las seis. Luego, tanto si
viene en tren como si viene en coche, llegar antes de las seis
p q
r q
(p.r) q

Si Rosa se somete a la operacin de los ojos, entonces ya no tendr que usar lentes y le
cambiar la cara. Rosa usa lentes y adems no le cambi la cara, por lo tanto, Rosa no se someti a la
operacin de los ojos
p ( ~q . r )
q ~r
~p

Dijimos que las argumentaciones son vlidas o invlidas. Pero cmo hallar la validez de una forma de
razonamiento en la lgica proposicional?
Veremos dos mtodos: el mtodo del condicional asociado, el mtodo de la demostracin y la prueba for-
mal de invalidez.

Fichas y Textos
Gerardo Surez Silva
13
N Reg. Propiedad Intelectual: 966979
 Filosofa

MTODO DEL CONDICIONAL ASOCIADO:

Dado un razonamiento o argumentacin, debemos forzarlo a transformarse en una proposicin (no se olviden que en este
tipo de lgica trabajamos solo con la 2a operacin). Para ello lo convertimos en una forma proposicional compuesta llama-
da Condicional Asociado con dos caractersticas: unimos las premisas con una conjuncin y todo esto hace de anteceden-
te de la conclusin, que es el consecuente.
Bsicamente consiste en transformar esa forma de razonamiento en un "gran condicional", es decir, en la forma de una
proposicin condicional.
por qu? Porque cuando vimos las Tablas de Verdad, en el caso especial del Condicional, vimos que el nico caso en que
esta conectiva nos da un valor de verdad Falso, es cuando tenemos antecedente verdadero y consecuente falso; todos los
dems casos dan valores de verdad verdaderos. As, si nosotros pasamos la forma de un razonamiento a la forma de un
condicional, nos quedar que las premisas formarn el antecedente y que la conclusin ser el consecuente.

Antecedente Consecuente
Premisas del razonamiento Conclusin del razonamiento

De esta manera, si aplicando las Tablas de Verdad y el resultado es una TAUTOLOGA, es decir que en todos los casos nos
dan valores de verdad verdaderos, entonces decimos que esa forma es vlida
Si el resultado final fuese contradiccin o contingencia, la forma del razonamiento es invlida, ya que en cualquiera de los
dos casos, se pone de manifiesto que en el razonamiento en cuestin es posible que se de combinacin de premisas verda-
deras y conclusin falsa, lo cual, de acuerdo a lo que vimos de la definicin de validez, hace que la forma sea invlida.
El mtodo del condicional asociado es un procedimiento mecnico fcil de usar cuando el razonamiento
cuenta con pocas premisa s y pocas preposiciones. Para resolver razonamientos con mucha cantidad de premisas, es nece-
sario utilizar el mtodo de la demostracin.
Veamos un ejemplo:
Si yo dedico una parte de todos los das al estudio y presto atencin a las estrategias de aprendizaje sugeridas
por los profesores, aprobar las asignaturas del cuatrimestre. En verdad yo he prestado especial atencin a las
estrategias de estudio que me recomendaron y adems todos los das dedico una cierta cantidad de horas a es-
tudiar las materias. De esto se sigue que yo voy a aprobar las materias del cuatrimestre.
p = dedico una parte de todos los das al estudio
q = presto atencin a las estrategias de aprendizaje sugeridas por los profesores
r = aprobar las asignaturas del cuatrimestre
La simbolizacin correcta sera:
(p q) r
qp
r Al aplicar mtodo del condicional asociado queda:

{ [(p q) r ] . ( q p ) } r Resolvemos:
{ [( p q ) r ] . ( q . p ) } r
V V V V V V V V V V V
1 premisa 2 premisa conclusin
F F V V V F V F F V V
V F F V V V F F V V V
F F F V V F F F F V V
Es una TAUTOLOGA: V V V F F F V V V V F
Es una FORMA VLIDA
F F V F F F V F F V F
V F F F F F F F V V F
F F F F F F F F F V F

Fichas y Textos
Gerardo Surez Silva
14
N Reg. Propiedad Intelectual: 966979
 Filosofa

1) Determinar la validez mediante el mtodo del condicional asociado

ACTIVI- a) p.q c) q
DAD pvq p
q q.p

b) pvq d) pq
~p qr
q pr

2) Simbolizar y determinar la validez mediante el mtodo del condicional asociado

Los simios fueron instruidos para pulsar la luz verde si oan un zumbido, y una luz roja si se trata-
ba de una palabra. Oan un zumbido o era una palabra. Por lo tanto los simios pulsaban una luz
verde o una luz roja
El crneo con dos cisuras es de un animal mamfero o es de un anfibio. El crneo con dos cisuras
no es de un mamfero. Luego el crneo hallado es de un anfibio
O la mquina expendedora de boletos no te dio el vuelto, o colocaste un importe exacto. Colo-
caste un importe exacto. Por lo tanto la mquina no te dio el vuelto.
Si la moral no existe y todo est permitido, vamos hacia la anarqua social. Ahora bien, no va-
mos a la anarqua social. Adems la moral existe. Luego, no todo est permitido

MTODO DE LA DEMOSTRACIN:
Cuando los razonamientos contienen varias proposiciones atmicas diferentes como componentes, se hace difcil y tedioso
utilizar tablas de verdad para probar su validez.
Un mtodo ms conveniente es DEDUCIR las conclusiones de sus premisas por una secuencia de razonamientos ms cortos y
ms elementales que ya se conocen que son validos y aceptados como reglas de inferencia, que es todo esquema valido de
razonamiento independientemente de la interpretacin de las proposiciones compuestas .
Lo primero que hay que hacer es enumerar cada una de las premisas y colocarlas en columna. Numeramos cada una de las
premisas. A la conclusin se le coloca el signo / y se coloca la conclusin, ya que es el teorema a demostrar. Un ejemplo:

(p . q) (r . s) 1) (p . q) (r . s)
~ (r . s) 2) ~ (r . s) / ~p v ~q
~p v ~q

El procedimiento del mtodo demostrativo consiste en dejar de lado la conclusin, pues es a donde se deber
llegar al finalizar la operacin de prueba, y de este modo se demostrar la conclusin, y por ello que el razonamiento es
vlido. Hay que operar en las premisas aplicando las reglas lgicas (cuadro de la pgina siguiente). Las nuevas
formas proposicionales que vayamos obteniendo, se colocan encolumnadas y numeradas debajo de la ltima premisa, e
indicando al lado en qu premisa o entre cules aplicamos alguna regla lgica y qu regla aplicamos (poner
abreviaturas). Si se logra llegar a la conclusin, partiendo de las premisas y efectuando transformaciones legtimas por
las reglas lgicas; el razonamiento es vlido.
Pero si por la aplicacin reiterada de las reglas lgicas no se puede llegar a la conclusin, habr una gran
posibilidad de que el razonamiento no sea vlido

1) (p . q) (r . s)
2) ~ (r . s) / ~p v ~q
3) ~ ( p . q) de 1) y 2) por RMTT (regla del modus Tollendo Tollens)
4) ~p v ~q de 3) por RR (Regla de Reemplazo) L DEM (Ley de Demorgan)

El resultado, que coincide con la conclusin de nuestro razonamiento, se recuadra.

Y esto quiere decir que hemos demostrado la conclusin, por lo tanto es una forma
vlida

Fichas y Textos
Gerardo Surez Silva
15
N Reg. Propiedad Intelectual: 966979
 Filosofa

LEYES LGICAS:
son FORMAS PROPOSICIONALES lgicamente VERDADERAS cuyas tablas de verdad arrojan resultado siempre verdadero
(TAUTOLOGAS). Se las denomina tambin EQUIVALENCIAS LGICAS (sus tablas de verdad son equivalentes)
Solo se pueden usar antecedindoles la REGLA DE REEMPLAZO (RR)

LEY DE IDENTI- LEY DE IDEM- LEY DE NO CONTRADICCIN

DAD (L Ident) POTENCIA (L No-cont)
(L Idemp) ~(p. ~p)
p p
Una proposicin slo es idntica a si p p.p No es posible que algo sea y no sea al mismo tiempo. NI que
misma una proposicin se a verdadera y falsa al mismo tiempo

LEY DE 3 EX- LEY ASOCIATIVA (L Asoc.) Esta ley ordena de diversas for-
CLUIDO (L 3 Excl.) mas sin alterar los productos,
(p. q).r p. (q .r) cuando se tenga el mismo conecti-
(pw ~p)
Toda proposicin es necesariamente (pq)r p (q r) vo lgico, ya sea la conjuncin o
verdadera o necesariamente falsa. disyuncin o bicondicional.
No existe una posicin intermedia. (pq)r p (q r) (siempre y cuando sea con la mis-
ma operacin

LEY CONMUTATIVA Esta ley puede aplicarse con con- LEY DE DOBLE NEGA-
(L Conm.) juncin, disyuncin y bicondicional. CIN (L D Neg)
(p. q) ( q . p)
Con el nico conectivo que no pue- p ~(~p)
de aplicarse esta ley es con el co-
nectivo de la condicional. Cambia el ~ ~p p
(pq) ( q p) orden de las proposiciones sin mo- Una proposicin doblemente negada es
dificar el conectivo. igual a su afirmacin y viceversa.

LEY DISTRIBUTIVA (L Dist.) Se aplican cuando se tienen

LEY DE NEGACIN
dos conectivos diferentes:
p. (q r) ( p . q ) ( p . r) conjuncin-disyuncin o bien DEL CONDICIONAL
(L Neg Cond.)
disyuncin-conjuncin. Dis-
p(q .r) ( p q ) . ( p r) tribuye a la proposicin fuera ~ (p q) ( p . q)
. del parntesis con las que
estn dentro de este
Una preposicin condicional negada es
equivalente a la conjuncin del antece-
LEY DE MORGAN LEY DE DEFINICIN dente y el consecuente negado.
(L D Morg.)
DEL CONDICIONAL
( p . q ) ( p q ) (L Def. Cond.)

( p q ) ( p . q )
La ley de Morgan sera algo as como la
distributiva de la negacin. Tiene dos formas
en las que se puede aplicar la ley. A partir de
una proposicin en conjuncin negada, se
puede obtener la negacin de cada uno de
los conjuntivos pero cambiando el conectivo
a disyuncin, pero cambiando el conectivo a
conjuncin.
LEY DE EXPORTACIN
(L Export.)
[( p . q) r] [ p (q r)]
( p q ) ( p q )
( p q ) ( p . q ) LEY DE TRANSPOSI-
CIN DEL CONDICIO-
NAL
Tambin se la llama Ley de Implicacin (L Transp. Cond.)
Material. Esta ley permite cambiar el conec- (p q) (q p)
tivo principal de la proposicin condicional La trasposicin de una preposicin condi-
por disyuncin, pero negando el antece- cional es una proposicin con el mismo
dente, o bien por la negacin de la conjun- conectivo condicional cambiando las
cin del antecedente y el consecuente preposiciones antecedente y consecuente
negado y negndolas respectivamente

Fichas y Textos
Gerardo Surez Silva
16
N Reg. Propiedad Intelectual: 966979
 Filosofa

REGLAS LGICAS:
son FORMAS DE RAZONAMIENTO lgicamente VLIDAS cuyas tablas de verdad arrojan resulta-
dos siempre verdaderos (TAUTOLOGAS). Tambin se las conoce como Leyes de implicacin

REGLA DEL MODUS REGLA DEL MODUS

PONENDO PONENS (RMPP) TOLLENDO TOLLENS (RMTT)
p q p q
p ~q
q ~p
En esta regla, la primera premisa es un condicional, En esta regla, la primer premisa es un condicional, la
la segunda premisa es el antecedente de la primera segunda premisa niega al consecuente y se concluye
premisa, para concluir en el consecuente en la negacin del antecedente.
Si llueve, voy al cine Si hay luz solar, es de da
Llueve No es de da
Luego, voy al cine Por lo tanto, no hay luz solar

REGLA DEL MODUS REGLA DEL MODUS

PONENDO TOLLENS (RMPT) TOLLENDO PONENS (RMTP)
p w q p w q p v q p v q
p q ~p ~q
~q ~p q p
En esta regla, la primera premisa es una disyuncin En esta regla, la primera premisa es una disyuncin
exclusiva, la segunda premisa puede ser cualquiera inclusiva, la segunda premisa puede ser cualquiera
de los dos enunciados, y la conclusin ser el otro de los dos enunciados negados, y la conclusin ser
pero negado Duermo o estudio el otro afirmado Puedo estudiar Ingls o Francs
Duermo No estudio ingls
No estudio Estudio Francs

REGLA DE REGLA DE ADICIN REGLA DE

SIMPLIFICACIN (R. Adic.) CONJUNCIN
(R. Simpl.) (R. Conj.)
p.q p p p v q p
p.q q q p . q
Esta ley puede aplicarse a partir de una A una proposicin cualquiera se puede
sola premisa, que es una proposicin adicionar, a travs del conectivo de dis-
compuesta cuyo conectivo principal es la yuncin, cualquier proposicin pero cam- Tambin se la llama Regla de Producto
conjuncin; se concluye con cualquiera de biando el conectivo a conjuncin. Lgico. Dos proposiciones separadas se
los enunciados simples.. pueden unir con el conectivo conjuncin .

REGLA DEL SILO- Las dos premisas de esta
GISMO HIPOTTICO ley son proposiciones
(RSH) condicionales; para que
pueda ser aplicada, se
p q requiere que el conse-
cuente de la primera
q r premisa sea igual al
p r antecedente de la segun-
da premisa.
.
REGLA DEL DILEMA Como primera premisa
se tiene la conjuncin
CONSTRUCTIVO (RDC) de dos proposiciones
condicionales, su se-
(p q). (r s) gunda premisa es la
disyuncin de los ante-
pvr cedentes de ambas
condicionales y se
.
qvs concluye en la disyun-
cin de sus consecuen-
tes.

Fichas y Textos
Gerardo Surez Silva
17
N Reg. Propiedad Intelectual: 966979
 Filosofa

1) Resolver mediante el mtodo demostrativo, usando la REGLA DE REEMPLAZO y

diciendo qu LEY se aplic
ACTIVI-
DAD A 1) * a b c + . d / abc.d)

B- 1) * x y z + ( k n ) / x y * z ( k n ) +

C- 1) * n s f + / ns

D- 1) (o . p) *q r s ) t+ u}/ (o . p) *q r s ) t + } u

E- 1) (s . n )/ (s . n )

F- 1) * b j d + / * b j d +

G- 1) (h t ) j a . c) + } / (h t ) j a . c) +

H- 1) ( p . q ) * r s w t ) + / * (p . q ) r + s w t )

I- 1) * ( l m ) n + p w q ) / p w q ) . * ( l m ) n +

J- 1) ( a b ) . c d ) / * ( a b ) . c + * ( a b ) . d +

K- 1) (n . s) q b) a t ) + / (n . s) q b) + a t )

L- 1) ( f t ) . ( n u ) / * ( f t ) ( n u ) ]

M- 1) * s . ( r ) + / ( s r )

N- 1) q ( p r ) / ( p r ) + q)

O- 1) (he) f g) } i j k)+ / (he) f g) i j k)+ }

P- 1) * ( v w ) + / ( v w )

Q- 1) *(l s t w j)+ *(l s a b)+ / (l s t w j) a b)+

R- 1) (s . g ) t j . n) + } / (s . g ) t j . n) +

S- 1) d a b w c)+ } / d a b w c)+

T- 1) l w q) . j r) + / l w q) j r)

U- 1) f w j) w t+ b d . h)+ / b d . h)+ f w j) w t+

2) Justificar cada paso diciendo qu Ley, por medio de la Regla de Reemplazo, se

utiliz.

A 1) p s ) q / p s q )
2) p s ) + q
3) p s ) q
4) p s q )

Fichas y Textos
Gerardo Surez Silva
18
N Reg. Propiedad Intelectual: 966979
 Filosofa

B- 1) * n s ) . ( t f ) + n s) r + / t f r)+ n s)}
2) n s) . t f ) r +
3) n s) . t f r )+
4) t f ) r + . n s)
5) t f r)+ n s)}

3) Resolver la inferencia de acuerdo a la ley aplicada

A- 1) q) p / q .p )
2) de 1) por RR L. Transp. Cond.
3) de 2) por RR L. Def. Cond.
4) de 3) por RR L. Conmut.
5) de 4) por RR L. de Morg.

B- 1) p r s)+ } / p r ) s
2) de 1) por RR L. Dob. Neg.
3) de 2) por RR L. Asoc.
4) de 3) por RR L. Conmut.
5) de 4) por RR L. Def. Cond.
6) de 5) por RR L. Transp. Cond.

4) Resolver aplicando mtodo demostrativo

A- 1) p q+ } / q r

B- 1) q r p ) / p q r )

5) Resolver mediante el mtodo demostrativo, usando las REGLAS LGICAS:

A- 1) d r ) m
2) d r ) / m

B- 1) a f ) j s)
2) j s) n / a f ) n

C- 1) b s ) a w x )
2) a w x ) + / b s )

D- 1) * t y ) n s f ) . j +
2) t y ) s f ) / n j

Fichas y Textos
Gerardo Surez Silva
19
N Reg. Propiedad Intelectual: 966979
 Filosofa

E- 1) d w * r j n ) + / d w * r j n ) + } k .

F- 1) * l m s ) + . * p j l ) / l m s )

G- 1) (s t) * j w f n ) +
2) (s t) / j w f n )

H- 1) *(a b) s +
2) (x f) w z / *(a b) s + . *(x f) w z +

I- 1) n (m s) + } w
2) n (m s) + } / d

6) Justificar cada paso diciendo qu Ley o Regla se utiliz

A- 1) ( k l ) ( m n )
B- 1) i j
2) ( m n ) ( o . p )
3) k /o 2) j k
4) ( k l ) ( o . p ) 3) l m
5) k l 4) i l / k m
6) o . p 5) i k
7) o 6) (i k) . ( l m )
7) k m
C- 1) p . q)
2) p q (r s)+ / r t D- 1) (p . q): (r s)
3) p 2) (r s ) / p q
4) p (r s) 3) (p . q)
5) (q r)+ . (q v s ) 4) p q
5) q r
6) q E- 1) *b c a+ (d c)
7) r 2) e * b . c a
8) r t 3) e . d
4) e d
F- 1) * a b c (d n) 5) d e / c
2) l * b c a 6) e
3) l d / c 7) d
4) l 8) b . (c. a)
5) * b c a 9) (b . c) . a
6) * (b c) a 10) d c
7) * a (b c) 11) (d c) . (e d
8) d c 12) c d
9) d 13) d c
10) c 14) c

Fichas y Textos
Gerardo Surez Silva
20
N Reg. Propiedad Intelectual: 966979
 Filosofa

7) Determinar la validez mediante el mtodo demostrativo:

A- 1) p . q
2) q r / p . r

B- 1) p
2) p (q. r) / q

C- 1) s . t
2) (s m) n / s . n

D- 1) p q . r
2) r / p

8) Resolver la inferencia de acuerdo a la Regla aplicada

A- 1) * (p q ) w (r s ) + . (t v )
2) ( p t ) p . r
3) r . t / ( r s )
4) de 1) por R Simpl.
5) de 3) por R Simpl.
6) de 5) por R Adic.
7) de 6) por RR Ley Conmut.
8) de 2) y 7) por RMPP
9) de 8) por R Simpl.
10) de 9) por R Adic.
11) de 4) y 10) por RMPT

B- 1) n . z )
2) * x ( w z ) + w n
3) ( w z ) x
4) j s ) / z j
5) de 4) por RR Ley de Morgan
6) de 5) por R Simpl.
7) de 6) por RR Ley Dobl. Neg.
8) de 7) por R Adic.
9) de 8 por RR L Comnut.

Fichas y Textos
Gerardo Surez Silva
21
N Reg. Propiedad Intelectual: 966979
 Filosofa

MTODO DE REDUCCIN AL ABSURDO:

Es un mtodo para demostrar la validez de un razonamiento que consiste en negar la conclusin y esperar que,
por medio de la aplicacin de la deduccin (mtodo demostrativo), se llegue a un absurdo del tipo por ejemplo:
"A . ~ A".
Como se puede observar, la expresin anterior viola el principio de identidad: "~ (A. ~A)", y por ello es absurdo.
Se supone que si el razonamiento es vlido, no puede haber ningn caso donde de premisa s verdaderas la con-
clusin sea falsa. Por ello, si negamos la conclusin, forzamos a que la misma sea falsa, y con ello, al deducir
aplicando las reglas, no llegamos ms que a un absurdo.
Vemoslo en un ejemplo:
1) ( t v c) ( b . p)
2) p a
3) ~ a /:. ~ t

Lo primero es negar la conclusin (paso 4), Y

1) ( t v c) ( b . p)
luego, partiendo de la nueva premisa que creo
2) p a al negar la conclusin, tengo que llegar a un
3) ~ a /:. ~ t absurdo, logrando afirmar y negar alguna otra
4) ~ ( ~t ) En el primer paso se niega la conclusin proposicin del razonamiento. En este caso
llegamos a: "a . ~ a" (paso 10)
5) t de 4) por RR, L D Neg Vemos como mediante este procedimiento
6) t v c de 5) por R Adic forzamos a ser invlido el razonamiento al ne-
7) b . p de 1) y 6) por RMPP gar la conclusin, pero que llegamos a un ab-
8) p de 7) por R Simpl surdo: con lo cual demostramos, por medio del
mtodo de reduccin al absurdo, que es absur-
9) a de 2) y 8) por RMPP do considerar que esta forma de razonamiento
10) a . ~ a de 9) y 3) por R Conj sea invlida, o sea que ES VLIDA.

MTODO DE INVALIDEZ:
Cmo podemos saber que una forma de razonamiento es invlida?
Antes dijimos que, si con el mtodo demostrativo no podemos llegar a la conclusin aplicando las reglas y leyes
lgicas, es probable que el razonamiento sea invlido.
Pero puede ocurrir que efectivamente lo sea, y que sencillamente no demos con las reglas adecuadas para efec-
tuar la demostracin.
Por ello, la incapacidad para demostrar la validez, no implica necesariamente que el razonamiento tenga una
forma invlida.
Por lo tanto, se hace imprescindible la existencia de una prueba formal de invalidez.
El mtodo que describiremos se haya estrechamente relacionado con las tablas de verdad, aunque es mucho
ms acotado. Por ello tambin se lo conoce como mtodo de tabla de verdad abreviado

Entonces: Mtodo Se demuestra:

Condicional asociado VALIDEZ
Mtodo demostrativo VALIDEZ
Mtodo de reduccin al absurdo VALIDEZ
Mtodo de tabla de verdad abreviado INVALIDEZ

Fichas y Textos
Gerardo Surez Silva
22
N Reg. Propiedad Intelectual: 966979
 Filosofa

Ser til recordar cmo puede demostrarse que un razonamiento no es vlido por medio de una tabla de
verdad. Si puede encontrarse un solo caso (fila) en que puedan asignarse valores de verdad a las variables de
enunciado, de modo tal que las premisas sean verdaderas y la conclusin falsa (o sea que el resultado no sea
tautologa), el razonamiento no es vlido.
En el caso de esta prueba, vamos a intentar hacer esta asignacin de valores de verdad, sin tener que cons-
truir la tabla entera para ahorramos una parte del trabajo (por ello se la conoce como tabla de verdad abre-
viada).
Precisamente, como partimos del supuesto de que es un razonamiento invlido, vamos a construir el nico
rengln de la tabla que me asegure que de premisas verdaderas, la conclusin es falsa. Veamos un ejemplo:
Dado el razonamiento:
Sabemos que este razonamiento es invlido ya que es una alteracin V pq
pq inadecuada del Modus Tolendo Ponens. Al ser invlido, su forma podr
p dar lugar a que en la tabla de verdad aparezca algn rengln donde de V p
q considerar a las premisas verdaderas, la conclusin sea falsa. Supone-
F q
mos entonces que es invlido, anotando al lado de cada premisa el va-
lor "V' y al lado de la conclusin el valor "F".
V Tratamos ahora de confirmar nuestra suposicin asignando a cada variable proposicio-
pq V V
nal un valor de verdad de modo tal que se ratifique la suposicin inicial. En nuestro ca-
V p V so hemos optado por considerar a "p": "V; y a "q" tam- V pq V V V
bin "V
F q V Ahora resolvemos las expresiones que nos quedan, y va- V p V V
mos a observar que llegamos a confirmar nuestra suposi-
F q V F
cin, Por lo tanto la forma del razonamiento es invlida.
Otro ejemplo:
V V V FORMA INVLIDA
pq F V
Aqu la asignacin de valores fue:
V p r V F VV V p=F q=V
r= F
V r F V V
Conviene observar que, en este ejemplo tambin se puede conside-
F p F F F rar a q = F

ACTIVI-
DAD 1) Demostrar la validez por el mtodo de reduccin al absurdo
A- 1) p ( q . r )
2) r / p

B- 1) p q
2) r . p
2) s / q

C- 1) * ( p r ) q + m
2) p . s
3) n / m

D- 1) r w ( q p )
2) r. ( z u ) / u p

Fichas y Textos
Gerardo Surez Silva
23
N Reg. Propiedad Intelectual: 966979
 Filosofa

2) Demostrar la invalidez de los siguientes razonamientos:

A- p q B- ( p q ) r
qr r
p p . q )
q

C- ( p q ) r D- pq.r)
r s ( p s ) . ( p . s )
s s (pt)
p . q ) q . r )

E- pq) F- pq
( p . q ) ( r . s ) p (rs)
sr qt
r t

3) Justificar cada paso de los siguientes mtodos de reduccin al absurdo, diciendo

qu Ley o Regla se utiliz

A- 1) (a c) (b . d ) B- 1) p ( q . r )
2) d e 2) ( r q ) . s / p
3) e / a 3) (p)
4) (a) 4) de 3) por RR Ley Dobl. Neg.
5) de 4) por RR Ley Dobl. Neg. 5) de 1) y 4) por RMPP
6) de 5) por R Adic. 6) de 2) por R Simpl.
7) de 1) y 6) por RMPP 7) de 6) por RR Ley de Morg.
8) de 7) por RR Ley Conmut. 8) de 5) R Simpl.
9) de 8) por R Simpl. 9) de 7) por R Simpl.
10) de 2) y 9) por RMPP 10) de 8) y 9) por R Conj.
11) de 10) y 3) por R Conj.

4) Los siguientes razonamientos son uno de forma vlida y otro de forma invlida. Sim-
bolizar y aplicar el mtodo del condicional asociado al vlido, y la prueba de invalidez
al invlido.

A- Si la historia ha llegado a su fin, entonces la humanidad est condenada a

repetirse. Efectivamente, la historia ha llegado a su fin. Por lo tanto, la humani-
dad est condenada a repetirse.
B- Si las variables econmicas permanecen estables, entonces hay reactivacin
y crecimiento. Las cifras indican que hay reactivacin y crecimiento. En conse-
cuencia, las variables econmicas permanecen estables.

Fichas y Textos
Gerardo Surez Silva
24
N Reg. Propiedad Intelectual: 966979