JOHNNY MITCHELL GOMERO MANCESIDOR

Lic. Matemtica Aplicada

Mg. Investigacin Universitaria
Mg. Administracin Estratgica

SEPARATA
DE

Simbolizacin de Proposiciones
Tabla de valores
Inferencia

LGICA MATEMTICA
OBJETIVOS ESPECFICOS.
Traducir e interpretar del lenguaje comn al lgico y viceversa.
Distinguir, reconocer y plantear los argumentos correctos e incorrectos que
lleven a una conclusin lgica.
Estructurar su razonamiento para que ste sea exacto y a la vez til.

1. Proposiciones Lgicas
Es un enunciado o afirmacin al que se le puede asignar el valor de verdad verdadero o
el valor de verdad falso, pero no ambos (Sin ambigedades).
Las proposiciones lgicas sern denotadas generalmente con letras minsculas: p, q, r,
s, t,.etc. A la veracidad o falsedad de una proposicin se denomina valor de verdad.
Ejemplos:
p:
q: 15 3 = 12

.Verdadera (v)
.Verdadera (v)

r: La capital de Canad es Ottawa Verdadera (v)

s: 12 + 2 = 15

.Falso (F)

t: 7 es nmero par

Falso (F)

Ejemplos de expresiones que no son proposiciones lgicas:

Buenos das - No faltes -Quin llamo por telfono?

Nota: Se llaman valores veritativos a valores de verdad de una proposicin a sus dos
valores posibles: verdadero o falso. Estos posibles valores se pueden esquematizar en
una forma tabla de verdad como sigue:

Ejemplo:
p
V
F

1.2. Conectivos Lgicos

Son expresiones que sirven para unir dos o ms proposiciones, entre

los ms

importantes tenemos: la conjuncin, disyuncin, implicacin, bicondicional.

Nombre

Expresin

Smbolo lgico

conjuncin

disyuncin

implicacin

Si,.entonces

bicondicional

Si y solo si

negacin

No

contradiccin

No equivalente

1.3. Clases de Proposiciones Lgicas

a. Proposiciones simples o

atmicas.- Es una proposicin que no contiene

ningn conectivo lgico.

Ejemplos:
El tringulo es un polgono
3+2=5
b. Proposiciones compuestas o moleculares.- Es una proposicin que contiene al
menos un conectivo.
Ejemplos:
Si Juan va al cine, entonces tiene dinero
Un tringulo es equingulo si, y solo si es equiltero
Marcos en ingeniero o Beatriz es profesora

1.4 Proposiciones Compuestas Bsicas

Se clasifican en:
a. Conjuncin ().- Se utiliza cuando se usa el termino de enlace y. Adems
tiene significados como: si no, ms, mas, aun cuando, aunque, tambin,
igualmente, pero, sin embargo, adems, a las vez, no obstante, tanto como, a
pesar de, etc. Ejemplos:
i. La puerta es blanca y la ventana negra.
Si la puerta es blanca = p y la ventana negra = q, simblicamente se
tiene:
pq
ii.

2+2=4
p

5 +7 = 12
q

Una coma , puede hacer tambin una conjuncin. Por ejemplo:

iii. Algunos han nacido virtuosos, otros han conseguido la virtud y a otros les
ha sido impuesta.
Simblicamente:
Algunos han nacido virtuosos = p
Otros han conseguido la virtud = q
Otros les han sido impuestos = r
Pqr
En otros casos del lenguaje ordinario, la palabra y no indica conjuncin o sea
simplemente unin sino condicin. Por ejemplo en la proposicin:
iv. Paola tomo leche con limn y muri
Esta proposicin no significa una simple unin sino una relacin de causa a afecto
(condicional).
Otro caso es cuando se da una relacin entre elementos, ejemplo:
v. Andrs y Karla son hermanos
La relacin se da entre Andrs y Karla lo que impide que se puedan descomponer.

Una regla practica para distinguir unos casos de otros es que se puedan separar y aplicar
la ley conmutativa.
Ejemplos: La casaca es nueva y la camisa es vieja.
Sheyla es artista y Marcela es deportista.
b. Disyuncin dbil (inclusiva o incluyente) ().- Es la operacin que vincula
proposiciones atmicos o moleculares, por medio de la conectiva o. Indica
dentro de la proposicin que la ocurrencia de una de ellas no descarta la
ocurrencia de la otra (cuando es posible que sus miembros componentes sean
aceptados a la vez).
Ejemplos:
i.

El veneno es mortal o daino

El veneno es mortal = p
Daino = q
pq

ii. Iremos de paseo o de campamento.

c. Disyuncin fuerte (exclusiva o excluyente) ( ).- Tiene como significado

O.o., vincula dos proposiciones atmicas o moleculares. Indica dentro de
una proposicin molecular la ocurrencia de una de los hechos mas no la de
ambos (cuando solo uno de sus miembros puede ser aceptado; el otro queda
invalidado).
Ejemplos:
i. O Justin se encuentra en lima o se encuentra en Brasil.
p

Simbolizando: Justin se encuentra en lima = p

Se encuentra en Brasil = q
p

ii. Maritegui o naci en Lima o en Moquegua.

Simbolizando: Maritegui naci en Lima = p
Maritegui naci en Moquegua = q

iii. Alan Garca es presidente del pas o congresista.

Simbolizando: Alan Garca es presidente del pas = p
Alan Garca es congresista del pas = q
p

d. Condicionales (

Condicional directa (

).- Cuando el antecedente es condicin

necesaria para que se pueda dar la consecuencia.

La condicional directa se sirve de otras expresiones gramaticales para
poder reconocerlas:
- Si p, q

- Solo p si q

- Si p entonces q

- p de ah se sigue q

- p por consiguiente q

- p as pues q

- p luego q

- p se deduce q

- p de manera que q
- p de ah que q
- p por lo tanto q
- p en consecuencia q
- Cuando p, q
- Suponiendo que p, q
- Como p, q
- p de modo que q
- Solo p si q
- p se concluye q
Ejemplos:
i. Si estudias entonces apruebas
antecedente

consecuente

ii. Si te vas entonces estar triste

Simbolizando: Te vas = p
Estar triste = q
p

 Condicional indirecta (

p).- La posicin del antecedente se encuentra

invertido al igual que el consecuente.

La condicional indirecta se sirve de otras expresiones gramaticales para
poder reconocerlas:
-

p cada vez q
- p suficiente que q
p dado que q
- p a condicin de que q
p ya que q
- p en vista de que q
p puesto que q
- p siempre que q
p porque q
- p supone q
p si q
- p pues q
p es una condicin necesaria de q

Ejemplos:
i. Ir de vacaciones siempre que acabe con el trabajo
consecuente

antecedente

Simbolizando: Ir de vacaciones = p
Acabe con el trabajo = q
q p
Nota: Siempre el antecedente al simbolizar va primero es por eso que: q

ii. Eres cantante si tienes talento

consecuente

antecedente

Simbolizando: Eres cantante = p

Tienes talento = q
q p

e. Bicondicional ( ).- Esta representado por el s y solo si, en el lenguaje

ordinario se pueden encontrar otras expresiones equivalentes como:
-

Entonces y solo entonces

Cuando y solo cuando

Si y solamente si , etc.

Ejemplos:
i. Alfonso ingresara si y solo si estudia.
Simbolizando: Alfonso ingresara = p
Estudia = q

ii. Todo nmero es par si y solo es divisible por 2

Simbolizando: Todo nmero es par = p
Es divisible por 2 = q
p q
f. La negacin ( ).- No es un enlace lgico. Es un operador gondico o singular
que afecta a una proposicin o conjunto de proposiciones. Tiene como
significado: no, ni, nunca, no siempre, no es cierto que, es falso que, no ocurre
que, es imposible que, no es que, no es el caso que, no es verdad que, etc.
Se clasifica:
Negacin ligada.- Cuando afecta a proposiciones simples utilizando
generalmente la forma gramatical no
Ejemplos:
i. Pedro no es deportista.
Simbolizando: Pedro es deportista = p
Pero como es negacin:

ii. Vanessa no estudia computacin.

Simbolizando: Vanessa estudia computacin = p
Pero como es negacin:

Negacin libre.- Cuando afecta o proposiciones compuestas. Sus formas

gramaticales son: No es cierto que, no se da el caso que, es falso que, no es
posible que, etc.
Ejemplo:
i. No es cierto que vas al cine y al teatro.
p

Simbolizando: vas al cine = p

al teatro = q
Pero como es una negacin libre =

(pq)

Binegacin.- Su forma gramatical es: el trmino ni se simboliza ( p q )

Ejemplo:

i. Ni ngela ni Claudia van al teatro.

Simbolizando: ngela va al teatro = p
Claudia va al teatro = q
Pero cono es una binegacin ni = ( p q )

1.5. Simbolizacin de Proposiciones

i. Definicin.-La

simbolizacin

de

proposiciones,

llamadas

tambin

formalizacin de proposiciones, es el proceso por el cual se representa las

proposiciones y sus enlaces lgicos mediante variables y operadores
proposicionales, de esta manera se genera una formula lgica.
ii. Formula lgica.- Son las combinaciones bien formadas de variables y
operadores proposicionales, es decir, son esquemas lgicos resultantes que
reemplazan simblicamente las proposiciones y sus enlaces.
iii. Variables proposicionales.- Son letras minsculas que representan las
proposiciones simples. Se les puede asignar cualquier contenido: p, q, r,z.
iv. Operadores proposicionales.- Se refiere a los enlaces lgicos que se hallan
uniendo las proposiciones simples son constantes lgicas (conjuncin,
disyuncin, bicondicional, condicional, negacin).
Los operadores proposicionales pueden ser didicos y mondicos. Es decir:
.y..

.o.

Operadores

O..o.

Didicos

Si.entonces

si y solo si..
Operador

No es cierto que

Mondico

no

Ejemplo:
i.

Si Angie llega a tiempo entonces no perder el vuelo y disfrutara sus vacaciones.

Asignando variables proposicionales:

p = Angie llega a tiempo

q = Angie perder el vuelo
r = Angie disfrutara sus vacaciones
Reemplazando:
Si p entonces

qyr

Simbolizando: p
ii.

r)

Si Sheyla no trabaja hoy entonces Richard va a la biblioteca y Justin va a la

biblioteca.
Asignando variables proposicionales:
p = Sheyla trabaja hoy
q = Richard va a la biblioteca
r = Justin va a la biblioteca
Reemplazando:
Si

p entonces q y r

Simbolizando:

r)
Resumen General

Proposiciones

Formulas

Lectura

compuestas

lgicas

Conjuntiva

pq

pyq

Disyuntiva dbil

pq

poq

Disyuntiva fuerte

pq

Opoq

Condicional

pq

Si p entonces q

Bicondicional

pq

p si y solo si q

Negacin libre

(pq)

No es cierto que
pyq

Negacin ligada

No p

v. Signos de agrupacin.- Se utilizan para agrupar a las variables y operadores, as

como para darles jerarqua. Son los siguientes:

Barras

Llaves { }

Corchetes [ ]

Parntesis ( )

a. Jerarquizacin.- Jerarquizar significa agrupar las variables y los operadores

dentro de los signos de coleccin, llamados tambin de agrupacin.
Para jerarquizar hay que tener en cuenta los siguientes requisitos:
Solo presentan jerarqua los conectivos lgicos (y, o, entonces, si y solo s).
Para realizar una correcta jerarquizacin hay que tener en cuenta los signos de
puntuacin del texto a jerarquizar, por cuanto ellos indican la ubicacin de los
signos de coleccin.
En el texto, el punto seguido tiene mayor jerarqua, le sigue en segundo lugar el
punto y coma, y en tercer lugar la coma.
b. Reglas para jerarquizar.
Donde est ubicado el signo de puntuacin ms importante del texto (de
mayor jerarqua), ah se encuentra ubicado el conectivo principal.
Donde se encuentre un signo de puntuacin ah se abre o cierra un signo de
coleccin (parntesis, corchete o llave).
El conectivo que se encuentra fuera o en la parte ms externa de los signos de
coleccin es el que tiene mayor jerarqua.
Si encontramos un texto donde se presente una sucesin de idnticos signos
de puntuacin, ser mayor el que presente como conectivo entonces, luego o
cualquiera de sus sinnimos.
La negacin antecede a la variable ( p), no enlaza proposiciones, pues no es
conectivo.

Ejemplo:
i. Yolanda

estudia biologa y anatoma, o

p

estudia matemtica. Sin embargo estudia fsica.

r

Reemplazando proposiciones = p y q, o r. sin embrago s

Reemplazando conectivos = p q

.s

jerarqua 1 jerarqua 2
mayor jerarqua
Jerarquizando la simbolizacin = [ ( p q) r ] s

Conectivo principal
ii.

Si luchamos y nos esforzamos, entonces ganaremos el partido del sbado. Por lo tanto,
nos llevaremos la copa de los campeones.
Asignando variables proposicionales:
p = luchamos
q = nos esforzamos
r = ganamos el partido del sbado
s = nos llevaremos la copa de los campeones
Reemplazando proposiciones:
Si p y q, entonces r. Por lo tanto s
Reemplazando conectivos = p q

Jerarqua 1

.s

jerarqua 2

Mayor jerarqua
Jerarquizando la simbolizacin = [ ( p q) r ] s

Conectivo principal
1.6. Ejemplos.
Simbolizar las siguientes proposiciones:
a) Si hay lluvias en la sierra y el gobierno distribuye abono, entonces la
produccin agrcola crecer.
Solucin:
Primero, asignando variables a cada una de las proposiciones simples se tiene:

p = hay lluvias en la sierra

q = el gobierno distribuye abono
r = la produccin agrcola crecer.
Luego, obteniendo la estructura formal de la proposicin, donde solo aparecen
los trminos de enlace y las variables proposicionales, se tiene:
Si (p..yq), entonces (r..)
Finalmente, simbolizando:
(pq)r
Notase que la estructura formal de la proposicin ayuda enormemente a
distinguir el alcance de las conectivas. Esto se refleja en el smbolo de la
proposicin, donde los parntesis indican el alcance de cada uno de los
operadores. En este caso el smbolo de mayor jerarqua es el operador
condicional , le sigue el operador conjuntivo . Las variables, por otro
lado, siempre estn sujetas a los operadores.
b) Viajaras a paramonga si no tienes tarea
Solucin:
p = Viajaras a paramonga
q = tienes tarea
(p) si (noq)
qp
Esta es una forma de condicional indirecta donde la expresin si aparece entre
dos proposiciones. El consecuente se encuentra primero y luego el antecedente.

c) China tendr problemas fronterizos si los hitos demarcatorios no son visibles.

Solucin:
p = China tendr problemas fronterizos
q = los hitos demarcatorios son visibles
(p) si (noq)
qp

d) No es verdad que no seas cantante o deportista.

Solucin:
p = es verdad que eres cantante
q = es verdad que eres deportista
( p q)
Es una negacin libre.
e) No es el caso que Carolina no sepa tocar la guitarra y no componga una
meloda, puesto que es egresada de la escuela de msica.
Solucin:
p = Carolina sabe tocar la guitarra
q = Carolina compone una meloda
r = Carolina es egresada de la escuela de msica
No es caso que (nopy no...q), puesto que (r...).
R ( p q)
Este ejemplo

el antecedente aparece despus del trmino puesto que

(condicional indirecta)
f) Cuando el cielo est despejado hace calor.
Solucin:
p = el cielo est despejado
q = hace calor
pq
En este caso es una condicional directa porque el sentido de cuando es de
sientonces.
g) Cuando llova a cantaros muri vallejo.
Solucin:
p = llova a cantaros
q = muri vallejo
pq
Aqu la proposicin es conjuntiva, porque el sentido de la proposicin es llova
cantaros y la vez mora Vallejo.
h) Tanto el Per como Chile son productores de cobre.
Solucin:
p = el Per es productor de cobre

q = Chile es productor de cobre

pq
i) Ecuador limita con el Ocano Pacifico aunque el Per limita tambin con el
Ocano Pacifico.
Solucin:
p = Ecuador limita con el Ocano Pacifico
q = Per limita con el Ocano Pacifico
pq
j)

Aunque llueva ir a visitarte

Solucin:
p = llueve
q = ir a visitarte
( p p) q
En este caso, aunque indica llueva o no lleva, ir a visitarte. Tambin puede
interpretarse as:
(p q) ( p q)

k) Aunque severo, es justo

Solucin:
p = es severo
q = es justo
pq

1.7 Ejercicios Propuestos:

Simbolice cada una de las siguientes proposiciones:

i.

Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras

violaciones de los derechos civiles.

ii.

O el ornitorrinco es mamfero o es ave. Pero tiene glndulas mamarias. Por lo

tanto, no es ave.

iii.

Maana voy al cine como al parque, si y solo si es domingo, si no llueve.

iv.

Roberto har el doctorado cuando y solamente cuando obtenga la licenciatura.

v.

Si el aeroplano tiene suficiente gasolina entonces llegara al medioda.

vi.

El primer productor de cobre en Sudamrica no limita con Ecuador.

vii.

Un nmero es positivo si y solo si es mayor que cero.

viii.

No es el caso que Brasil o Mxico pertenezcan al pacto andino.

ix.

Ni ecuador ni Bolivia son productores de algodn.

x.

Se hubiera impendido el asalto

al banco si la alarma hubiera sonado

oportunamente.
xi.

l est siempre ah, aunque le dice no, porque est obsesionado.

xii.

El guardin no se rinde, vence o muere.

xiii.

Iveth conseguir un ascenso como reportera a menos que pierda la entrevista

con el director de prensa.

xiv.

Aunque nieva, voy.

xv.

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.

xvi.

Si no apruebas o no resuelves este problema, entonces es falso que, hayas

estudiado o domines la deduccin lgica. Pero no dominas la deduccin lgica
aunque has estudiado.

xvii.

Cuando Platon desprecia lo sensible, pero aprecia lo ideal, muestra la

caracterstica del valor denominado jerarqua.

xviii.

Si y slo si viera un marciano con mis propios ojos, creera que hay vida
extraterrestre.

xix.

Si eres paciente y justo y tiendes a realizar cualquier cosa que te propones,

aunque sea tarde dios llega.

xx.

Aunque no quiera, Jos tomara jarabe si quiera sanar.

xxi.

Pili no ir a la fiesta a menos que vaya Mili, y si Mili va a la fiesta, ni Marisol

ni Joselito irn.

xxii.

Si los elefantes volaran o supieran tocar el acorden, pensara que estoy como
una regadera y dejara que me internaran en un psiquitrico.

xxiii.

Dejar de beber cuando suba el alcohol, pero voy a dejar de fumar, tanto si
sube el tabaco como si no.

xxiv.

Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no
tengo que ir a trabajar.

2. LAS TABLAS DE VERDAD

2.1. Las Tablas de Valores como Procedimiento

Decisorio.

El mtodo de las tablas de valores como procedimiento decisorio consiste en

determinar si la funcin veritativo de una formula proposicional es consistente,
tautolgica o contradictoria. Este mtodo muestra cmo se combinan los valores de
verdad (V) y falsedad (F) de las proposiciones compuestas a partir de los operadores
usados y de los valores de verdad y falsedad de las proposiciones simples o variables
proposicionales.
Son cuadros de doble entrada que nos permiten determinar el valor de verdad del
esquema molecular considerando las posibles combinaciones entre los valores de verdad
de las variables que la componen y en base a la regla del conectivo correspondiente.
Con la tabla de verdad podemos hallar la matriz principal que define el esquema
molecular, empleando para ello las funciones veritativas de los conectivos.
Veamos la tabla de verdad y que es lo que contiene:
Variables

Esquema

Superior

proposicionales

lgica

Combinaciones

Valores

De V y/o F de las

conectivos

variables

(matrices)

Margen

de

los

Inferior

Cuerpo

Ejemplo:
p q

(p

q) p

V V

V V

V V

V F

V V

F V

F F

El nmero de combinaciones se obtiene con la formula ( 2n ). Donde la base

representa el numero

constante de valores (verdad y falsedad ) y el exponente el

nmero de variables que tiene el esquema.

Ejemplo:
( p p ) ser 21

= 2 combinaciones

= 4 combinaciones

( p q ) ser 2

[( p q ) r ] ser 23 = 8 combinaciones

2.2. Funciones Veritativas de los Conectivos

A. Conjuncin: Es verdadera nicamente si los dos componentes son verdaderos y
en cualquier otro caso es falsa.
Ejemplo:
Marcos es un estudiante aplicado y humilde
p

p q

(p

q)

V V

V F

F V

F V

F F

Matriz
B. Disyuncin dbil o inclusiva: Es verdadera cuando por lo menos una de las
proposiciones components es verdadera, y falsa solo si las dos son falsas.
Ejemplo:
El catedratico ensea lgica o matemtico.
p
p q

(p

q)

V V

V V

V F

F V

V V

F F

C. Disyuncin fuerte exclusiva: Es falsa cuando los dos componentes tienen igual
valor veritativo y es verdadero cuando tienen diferente valor veritativo.
Ejemplo:
O Richard es materialista o es idealista.
p

p q

(p

q)

V V

V F

F V

V V

F F

D. Condicional: Es falsa solo cuando el antecedente es verdadero y el consecuente

es falso, siendo verdadera en todos los otros casos.
Ejemplo:
Si Sheyla estudia lgica,
p

obtendr una nota sobresaliente en el examen.

q
p q

(p

q)

V V

V V

V F

F V

V V

F F

E. Bicondicional: Es verdadera cuando las dos proposiciones componentes tienen

el mismo valor veritativo y falsa en otros casos.
Ejemplo:
Ser cachimbo si y solo si ingreso a la universidad.
p

p q

(p

q)

V V

V F

F V

F F

F. Negacin: Si una proposicin es verdadera, su negacin ser falsa; y si es falsa,

su negacin ser verdadera.
Ejemplo:

La lgica no es difcil.
P

2.3. Esquema Molecular

Es la combinacin de variables y operadores lgicos (conectivos lgicos; , , ,
, ,

).

Los operadores o conectivos desempean funciones definidas dado que alcance de cada
uno de ellos est limitado por los signos de agrupacin.
Ejemplos:
i. p ( q p )
ii. [( p q r ) p ] p
iii. {[ ( p q ) ( r q ) ] (

p q )}

2.4. Evaluacin de Esquemas moleculares por Tablas de verdad

Consiste en obtener los valores del operador principal a partir de los valores de V o
F de cada uno de sus otros componentes (variables y/o constantes). A los valores asi
obtenidos en dicho operador principal se les denomina matriz principal.
2.5. Jerarqua de los Conectivos Lgicos
Cuando en una proposicin compuesta se tienen varios conectivos lgicos, las
operaciones se realizan luego de colocar los parntesis adecuadamente comenzando con
las proposiciones que se encuentran dentro de los parntesis interiores. Siguen todas las
negaciones y luego se avanza de izquierda a derecha. Los corchetes son considerados
como parntesis.
Ejemplo:
Evaluar el valor de verdad del siguiente esquema molecular
[p(q
Solucin:

r)][(

pr)

q]

p q

[p (q

V
V
V
V
F
F
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
V
V
V
F
V
V
V

V
V
F
F
V
V
F
F

F
V
V
V
V
V
V
V

r)][(
F
V
F
V
F
V
F
V

p r)

F
V
V
F
F
F
V
V

F
F
F
F
V
V
V
V

V
F
V
F
V
V
V
V

V
F
V
F
V
F
V
F

F
V
V
F
F
F
V
V

q]
F
F
V
V
F
F
V
V

Matriz principal
2.6 Clasificacin de los Esquemas Moleculares
Segn el resultado obtenido en el operador principal (matriz principal), los esquemas
moleculares se clasifican en:
a. Tautologa.- Cuando los valores de la matriz principal son todos verdaderos.
Ejemplo:

i.

[ (pq)p]q
Solucin:
p q

ii.

[ (p q) p]

V V

V V V

V V

V F

V F F

F V

F V

F V

F F

F V F F

F V

V V

( pq)p
Solucin:
p

( p

q) p

V V

V V V

V V

V F

V F F

V V

F V

F V V F

F F

F F V F

iii. [(p q) ^ (q r)] (p r)

Solucin:

p q r [(p q) ^ (q r)] (p

r)

V V V V

V V V

V V

V V F V

V F

V V

V F V V

F F

V V

V F F V

F F

V V

F V V F

V V V

F V F F

V F

F F V F

F V

F F F F

F V

iv. [( p q ) (

q )] ( r

p)

Solucin:
p q r [(p q) ^ (~ r q)] (r

~p)

V V V V

V F

V V

V V F V

V V V

V V

V F V V

F F

V V

V F F V

F F

V V

F V V F

V F

F V F F

V V V

F F V F

F V

F F F F

F F

b. Contradicciones.- Cuando los valores de la matriz principal son todos falsos.

Ejemplo:

i.

(pq)(p
Solucin:

q)

(p q) (p

V V

V V

V V

q)
F

ii. [ p ( q r ) ] [ ( q ~ r ) p]
Solucin:
p q r [p ( q

r )] ( [( q ~ r )

p)

V V V V

V V

V V F V

V F

V V

V F V V

F F

V F F V

F F

V V

F V V F

V V

F V F F

V F

V V

F F V F

F F

F F F F

F F

V V

{[( p q)

iii.

p] q }

Solucin:
{[( p q)

p] q }

V F

V V V F F

V V

V V F F F

F V F

F V V V V

V V

F F

F F F

F V

c. Contingencia.- Cuando en la matriz principal hay por lo menos una verdad y

una falsedad.
Ejemplo:

i.

(pq)p
Solucin:
p q

ii.

(p q)

V V

V V V

V F

V F F

F V

F V V

F F

F V F

(pq)(

p p)

Solucin:
q

( p

V V

V F

V V

V V

V V

q) (

p)

F V

V V

F F

V F

2.7. Ejercicios Propuestos

i.

Determinar por medio de una tabla de valores, si cada

uno de los siguientes

esquemas moleculares (frmula) es tautolgica, contradictoria o contengencia.

1.1 ~ (p ~ q) (p ~ q)
1.2 (p q) (p ~ q)
1.3 p q r
1.4 ~ (p ~ q) (p ~ q)
1.5 ~ ~ (~ p ~ q) (p ~ q)
1.6 ~ (~ p ~ q) (~ p ~ q)
1.7 ( ~ p q ) ( ~ q p )
1.8 ~ ( p ~ q ) ( q ~ p )
1.9 ( p q ) [ ~ q ( r ~ p )
1.10 [ (~ p q) v (p q)] [ (~ p q) v ~ p ]
1.11 ( p ~ q ) ( ~ p ~ q )
1.12 ( p ~ q) v ( p ~ q)
1.13 (p q r) [~ (~ q v r) v ~ r]

1.14 ( p ~ q) ( q p )
1.15 [ ( p ~ r ) ( p r ) ] [( q p ) ( q p)]
1.16 ~ [ p ( ~ q p)] [ ~ ( p ~ q) ( q ~ p)]
1.17 (p q) (q r) (p ~ r)
1.19 [ (p v ~ q) (p q)] [(~ p q) v ~ p] v ~ p
1.20 [ ~ (p v q) v (p q)] [(~ p q) v ~ p]
1.21 ~ {[ p q ) ( q r )] ( r p )}
1.22 (p q p) (q v r ) (~ p ~ r)
1.23 [ (~ p v q) (r s) ] v ~ t
1.24 (~ p q p r) ~ (~ q v ~ r) v r
1.25 (p q ~ r) ~ ( ~ q v ~ r) v ( r v s )
1.26 (p ~q p r ) [ ~(~ q v ~ r) v ( r ~ q) ]
1.27 ~[~ (p q) ~ q] (p q )
1.28 ~(~p q r) (q s v t) (~p ~r)
1.29 ( p v ~q p r) [ ~(~q v ~r) v (r ~q) ]
1.30 ~(p ~q r) ~(q s v t) ~(~ p ~ s)
1.31 ~(p ~q r) ~(q ~r v q) ~(~ p ~~~ p)
1.32 ( p ~ q) ( ~ r q ) ( r ~ p )
1.33 ~ p {~[ ( q ~ r) ( p r )] ~ q}
1.34 p ~[ ( q ~ r ) (r q )] ( p r )
1.35 [( ~ p q ) ~ r ] [q ( r p )]
1.36 ~ ( p ~ q ) ~ ( ~ r q ) ~ ( ~ q ~ p)
1.37 ~( p q ~ p) ~( ~ r p r ) ~( ~r q ~ q )
1.38 ~[(~p ~q ~r) (q r p )] [ r (p ~r)]
1.39 ~ p ~[ (~p ~q ) (~ r ~ q p r )]
1.40 [ ~p ( q ~ r )] [( ~p q ) ~ ( p r )]

3. LAS INFERENCIAS
El objetivo de la lgica es estudiar el anlisis formal de validez de las inferencias. Es
decir, el anlisis formal permite simbolizar las inferencias en esquemas moleculares y
demostrar con seguridad (mediante diversos mtodos veritativos) su validez o invalidez.
Segn Quine, se desprende que el objetivo ms importante de la lgica, en su
aplicacin a la ciencia y al discurso cotidiano, es la justificacin y critica de la
inferencia (Quine, los mtodos de la lgica).

3.1. Anlisis de Validez de Inferencia

Una inferencia es vlida si la conclusin se deriva lgicamente de las premisas. Para
analizar la validez o invalidez de una inferencia, primero tenemos que distinguir la
conclusin del conjunto de premisas. En el lenguaje ordinario la conclusin no siempre
aparece al final del argumento. As, la conclusin puede aparecer en el comienzo, en el
intermedio o al final de la inferencia. En este caso, puede ocurrir que el sentido
contextual de la inferencia nos proporcione una pista para distinguir la conclusin del
conjunto de premisas. Esta distincin

se puede efectuar

con mayor eficacia

si

conocemos la funcin que desempean ciertos trminos de enlace con mayor fuerza
para conectar el conjunto de premisas y la conclusin. Estos trminos de enlace
sirven de referencia para indicar si la premisa se encuentra antes o despus de la
conclusin.

En la prctica, se ubica primero la conclusin, porque ubicada esta, todas las

proposiciones restantes sern premisas. Las diversas

posiciones que ocupan las

premisas y la conclusin en una inferencia se pueden expresar esquemticamente como

sigue:
1 P1, P2, Pn. Luego, C.
2 C, puesto que P1, P2 y Pn.
3 P1, P2, luego, C, puesto que Pn.
1 = Trminos referenciales: Luego, por lo tanto, por consiguiente, en consecuencia,
de modo que, de ah que, etc. (la conclusin aparece despus del termino referencial en
otras palabras la conclusin se encuentra al final).

2 = Trminos referenciales: Puesto que, ya que, en vista de, dado que, etc. (la
conclusin se encuentra antes del trmino referencial en otras palabras al inicio).
3 = Trminos referenciales: Es la unin de los trminos referenciales de 1 y 2 (se
muestra la conclusin al intermedio del argumento).
Cualquiera que sea la inferencia a simbolizar, la secuencia de premisas y conclusin
debe aparecer de acuerdo al siguiente esquema:
P1
P2
P3
.
.
.
Pn

C
Simbolizada la secuencia de premisas y la conclusin, se debe obtener la formula
inferencial de acuerdo al siguiente esquema:
P1 P2 Pn C
Vale insistir en que el uso expuesto de los trminos referenciales no es una regla,
sino, como se indica, solo referencial. Por ejemplo, el caso 3, representado
simblicamente como sigue, tambin una interpretacin correcta de la inferencia en
cuestin, donde el puesto que se est representando como una forma condicional:
( P1 P2 ) ( Pn C )
Luego, para decidir la validez o invalidez, se debe evaluar la frmula de la inferencia
por la tabla de valores o por el mtodo de las tablas abreviadas. La inferencia ser vlida
si la conjuncin de premisas implica a la conclusin. En otras palabras si al evaluar una
inferencia, si su matriz principal es tautologa, la inferencia es vlida. En caso de
resultar contradictoria o contingente, la inferencia es invlida.
3.2. Evaluacin de una inferencia
Pasos:
a. Reconocer premisas y conclusin. Ejemplo:
Si estudio la fsica de A. Einstein, aprendo una parte de la fsica elemental.
Estudio la fsica de A. Einstein. Luego aprendo una parte importante de la fsica
elemental.
P1: Si estudio la fsica de A. Einstein, aprendo una parte de la fsica elemental.
P2: Estudio la fsica de A. Einstein.
C: Aprendo una parte importante de la fsica elemental.

b. Reconocer las variables que forman parte de la inferencia.

- Estudio la fsica de A. Einstein = p
- Aprendo una parte importante de la fsica elemental = q
c.

Formalizar premisas y conclusin.

P1: p q
P2: p
C: q

d. Unir las premisas a travs de las conjuntivas y el conjunto de las premisas con la
conclusin a travs de una condicional.
[(P1) (P2 ) (Pn)] C
e. Evaluar el esquema por tablas de verdad.
En el ejemplo:
[(p q) p ] q
p

[ ( p q)

p ] q)

V V

V V

V F

F V

F V

La matriz principal es una tautologa, por ello la inferencia es vlida.

En los dems ejemplos por razones

de comodidad, para decidir la validez

invalidez de las inferencias, usaremos especialmente el mtodo de las tablas abreviadas.

En este caso, para facilitar el procedimiento, partiremos de la hiptesis verdadera de
cada premisa y falsa de la conclusin, que es esquemticamente podemos expresar as:
[ P1 P2 Pn ] C
V

Luego, la aplicacin de las reglas del mtodo abreviado son exactamente las mismas.
3.3 Ejemplos
1. Si la tormenta continua o anochece, nos quedaremos a cenar o a dormir, si nos
quedamos a cenar o a dormir no iremos maana al concierto; pero s iremos maana
al concierto. As pues, la tormenta no continua.
Formalizacin:

La tormenta continua = p
Anochece = q
Nos quedaremos a cenar = r
Nos quedaremos a dormir = s
Iremos maana al concierto = t
(pq)(rs)
(rs)~t
t
~p
Como podemos apreciar, esta inferencia es del caso 1, porque la conclusin aparece
al final del argumento. Ahora unimos las premisas por el operador y estas con la
conclusin por , y se obtiene la siguiente formula de la inferencia.
{[(p q) ( r s ) ] [( r s ) ~ t] t} ~ p
Luego, decidimos la validez o invalidez por el mtodo abreviado, como sigue:
{[(p q) ( r s ) ] [( r s ) ~ t] t} ~ p
F FF V FFF V FFF V FV VV F FV
Como se puede observar, hemos asignado directamente el valor V a cada una de las
premisas y F a la conclusin, luego hemos deducido los valores correspondientes
aplicando las reglas ya conocidas. Vemos que esta inferencia es vlida, porque la
contradiccin en p nos indica que no existe una interpretacin falsa en la frmula de
la inferencia, por lo tanto el conjunto de premisas implica a la conclusin.
El procedimiento para analizar la validez de inferencia en lenguaje natural es el
mismo, por lo que obviaremos en lo sucesivo algunas explicaciones adicionales
innecesarias. A continuacin ms ejemplos:

2. Si un tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un

tringulo tiene tres ngulos y su suma vale dos ngulos rectos. Si los rombos tienen
cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos. Por lo tanto los
rombos no tienen cuatro ngulos rectos.
Formalizacin:
Un tringulo tiene tres ngulos = p
Un cuadrado tiene cuatro ngulos rectos = q

Su suma vale dos ngulos rectos = r

Los rombos tienen cuatro ngulos rectos = s
pq
p r
s ~q
~s
[(p q) ( p r) (s ~ q)] ~ s
V VVV V V V V V V VF F FV
En vista de que q muestra la contradiccin, la inferencia es vlida.
3. Si la gorila es atractiva, el gorila sonreir abiertamente o ser infeliz. Si no es feliz,
no procrear en cautividad. Por consiguiente, si la gorila es atractiva, entonces, si el
gorila no sonre abiertamente, no procrear en cautividad.
Formalizacin:
La gorila es atractiva = p
El gorila sonreir abiertamente = q
Es feliz = r
Procrear en cautividad = s
p(q~r)
~r~s
p(~q~s)
{[p (q ~ r )] (~ r ~ s)} [p (~ q ~ s)]
VV F VVF V FV VFV F V F VF F FV
En vista de que r muestra la contradiccin, la inferencia es vlida.

4. Si el ejrcito marcha contra el enemigo, tiene posibilidades de xito; y arrasar la

capital enemiga, si tiene posibilidades de xito. El ejrcito marcha contra el enemigo,
o se repliega rpidamente. Si se repliega rpidamente, el enemigo atacara su
retaguardia; y perder la guerra, si el enemigo ataca su retaguardia. Por lo tanto, si no
arrasa la capital enemiga, perder la guerra.
Formalizacin:
El ejrcito marcha contra el enemigo = p

Tiene posibilidades de xito = q

Arrasar la capital enemiga = r
Se repliega rpidamente = s
El enemigo atacara su retaguardia = t
Perder la guerra = u
(p q) (q r)
ps
(s t) (t u)
~r u
{[(p q) (q r)] (p s) [(s t) (t u)]} (~ r u)
F V F VF V F V F V VV V VV V VVV

F VF F F

En vista de que u muestra la contradiccin, la inferencia es vlida.

5. Si el cometa Halley pasa cerca de la tierra, podremos observarlo con un telescopio;
pero no pasara cerca de la tierra, si las condiciones no son propicias. Si se enva una
sonda especial a su encuentro, las condiciones sern propicias. Si pasa cerca de la
tierra y las condiciones son propicias, podremos apreciar la belleza del Halley. Las
condiciones no son propicias o podremos observar el Halley con un telescopio. As
pues, si el cometa Halley pasa cerca de la tierra o se enva una sonda espacial a su
encuentro, podremos apreciar la belleza del cometa Halley.
Formalizacin:
El cometa Halley pasa cerca de la tierra = p
Podremos observarlo con un telescopio = q
Las condiciones son propicias = r
Se enva una sonda especial a su encuentro = s
Apreciamos la belleza del cometa Halley = t
(p q)
(~r ~p)
(s r)
(p r) t
(~r q)
(p s) t

{(p q) (~ r ~p) (s r) [(p r) t] (~ r q)} [(p s) t]

FV F VVFVVF VFVF V F FF VF VVFVF F

FVV F F

FV VV FVVVFVVVVV F FV VFV FVVV F

FVV F F

3.4. Ejercicios:
I. Analizar si en cada una de las siguientes proposiciones las inferencias son
vlidas.

a. La pelcula es original, si ha habido un asesinato y no se sabe quin es el

autor del delito. Si se sabe quin es el autor del delito entonces el homicida es
el mayordomo. Pero el guionista no es original si el homicida es el
mayordomo. En consecuencia, si ha habido un asesinato, entonces la pelcula
es original si el guionista es original.
b. Si la infraestructura es el principal problema de la educacin, entonces
muchos nios no irn al colegio a menos que el estado construya grandes
unidades escolares, No es el caso que si mejora el nivel de la enseanza, la
infraestructura no sea el principal problema de la educacin. Pero muchos
nios irn al colegio si mejora el nivel de enseanza. En consecuencia, el
Estado construye grandes unidades escolares si y solo si mejora el nivel de la
enseanza.
c. Se conservar el mismo volumen de produccin si la reforma agraria no da
buenos resultados; dado que la reforma agraria dar buenos resultados si
todas las tierras son explotadas, y se conservar el mismo volumen de
produccin si todas las tierras no son explotadas.
d. Tanto la matemtica como la geometra son exactas porque Euclides no se
equivoc. Si Euclides no se equivoc, tanto la matemtica como la geometra
son sistemas axiomticos. Pero cuando se mide distancias interestelares, la
geometra no es exacta. En consecuencia, cuando se mide distancias
interestelares, tanto la matemtica como la geometra no son exactas, en vista
de que la matemtica y la geometra son exactas si y slo si son sistemas
axiomticos.
e. Si los fsicos dicen la verdad, el movimiento que describen los astros es
elptico y la formula de la gravedad es exacta. Pero, si los fsicos no dicen la
verdad, ni la frmula de la gravedad ni la frmula de la velocidad de la luz

son exactas. Luego, las formulas de la gravedad y de la velocidad de la luz

son exactas, si y solo si el movimiento que describen los astros es elptico.
f. Se conservara el mismo volumen de produccin si la reforma agraria no da
buenos resultados; dado que la reforma agraria dar buenos resultados si
todas las tierras son explotadas, y se conservar el mismo volumen de
produccin si todas las tierras no son explotadas.
g. Si el testigo dice la verdad entonces el mayordomo estaba en la escena del
crimen. Pero el mayordomo

no estaba

en la

escena del crimen. En

consecuencia, el testigo no dice la verdad.

h. La produccin minera crece, si y slo si hay divisas o hay inversin de
capitales. Si hay problemas con los trabajadores o no hay inversin de
capitales, los polticos mienten. De ah que, si la produccin minera no crece,
hay problemas con los trabajadores si los polticos mienten, puesto que los
polticos no mienten si no hay problemas con los trabajadores.
i. El agua se congela si y slo si la temperatura est bajo cero. Ocurre que el
agua no se congela. Por lo tanto, si la temperatura no est bajo cero entonces
la congeladora esta malograda.
j. Si un cuerpo de conocimientos no es comunicable, entonces no es cientfico.
No es el caso de que si un cuerpo de conocimientos es comunicable, entonces
el mtodo cientfico y las tcnicas puedan aprenderse en los libros. Por
consiguiente, un cuerpo de conocimiento es comunicable o no es cientfico,
dado que el mtodo cientfico puede aprenderse en los libros.
k. La lmpara est encendida, si y slo si hay fluido elctrico a la vez que hay
alguien en casa. Si no hay alguien en casa, o los de la casa han salido a pasear
o han ido a una funcin teatral. Los de casa han ido a una funcin teatral si
han salido a pasear. Por consiguiente, si hay fluido elctrico entonces no es el
caso que hayan ido a una funcin teatral y la lmpara est encendida.
l. La produccin minera crece, si y solo si los salarios son altos y hay inversin
de capitales. Ocurre que la produccin minera no crece. Luego, o los salarios
no son altos o no hay inversin de capitales.
m. Aunque no gane el concurso viajar al extranjero. Obtendr una beca, a
menos que estudie fsica nuclear o informtica. Si estudio fsica nuclear o
informtica, entonces no me dedicare al turismo. Por lo tanto, si gano el

concurso pero no obtengo una beca, entonces no viajare al extranjero si y slo

si me dedicare al turismo.
n. Si el galen trae piratas entonces el capitn no ha muerto. La tripulacin
llegara al amanecer si no hay tormenta en alta mar. Pero, si hay tormenta en
alta mar entonces el galen no trae piratas. De modo que, la tripulacin
llegara al amanecer si el capitn no ha muerto.
o. Si la fsica es exacta, Tolomeo no dice la verdad si Coprnico tiene la razn.
No es el caso que si la tierra es plana el movimiento de los planetas no sea
elptico. Tolomeo dice la verdad si y slo si la tierra es plana. De ah que,
Coprnico tiene la razn si y solo si el movimiento de los planetas es elptico,
dado que la fsica es exacta.
p. O Carneades no habra venido en auxilio de los epicreos o no habra hecho
causa comn contra los estoicos; en vista de que, si hubiera venido en auxilio
de los epicreos habra venido contra los gnsticos y con el pretexto de lucir
su virtuosidad dialctica, y si hubiera venido con el pretexto de lucir su
virtuosidad dialctica, no habra hecho causa comn contra los estoicos ni
habra venido contra los gnsticos.
II. Verificar la validez de los siguientes argumentos por el mtodo de abreviado
de la tabla de verdad.
a.

pq
~q~r
pr

b. p ~q
p ~q
~q
c. p q
qp
pq
d. (p q) (r s)
pr
qs

e. p q
rq
~r
q
f. q p
q (r s)
~(~ q ~ s)
r (s p)
g. p q
qr
rs
ps
h. (p ~q)
r ~p
sp
p (q ~r)
i. q (~p r)
rs
~pr
qr
j. p
(~p ~s) (~p ~r)
s
k. p q
~pq
~q
l. (p q) (r s)
~q ~s
~p ~q