INTRODUCCIN

A LA
LGICA
RAFAEL MORA
CEPRE-UNI
23 JUNIO 2014

QU ES LA LGICA?
La lgica estudia los razonamientos, pero no los razonamientos como
procesos mentales que son tema para la psicologa- sino los productos de
tales procesos. Entendido de esta manera, un razonamiento es un
conjunto de oraciones formulado por alguien que pretende que una de
esas oraciones la conclusin del razonamiento- se sigue (se deriva, se
desprende) de las dems las premisas del razonamiento-. Esta
pretensin la pretensin de que las premisas dan apoyo o fundamento a
la conclusin- es lo que distingue a los razonamientos de otros conjuntos
de oraciones como las descripciones y los relatos. Para entender esto
veamos dos inferencias:
1. Roma es la capital de Italia, y este avin aterriza en Roma; entonces
el avin aterriza en Italia.

2. Mosc es la capital de Estados Unidos, entonces si estoy en Mosc,

estoy en Estados Unidos.
La primera no reporta problema. Pero la segunda no persuade a nadie. Si
la premisa hubiera sido cierta, la conclusin hubiera sido correcta.
Hubiera resultado de las premisas; y en eso se interesa la lgica. No le
interesa si las premisas de una inferencia son verdaderas o falsas. se es
asunto de alguien ms. La lgica presupone la verdad de las premisas
como hiptesis. Le interesa simplemente si la conclusin resulta de las
premisas. Los lgicos llaman vlida a una inferencia cuando la conclusin
en verdad resulta de las premisas. Por ende la meta central de la lgica es
comprender la validez.

VALIDEZ

Hay dos tipos diferentes de validez. Para entender esto

consideremos las tres siguientes inferencias:
1. Si el ladrn hubiera entrado por la ventana de la cocina,
habra huella afuera; pero no hay huellas; as pues, el ladrn
no entr por la ventana de la cocina.
2. Juan tiene manchas de nicotina en los dedos; por lo tanto,
Juan es un fumador.
3. Juan compra dos paquetes de cigarros al da; por lo tanto,
alguien dej huellas afuera de la ventana de la cocina.
La primera inferencia es deductivamente vlida porque las
premisas no podran ser verdaderas sin que la conclusin
tambin lo fuera. La segunda es inductivamente vlida porque
la premisa da claramente une buena razn para la conclusin,
pero no es por completo conclusiva. La tercera es invlida
simplemente porque al parecer hay la sensacin de que hay
alguna premisa extras que hace falta mencionar.

LA LGICA
La lgica es una ciencia normativa nos dice lo que

debe ser no cmo nosotros lo hacemos-. Si Pepe

suma 17 a 19 y va y le resulta 45 deberemos
convencerle de lo bueno de practicar la aritmtica y
hacerle ver que la respuesta correcta es 36. Del
mismo modo, si alguien razona mal en determinados
casos, podemos hacer algo de lgica con l para
mostrarle que tal o cual razonamiento es errneo.
Eso es lo que significa normativa. La lgica
establece las normas estndares de correccin- del
razonamiento correcto, por tanto cualquiera que no
las respete razona incorrectamente y podemos
invitarle a cambiar de conducta. Gottlob Frege, el
padre de la lgica moderna, escribe lo siguiente: las
leyes de la lgica son las leyes ms generales y
prescriben de forma universal el modo en el que
cualquier debe pensar si es que debe hacerlo

LAS FALACIAS
Las falacias son razonamientos

invlidos. Pero, se pueden hablar

de falacias formales y no formales.
Las falacias formales son aqullas
en las que el criterio de invalidez
est relacionado con la forma del
argumento; en cambio, las falacias
no formales son aqullas en las
que el criterio de invalidez est
vinculada con el contenido del
argumento. En esta ocasin nos
ocuparemos de las falacias no
formales.

FALACIAS NO FORMALES

En lgica se acostumbra reservar el nombre de falacia a aquellos

razonamientos que, aunque lgicamente incorrectos, son psicolgicamente persuasivos. Por ello una falacia es un tipo de
razonamiento incorrecto que se presenta como si fuera correcto,
pero resulta no serlo cuando se lo analiza cuidadosamente. Sin
embargo, las falacias informales son ms difciles de caracterizar
y parecen ocurrir tanto cuando las premisas de un argumento no
son suficientemente relevantes para la conclusin como cuando
somos nosotros los que caemos en enredos del lenguaje. Un
ejemplo paradigmtico de esto ltimo ocurre cuando nos damos
cuenta de que una misma palabra se est usando en dos sentido
diferentes en un argumento. As, si alguien dijera que el fin de
nuestra vida consiste en proporcionar felicidad a otras personas y
aadiera que la muerte es el fin de la vida, si esta persona se
precipitara en concluir que la muerte lleva la felicidad a las
personas, nosotros podramos identificar rpidamente su error,
porque est incurriendo en la Falacia del Equvoco, pues en la
primera parte del argumento fin se usa en el sentido de
propsito y en la segunda parte en el sentido de final.

FUNCIONES DEL
LENGUAJE
En cualquier acto de comunicacin intervienen los siguientes factores:
Emisor del mensaje
Receptor o destinatario del mensaje.
Canal o contacto psicofsico entre emisor y receptor.
Mensaje o informacin transmitida.
Referente o contexto al que se refiere el mensaje.
Cdigo en que est cifrado el mensaje y que es compartido por emisor y receptor.
Siempre que utilizamos el lenguaje, lo hacemos con una intencin o funcin determinada: informar,
persuadir, ordenar, conmover... Segn cul sea nuestra intencin en el momento de comunicarnos,
destacar alguno o varios elementos de la comunicacin.
No todos los mensajes desempean la misma funcin: algunos se limitan a informar, otros son un
recurso para iniciar el contacto comunicativo, otros mensajes se emiten con el propsito de
provocar una determinada reaccin en el receptor, otros con la intencin de cautivar la sensibilidad
del destinatario. La funcin que desempea un mensaje viene determinada por el predominio de
alguno de los elementos en el proceso comunicativo o porque el mensaje incide de manera directa
sobre dicho elemento; sin embargo, es frecuente que un mismo mensaje desempee varias
funciones a la vez. Las funciones, por tanto, no se dan de manera aislada sino que aparecen
combinadas en un mismo texto.

FUNCIONES DEL LENGUAJE -I FUNCION EXPRESIVA

Cuando se usa el lenguaje para comunicar

sentimientos, valores, actitudes y

emociones. El lenguaje sirve a la funcin
expresiva siempre que se usa para expresar
o inducir sentimientos o emociones.
Ejemplos:
Por Jpiter! Casi me saco la lotera!
Valentn es bueno
El viento de la noche gira en el cielo y
canta
Bravo! Qu felicidad!
Es hielo abrazador, es fuego helado, es
herida, que duele y no se siente, es un
soado bien, un mal presente, es un breve
descanso muy cansado.

FUNCIONES DEL LENGUAJE -II

FUNCION APELATIVA
Cuando se usa el lenguaje para generar o evitar una
accin, puede tratarse de una orden, un pedido, una
prohibicin, una interrogante etctera. Cuando un
padre le dice a su hijo que se lave las manos antes de
comer, la intencin no consiste en comunicar una
informacin o en expresar o evocar una emocin en
particular. El lenguaje intenta en este caso obtener
resultados, ocasionar la accin de tipo previsto.
Ejemplos:
Estas estudiando?
Debemos honrar a nuestros hroes a los smbolos
patrios.
Nadie ser sometido a torturas ni a penas o tratos
crueles, inhumanos o degradantes.
Guame, oh Seor, por la senda de tu justicia: haz
que sea recto ante tus ojos mi camino por causa
de mis enemigos.
Firmes!, Descanso!, Atencin!

FUNCIONES DEL LENGUAJE -III FUNCIN INFORMATIVA

Cuando se usa el lenguaje para describir objetos,

hechos o situaciones, haciendo referencia a las

caractersticas o cualidades que se supone, le
corresponden efectivamente. El lenguaje usado
para para afirmar o negar proposiciones, o para
presentar argumentos, se dice que sirve a la
funcin informativa. Ejemplos:
El cuadriltero es un polgono de 4 lados
El planeta Marte gira alrededor del Sol
El agua se congela a cero grados centgrados en
condiciones normales
J. M. Arguedas escribi El Sexto.
La lgica es una ciencia formal

CONCEPTOS BSICOS -I

PROPOSICIN
De todas estas funciones del lenguaje, la lgica toma en
cuenta slo aquellas oraciones que sirvan para afirmar,
negar, describir, informar, etc. Estas oraciones son las
declarativas o aseverativas y son las nicas que pueden
constituir proposiciones, segn cumplan o no determinados
requisitos. La proposicin es una oracin aseverativa de la
que tiene sentido decir que es verdadera o falsa. Ejemplos:

Es importante notar que lo que interesa bsicamente en una

expresin proposicional es su sentido de verdad o falsedad,
porque oraciones distintas pueden expresar una misma
proposicin. Por ejemplo, las 3 oraciones siguientes
expresan una sola proposicin:

El ornitorrinco es ave.
El tomo es molcula.
Arguedas es un poeta peruano
Per est en Europa.
Cinco ms tres es ocho.

Luis y Mara son compaeros de promocin.

Luis es compaero de promocin de Mara
Mara es compaera de promocin de Luis.

De igual modo las siguientes oraciones en diferentes idiomas

expresan la misma proposicin:

El cielo est nublado

The sky is cloudy
Le ciel est nuageux

CONCEPTOS BSICOS -II

ARGUMENTO
Un argumento es una estructura de proposiciones
que consiste en derivar a partir de la verdad de
ciertas proposiciones conocidas como premisas la
verdad de otra proposicin conocida como
conclusin.
Las premisas de una inferencia son proposiciones
que ofrecen las razones para aceptar la conclusin.
La conclusin de una inferencia es la proposicin
que se afirma sobre la base de las premisas.
Preceden a la conclusin las palabras luego, por
tanto, por consiguiente, en consecuencia, etc.
Ejemplos:

Todos los metales son cuerpos brillantes y ningn

metaloide es cuerpo brillante. En consecuencia, ningn
metaloide es metal.
Si estoy viendo una pelcula, entonces estoy en el cine.
Estoy viendo una pelcula. Por ende, estoy en el cine.
Juan es buen alumno o buen hijo. Juan no es buen
alumnos. Por tanto, Juan es buen hijo.
Si 2x=8, entonces x = 4. Y, 2x=8. Por lo tanto, x=4.

CLASES DE PROPOSICIN

De acuerdo al criterio de si hay o no

conectores lgicos en la formulacin
de una proposicin, podemos
clasificarlas en:
1. Proposiciones simples, o
atmicas
Es aquella proposicin que no tiene
negaciones ni conectores lgicos en
su formulacin.
Transmite un solo mensaje
2. Proposiciones complejas,
moleculares o compuestas o
coligativas
Son aquellas que tienen negaciones o
conectores lgicos.
Transmiten ms de un mensaje (o un
mensaje negado, es decir, no-simple)

PROPOSICIN SIMPLE

La proposicin simple constituye el ncleo

proposicional mnimo por no tener relacin con
ninguna otra proposicin sino que es nica y simple.
De acuerdo al criterio del nmero de sujetos presentes
en la proposicin simple esta puede ser:
1. Proposicin simple predicativa
Son proposiciones simples en las que se atribuye
predicado a un sujeto.
Ejemplos:
El nmero 2 es par
La gallina es un ave
Lima es la capital de Bolivia
Hoy es un da soleado
2. Proposicin simple relacional
Son proposiciones simples que indican una relacin
recproca entre dos o ms sujetos
Ejemplos:
Silvia es hermana de gata
6 es mayor que 1
Mara conversa con Susana
Juan y Jos son amigos

PROPOSICIN COMPUESTA
De acuerdo al criterio del

conector de mayor jerarqua este

tipo de proposiciones se dividen
en:
1. Proposicin compuesta
conjuntiva ()
2. P. C. disyuntiva inclusiva ()
3. P. C. disyuntiva exclusiva ()
4. P. C. condicional ()
5. P. C. bicondicional ()
6. P. C. negativa (~)

PROPOSICIN COMPUESTA CONJUNTIVA

Resulta de unir dos o ms proposiciones mediante el conector

lgico de la conjuncin. En el lenguaje ordinario no siempre se
emplea para la conectiva y la palabras y. Se usan como
sustitutos otras expresiones conjuntivas como sino, adems,
mas, an cuando, pero, no obstante, sin embargo,
aunque, empero, tambin, mientras que, tantocomo
Ejemplos:
El profesor de biologa es amistoso y sabio, pero tambin es
estricto
No asisti a clases, no obstante est al da en su cuaderno
Pedro perdi tanto dinero como Juan
El juego ha empezado, igualmente la tmbola

Excepciones:

Los siguientes ejemplos no se refieren a proposiciones

conjuntivas porque no se pueden desdoblar en dos proposiciones
unidas mediante una conjuncin. Ejemplos:
Francisco es a la vez juez y parte
Pan y circo destruy a los romanos
Andrs y Daniela son hermanos
Juan tom su vino y se desmay
En el primer y segundo caso estamos ante locuciones
adverbiales. En el tercer caso, se trata de una proposicin simple
relacional. En el cuarto, la partcula y indica una relacin
causal no una conjuncin.

PROPOSICIN COMPUESTA DISYUNTIVA

INCLUSIVA
Resulta de unir dos o ms

proposiciones mediante el smbolo de

la disyuncin o. Se le llama
disyuncin inclusiva porque no
excluye la posibilidad de que todas las
proposiciones unidas por el smbolo
o sean verdaderas a la vez.
Ejemplos:
Mnica es biloga o fsica
El libro es voluminoso o interesante
Margarita est aqu o Elena est en su
casa
Gerardo est en el colegio o Clotilde
est jugando
Se puede elegir t o caf

PROPOSICIN COMPUESTA DISYUNTIVA

EXCLUSIVA

Resulta de unir dos o ms proposiciones

mediante el conector lgico de la disyuncin
exclusiva . Se le llama disyuncin
exclusiva porque excluye la posibilidad de
que todas las proposiciones unidas sean
verdaderas a la vez. Si se da una posibilidad
no pueden darse las otras.
Ejemplos:
Ir al cine o al teatro o al museo
Pedir sopa o entrada (Pueden ser
ambos?)
Vives en el Callao o eres sanborjino.
O bien ests vivo, o bien ests muerto
O San Martn naci en Argentina o en el
Per.
Es alumno o trabaja en una fbrica de
zapatos.
Es peruano o es japons (Puede ser
ambos?)

PROPOSICIN COMPUESTA CONDICIONAL

La conectiva condicional Sientonces vincula dos proposiciones

atmicas o moleculares. La proposicin resultante se llama
proposicin compuesta condicional. La proposicin interpolada entre
las palabras si y entonces se denomina antecedente. La que
sigue a la palabra entonces se le llama el consecuente. Otras
expresiones usadas en lugar de sientonces son: por
consiguiente, luego, de manera que, de ah que,
por lo tanto, en consecuencia, es una condicin
suficiente de. Estas expresiones se simbolizarn as: pq.
Pero no siempre el antecedente suele anteponerse al consecuente.
Tambin existe la posibilidad de que sea a la inversa. p cada vez que
q, p dado que q, p ya que q, p puesto que q, p porque q, p
supone q, p a condicin de que q, p es una condicin necesaria de
q, p en vista de que q. Todos los ejemplos anteriores se
simbolizarn as: qp
Ejemplos:
Si comes mucho, no adelgazars (pq)
Si esta figura tiene tres lados entonces es un tringulo. (pq)
Como su produccin crece Juan podr bajar su precio. (pq)
Eres cantante si tienes cualidades. (qp)
No fui a la reunin porque estuve enfermo (qp)
Renunci a ese empleo en vista de que me subempleaban (qp)

PROPOSICIN COMPUESTA BICONDICIONAL

La

proposicin pq es una proposicin

compuesta bicondicional. El smbolo se lee:
si y solo si. Otras expresiones equivalentes en el
lenguaje ordinario son: cuando y solo cuando,
es una condicin necesaria y suficiente, si y
solamente si.
Ejemplos:
Te acompaar a la fiesta si y slo si t pagas el
taxi.
Para que Luis viaje a Alemania es una condicin
necesaria y suficiente que obtenga la visa.
La naranja es agradable cuando y solo cuando
est madura.
Juan es profesional siempre y cuando tiene ttulo
universitario.
Ingresas a la universidad si y solamente si te
comprometes con la investigacin.

PROPOSICIN COMPUESTA NEGATIVA

La negacin no es un operador mondico que afecta a una

proposicin o a un conjunto de proposiciones. Otras
expresiones usadas como sustituto de la negacin son: ni,
nunca, no siempre, no ocurre que, no es el caso que,
es imposible que, no es cierto que, es falso que, no es
verdad que, jams, tampoco, le falta, carece, sin.
El dominio o alcance del operador de la negacin es variable.
Puede abarcar una proposicin o dos, o todo un conjunto de
proposiciones. Este alcance o dominio es indicado por signos
de agrupacin, parntesis, corchetes, llaves, etc.
Ejemplos:
Nunca he odo esa msica
Jams he visto a mi primo
Es impensable que la mesa sea una silla
Es falso que el juez sea fiscal
Al pap de Daniela le falta carcter
No es cierto que el salmn y el guano sean mamferos

SIMBOLIZACION
La

simbolizacin es un
procedimiento que consiste en
aplicar el mtodo del anlisis
lgico a una determinada
proposicin.
Analizarla
lgicamente
significa mostrar de una
manera totalmente explcita y
exhaustiva sus relaciones
sintcticas
subyacentes
y
permitir, determinar, de esa
manera,
todas
sus
interpretaciones posibles.

VARIABLES Y CONSTANTES
El lenguaje lgico se denomina

formalizado
porque
su
propiedad ms importante es la
de revelar la forma o estructura de
las proposiciones e inferencias.
El lenguaje formalizado de la
lgica de proposiciones consta de
dos clases de signos: variables
proposicionales y constantes u
operadores (o conectores) lgicos.

VARIABLES PROPOSICIONALES Y
METAVARIABLES
Las

variables proposicionales
representan cualquier proposicin
atmica.
Son letras minsculas del alfabeto
castellano p, q, r, s, etc.
Las metavariables representan
cualquier frmula o proposicin
compuesta.
Son
las letras maysculas del
alfabeto castellano A, B, C, D,
etc. Por ejemplo:
A=(pq) (rs)

CONSTANTES MONDICAS Y DIDICAS

Tambin llamados operadores lgicos. Ellos, adems de enlazar o

conectar proposiciones, establecen determinadas operaciones

entre ellas. Son de dos clases: didicos y mondicos.
Los operadores didicos tienen un doble alcance: hacia la
izquierda y hacia la derecha, es decir, afectan a dos variables. Y son
los siguientes:
El conjuntivo (), el disyuntivo (inclusivo () o
exclusivo()), el condicional (), el bicondicional ()
El operador mondico nico es la negacin. Tiene un solo
alcance: hacia la derecha, por lo que afecta a una sola variable.
Representa el adverbio negativo no. Su smbolo es ~.

SIGNOS DE AGRUPACIN

La puntuacin en el lenguaje comn es indispensable para precisar el

significado de las expresiones; sobre todo, para asegurar el sentido del

enunciado. Si no se usara debidamente los signos de puntuacin se incurrira
en una ambigedad insalvable. Por ejemplo:
Mientras dorman, los centinelas vigilaron el campamento
Mientras dorman los centinelas, vigilaron el campamento
En lgica importa mucho el uso de los signos de puntuacin o agrupacin.
Ellos son los siguientes: parntesis ((, )), corchetes ([, ]),
llaves ({, }) y barras (___).
Gracias a ellos se establece una jerarqua del alcance de los conectores u
operadores lgicos que permite anular toda posible ambigedad. Por
ejemplo:
w[t{(pq) (rs)}]
En la anterior frmula el smbolo de mayor jerarqua ser el bicondicional.

PASOS PARA LA SIMBOLIZACIN

Formalizar

una proposicin significa

abstraer su forma lgica, es decir,
revelar su estructura sintctica a travs del
lenguaje formalizado de la lgica. En
trminos ms sencillos, formalizar una
proposicin equivale a representarla
simblicamente.
Toda proposicin tiene su forma lgica y su
frmula. La forma lgica de la
proposicin es otra proposicin equivalente
a la primera con la diferencia de que en ella
toda su estructura sintctica est
completamente explicitada.
A partir de aqu su frmula no es otra cosa
que la que resulta de sustituir toda
proposicin atmica distinta por una
variable proposicional tambin distinta,
toda conjuncin gramatical por el operador
lgico correspondiente y el adverbio no
por el operador negativo.

PASOS PARA LA SIMBOLIZACIN

La tcnica de la formalizacin comprende los siguientes pasos:

1. Se explicita su forma lgica empleando las conjunciones gramaticales y el

adverbio no en sustitucin de expresiones equivalentes. Podemos empezar

determinando las proposiciones simples, y los nexos y/o negaciones.
2. Se halla su frmula reemplazando cada proposicin atmica por una
variable proposicional, las conjunciones gramaticales por sus operadores lgicos
correspondientes y el adverbio no por el operador negativo.
3. Los signos de agrupacin se usan para establecer jerarqua entre los
operadores de una frmula lgica, pero solo cuando su omisin la hace ambigua.
4. Se determina si la frmula resultante es una frmula bien formada (fbf)

LA TABLA DE VERDAD (T. V.)

Es un grfico que nos permite

establecer el valor de verdad del

esquema o frmula proposicional,
considerando
todas
las
combinaciones posibles, entre los
valores de verdad de las variables
que lo componen y de la regla del
operador respectivo.
La tabla de verdad permite hallar la
matriz principal que define al
esquema
proposicional.
Por
ejemplo, si esta matriz resulta
tautolgica, es decir, en todos los
mundos posibles es verdadero el
operador
principal,
el
razonamiento dado ser valido.

DETALLES DE LA T. V.
Las

combinaciones, o arreglos del

margen pueden armarse siguiendo
diversos criterios. El ms comn es el
de empezar por distribuir verdades y
falsedades en orden y de 4 en 4 para la
primera
variable,
para
luego
distribuirlos de 2 en 2 para la segunda
variable, y as sucesivamente.
El nmero de estas filas o arreglo queda
establecido por los valores de verdad y
el nmero de variables, mediante la
siguiente frmula: 2n , donde la base
representa el nmero de valores de
verdad y el exponente el nmero de
variables que intervienen en el esquema
molecular.
Ej: 21, tendremos 2 arreglos, 23,
tendremos 8 arreglos.

ANLISIS MATRICIAL -ICONSTRUIR LA MATRIZ DE LA SGT. FRMULA:

[(pq) r] [p (qr)]
1. Construyamos la matriz para esta frmula de 3 proposiciones

atmicas distintas. Consideremos 8 mundos posibles

II. Sealemos la columna principal de toda la matriz con la ayuda
de los signos de puntuacin.
III. Hallemos los valores de verdad de cada frmula compleja
recordando los valores de verdad dados para la conjuncin,
disyuncin, condicional, etc.
III.
Determinemos si la matriz resultante es: tautolgica,
contradictoria o consistente. Ser tautolgica cuando la columna
se encuentre llena de verdades, ser contradictoria cuando se
encuentre llena de falsedades, y ser consistente, si contiene
verdades y falsedades. Esto lo veremos despus con ms detalle.

ANLISIS MATRICIAL -IIp

[(p

q)

r]

[(p

(q

r)]

Notemos que la distribucin de la verdades y falsedades es por mitades; si hay 8 mundos posibles,
entonces, para el caso de la variable p, 4 de ellos sern verdades y los otros 4 sern falsedades.
Hemos distribuido de 4 en 4. En el caso de la variable q, repartiremos la verdad y la falsedad de 2
en dos 2 con el fin de acaparar todas las posibilidades combinatorias. En el caso de la variable r
hemos repartido la verdad y la falsedad de uno en uno.

TABLAS DE VERDAD DE LAS FUNCIONES

MOLECULARES BSICAS

CONJUNCIN
La conjuncin es verdadera cuando las dos proposiciones que la componen son verdaderas. Simblicamente se la define:

pq =

def

. ~(~p~q)

Leamos la igualdad anterior. Lo que se est definiendo, es decir, la conjuncin, ser verdadera cuando p es verdadera y q es verdadera al
mismo tiempo. Ahora fijmonos en lo que define, apliquemos nuestra lectura: la conjuncin ser falsa cuando al menos una de las dos
proposiciones componentes sea falsa.

DISYUNCIN DEBIL (DD)

La DD o inclusiva nicamente es falsa cuando las dos proposiciones componentes son falsas. Simblicamente se la define:

pq =

def

. ~(~p~q)

La lectura es similar: lo que se est definiendo, a saber, la DD se define como una frmula que es falsa cuando p y q son falsas a la vez (eso
es lo que define o sirve para definir). Ahora fijmonos en la disyuncin mismo ella ser verdadera cuando al menos una de las proposiciones
componentes lo sea.

DISYUNCIN FUERTE (DF)

La DF o exclusiva es falsa cuando sus dos proposiciones componentes son de igual valor veritativo. Esta funcin es totalmente opuesta a la
bicondicional. Simblicamente:

pq=

~ (p q)
p q = def (pq) (~p~q)

Si tomamos en cuenta que: pq =def (p q) (~p ~q), podremos reemplazarla en la primera definicin

pq=

def

def

~[(p q) (~p ~q)] (Reemplazando la bicondicional en la primera definicin)

Leamos la primera definicin: la DF ser falsa cuando al menos suceda una de las dos opciones: las dos proposiciones son verdaderas o las
dos proposiciones son falsas.
Ahora leamos la segunda: la DF ser verdadera cuando suceda al mismo tiempo que al menos una de las dos proposiciones sea verdadera y
que al menos una de las proposiciones sea falsa.

TABLAS DE VERDAD DE LAS FUNCIONES

MOLECULARES BSICAS

CONDICIONAL
La condicional es falsa cuando el antecedente es verdadero y el consecuente es falso. La definicin simblica es:

pq = def~(~p~q)

Si definimos la condicional en trminos de la disyuncin obtenemos otra lectura.

pq = def ~pq

Para que la condicional sea verdadera basta que al menos una de los opciones sucedan que el antecedente sea falso y que el
consecuente sea verdadero.

BICONDICIONAL
La bicondicional es verdadera cuando ambas proposiciones componentes tienen el mismo valor de verdad. Ser falsa cuando
ambas proposiciones tengan diferente valor de verdad

pq =def (p q) (~p ~q)

pq =def ~[ (~p ~q) (p q) ]

Leamos la primera definicin: la bicondicional ser verdadera cuando al menos suceda una de las dos opciones: las dos
proposiciones son verdaderas o las dos proposiciones son falsas.
Ahora leamos la segunda definicin: la bicondicional ser falsa cuando suceda al mismo tiempo que al menos una de las dos
proposiciones sea falsa y que al menos una de las proposiciones sea verdadera.
NEGACIN
La negacin cumple la funcin de invertir del valor de verdad de una proposicin.

~p=def~(p)

~p=def (~p)

La negacin es falsa cuando es verdadera la proposicin que niega. Y es verdadera cuando es falsa la proposicin que niega

LAS FUNCIONES DE VERDAD

A

AB

AB

AB

AB

AB

~A

CLASIFICACIN DE LAS FUNCIONES

PROPOSICIONALES
Considerando la distribucin de los

valores de verdadero y falso, en la

matriz principal de la tabla de verdad
de las frmulas proposicionales, stas
se
clasifican
en:
tautolgicas,
contingentes y contradictorias.
Frmulas
proposicionales
tautolgicas (T). Son aquellas cuya
matriz principal contiene nicamente
valores de verdadero.
Frmulas
proposicionales
contingentes o consistentes (Q).
Son aquellas cuya matriz principal
contiene tanto valores de verdadero
como de falso.
Frmulas
proposicionales
contradictorias (). Son aquellas
cuya
matriz
principal
contiene
nicamente valores de falso.

MTODO ABREVIADO

Es un mtodo que abrevia la elaboracin de la tabla de verdad.

Consiste en los siguientes pasos:
1. Suponemos que el operador principal de la frmula es falso o
verdadero.
2. Elegimos alternativas de asignacin de valores que permitan
que se cumpla o no este supuesto en todo el esquema,
respetando la jerarqua de los operadores.
3. Si se cumple la suposicin, o sea no hay incoherencias
veritativas, cuando menos hay un caso de falso o de verdadero
en la tabla de verdad, y por ende el esquema no ser
tautolgico o no ser contradictorio respectivamente. (En el
primer caso faltara descartar si la funcin proposicional es
contradictoria o consistente; en el segundo caso, si es
tautolgica o consistente)
4. Si no se cumple dicha suposicin, es decir, si se halla una
contradiccin, podemos concluir que no hay ni un solo caso de
falso o de verdadero, y que, por lo tanto, la frmula ser
tautolgica o contradictoria, respectivamente.
5. Por ltimo, si el esquema no presenta incoherencias bajo
ninguno de los 2 presupuestos bsicos (que la frmula sea
verdadera o falsa), entonces no es ni tautolgico ni
contradictorio. Esto implicar que sea contingente o consistente.

EJEMPLO DE APLICACIN
Aplique el mtodo abreviado: [p(pq)]q
Supongamos que el conector de mayor jerarqua, es decir, , es falso.
Pero sabemos que cuando una condicional es falsa su antecedente es

verdadero y su consecuente es falso.

Si esto as, entonces q deber ser falso. O sea, q=F
Adems, [p(pq)] tendr que ser verdadero.
Pero sabemos que una conjuncin es verdadera nicamente cuando sus
componentes son verdaderas.
De ah que p tenga que ser verdadero (p=V) y (pq) tenga que ser tambin
verdadero.
Pero si p=V y q=F, (pq) debera ser falso. Hemos llegado a una
contradiccin.
Podemos concluir que suponiendo que toda la frmula es falsa, se llega a una
contradiccin, lo cual prueba que no hay ningn mundo en el cual la frmula
sea falsa, es decir, el esquema analizado es una tautologa pues resulta
verdadera en todos los mundos posibles.

BIBLIOGRAFA

GARCA ZRATE, scar. (2007) Lgica. Lima: UNMSM.

PRIEST, G. (2006) Una brevsima introduccin a la lgica. Mxico: Ocano.
REA RAVELLO, Bernardo. (2003) Introduccin a la Lgica. Lima: Mantaro.
ROSALES, D. (1994) Introduccin a la Lgica. Lima: Amaru.
CAMACHO, Luis. (2003) Lgica Simblica Bsica. Mxico: Limusa.
COPI, I. & C. COHEN. (2001) Introduccin a la Lgica. Mxico: Limusa.
PISCOYA, Luis. (1997) Lgica. Lima: UNMSM.
HART, Wilbur D. Les Liaisons dangereuses. En: I Curso Internacional de Filosofa:
Epistemologa y Metodologa de las Ciencias 2 abril - 4 mayo de 2007, UNMSM, p.
13. Originalmente en: Andrew Irving (ed.), Philosophy of mathematics, XI Vol. de The
Handbook of the Philosophy of Science, msterdam, North-Holland/ Elsevier. (En
prensa.) Ir a: www.cesfia.org.pe
POLO CAMPOS, A. (2008) Regresa. Vals peruano interpretado por Lucha Reyes en:
http://www.youtube.com/watch?v=ThJPWplemN0
PINGLO ALVA, F. (2008) El Plebeyo. Vals peruano interpretado por Jess Vasquez
en: http://www.youtube.com/watch?v=bGhTWzMmzIw