LOGICA PROPOSICIONAL

1.1. NOCION DE LOGICA .En nuestro quehacer diario constantemente hacemos deducciones. Esto significa que
cada conclusin que obtenemos se deduce de algo. Este algo o punto de partida se llama
premisa.
Este proceso de pasar de un conjunto de premisas a una conclusin se llama
deduccin o inferencia. Cuando la conclusin se deduce correctamente del conjunto de
premisas se dice que la inferencia es vlida, en caso contrario la inferencia no es vlida. Las
leyes lgicas nos permiten saber si una inferencia es vlida o no.
La lgica es una ciencia que estudia los mtodos y las leyes que determinan la validez
de la inferencia.
Histricamente la lgica antigua comenz con Aristteles de manera orgnica y
sistemtica, con un objetivo definido que es el anlisis formal de los razonamientos en el siglo
IV A. C.
Con Aristteles, los estoicos y los escolsticos hicieron todo lo que se puede hacer de
lgica sin salirse del lenguaje ordinaria. Con Liebniz en 1666, Boole en 1859, Frege, en 1879,
nace la nueva lgica, y tambin la teora de los conjuntos, con Cantor, en esa misma dcada
los que emplean un lenguaje analtico. Pero fue recin con B. Russell y A. Whitehead entre
los aos 1861 y 1970 los que usaron un lenguaje simblico.
En el estudio y desarrollo de la matemtica contempornea se sigue un proceso de
razonamiento basado en el lenguaje con un sentido lgico. La lgica visto como el anlisis del
lenguaje es muy importante porque permite sistematizar y simbolizar principios y leyes del
razonamiento humano.
Esta simbolizacin permite eliminar las ambigedades del lenguaje usual, cuyo uso
adecuado descarta las contingencias, simplifica y clarifica el proceso de razonamiento.
1.2. LENGUAJE Y PENSAMIENTO.Lenguaje es el sistema de signos con el cual se comunica una comunidad. O sea un
medio o instrumento de comunicacin entre los hombres de un pueblo.
Todo lenguaje como sistema tiene un conjunto de signos y reglas por las cuales se rige.
Con l se expresan ideas, deseos, emociones, se hacen splicas, se trasmiten informaciones
y rdenes, etc.
El lenguaje cumple tres funciones bsicas que son: la informativa, la expresiva y la
directiva.

La funcin informativa. El lenguaje cumple una funcin informativa cuando describe un

conjunto de hechos o acciones humanas que ocurren en la realidad, o sea en el mundo,
consiste en comunicar informacin, para ello se vale de las oraciones imperativas o
aseverativas, oraciones que se caracterizan por afirmar o negar algo. El lenguaje
informativo describe hechos que ocurren en el mundo y nos permite razonar acerca de l.
Por ejemplo :
1) Las lluvias han provocado inundaciones en el norte del pas.
2) Por el oeste, el Per limita con el Ocano Pacfico.
Cuando la informacin es cierta se dice que es verdadera, en caso contrario, se dice que
es falsa. Segn esto, la caracterstica del lenguaje informativo es de ser verdadero o falso.
Es el lenguaje de las ciencias.
La funcin expresiva. No todo lenguaje es informativo, cumple tambin una funcin
expresiva cuando se usa para comunicar sentimientos, emociones o actitudes. El lenguaje
1

expresivo es eminentemente subjetivo, los usamos diariamente cuando le decimos a

alguien que te vaya bien, cudate, que regreses pronto, etc. Por ejemplo :
1) i Felicidades ! Que tenga buenas vacaciones
2) i Bravo ! Ganamos el partido.
3) Dios mo, Dios mo, Porqu me has desamparado?
Estos ejemplos no trasmiten conocimiento sino expresan diversos estados de nimo. En
todos estos, el lenguaje no es verdadero ni falso.
La funcin activa o directiva. El lenguaje cumple una funcin directiva cuando se usa
para dar rdenes o hacer pedidos, o con el propsito de originar una accin manifiesta.
Por ejemplo :
1) Prohibido fumar
2) Al entrar, cierre la puerta
3) Cunto vale este libro?
El ejemplo (1) puede evitar una accin, el (2) puede originar una accin y el (3) es una
pregunta que nos permite obtener una respuesta.
Estas expresiones nada tienen que ver con la verdad o falsedad. Son frases que tienen
que ver con acciones que hay cumplir y realizar.
Solamente la funcin informativa es verdadera o falsa, por lo tanto, el lenguaje informativo
es un lenguaje proposicional.

1.3. LENGUAJE CIENTIFICO.Es un lenguaje especializado que restringe la funcin del lenguaje bsicamente a la
informacin. Es un lenguaje que pretende ser claro, preciso y exacto. Este lenguaje es mas
bien preciso en las ciencias formales como las matemtica y la lgica. La ciencia crea
lenguajes artificiales, cuando es necesario inventa palabras, signos matemticos, smbolos
qumicos, etc. Por ejemplo :
1) H designa el elemento de peso atmico unitario
2) + designa la suma de cantidades, etc.
1.4. LENGUAJE LOGICO.Es un lenguaje simblico. Este lenguaje es preciso, exacto y universal, por que tiene
una sola interpretacin y su significado es nico para todos. El lenguaje simblico es convencional, artificial y slo puede expresarse por escrito. Por ejemplo :
1) 2 + 3 = 5 : p
2) ( p q ) ~ r
Desde este punto de vista, el lenguaje lgico o simblico es puramente formal,
independiente de todo contenido semntico. Por ejemplo en el anlisis lgico de un
razonamiento o inferencia se toma en cuenta nicamente la estructura formal de las
proposiciones y que estas en el interior de la inferencia estn unidos mediante trminos
llamados conectivos o trminos de enlace y, ser vlida o invalida solamente en funcin de su
forma lgica.
El objetivo definido de la lgica es el anlisis formal de los razonamientos a su vez esto
tiene la finalidad de deslindar la validez o invalidez de la inferencia.

2. PROPOSICIONES:
2.1. ENUNCIADO.Sean las frases y oraciones siguientes que escuchamos o escribimos a menudo :
2

1) Lima es al capital del Per.

2) Que linda mujer!
3) 41 es un nmero impar.
3 4) Qu hora es?
4 5) El viernes traer tiza de colores.
5 6) El est pensando en ella.
6 7) 5 + 2 = 6
7 8) Dios mo, slvame!
8 9) x 10 = 7
9 10) El teorema de Pitgoras
10 11) No matars a tu prjimo
2

Enunciado, es toda frase u oracin de nuestro lenguaje.

Nos interesa los ejemplos (1), (3), (8); son enunciados que se les puede asignar una
propiedad de ser verdadero o falso, pero no ambas a la vez.
(1) Es verdadero
(2) Es verdadero
(3) Es falso.
En cambio los ejemplos (2), (4), (5), (6), (7), (9) y (10) son enunciados que no podemos
asignar un valor de V o F.
2.2. VALOR DE VERDAD .Es la propiedad de ser verdadero o falso pero no ambos a la vez que le asignamos a
ciertos enunciados. Los valores de verdad o falsedad de una proposicin resultan de la
ciencia o disciplina de donde provienen. Por ejemplo :
1) Francisco Pizarro conquisto el Imperio de Incas, la historia nos asevera que es verdadera.
11 2)3 + 5 = 10, la matemtica nos asevera que es una proposicin verdadera.
12 3)La frmula del cido sulfrico es H2 OS4, la qumica nos asevera que es falsa.
Proposicin es un enunciado al cual se le asigna un determinado valor, de ser verdadero(V) o
falso(F), pero nunca verdadero y falso simultneamente.
Ejemplos. Complete los valores de verdad de las siguientes proposiciones :

b
c
d
e

1) La luna es un satlite. (......)

2) Los das de la semana son diez. (......)
3) El Baricentro es el punto de interseccin de las tres medianas. (.......)
4) 18 es mltiplo de 3. (.......)
5) La frmula qumica del agua es H2 O. (.......)
6) 3 es un divisor de 12. (......)
7) 15 es un nmero primo. (......)
8) El sol es un planeta. (.......)

2.3. REPRESENTACION SIMBOLICA DE LAS PROPOSICIONES:

Definicin.- Son variables proposicionales las letras minsculas: p, q, r, s, t, etc, as como
p1, p2, p3, p4, etc. que tienen la funcin de representar a cualquier proposicin.
Ejemplos: p : El gato es un animal mamfero. (......)
3

q : 20 es divisible por 6. (......)

r : 5 es un nmero primo. (......)
OBSERVACINES :
1) Como a toda proposicin le asignamos la propiedad de ser verdadero o falso, o sea es
bivalente; entonces convenimos en representar mediante diagramas del rbol o en tablas de
valores:

Una proposicin tiene 2 posibilidades de valor de verdad, es decir de ser verdadero o falso,
o sea 21 :
V

p
V
F

p
F

Dos proposiciones tendrn 4 posibilidades de valores, o sea 22 :

q
V
p

p q
V V
V F
F V
F F

V
F
V

F
F

Tres proposiciones tendrn 8 posibilidades de valores de verdad, o sea 23 :

r
V
q
V
F
p

V
F
V
F
V

V
F

F
V
F

p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

En general para n proposiciones : p1, p2, p3, . . . , pn; el nmero total de formas posibles
en que pueden presentarse los valores, es 2n .

2) Las expresiones exclamativas, interrogativas, las rdenes y las que tienen variables o
incgnitas no son proposiciones.
3) La verdad lo podemos representar tambin con 1 la falsedad con cero (0) de una
proposicin puede ser identificado o comparado tambin con el paso o la interrupcin de
corriente elctrica a travs de un circuito elctrico( Es un conjunto de interruptores conectados
entre si que facilitan o interrumpen el paso de la corriente segn que cada interruptor este
cerrado o abierto respectivamente)

2.4. CONECTIVOS LOGICOS.Sean :

4

a)
b)
c)
d)

12 es mltiplo de 4 y de 6.
Juan Prez va al colegio o al cine.
Si 2 es nmero par, entonces es divisor de 18.
Un nmero es par si y slo si es mltiplo de 2.

Observamos que ciertos trminos del lenguaje nos permite combinar proposiciones,
estos son: no, y, o, si, ....entonces......; ....si y slo si...., entre otros. La tabla siguiente nos
va a permitir simbolizar cada uno de los conectivos u operadores :
CONECTIVOS LOGICOS

SIMBOLOS

no

NOMBRES

Negacin

Conjuncin

Disyuncin incluyente

O............... o ...............

Disyuncin excluyente

Si...................entonces...................

Condicional

...................si y solo si....................

Bicondicional

Conectivos Lgicos son trminos que nos permite formar proposiciones

compuestas

Ejemplos: 1) A partir de las proposiciones: p : 8 es mltiplo de 4,

q : 8 es divisor de 40,
formar nuevas proposiciones:
no p
: 8 no es mltiplo de 4.
pyq
: 8 es mltiplo de 4 y 8 es divisor de 40.
pq
: 8 es mltiplo de 4 u 8 es divisor de 40.
Opoq
: U 8 es mltiplo de 4 u 8 es divisor de 40.
Si p entonces q : .Si 8 es mltiplo de 4, entonces 8 es........................................................
p si slo si q
: ..................................................................................................................

2.4. PROPOSICIONES SIMPLES.Definicin.- Son aquellas proposiciones que no poseen conectivos lgicos.
Ejemplos: 1) Sean: p : 8 es un nmero par.
q : El cuadrado es un cuadriltero.
r : El oxgeno es un gas.

2.5. PROPOSICIONES COMPUESTAS.Definicin.- Son aquellas proposiciones que se obtienen al combinar proposiciones simples
mediante los conectivos lgicos.
5

El valor lgico de una proposicin compuesta slo depende de los valores de las
proposiciones componentes.
Ejemplos: 1) Luis est en Panam estudiando y trabajando.
p
q
2) Si tengo sueo de da, entonces estoy cansado o me faltan vitaminas.
r
s
t
3) El oxgeno es un gas si y slo si el hidrgeno es un lquido.
z
w

2.6. ENUNCIADO ABIERTO O FUNCION PROPOSICIONAL.Son enunciados que tienen al menos una variable o incgnita la que al ser reemplazado
por constantes se transforma en una proposicin. Se representa por P(x), que se lee: P de x.
Ejemplos: 1) P(x)
2) Q(x, y)
3) R(x, y, z)
4) T(ella, el)

: x+2=5
: x es mltiplo de y.
: x + y + z > 6.
: Ella vive junto a el.

2.7. OPERACIONES LOGICAS.Combinando las proposiciones simples con los conectivos lgicos determinamos las
operaciones lgicas: La negacin, la conjuncin, la disyuncin, la condicional y la bicondicio-.
nal. A cada una de las operaciones lgicas le asignamos una tabla de valores.
1.

NEGACION.- Dada una proposicin simple representado por p, su negacin es otra

proposicin compuesta representado por p y que se lee no p no es cierto que p; y
est definida por la siguiente tabla :
Es decir si p es una proposicin Verdadera su negacin de p

~p

p es............................ y si p es una proposicin Falsa,

su negacin o sea p es .....................................

o sea

Ejemplos: a) p : 8 es un nmero par; ( V ); su negacin es:

p : 8 no es un nmero par; ( F ), o
: No es cierto que 8 es un nmero par
b) q : La luna es un planeta; ( F ); su negacin:
q : La luna no es un planeta; ( V )
c) r : La frmula del agua es H2 O; (......)
r : ...................................................................; (.......)

2. CONJUNCION.Dadas dos proposiciones simples p y q, unidas por el conectivo lgico y, forman la

proposicin compuesta llamada conjuncin de p y q, representada por p q y se lee p y
q; definida por la siguiente tabla de valores:

Es decir p q es verdadera slo cuando p y q son verdaderas y si al menos una

de las proposiciones es falsa, entonces p q tambin es falsa.
6

V
V
F
F

V
F
V
F

V
F
F
F

Ejemplos: 1. a) Pars est en Europa y Per en Amrica; ( V )

p

q
(V)
(V)
b)12 es mltiplo de 3 y 4 es divisor de 15; ( F )
c) Sean p : 6 > 13 : ( F );
q : 10 es un nmero primo : ( F )
La conjuncin de p y q es : p q : 6 > 13 y 10 es un nmero primo : ( F )
( F)
(F)
2. El valor de verdad o falsedad de la siguiente proposicin : No es cierto que los nmeros
primos son impares y 8 es mayor que 6.
Sol. Identificando r : Los nmeros primos son impares ( F )
s : 8 es mayor que 6 ( V )
( r s) : ( V )
3. Si se sabe que p, q son verdaderas y r falsa, hallar el valor de verdad de :
a) ( p q ) r
b) ( p r )
c) q ( p r )
En el lenguaje ordinario hay trminos que tambin unen proposiciones y se representa con
, estos son: pero, sin embargo, adems, aunque, no obstante, a la vez, tambin,
empero, tanto como, a menos que, etc.
La proposicin conjuntiva p q lo identificamos con los circuitos elctricos diseados en serie:
Se observa cuando los interruptores estn cerrados pasa corriente y el foco se prende,
lo representamos con uno (1), cuando el interruptor est abierto no pasa corriente y el foco
est apagado y lo representamos con cero (0). El diseo:

3) LA DISYUNCION.Dadas dos proposiciones simples p y q, unidas por el conectivo lgico o, forman la

proposicin compuesta llamada Disyuncin, se lee p o q .
Ejemplos: a) Felipe es profesor o es estudiante de ingeniera.
p
q
b) 12 es mltiplo de 6 es nmero par.
p
q
c) Don Jos de San Martn naci en Chile o naci en Argentina.
r
t
7

d) Sean: p : El nmero 27 es impar,

q : El nmero 27 es par,
p q : El nmero 27 es impar o es par.
Analizando los ejemplos anteriores a) y b) se tiene que : La verdad de que
Felipe sea profesor no excluye que sea estudiante de ingeniera; de igual modo ,
si 12 es mltiplo de 6, no excluye que tambin sea par. En cambio en c) y d) la
verdad de que Don Jos de San Martn haya nacido en Chile, excluye que naci
en Argentina y viceversa; la verdad de que 2 7 sea impar, excluye que sea par.
Lo anterior nos permite que, en la disyuncin hay que distinguir dos
interpretaciones que es conveniente considerarlos :

DISYUNCION INCLUYENTE.- La disyuncin p o q lo representamos por p

q, cuyo valor de verdad est definida por la siguiente tabla de valores :

Es decir, p q es verdadera si por lo menos una de las proposiciones

compo- nentes es verdadera. Slo ser falsa si ambas son falsas.
p

V
V
F
F

V
F
V
F

V
V
V
F

La proposicin disyuntiva p q lo identificamos con un circuito elctrico

instalado en paralelo:
En donde si los dos interruptores estn cerrados pasa corriente y se prende el
foco, de igual modo si uno de ellos est cerrado pasa corriente y se prende el
foco, solo si los dos estn abiertas no pasa corriente y el foco est apagado.

Ejemplos : 1) Sean las proposiciones

p : Ate es distrito de Lima,

q : Ate es distrito de Arequipa,
r : Chosica est ubicado en Lima.
Formar proposiciones disyuntivas :

a) p q : Ate es distrito de Lima o Chosica est ubicado en Lima. ( V )

b) q r : Ate es distrito de Arequipa o Chosica est ubicado en Lima. ( V ).
c) ~ r q : Chosica no est ubicado en Lima o Ate es distrito de Arequipa. ( F )

2) Determine el valor de verdad de la siguiente proposicin :

12 es mltiplo de 3 5 es nmero par
Sean: p : 12 es mltiplo de 3, ( V )
q : 5 es nmero par, ( F )
8

luego : p q : ( V )

DISYUNCION EXCLUYENTE.- La disyuncin o p o q lo consideramos por p q, cuyo valor

de verdad est definida por la siguiente tabla de valores :
La disyuncin exclusiva p q, es verdadera cuando slo una de las proposiciones componentes es verdadera y en cualquier otro caso es falsa.
p

V
V
F
F

V
F
V
F

F
V
V
F

Ejemplo 1) Sean las proposiciones : p : Juan est vivo,

q : Juan est muerto,
La proposicin disyuntiva O p q : O Juan est vivo o est muerto
3) Determine el valor lgico de la disyuncin siguiente :
Gabriel Garca Mrquez es Chileno o es venezolano
Sean: p : Gabriel Garca Mrquez es chileno, ( F )
q : Gabriel Garca Mrquez es venezolano, ( F )
luego p q : ( F )
4) Sean las proposiciones p : 5 es nmero primo,
q : 7 es un cuadrado perfecto,
r : Todo nmero primo es impar.
Establecer el valor de verdad de las proposiciones siguientes :
a) ~ ( p q )

b) ~ q r

Solucin : a) ~ ( p q )
~ V V F
F

c) ~ ( ~ r q ) ~ p
b) ~ q r
V
F
V

d) ~ [ p ~ ( q p ) ]

c) ~ ( ~ r q ) ~ p
V V F
F
F
F

5) Sean las proposiciones p : La luna es un satlite,

Q : El sol es un planeta,
R : El agua hierve a 100 C.
Escribir en el lenguaje comn las siguientes proposiciones :
a) ~ ( p q ) b) ~ q r c) ~ p ~ q d) ~ ( q ~ r ) e) ( r ~ p ) ( ~ q
r)
Sol. a) ~ ( p q ) : No es cierto que la luna es un satlite o el sol es un
planeta
b) ~ q r : No es cierto que el sol es una planeta, o el agua hierve a 100 C.
c) ~ p ~ q : La luna no es un satlite sin embargo el sol no es un planeta
9

d) ~ ( q ~ r ) : No es cierto que o el sol es una planeta o el agua no hierve a

100 C.

4) EL CONDICIONAL.Dadas las proposiciones p y q, la condicional de p a q es la proposicin compuesta

representada por p q, que se lee si p entonces q; donde p es el antecedente y q es el
consecuente, definida por la siguiente tabla de valores:
La proposicin condicional p q es Falsa slo si el antecedente p es verdadera
y el consecuente q es falsa y es siempre verdadera en los otros casos.
p

V
V
F
F

V
F
V
F

q
V
F
V
V

Ejemplos: 1) Si hoy viajo a Lima entonces hoy falto a la universidad.

p
q
Afirmo que en el caso que viajo a Lima, necesariamente no asisto a la universidad, es
decir si el antecedente ocurre, el consecuente debe cumplirse. De hecho la proposicin solo
ser falsa cuando sea verdad que viaje y no falte a la universidad; es decir si el antecedente
es verdadero y el consecuente falso.
2) Sean p : 5 es divisor de 15, ( V )
q : 20 es mltiplo de 4, ( V ); forme la condicional : p q
p q : Si 5 es divisor de 15 entonces 20 es mltiplo de 4 : ( V )
3) Sean r : 4 > 7, ( F )
s : 2 es un nmero primo, ( V ); forme la condicional s r
s r : Si 2 es un nmero primo entonces 4 > 7.
4) Si 3 = 5 2 entonces 6 = 7 2 : ( F )
t
(V)

w
(F)

6) Hallar la tabla de valores de las siguientes proposiciones compuestas :

a) ~ p (p q)
b) ~ q ~ p
c) (p ~ q) (~ p
~q
e) [(~ p r) (q r)] (p ~ q)
Sol.
a)
b)
p
q
~p (p q
~ q ~ p
)
V
V
F
V
V
F V
F
V

V
10

q)

d) [(p q) (q r)]

c)
(p ~q)(~p
q)
V F F
V F V
V
V V V
F F F
F

F
V
F
F

Queda para los alumnos d) y e) :

p

[(p q) (q r)] ~ [(~ p r ) ( q r )] ( p

q
~ q)

6) Si la proposicin : (p ~ q) ( r q) es falsa, hallar el valor de las proposiciones :

a) ( p r ) q

b) (~ p r ) ( q p )

c) ~ ( p ~ r ) ( q ~ p )

OBSERVACION :
1) La condicional es equivalente a varios trminos como: puesto que, ya que, pues, si,
supone, porque, siempre que, condicin necesaria, slo si, solamente si, luego, por lo
tanto, si p, q, condicin suficiente, etc; las subrayadas o negritas se caracterizan porque
despus de cada uno de estas conectivas est el antecedente.
Ejemplos : a) Carlos estudiara en la universidad si aprueba el examen de admisin
Sea p : Carlos aprueba el examen de admisin
q : Carlos estudiara en la universidad
luego : p q.
b) El sol es un planeta puesto que es un astro del sistema planetario solar
Sean: p : El sol es un astro del sistema planetario solar
q : El sol es un planeta
luego : p q
c) El fiscal viaj a ver el incendio porque verifica el nmero de muertos
Sea r : El fiscal verifica el nmero de muertos
t : El fiscal viajo a ver el incendio
luego : r t
La condicional p q puede ser ledo de las siguientes maneras :

11

 1. " Si p, entonces q".

2. " q es condicin necesaria para p".

3." Una condicin necesaria para p es q".

4." p es condicin suficiente para q".

p q.
5. " Una condicin suficiente para q es p".
6. " q si p".

7. " p slo s q".

8. " p solamente si q".

2. En matemtica la condicional p q tiene mucha importancia debido a que la mayora de sus

teoremas son proposiciones de este tipo. En este caso, al antecedente p se le llama
HIPOTESIS, que se considera verdadera y al consecuente q TESIS o CONCLUSION, lo
que se quiere demostrar.
Teorema:

Hiptesis

q
Tesis

La demostracin de un teorema de este tipo es demostrar que p q sea

verdadera, como p (la hiptesis) es verdadera, bastara demostrar que q (la tesis) sea
verdadera.
4. A cada condicional p q se le asocia otros tres que se obtienen permutando el antecedente con el consecuente y sus negaciones, como lo indica el siguiente cuadro :
a)
b)
c)
d)

Directo
Recproco
Contrario
Contrarecproco

: pq
: qp
:~p~q
:~q~p

Ejemplo 4.1) Como todo arequipeo es peruano podemos expresar mediante la condicional :
a)
b)
c)
d)
e)

Si Jos es arequipeo, entonces es peruano.

Que Luis sea peruano es condicin necesaria para que Luis sea arequipeo.
Una condicin necesaria para que Luis sea arequipeo es que Luis sea peruano.
Que Luis sea arequipeo es condicin suficiente para que Luis sea peruano.
Una condicin suficiente para que Luis sea peruano es que Luis sea arequipeo.

4.2) Enunciar el recproco, el contrario y el contrarrecproco del siguiente condicional :

El directo :
Si el tringulo es equiltero, entonces el tringulo es issceles.
12

El recproco :
Si el tringulo es issceles, entonces el tringulo es equiltero.
El contrario :
Si el tringulo no es equiltero, entonces el tringulo no es issceles.
El contrarrecproco :
Si el tringulo no es issceles, entonces el tringulo no es equiltero.

5) EL BICONDICIONAL .Dadas dos proposiciones p y q, a la proposicin compuesta (p q) (q p),

llamaremos la bicondicional de p y q, y representaremos por p q, que se lee p si y slo si
q o p es condicin necesaria y suficiente para q; definida por la siguiente tabla :
Es decir p q es verdadera si las proposiciones p, q tienen los mismos valores y
es falsa cuando p y q tienen valores diferentes o contrarios.
La bicondicional es equivalente a los trminos: cuando y slo cuando, entonces y slo entonces,
es una condicin necesaria y suficiente. si y solamente si.
p

p q

Ejemplos: 1) Pedro est enfermo cuando y slo cuando tiene fiebre,

p : Pedro est enfermo
q : Pedro tiene fiebre
2) 2 < 5 si y slo si 2 + 3 < 5 + 3 : ( V )
r
s
(V)
(V)
3) 144 es divisible por 6 si y solamente si 3 es divisor de 16 : ( F )
q
(V)

t
(F)

4) La luna es un planeta es una condicin necesaria y suficiente de que el sol es un satlite

r
u
(....)
( ...)
5)Hallar la tabla de valores de las siguientes proposiciones :
a) (p q ) ( ~ q ~ p) b) ~ ( p q ) ~ p ~ q
c) ~ ( p q ) ( p ~ q )
b) [( p q ) ~ r ] [ q ( r ~ p ) ] e) [( p q ) p ] (~ p q )

FRMULAS O ESQUEMAS LGICOS.Sean p : El rombo es un cuadriltero.

q : El tringulo Issceles tiene 2 lados y 2 ngulos congruentes.
13

pq

: Si el rombo es un cuadriltero entonces el tringulo Issceles tiene 2 lados y 2

ngulos congruentes.
Lee y escriba: ~ p ~ q
Sol.:
~ p ~ q : Si el rombo no es un cuadriltero entonces el tringulo Issceles no tiene 2
lados y 2 ngulos congruentes.
Luego : ~ p ~ q; ( p q ) r; q (~ p q ); ( p q ) ( q p ); etc. reciben el nombre
de frmulas lgicas

DEFINICION.- Al conjunto de variables proposicionales, conectivos lgicos y signos de

agrupacin se llama Frmulas lgicas o esquemas lgicos.
Se representa con letras maysculas, A, B, C, etc.

Ejemplo. Sean A : p ( ~ p q ), B : [ r (~ p q )] ( p ~ r )
OBSERVACION: 1. Los signos de agrupacin : parntesis, corchetes, llaves, etc, son usados en
la formacin de las frmulas lgicas para evitar las ambigedades y darle mayor o menor
jerarqua a los operadores lgicos.
2. En los operadores lgicos(conectivos lgicos) en general, la negacin es el de menor jerarqua,
le siguen la y que tienen igual jerarqua y, es el de mayor jerarqua. En cada
esquema lgico slo un operador es el de mayor jerarqua y es el que le da el nombre.
3. Evaluar un esquema lgico consiste construir su tabla de valores del operador principal(mayor
jerarqua) a partir de la validez de cada uno de las variables proposicionales.
Ejemplo: 1) Evaluar la frmula : ~ p ~ q.
Sol.
P

V
V
F
F

V
F
V
F

~p ~q
F
F
V
V

V
V
F
V

F
V
F
V

2) Evaluar la frmula: ( p q ) ( q p ). Sol.

3) Evaluar la frmula: ~ p ( q r ).
Sol.

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

~p ( q r )

14

V
V
F
F

V
F
V
F

( p q) ( q p )
V
F
V
V

V
V
F
V

V
V
F
V

TAUTOLOGIA Y CONTRADICCION .DEFINICION.- Una tautologa es una frmula lgica que es verdadera para cualquier valor lgico
que se le asigne a sus variables proposicionales.

DEFINICION.- Una contradiccin es una frmula lgica que es falsa para cualquier valor lgico
que se le asigne a sus variables proposicionales.

DEFINICION.- Una contingencia es una frmula lgica cuando por lo menos hay una verdad y
una falsedad de su operador principal.
Ejemplos: 1) Evaluar y verificar que frmula es :
a) ( ~ p q ) ( p q )
d)[ ( p ~ r ) r ] p.

b) ~ ( p q ) ( ~ p ~ q )

c) ~ ( p q ) ( p q )

Sol.
a)

c)

V
V
F
F

V
F
V
F

(~p q ) ( p q)
F
F
V
V

V
V
F
F

V
F
V
F

V V V
F F V
V V V
V F V

V
F
V
V

b)

V
V
F
F

V
F
V
F

~(pq)(~p~q)
F
V
V
F
2

V
F
F
V
1

F
F
F
F

F
F
V
V

V F
F V
F F
V V
3

~(p q) (p q)
F
V
V
V
1

V
F
F
F

V
V
V
F
2

OBSERVACIONES: 1) Al evaluar una frmula debemos tener en cuenta el orden de las

operaciones lgicas a realizar: Se inicia por las operaciones encerradas en los parntesis
interiores, luego las negaciones, le siguen las conjunciones y disyunciones y finalmente las
condicionales.
2) Toda frmula lgica tiene un conectivo principal que representa la operacin final a
realizar.
Ejemplos a) ~ q ( p ~ r ); es una conjuncin( : conectivo principal).
b) ~ ( p r ) V ( ~ q p ); es una disyuncin( : conectivo principal )
c) ~ [ ( r p ) ~ q ]; es una negacin( ~ : conectivo principal ).
d) q ~ ( ~ p r); es una condicional( : conectivo principal ).
e)..............................................................................................

PROPOSICIONES EQUIVALENTES.-

15

DEFINICION.- Dos esquemas lgicas A y B, son equivalentes cuando unidas por el bicondicional
el resultado es una tautologa, es decir cuando sus operadores principales tienen
los mismos valores.
Se representa: A B A B, que se lee A es equivalente a B.
Ejemplos: 1) Verificar si son equivalentes las siguientes frmulas lgicas:
a) A: p q y B: ~ p q
q

)
V
F

b) C: p q y D: ( p q ) ( q p )

c) ~ ( p q ) y ~ p

Sol.
(p q) ~ p q

V V

V
F

F
V

F
V

V
V

F
V

F F
V V

V V

V F

V
F

A B (A es equivalente a B)

p q (pq) (qp

F
F

F
V

V
F

F
V

F
V

V
F

C D (C es equivalente a D )

3) Verificar que los esquemas siguientes son equivalentes :

a) ~ (~ p) p b) t w ~ w ~ t c) p q (p q) (q p) d) p q ~ (p
~ q)

IMPLICACION LOGICA.DEFINICION.- Dados dos esquemas lgicos A y B, se dice que A implica lgicamente a B, o

simplemente A implica a B, si y slo si la condicional A B es una tautologa. Y lo

representamos con A B.
A B significa que de la verdad de A se obtiene la verdad de B.

EJEMPLOS 1) Sean los esquemas lgicos :

a) A : p q , B : p, verificar que A B

b) E : p ; F : p q verificar que E F

AB
EF
2)Sean los esquemas lgicos : M : ~ p ~ r y N : ~ ( p q) ~ r; verificar que M N
3)Dados los esquemas lgicos A : p ~ q, B : q ~ r y C : ~ p (q r). Determinar si C es
condicin necesaria para la conjuncin de A y B.
Sol. Tenemos que verificar mediante tablas que ( A B ) C es una tautologa

EJERCICIOS RESUELTOS
1. Dados los siguientes esquemas moleculares : A : ~ p ( q ~ r )
B:[(p r)~q] r
16

C : ~ [ ( r q ) (~ r p) ]
D : (p ~ q ) ( ~ r p )
E:p [q(r~p)
Seale el operador principal(jerarqua) y anota el nombre de cada esquema
Solucin : A : El esquema molecular es el condicional su operador principal es :
B : El esquema molecular es el bicondicional su operador princ. es :
C : El esquema molecular es la negacin su operador princ. es : ~
D : El esquema molecular es la cojuncin su operador princ. es :
E : El esquema molecular es la disyuncin incluyente su operador princ. es :
2. Sean las proposiciones p : Yo estudio
q : Voy al cine
Traduzca al lenguaje ordinario las frmulas lgicas :
a) (p ~ q ) p
b) ~ ( p ~ q )
c) q ~ p
d) ~ p ~ q
Solucin : a) Si estudio y no voy al cine, entonces estudio.
b) No es verdad que estudio o no voy al cine.
c) O voy al cine o no estudio.
e) No estudio y no voy al cine.
3.
Dadas las proposiciones : q : 2 es nmero par
P y r son dos proposiciones cualesquiera tal que :
~ [ ( r q ) ( r p ) ] es verdadera;
entonces el valor de verdad de los siguientes esquemas moleculares :
a) r (~ p ~ q )
b) [ r ( p q ) ] ( q ~ p )
c) ( r ~ p ) ( q p ); es :
A)
B)
C)
D)

V
V
V
F

V
F
V
F

F
V
V
F

Solucin : q : 2 es un nmero impar es ( F )

Adems : ~ [ ( r q ) ( r p ) ] es ( V )
(V) (F)
(V) (F)
V

F
(F)

a) r (~ p ~ q )
(V) ( V)
(V)
(V)
(V)

b) [ r ( p q ) ] ( q ~ p )
(F) (F)
(F) ( V )
(V)
(F)
(F)

c) Para ti alumno

(F)
(V)
3. En cuales de los de los siguientes casos es suficiente la informacin para conocer el valor lgico
de los esquemas correspondientes :
a) ( p q ) ] (~ p ~ q ); v( q ) = ( V )
b) [ p ( q r ) ; v (q r) = ( V )
c) ( p q ) ( p r ) ; v(p) = ( V ) y v( r ) = (F)
d) (p q ) r ; v (r) = ( V )
Sol. a) ( p q ) ] (~ p ~ q)
b) [ p ( q r ) : no es posible hallar el valor de
(V/F) (V)
(V/ F) (F)
(V)
este esquema
(V)
(F)
( ?)
( F)
17

c) ( p q ) ( p r )
d) (p q ) r , queda para ti.
f
(V) (V/F) (V) (F)
(V/F)
(V)
(V)
4. Simbolizar la siguiente proposicin : El campeonato no dio sorpresas y los aliancistas ganaron
la copa, si y solo si o los universitarios no participaron o los aliancistas no ganaron la copa.
Sabiendo que la proposicin anterior es verdadera y los universitarios si participaron, contestar
las siguientes preguntas :
a) Dio sorpresas el campeonato?
b) Ganaron la copa los aliancistas?
Solucin : Sea p : El campeonato dio sorpresas
q : los aliancistas ganaron la copa
r : Los universitarios participaron
Entonces la proposicin es el siguiente esquema : (~ p q) (~ r ~ q)
Nos informan que v(r) = (V), es decir que v(~ r) = (F). Adems el esquema bicondicional es
verdadero por lo que hay dos casos :
i) (~ p q) (~ r ~ q)
ii) (~ p q) (~ r ~ q); lo cual es correcto
? (F)
(F) (V)
(F) (V)
(F) (F)
(V)

(V)
(F)
(F)
(V)
(V)
El caso ( i ) es desechado, ya que no puede ser el v(q) sea (F) cuando ~ p q es verdadero, en
el caso (ii) si no hay problema ya que v(~ r) es (F) y v(q) es (V).

EJERCICIOS PROPUESTOS:
1.- Verificar si es proposicin los siguientes enunciados anotando su valor de verdad:
a) 10 es un nmero impar
c) Como estas !
e) Haz caminata temprano
g) Jpiter no es un planeta
i) Saldr de viaje al amanecer

b) El agua de mar es salado.

d) 5 R
f) x + 1 = 2 es una ecuacin de 2do. Grado.
h) Cundo vienes a visitarme?
j) Qu hermosa accin !

2.- Simboliza y lee las proposiciones compuestas siguientes:

a) Condicional: .......p q.........; Si p entonces q.
b) Disyuncin: ...........................;

............................................

c) Bicondicional: ...........................; ...........................................

d) Conjuncin: .............................;

...........................................

e) Negacin: .................................; ...........................................

3.- Simboliza las siguientes proposiciones e indica el nombre de las proposiciones compuestas.
a) - 5 = - 5
b) 2 es par y 5 es impar.
c) 18 es divisible por 6.

d) 13 es un nmero impar y primo

e) L a Paz es capital de Bolivia o Ecuador

f) No es cierto que 12 < 5.

18

g) No es cierto que 2 + 4 6.

h) El sol sale de da y la luna de noche.

i) Si 3 < 9 entonces 5 < 8

j) Bolivar naci en el Per o en Venezuela.

k) Un nmero es impar si y slo si no es divisible por 2.

l) Hoy es domingo si y slo si ayer fue sbado.
ll) Si Coco obtiene el puntaje ms alto entonces recibir la beca.
4.- Evaluar las siguientes frmulas lgicas y anotar si es Tautologa, Contradiccin o Contingencia.
a) ~ ( p q )
~p

b) ~ p ~ q

c) ~ ( p q )

d) ~ q

e) ~ ( ~ p q ) q

f) ( p q ) ( p q)

g) ( p q ) ( ~ p q )

h) [ ( p q ) q ] q

i) ~ ( p q ) ~ p ~ q

j) ~ ( p q ) ~ p ~ q

k) ~ { [ p ( q p ) ] ~ p }

l) ~ ( p q ) ( q p ).

5.- Sean los enunciados abiertos:

P(x) :
2x 9 = -- 3 ;
Q(x) :
5x 7 > 0 ;
R(x, y ) : x y < 0.

Escriba cada proposicin y halle su valor de verdad.

a) P(1)
R(1, 4)
f) S(-1 , 1)

b) Q(5)
g) P(3) Q(1)

c) P(-- 2 )
h) Q(3) P(6)

6.- Halle el valor de verdad de cada proposicin:

a) 11 es un nmero y 8 es divisor de 12. ( )
b) 64 es mltiplo de 8 o 13 al cuadrado es 169. ( )
c) 128 es divisible por 7 y es la raz cbica de 64 ( )
d) Si 12 x 12 es igual a144 entonces 10 es la raz cuadrada de 200. (
e) 2 es un nmero primo si y slo si es par. ( )
f) Si 3 es divisor de 12 entonces 12 es mltiplo de 5. ( )

d) ~ Q(-- 5)

e) ~

i) ~ [ R( 6, -2) ]

7.- Sean los enunciados abiertos:

P(x) : x 5 > 10;
Q(x) : 2x < 8;
R(x) : 2x2 + 5x 3 = 0

Escriba cada proposicin que se indica y halle su valor de verdad:

a) Si P(5) Q(2)

b) Si Q(8) R(1)

c) R(0) P(-1)

e) Q(60) R(6)

f) P(10) Q(10)

g) [ P(12) Q(5)] R(-3)

h) Q(4) [ R(-1) P(-6) ]

i) R(3) [ P(-3) Q(3) ]

8.- Sean las proposiciones p : 5 es un nmero primo

q : 7>9
r : Todo nmero primo es impar
19

d) P(-8) R(-3)

k) P(-7) [ P(2) Q(2) ]

Escribir y establecer la verdad o falsedad de las siguientes proposiciones:

a) ~ ( p q )

b) ~ q ~ r

f) ~ p ( q ~ r )

c) ~ ( ~ q p )

g) ~ q ( p ~ r )

d) ( p ~ q ) r

e) p ( ~ q r )

h) ~ [ ( p ~ q ) ~ r ]

9.- Sean las proposiciones p y q verdaderas, las proposiciones r y t falsas; hallar el valor de lgico :
a) ~ ( p q )

b) ( p t ) ~ q

e) ~ p ~ r
~t)

f) ~ (q r)

c) ~ ( p ~ r ) ( t ~ q ).

g) ~ t ~ ( r q )

d) (q ~ r ) (~ t p )

h) ( p ~ q ) r

i) ( p r ) ( ~ q

10. Definamos p # q como una proposicin verdadera si p es falsa y q verdadera, y como falsa en
todos los casos restantes. Segn esto, si r : Juan es profesor y s : Juan es deportista; hallar la
traduccin de ~ r # s.
Sol. Segn la definicin del operador y las tablas de valores de las proposiciones p q y
~ r s, se tiene :
p
V
V
F
F

q
V
F
V
F

p q
F
F
V
F

r
V
V
F
F

s
V
F
V
F

~r
F V
F F
V F
V F

r s
V
F
F
F

s
V
F
V
F

Observamos que la tabla de valores de ~ r s es idntica a la de la conjuncin; luego

segn La traduccin es : Juan es mdico y deportista.

3.- LEYES Y PRINCIPIOS LOGICOS.LEY O PRINCIPIO LOGICO :

DEFINICION .- Un esquema o frmula lgico es una ley lgica si y slo si es verdadera para
cualquiera de sus valores de las variables componentes.
Las principales leyes o principios lgicos podemos clasificar en grupos :
1.- Leyes Lgicos Clsicos
2.- Equivalencias Notables o Leyes Equivalentes
3.- Implicaciones Notables o Reglas de Inferencias
I.- PRINCIPIOS O LEYES LGICOS CLSICOS:
C1. LEY DE IDENTIDAD .- Una proposicin es idntica a si misma.

p p
p p
C2. LEY DE NO CONTRADICCION.- Una proposicin no puede ser verdadero o falso a la vez.

~ p ~p
20

C3. LEY DEL TERCIO EXCLUIDO.- Una proposicin es verdadero o es falso, no hay una tercera
posibilidad.

p. . ~ p

II.- EQUIVALENCIAS NOTABLES :

E1. LA LEY DE LA DOBLE NEGACION O INVOLUCION.- La negacin de la negacin de p es una
afirmacin p.

~ . ~.p.. .p
E2. LA LEY DE IDEMPOTENCIA :

p p p
p p p
E3. LEY CONMUTATIVA :
p q q p
p q q p
p q q p

E 4. LEY ASOCIATIVA :

p q r p q r
p q r p q r
p q r p q r
E5. LEYES DISTRIBUTIVAS :

p q r p q p r ;

p q r p q p r

p q r p q p r ;

p q r p q p r

E6. LEYES DE DE MORGAN :

~ p q ~ p ~ q
~ p q ~ p ~ q

E7. LEYES DEL CONDICIONAL :

p q ~p q
~ p q p ~ q
E8. LEYES DEL BICONDICIONAL:

p q p q q p

p q p q ~ p ~ q
E9. LEYES DE ABSORCION:

p p q p;
p p q p;

p ~p q p q
p ~p q p q
21

E10. LEYES DE TRANSPOSICION:

p q ~ q ~p
p q ~ q ~p
E11. LEY DE EXPORTACION:

p q r p q r
E12. LEY DE LOS ELEMENTOS NEUTROS:
p V p;
p V V;

p F F
p F p

E13. LEYES DEL COMPLEMENTO:

p ~ p F;
p ~ p V;

~ V F
~ F V

Ejemplos. 1) Aplique absorcin y deduzca el equivalente de :

a) (p q) p p
b) (q p) p q p
c) p (q p) . . . .
2. Demostrar que: (p q) ( r q) q (r p)
Sol. (p q) ( r q) ( p q) ( r q) - - - - - - - Ley del condicional
( q q) ( p r) - - - - - -Leyes conmutativa y asociativa
q ( p r) - - - - - - - - - Ley de idempotencia
q ( r p) - - - - - - - - - Ley del condicional
3. Simplificar el siguiente esquema: [(q p) ( p s)] (q s).
Sol.: [(q p) ( p s)] (q s) [( q p) ( p s)] (q s) - - - .
[( q p) p] s (q s) - - -
( q p) s (q s) - - - - - -
( q p s) (q s) - - - - - -
( q p s) (q s) - - - - - - - - -
q [ (p s) (q s)] - - - - - - - - -
q (V) - - - - - - - - - - - - - - - - - - - -
( V) ( es una Tautologa) - - - - - - - - -

INFERENCIA LOGICA.La teora del razonamiento correcto, llamado tambin teora de la inferencia lgica, teora de la
deduccin o teora de la demostracin, constituye una de las partes ms importantes de la lgica. Su
aplicacin se manifiesta no solo en las ciencias exactas, como la matemtica, sino en muchos otros mbitos,
como la filosofa, el derecho y, en general, en la vida diaria.
DEFINICION.- Una Inferencia o razonamiento es la aseveracin de que una proposicin, llamada
conclusin, es consecuencia de otras proposiciones dadas, llamadas premisas.
Si un razonamiento tiene como premisas a P 1 , P2 , P3 , ........., Pn y como conclusin a C, entonces a
ste lo representamos mediante el esquema siguiente :
P1
P2
.
.

( P1 P2 . . . Pn ) C
22

.
Pn
C
Cada una de las premisas se une con el operador conjuntivo y la conclusin con respecto a sus
premisas con el operador condicional.
RAZONAMIENTOS VALIDOS.Si la conclusin se deduce correctamente del conjunto de premisas, la inferencia es vlida o la
conclusin es consecuencia lgica del conjunto de premisas; pero si la conclusin no se deduce
correctamente del conjunto de premisas, simplemente la inferencia no es vlida. Si el esquema lgico es
tautolgico, la inferencia es vlida, en caso contrario la inferencia es invlida o sea es una falacia.
DEFINICION.- Diremos que un razonamiento es valido o correcto si y solo si la conjuncin de las
premisas implica lgicamente la conclusin.
Es decir, un razonamiento :
P1 P2 . . . Pn C
es correcto si y solo si ( P1 P2 . . . Pn ) C es una tautologa.

Primera Forma: Usando tablas de verdad

Una de las formas de probar la validez de un razonamiento es mediante la evaluacin de las
tablas de valores de las inferencias; donde si es vlida la frmula lgica, ser una tautologa.
Ejemplo : 1) Si Julieta es espaola entonces es aficionada a la fiesta brava.
Pero, Julieta no es aficionada a la fiesta brava.
Por lo tanto, Julieta no es espaola.
p : Julieta es espaola
q : Julieta es aficionada a la fiesta brava.
pq
~q
~p

Es decir : p
V
V
F
F

q
V
F
V
F

p q ~ q ~p

[( p q ) ~ q ] ~ p
V
F
V
V
1

F
F
F
V
3

F
V
F
V
2

V
V
V
V
Rta

es una tautologa, por lo que es vlido

F
F
V
V
4

2) Verificar si la siguiente secuencia de proposiciones es valida o no.

Si 2 es primo, entonces 3 es primo.
Si 4 es par, entonces 3 no es primo.
4 es par.
Luego, 2 no es primo.
23

Simbolizando este razonamiento se escribe asi : p : 2 es primo

q : 3 es primo
r : 4 es par
Premisa 1 :
Premisa 2 :
Premisa 3 :

pq
r~q
r

Conclusin : ~ p
La validez de este razonamiento lo probamos evaluando su tabla de valores.
P
V
V
V
V
F
F
F
F

q r
V V
V F
F V
F F
V V
V F
F V
F F

[( p q ) ( r ~ q ) r ]
V
F V F F F V
V
F F V F F F
F
F V V V F V
F
F F V V F F
V
F V F F F V
V
F F V F F F
V
V V V V V V
V
F V V V
F F

~p
V F
V
F
V F
V
F
V V
V V
V V
V V

Otras de las formas de probar la validez de un razonamiento es mediante el mtodo deductivo.

Este mtodo consiste en dividir el razonamiento en una secuencia de razonamientos cortos, simples y
que de antemano sabemos que son vlidos. A estos lo llamaremos razonamientos elementales o reglas
de inferencia.

III.- IMPLICACIONES NOTABLES O REGLAS DE INFERENCIAS :

1. MODUS PONENDO PONENS (PP):
p
q
p
q

[( p

q) p] q

El modus(mtodo) Ponendo Ponens, nombre tomado del latn, nos dice que afirmando(ponendo) el
antecedente de un condicional se puede afirmar(ponens) el consecuente.
2. MODUS TOLLENDO TOLLENS(TT):
p

q
~q
[(p
q) ~q]~p
~ p
3. SILOGISMO DISYUNTIVO(SD) O MODUS TOLLENDO PONENS:
p q
~q
p

p q
~p
q

[(p q)~q] p

[(p q)~p] q

4. SILOGISMO HIPOTETICO(SH):
p
q
p

q
r
r

q)(q

(p

5. LEY DE SIMPLIFICACION(LS):
24

r)(p

r)

p q
p

p q
q

(p q) p
(p q) q

6. LEY DE ADICION(LA):
p
pq

p (p q)
q (p q)

q
p q

7. LEY DE LA CONJUNCION O ADJUDICACION( A ):

p
q
p q

Ejemplos. a) Demostrar ~ q, si :
1.
2.
3.
4.
5.

p ~q
r p
r
p
~q

p q p q
b) Demostrar ~ ~ r, si :

Premisa
P
P
PP 3 y 2
PP 4 y 1

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

p q
~q
~p r
~p
r
~~r
DN5

P
P
P
TT 1 y 2
PP 3 y 4

Segunda forma: Usando el Mtodo Abreviado .- Este mtodo consiste en suponer que la
premisa o conjuncin de premisas es verdadera y la conclusin es falsa, nica posibilidad que invalida la
implicacin. Si no se prueba esta posibilidad la inferencia ser vlida.
La prueba de este mtodo consiste en aplicar los siguientes pasos:
1. Asignar el valor de verdad (V) al antecedente (las premisas) y de la falsedad a la conclusin.
2. Deducir el valor de cada uno de las variables proposicionales en funcin de las reglas veritativas.
3. Si cada uno de las variables cumple una sola funcin veritativa se habr demostrado que la inferencia
no es vlida o sea es una falacia.
4. Basta que una variable tenga los valores de verdad y falsedad a la vez. Por lo tanto la inferencia ser
vlida, es decir se ha producido una contradiccin y ser vlida.
Ejemplos. 1) Probar mediante el mtodo abreviado la validez del siguiente razonamiento :
[(p ~q)(r p) r ] ~q
V
F
V
V
V
V
V
V
V
V
V
F
Se observa que q tiene a la vez dos valores de verdad diferentes, por lo que el razonamiento es valido,
o sea que no cumple la falsedad inicial que habamos supuesto.

Tercera Forma: Usando el Mtodo Deductivo o Derivado

Cuando el razonamiento tiene varias variables, la prueba de validez de un razonamiento se hace muy
laborioso. Para evitar esta dificultad, contamos con otro mtodo que lo llamaremos mtodo deductivo.
Este mtodo consiste en dividir el razonamiento en una secuencia de razonamientos cortos, simples y
25

que de antemano sabemos que son vlidos. Para ello utilizamos las leyes de la lgica proposiconal y
las reglas de inferencias.
Entonces en el ejercicio , tenemos:
1. q p

Premisa 1.

2. q r

Premisa 2.

3. p q

De 1, por ley del contrarrecproco.

4. p r

De 3 y 2, por el Silogismo Hipottico.

Por tanto, el razonamiento es vlido y ( q p) (q r) (p r).

Falacia
A un razonamiento que no es vlido se le llama falacia.

4. CUANTIFICADORES
A menudo usamos proposiciones como : Algunos estudiantes son aplicados, todos los humanos somos
mortales, existe al menos un alumno aprobado, cada nmero primo es impar, ningn alumno ha sido
desaprobado en matemtica, etc.
En cada caso se hace referencia a los elementos de un conjunto universal que cumplen ciertas propiedades
llamados enunciados abiertos o funciones proposicionales.
Sea P(x) una funcin proposicional y A un conjunto universal tal que al reemplazar la variable x de P(x) por
elementos de A obtenemos proposiciones verdaderas o falsas. Nos preguntamos Para cuntos
elementos de A, P(x) es verdadera?, como posibles respuestas tenemos :
Para todos los elementos x de A cumplen P(x)
Algunos elementos x de A cumplen P(x)
Para un solo elemento x de A cumple P(x)
Cada elemento x de A cumple P(x)
Ningn elemento x de A cumple P(x).
Los trminos Todos, algunos, un solo, cada uno, ninguno, que
indican cantidad, son llamados cuantificadores.

Hay que distinguir principalmente dos cuantificadores, el universal y el existencial.

4.1. EL

CUANTIFICADOR UNIVERSAL .-

Los trminos Todos, cada uno, ninguno, etc, son llamados cuantificadores universales.
Representaremos de la forma : , que se lee Para todo.
26

Al cuantificar a la funcin proposicional P(x) mediante el cuantificador universal obtenemos la

proposicin : Para todos los elementos x de A, se cumple P(x), que se simboliza por :
x A : P(x) y se lee para todo x de A tal que se cumple P(x) al que llamaremos proposicin
universal.
La proposicin xA : P(x) es verdadera si y solo si P(x) es verdadero para todos los elementos de
A, esto es si el dominio de verdad de P(x) coincide con A; y es falsa si hay al menos un elemento de A
que no cumple la propiedad P(x).
Ejemplos. 1) Simbolizar las siguientes proposiciones y determinar su valor lgico :
a) Todo nmero natural es mayor o igual a cero.
b) Todo nmero natural es mayor que 2.
c) Todo hombre es mortal.
Solucin : a) n N : P(n) : n 0 es ( V ); esta proposicin es verdadera, pues n puede asumir : 0, 1, 2,
3, . . . ; y todos ellos son mayores o igual a cero.
b) n N : P(n) : n > 2 es ( F ) para n = 1 no es cierto : 1> 2 es ( F ) .
c) Sea E el conjunto de todos seres humanos, y P(x): x es mortal; entonces x E : P(x) : x es mortal,
es ( V )
d) Sea A = { 1, 2, 3, 4 }, P(x) : x < 5, entonces :
x A : x < 5 es ( V )
e) x Z : P(x) : x + 1 = x es ( F )
f)

Sea E = { 0, 2, 4, 6, 8 } y P(x) : 2 es divisor de x; entonces :

x E : P(x) es ( V ), pues 2 divide a todos los x de E.
4.2. EL

CUANTIFICADOR EXISTENCIAL .-

El trmino algunos o existe al menos uno, se llama cuantificador existencial . Represen taremos
de la forma : , que se lee existe al menos uno.
Al cuantificar a P(x) con el cuantificador existencial obtenemos la proposicin Existe al menos un
elemento x de A tal que cumple P(x), que se simboliza por :
x A / P(x), y se lee existe al menos un x de A tal que se cumple P(x), al que llamaremos
proposicin existencial.
La proposicin xA / P(x) es verdadera si y solo si P(x) es verdadera para al menos un elemento x
de A; y, es falsa si ningn elemento de A cumple la propiedad P(x).
Ejemplos 1. Simbolizar las siguientes proposiciones y determinar su valor lgico :
a) Existe un nmero natural mayor que 2.
b) Existe al menos un nmero entero cuyo cuadrado es 25.
c) Existe un nmero natural cuyo cubo es 81
d) Existe un nmero par de A. Sea A ={ 1, 3, 5, 7} y P(x) : x es par.
e) Existe un nmero real x con la propiedad x x.
27

Sol. a) nN / n > 20, al buscar al menos un nmero que sea mayor que 20, n = 21, 22, etc. tal que si n
= 21, P(21) : 21 > 20 es ( V ).
b) nZ / n2 = 25, si existe al menos un nmero entero n = 5 / P(5) : 52 = 25 es ( V )
c) nN / n3 = 81, existe un nmero que elevado al cubo sea igual a 81?, sabemos que no exis- te tal
nmero, por lo que la proposicin es falsa.
d) xA / x es par, observamos que los elementos de A son impares, por lo que la proposicin es
tambin falsa.
f)

Queda para ti.

OBSERVACION :
1. En las proposiciones existenciales, puede existir un nico elemento que hace verdadera y se denota
por : ! xA / P(x).
Ejemplos a)Existe un nico nmero entero que sumado con 7 da 11.
Sol. ! xZ / x + 7 = 11, es ( V ), pues con x = 4 cumple.
b) Existe un nico nmero entero cuyo cuadrado es 36.
Sol. ! xZ / x2 = 36, es ( F ), porque existen dos nmeros enteros que elevados al cuadrado es 36.

NEGACION DE LOS CUANTIFICADORES

Cuando afirmamos todos los gatos son negros, su negacin afirmara no todos los gatos son
negros o equivalentemente existen algunos gatos que no son negros, o cuando afirmamos existen
algunos planetas del sistema planetario que son habitables, su negacin seria no existen planetas que
son habitables o equivalentemente todos los planetas no son habitables.
Por lo que para negar la proposicin con cuantificadores, se cambia el cuantificador; de universal a
existencial o de existencial a universal, y se niega la proposicin cuantificada.
Estas reglas de la negacin de cuantificadores se representan:

~ [ x A : P(x) ] xA / ~ P(x).
~ [ xA / P(x) ] x A : ~ P(x)
Ejemplos 1) Hallar la negacin de las siguientes proposiciones cuantificadas :
a) xN / x3 = 1.

b) nN / n + 3 = 0.

c) x Z : x 3

d) x R : x2 2 x = 3.

Solucin :
a) ~ [ xN / x3 = 1] x N : ~ (x3 = 1) x N : x3 1
b) ~ [ nN / n + 3 = 0 ] n N : ~ (n + 3 = 0 ) n N : n + 3 0.
c) ~ [ x Z : x 3 ]

xZ / ~ ( x 3 )

xZ / x < 3.

d) ~ [ x R : x2 2 x = 3 ] xR / ~ (x2 2 x = 3 ) xR / ~ (x2 2 ) ~ ( x = 3 )
28

 xR / x2 < 2 x 3.

PROPOSICIONES CON DOS CUANTIFICADORES

A una funcin proposicional la podemos cuantificar 2 veces una por cada variable que posee.
Sea P(x, y) una funcin proposicional con dominios x A , y B; de los cuales existen 8 combinaciones
posibles:
1. x A, y B : P(x, y)

5. x A, y B : P(x, y)

2. y B, x A : P(x, y)

6. y B, x A : P(x, y)

3. x A, y B / P(x, y)

7. x A, y A / P(x, y)

4. y B, x B / P(x, y)

8. y B, x A / P(x, y).

Ejemplos 1) Sean A = { 1, 2, 3 } y B = {-2, 1, 0 }; establecer el valor lgico de cada una de las siguientes
proposiciones:
a) y A, x B / x + y < 3

c) ! y B, ! x A / x.y < 0.

b) ! y B / x A : x y > 1

d) x A, y A : 2x = y.

Solucin : a)Para cada x A se tiene :

Existe un y B :

x=1

y = - 2 tal que :

1 + (-2) < 3 ( V )

x=2

y=0

2+0 <3

y = -2

3 + (-2) < 3 ( V )

x=3
Por lo tanto : y A, x B / x + y < 3 es ( V ).
b) Existe un nico y B :

Para cada x A se tiene :

y = -2

tal que

x = 1 : 1 - (-2) > 1 ( V )

y = -2

tal que

x = 2 : 2 - (-2) > 1 ( V )

y = -2

tal que

x = 3 : 3 - (-2) > 1 ( V )

Por lo tanto : ! y B / x A : x y > 1 es ( V ).

c) Existe un nico y B :
y = -2

Existe tambin un nico x A :

tal que

x=2

tal que : (-2) x 2 < 0 es ( V ).

Por lo tanto : ! y B, ! x A / x.y < 0 es ( V ).

d) Queda para Ud. alumno
2) Si A = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }, tenemos x A, y A / x + y = 10.
Para cada x A se tiene : x = 1, existe y = 9 / 1 + 9 = 10, se cumple
X=2,

y = 8 / 2 + 8 = 10

X=3,
.
x=9,

y = 7 / 3 + 7 = 10
. .
y = 1 / 9 + 1 = 10

Por lo tanto: x A, y A / x + y = 10 es ( V ).

EJERCICIOS RESUELTOS:
1. Demostrar usando las leyes lgicas:
29

(V)

 a) [(~p q) ~p] q p q

b) [~ (p q ) ( q ~ p)] ~ p q

Sol. a) [ (~ p q) ~ p ] q

~p q

pq

c) r (p q) (r p) q

b) [ ~ (p q ) ( q ~ p) ]

c) r (p q)

L. Absors.

(~ p q ) ( q ~ p)

~ r (~ p q)

L. del condic.

~ p [q ( q ~ p) ]

(~ r ~ p ) q

~ p

(r p) q

~p q

2. Usando las reglas de inferencia:

a) Demostrar : ~ p

b) Demostrar : ~ s r

c) Demostrar : m = n

(1) p q

(1) s p

(1) m = y m = z

(2) t q

(2) ~ p ~ t

(2) m = z m = n

(3) ~ q

(3) ~ t r

(3) m = y m = 0
(4) m = 0 m + b = 1
(5) m + b 1

Solucin : a)

b)

c)

(1) p t

P1

(1) s p

P1

(1) m = y m = z

P1

(2) t q

P2

(2) ~ p ~ t

P2

(2) m = z m = n

P2

(3) ~ q

P3

(3) ~ t r

P3

(3) m = y m = 0

P3

(4) ~ t

TT(2 y 3)

(4) ~ p

L.S.(2)

(4) m = 0 m + b = 1

P4

(5) ~ p

TT(1 y 4)

(5) ~ s

TT(1 y 4)

(5) m + b 1

P5

(6) ~ t

L.S.(2)

(6) m 0

TT(4 y 5)

(7) r

PP(3 y 6)

(7) m = y

SD(3 y 6)

(8) ~ s r

L. A.(5 y 7)

(8) m = z

PP(1 y 7)

(9) m = n

PP(2 y 8)

3. Probar la validez de los siguientes razonamientos :

a) p r

b) q r

c)

t p

~p

p q

p ( r q)

~q

p r

r
~ q ~t

Sol. a) [ ( p r) ~ p ] ~ q : ( F )
(F)
(F)
(V)
(V)
(V)
(V)

c) { ( t p ) [ p ( r q) ] r } (~ q ~ t)
(V) (F)
(F) (F)
(F)
(F)
(F)

(V)

(F)
(V)

Nota : El ejercicio ( c ) es ( V ) por que hay 2 valores a la vez para t .

b) Para ti alumno.
4. Construir el circuito que corresponde a cada uno de los esquemas :
30

(V)
(V)

(V)

(V)

(V)

(F)
(F)

a) (p q) r

b) (~ p q ) p

c) ) (p q ) (~ p q )

Sol. b) (~ p q ) p

d) [ ~ p ( r q) ] p

c) (p q ) (~ p q )

(p q)p

(~ p q ) ( p q )

a) y d) Para ti alumno
5. Escribir el esquema lgico(simplificado) correspondiente a los siguientes circuitos:
a)

b)

EJERCICIOS PROPUESTOS :
1. Demostrar las equivalencias de los siguientes esquemas :
a) (p q) ~ (p q )

~(pq)

c) ~ ( ~ p q ) p q

b) ~ [~ (p q ) ~ q ] p q

d) ~ { (p q ) [ p (~ p q ) ] } p ~ q

2. Simplificar las formulas lgicas siguientes :

a) [ (~ p q ) ( r ~ r ) ] ~ q
A) ~ q

B) ~ p r

C) p q

D) ~ p

E) q ~ r

C) p ~ q

D) ~ p

E) V

b) (~ p q ) (q p )
A) ~ p q

B) F

c) (p q ) ~ p ] (~ q q)
A) ~ q

B) p

C) ~ q

D) q

E) F

d) ~ { ~ [~ (~ p q ) ~ q ] [ ~ ( p ~ q ) ] }
A) p q

B) p q

C) p q

D) p q

E) p q

3. Si ( V ) es un valor lgico y p, q son proposiciones, cuales las siguientes son verdaderas :

(1) [(p (V) ) ~ ( V ) ]
(2) { [ p ( q p ) ] ~ ( V ) }

(3) { [ p ( V ) ) ( q ~ ( V ) ] (p q ) }
(4) { [(p q ~ ( V ) ) ~ ( V ) ] [ (~ p (V) ) (V) ]

4. Sea A = { 1, 2, 3, 4, 5 } y las proposiciones :

p : y A / (x + 2 = 6) (x 5 = 8)
q : x A : ( x + 2 > 2) ( x + 2 < 2 )
r : x A, y A / x + y > 2. Hallar el valor de verdad de s : ~ [ ( p q ) ( q ~ r ) ]
31

5. Hallar los valores lgicos de las negaciones de las siguientes proposiciones :

s : ( x N / x + 2 = 5) ( x N : ( x2 > x )
t : ( x Z : -x < 0 ) ( x Z / -x = x )
w:xR/

R.

6. Negar en nuestro lenguaje el enunciado : Para todo nmero real x, existe un nmero entero n tal que
x2 < n + 1 siempre que x < n.
7. Probar la validez de los siguientes razonamientos :
b) q r

a) ~ p
~(pq)
d)

p q

p r

r q
~p ~q
r t
~p
t

e)

p q
t s
t (~ p ~ q )
r
q s

c) ~ q ~ p
q r
p r
f) t p
p (r q)
r
~q ~t

LOGICA DE PREDICADOS
Introduccin.La idea de lgica de predicados
Los mtodos empleados en la lgica de proposiciones resultan insuficientes para examinar otros tipos
de inferencias o razonamientos. As, por ejemplo, no es posible decidir con dichos mtodos la validez de este
ejemplo sencillo de inferencia.
p:
q:
r:

Todos los peruanos son sudamericanos

Todos los ayacuchanos son peruanos
Luego, todos los ayacuchanos son sudamericanos

Expresando simblicamente las premisas y la conclusin de la inferencia, tendramos

p
32

q
r

(p q) r

La inferencia propuesta es intuitivamente valida, sin embargo, esta formula p y q implica r es invalida
porque es posible hacer verdaderas las premisas y falsa la conclusin. Examinando atentamente la estructura
de la inferencia llegamos a la evidencia que su validez depende no solo de las relaciones existentes entre sus
proposiciones, sino tambin de las relaciones existentes entre los elementos de sus proposiciones, elementos
conocidos tradicionalmente con el nombre de trminos.
De este nuevo tipo de inferencia, basado en el anlisis de la estructura interna de las proposiciones
atmicas, se ocupa esta segunda parte de la lgica llamada lgica de los predicados.
Hay semejanza entre los predicados del lenguaje natural y los predicados lgicos, es decir que
palabras que denotan propiedades o cualidades como negro, alto, fri, lento, argentino, etc., son predicados
gramaticales y tambin predicados lgicos de un argumento, en el sentido de que se afirman de solo un
nombre como Juan es lento; existe diferencias en trminos como gato, len u otros que son sustantivos
comunes, pero en lgica en ningn caso son nombres sino predicados. La diferencia sigue aun mas con
palabras como primo, cunado, cabeza que en la lgica de predicados se interpreta como predicados de
dos argumentos o predicados relacionales en el sentido de que se aplican a dos nombres como, por ejemplo,
Jose es primo de Ana o Rosa es cuada de Magda. En estos casos, de manera general, los predicados son
. primo de ., . cuado de ., . cabeza de ..
La lgica de predicados, llamada tambin lgica cuantificacional, comienza distin- guiendo dos clases
de trminos: los que representan individuos(gramaticalmente llamados sujetos) y los que representan
propiedades(gramaticalmente llamados predicados). Lgicamente los llamaremos argumentos y
predicados respectivamente.
Iniciaremos el estudio de las proposiciones detenindonos en la composicin misma de ellas. Para
comprenderlos utilizaremos ciertas nociones de la gramtica, segn los gram- ticos, la proposicin(lo que
llaman oracin) se compone de dos miembros: el sujeto y el predicado. El sujeto suele referirse a objetos o
individuos acerca de los cuales se esta afirmando o negando algo, y el predicado se refiere a una propiedad
o caracterstica que posee el sujeto.
En la proposicin: Marisol canta, - - - - - - - - - - - - (1)
Predicado
Argumento
el argumento(sujeto) es Marisol y el predicado es canta; en la proposicin:
Marisol lee la revista, - - - - - - - - - - - - - - -(2)
El argumento(sujeto) es Marisol y el predicado es lee la revista, como se observa el predicado se
compone solo de verbo como en (1), o de verbo y complemento(s) como en (2) tenemos adems, un
complemento(la revista); el verbo entonces es transitivo.
En lgica se considera de un lado los sujetos y los complementos como una de las partes del
enunciado y, del otro, los verbos como otra de las partes, de ese modo el enunciado se descompone en:
Sujeto y/o complemento, llamados argumentos o designador(trminos)
Verbos y las relaciones llamados predicados
Los objetos, atributos y relaciones.Los modelos que nos hacemos del mundo casi siempre hacen referencia a objetos, a propiedades de
estos, y a las relaciones que se establecen entre dichas propiedades. Cuando observamos ejemplos reales
nos ser mucho ms til un lenguaje que nos permitir referirnos a los objetos, propiedades y relaciones de
los modelos que construyramos acerca de la realidad.
Por ello, necesitamos un lenguaje que pueda hacer referencia a objetos, a propiedades, y finalmente
a las relaciones que se estableceran entre dichas propiedades. El lenguaje del clculo de predicados de
33

primer orden es un lenguaje que nos permite, mediante el uso de smbolos especficos, hacer referencia a
todos estos conceptos.
Las proposiciones que intervienen en este nuevo tipo de inferencia son atmico-predicativas.
Consecuentemente, de acuerdo a la cantidad del sujeto, pueden clasificarse en:
a) Singulares: el sujeto es un individuo. Ejemplo: Mario Poggi es psiclogo.
b) Universales: el sujeto es una totalidad de individuos. Ejemplo: Todos los pediatras son mdicos.
c) Particulares: El sujeto es una parcialidad de individuos. Ejemplo: Algunos iraques son talibanes.
La cantidad del sujeto en estas proposiciones introduce nuevos elementos, los cuatifi cadores,
representados por los trminos todos y algunos. Estos nuevos elementos deter- minan cuantitativamente
a sus argumentos.
El lenguaje de los predicados: Nombres y variables.El sujeto de una oracin esta constituido por el llamado designador: una o varias palabras que hacen
referencia a objetos o individuos. Los designadores mas usuales son los nombres, estos son sucesiones de
signos que designan algo (un numero, una ciudad, una persona, etc.)
Igual que en el calculo proposicional, para que podamos construir proposiciones acerca del mundo
debemos disponer de un lenguaje. Este lenguaje ser un lenguaje formal, acotado y mas limitado que el
lenguaje natural, mediante el cual podremos escribir propo- siciones(simples o compuestos) con que
denotaremos las relaciones(predicados) que se establecen entre los diferentes objetos(y sus atributos) del
dominio de referencia.
El Clculo de Predicados de Primer Orden utiliza un alfabeto simblico para poder construir sus
formulas bien formadas, compuesto de:

Variables individuales, que representan individuos indeterminados(Argumentos o trminos), se

emplean las ultimas letras minsculas del alfabeto o variables: x, y, z, w, , etc, en algunos casos
por las mismas letras seguidas por uno, dos, o mas guiones.

Variables predicativas, representan predicados indeterminados, se usan letras maysculas: F, G,

H, K, , etc, en algunos casos por las mismas letras seguidas de uno, dos, o mas guiones.

Constantes individuales, representan individuos determinados, se utilizan las prime ras letras
minsculas del alfabeto: a, b, c, d, . . .etc.

Constantes predicativas, representan predicados determinados, se utilizan las prime ras letras
maysculas del alfabeto: A, B, C, D, . . .etc.
Cuantificadores, hacen referencia a la totalidad o a una parte de los miembros de un conjunto.
Sirven para la generalizacin universal o particular. Los smbolos y se llaman cuantificadores,
en el espacio vaci que le sigue dentro del parntesis se colocan o bien variables individuales como
( x) y ( x), entonces estamos en el mbito de la lgica de predicados de primer orden; o bien,
variables predicativas como ( F) y ( F) situndonos en el contexto de la lgica de predicados de
segundo orden.

Todo x estudia:
Ningn x estudia
Algn x estudia
Algn x no estudia

(x) Fx
(x) ~ Fx
( x) Fx
( x) ~ Fx

Las variables de los argumentos o trminos y la de los predicados forman esquemas o formulas
cuantificacionales atmicas tales como: Fx, Fxy, Gx, Gxyz, etc.

Ejemplos. 1) As por ejemplo una proposicin predicativa se simboliza funcionalmente invirtiendo el orden de
sus elementos:
34

Fa: Luis es profesional ; se lee: F de a

a
F
Gb: David pinta; se lee: G de b
b
G
Estas expresiones Fa y Gb representan proposiciones pues sus argumentos estn simbolizados
por constantes que significan individuos determinados de manera que pueden ser verdaderas o falsas.
2) De igual modo se simboliza las funciones proposicionales:
Fx: x es estudioso , se lee: F de x
Gy: y duerme, se lee: G de y
Las expresiones Fx y Gy representan funciones proposicionales, o sea, cuasi proposiciones ya que
sus argumentos estn simbolizados por variables que significan individuos indeterminados y no pueden ser
verdaderas ni falsas.
3) Una funcin proposicional simboliza la forma de una proposicin individual. Para ampliar su significacin a
ms individuos se le anteponen los cuantificadores:
Fx: x estudia
( x) Fx: algunos x estudian
( x) Fx: todos los x estudian
4) Transformacin de funciones en proposiciones: hay dos maneras:
i) Sustituyendo la variable por una constante:
Fx (una funcin)
Fa (una proposicin)
ii) Anteponiendo un cuantificador a la funcin:
Fx (una funcin)
(x) Fx (una proposicin)
( x) Fx (una proposicin)
Reglas de formacin de Formulas Bien Formadas:
i) Cada variable predicativa seguida de una o ms constantes individuales es una proposicin atmica.
Ejemplos:
a) Fa
b) Gab
c) Habc
ii) Cada proposicin atmica afectada al menos por un operador es una proposicin molecular. Ejemplos:
a) Fa Gb
b) Fa (Gb Hc)
c) Fa Gb Hc
iii) Cada variable predicativa seguida de una o ms variables individuales es una funcin proposicional
atmica. Ejemplos:
a) Fx
b) Gxy
c) Hxyz
iv) Cada funcin proposicional atmica afectada al menos por un operador es una funcin proposicional
molecular. Ejemplos:
a) Fx Gy
b) Fx (Gy Hz)
c) Fx Gy Hz
v) Son variables libres las variables que no son afectadas por algn cuantificador. Ejemplos:
a) Fx
35

b) (Fx Gy) Hz
c) Fx (Gy Hz)
vi) Son variables ligadas las variables afectadas por algn cuantificador. Ejemplos:
a) ( x)Fx
b) ( x) ( y) (Fx Gy)
c) ( x) ( y) ( z) [(Fx Gy) Hz]
vii) Son formulas cerradas las formulas que no contienen variables libres. Ejemplos:
d) ( x)Fx
e) ( x) ( y) (Fx Gy)
f) ( x) ( y) ( z) [(Fx Gy) Hz]
viii) Son formulas abiertas las formulas que contienen al menos una variable libre. Ejemplos:
a) Fx
b) ( x) ( y) ( z) (Fx Gy) Hz
c) Fx ( y) ( z) (Gy Hz)
ix) Si cuantificamos las variables libres de una funcin proposicional obtenemos una proposi- cion. Ejemplos.
a)Fx
( x) Fx
b) (Fx Gy) Hz
( x) ( y) ( z) [(Fx Gy) Hz]
c) Fx (Gy Hz)
( x) ( y) ( z) [Fx (Gy Hz)]
x) Si sustituimos las variables libres de una funcin proposicional por constantes individuales obtenemos una
proposicin. Ejemplos:
a) Fx:
Fa
b) Gxy: Gab
c) Hxyz: Habc
xi) Son formulas predicativas mondicas las que contienen una sola variable individual. Ejemplos:
g) ( x) Fx
h) ( y) (Fy Gy)
i) ( z) [(Fxz Gz) Hz]
xii) Son formulas predicativas polidicas las que contienen dos o mas variables individuales. Ejemplos:
a) ( x) ( y) Fxy
b) ( x) ( y) (Fx Gy)
c) ( x) ( y) ( z) [(Fx Gy) Hz]
xiii) En la lgica de predicados de primer orden se cuantifican solo las variables individuales. Ejemplos:
a) ( x) Fx
b) ( x) ( y) (Fx Gy)
c) ( x) ( y) ( z) [(Fx Gy) Hz]
xiv) En la lgica de predicados de segundo orden se cuantifican tambin las variables predicativas. Ejemplos:
a) ( F) ( x) ( y) Fxy
b) ( G) ( x) ( y) (Fx Gy)
c) ( x) ( y) ( H) ( z) [(Fx Gy) Hz]

Leyes de Equivalencia de Cuantificadores

i)
ii)
iii)
iv)

(x) Fx ~ ( x) ~ Fx
( x) Fx ~ ( x) ~ Fx
(x) ~ Fx ~ ( x) Fx
( x) ~ Fx ~ ( x) Fx
36

Ejemplos.
1) Todos son lgicos

es equivalente a

No es el caso que algunos no son lgicos

2) Algunos son lgicos

es equivalente a

No es el caso ninguno es lgico

3) Ningn es lgico

es equivalente a

No es el caso que algunos son lgicos

4) Algunos no son lgicos es equivalente a

No es el caso que todos son lgicos

Leyes de distribucin de cuantificadores:

i) (x) (Fx Gx)

(x) Fx (x) Gx

ii) ( x) (Fx Gx)

( x) Fx ( x) Gx

iii) [(x) Fx (x) Gx] (x) (Fx Gx)

iv) ( x) (Fx Gx)

( x) Fx ( x) Gx

Las proposiciones Categricas:

Las proposiciones cuantificadas, tanto universales como existenciales, pueden ser afirmativas o
negativas, y son:
i)

La Proposicin Universal Afirmativa (A):

(x) (Fx Gx);
Ejemplo: 1) Todos los iqueos son peruanos
Puede denotarse funcionalmente:
Para todo x, si x es iqueo, entonces x es peruano
(x)
Fx

Gx

2) Todos los gatos son carnvoros

Puede denotarse funcionalmente:
Para todo x, si x es gato, entonces x es carnvoro
(x)
Ex

Hx
ii) La Proposicin Universal Negativa (E):
(x) (Fx ~ Gx)
Ejemplo: 1) Ningn peruano es chileno
Puede denotarse funcionalmente:
Para todo x, si x es peruano, entonces x no es chileno
(x)
Fx

~ Gx
2) Ningn gato es carnvoro
Puede denotarse funcionalmente:
Para todo x, si x es gato, entonces x no es carnvoro
(x)
Ex

~ Hx
iii) La Proposicin Existencial Afirmativa (I):
( x) (Ax Cx)
Ejemplo: 1) Algunos estudiantes son profesores
Puede denotarse funcionalmente:
37

Existe por lo menos un x tal que, x es estudiante y x es profesor

(x)
Fx

Gx
2) Algunos gatos son carnvoros
Puede denotarse funcionalmente:
Existe por lo menos un x tal que, x es gato y x es carnvoro
(x)
Hx

Lx
iv) La Proposicin Existencial Negativa (O):
( x) (Ax ~ Cx)
Ejemplo: 1) Algunos estudiantes no son profesores
Puede denotarse funcionalmente:
Existe por lo menos un x tal que, x es estudiante y x no es profesor
(x)
Fx

~ Gx
2) Algunos gatos no son carnvoros
Puede denotarse funcionalmente:
Existe por lo menos un x tal que, x es gato y x no es carnvoro
(x)
Hx

~ Lx
Alcance de los cuantificadores
El rea de influencia de un cuantificador es:

Si un cuantificador no va seguido de un signo de agrupacin, su alcance llega hasta la variable

correspondiente a la primera letra de predicado.
Ejemplos: (x) Fx
(x) Fx Gx
En ambos casos, el alcance llega solo a Fx

Si un cuantificador va delante de un signo de agrupacin, su alcance se extiende a toda la expresin

encerrada dentro de ellos.
Ejemplos: (x) (Fx Gx)
(x) [(Fx Gx) Hx]

El Cuadro de Oposicin:
El cuadro de Boecio queda conformado de la siguiente manera:
( x) (Fx Gx)

( x) (Fx Gx)

( x) (Fx Gx)

( x) (Fx Gx)

Leyes de Oposicin:
38

Con el planteamiento del cuadro de Boecio pueden determinarse las leyes de oposicin negando la
contradictoria, como resultado se tiene las siguientes equivalencias:
1) (x) (Fx Gx) ~ (x) ( Fx ~ Gx)
2) (x) (Fx ~ Gx) ~ (x) ( Fx Gx)
3) (x) ( Fx Gx) ~ (x) (Fx ~ Gx)
4) (x) ( Fx ~ Gx) ~ (x) (Fx Gx)
Demostracin:
i) (x) (Fx Gx) ~ (x) ( Fx ~ Gx)
1. (x) (Fx Gx) ~ (x) ~ ( Fx Gx )

1 Ley de equivalencia cuantificada

2.

~ (x) ~ ( ~ Fx Gx )

Ley del condicional

3.

~ (x) ( Fx ~ Gx )

De Morgan

DERIVACIONES CON FRMULAS CUANTIFICADAS

Reglas de Derivacin.i) Ejemplificacin Universal: (EU). Esta regla nos permite prescindir durante la derivacin
del cuantificador universal.
(x) Fx
Fw
Donde w es cualquier variable individual

ii) Ejemplificacin Existencial: (EE). Esta regla nos permite prescindir durante la derivacin
del cuantificador existencial.
( x) Fx
Fw

iii) Generalizacin Universal: (GU). Esta regla nos permite aadir el cuantificador universal
a un enunciado conjuntivo.
Fw
(x) Fx

iv) Generalizacin Existencial: (GE). Esta regla nos permite aadir el cuantificador
existencial a un conjunto conjuntivo.
Fw
( x) Fx

Las Derivaciones en los Silogismos.Por convenio, designaremos a los tres trminos del silogismo con las letras maysculas S, P y M de
la siguiente manera:
Termino menor: S
Termino mayor: P
Termino mediano: M
Luego se sigue los siguientes pasos.
39

1. Se simboliza los silogismos y se disponen las premisas tal como se hace en el mtodo de las
derivaciones.
2. Se suprimen los cuantificadores mediante las reglas de ejemplificacin, teniendo cuidado de
cambiar la variable por un smbolo individual.
3. Se aplican las leyes de derivacin.
4. Se restituye el cuantificador a la frmula resultante aplicando las reglas de generalizacin,
restituyndole la variable original.
Ejemplo. a) Sea el silogismo: Todos los felinos son mamferos
Todos los tigres son felinos
Todos los tigres son mamferos
Verificar su validez.
Solucin:
1 Se simboliza:

1. (x) ( Hx Gx)
2. (x) (Fx Hx) // (x) (Fx Gx)

2 Se suprimen los cuantificadores:

3. Hw Gw ------------ EU (1)
4. Fw Hw ------------- EU (2)

3 Se aplican las leyes de derivacin:

5. Fw Gw ------------- SH ( 4 y 3)

4 Se restituye el cuantificador y la variable, siendo conjuntivo el enunciado resultante:

6. (x) (Fx Gx) ------- GU (5).

Luego, La argumentacin es vlida

b) Sea el silogismo: Todos los tiranos son crueles
Algunos civiles son tiranos
Algunos civiles son crueles
Solucin:
1 Se simboliza:1. (x) ( Hx Gx)
2. ( x) (Fx Hx) // ( x) (Fx Gx)

2 Se suprimen los cuantificadores:

3. Hw Gw ------------ EU (1)
4. Fw Hw ------------- EE (2)

3 Se aplican las leyes de derivacin:

5. Hw Fw ------------- L. Conmut. ( 4)
6. Hw
------------- L. de Simplif. (5)
7. Gw
------------- MPP (3 y 6)
8. Fw
------------- L. Simplif. (4)
9. Fw Gw ------------- L. de Conj. (8 y 7)

4 Se restituye el cuantificador y la variable, siendo conjuntivo el enunciado resultante:

10. ( x) (Fx Gx) ------- GU (9).

Luego, La argumentacin es vlida.

c) Justifique la demostracin de las siguientes formas de razonamientos vlidos:
40

1. (x) ( Fx Hx)
2. (x) (Gx Hx) // (x) (Fx Gx)
3. Fw Hw

4. Gw Hw
....
5. Hw Gw
6. Hw Gw

7. Fw Gw

8. (x) (Fx Gx)

d) Demostrar que: 1. (x) ( Hx Gx)

2. (x) (Fx Hx) // (x) (Fx Gx)

e) Demostrar que: 1. (x) ( Hx Ix) ( x) Gx

2. (x) ( Hx) // (x) Gx.

Reglas de Confinamiento (RC).RC1.RC2.RC3.RC4.-

( x) (Fa
( x) (Fa
( x) (Fa
( x) (Fa

Gx)
Gx)
Gx)
Gx)

Fa
Fa
Fa
Fa

(x) Gx
( x) Gx
(x) Gx
( x) Gx

Segn estas reglas, un cuantificador puede desplazarse a slo uno de sus miembros con lo cual est ligado.
Adems como se puede observar, las frmulas cuantificadas solo pueden operadores didicos y/o y/0
. Este ltimo operador solo puede negar smbolos predicativos.
Ejemplos. 1) Sea: 1. ( x) (Fx Ha)
2. ( x) Fa Ha

por RC1 en (1)

2) Sea: 1. ( x) Fa (Gx Hx)

2. Fa ( x) (Gx Hx)

por RC4 en (1)

3) Sea: 1. (x) (y) (Fx Gy)

2. (x) (y) ( Fx Gy)
3. (x) Fx (y) Gy)
4. (x) Fx (y) Gy)

por Ley del Cond. en (1)

Por RC3 en (2)
por RC3 en (3)

4) Probar la validez aplicando las reglas y leyes por el mtodo de derivacin:

a. (x) (Fx Gx)
P1
2. (x) (Hx Rx) Fx)
P2
3. ( x) Gx // (x)(Rx Hx)
P3
4. Fw Gw
EU en (1)
5. Hw Rw Fw EU en (2).
6. Gw
EE en (3)
7. Gw
DN en (6)
8. Fw
MTT en (4 y 7)
9. (Hw Rw)
MTT en (5 y 8)
10. (Rw Hw)
L Conmut. en (9)
11. ( x) (Rx Hx)
GE en (10)
12. (x) (Rx Hx)
L Equival de Cuantif. en (11). Luego es vlido
5) Probar la validez aplicando las reglas y leyes por el mtodo de derivacin:
a. (x) (Sx Hx)
41

P1

2. (x) (Fx Gx) Sx)

P2
3. ( x) (Gx Px) Hx) // (x) Px (x) Fx
P3
4. (x) (Sx Hx)
L Equiv. de Cuantif en (1)
5. (Sw Hw)
EU en (1)
6. (Fw Gw) Sw
EU en (2).
7. (Gw Px) Hx
EU en (3)
8. Sw Hw)
LDM en (5)
9. Hw
LS en (8)
10. (Gw Pw)
MTT en (6 y 9)
11. Gw Pw
LDM. en (10)
12. Pw
LS en (11)
13. Sw
LS en (12)
14. (Fw Gw)
MTT en (6 y 13)
15. Fw Gw)
LDM en (14)
16. Fw
LS en (15)
17. Pw Fw
L. de la Conj. en (12 y 16)
18. (x) ( Px Fx)
GU. en (17).
19. (x) Px (x) Fx)
L Distrib. de Cuantif.
Luego es vlido

LGICA DE CLASES
Nocin de Clase.Es un termino primitivo o sea que no se puede definir, slo podemos dar la idea o la nocin
de clase.
Clase es cualquier coleccin de objetos que posee una propiedad comn. As podemos hablar de la
clase de todos los universitarios, la clase de todos los chosicanos, la clase de todos los
catlicos, etc. Tambin se puede hablar del sinnimo de clase, los conjuntos.

Nocin de Elemento y Pertenencia.Se dice que los miembros de una clase pertenecen a la clase dada. Por ejemplo:
i) Javier es chosicano
ii) Tres es un nmero natural
iii) Dora es universitaria
Es decir, Javier, tres y Dora son los miembros o elementos son llamados tambin sujeto y
chosicano, nmero natural y universitario son las clases que son llamados tambin predicados, y se
puede escribir:
Javier es elemento de la clase de los chosicanos
Tres es elemento del conjunto de los nmeros naturales
Dora es una miembro de la clase de los universitarios.
Si a cada uno de los miembros los reemplazamos por las minsculas m, n y d respectivamente
y de igual modo a c/u. de los predicados por letras maysculas F, G y H y se tiene la
representacin:
mF, se lee m pertenece a la clase F
nG, se lee n pertenece a la clase G
dH, se lee d pertenece a la clase H
donde el smbolo significa pertenece a.
42

Con ello se introduce la nocin de clase y elemento en lgica. Una clase o conjunto es un ente
abstracto, aun cuando sus miembros o elementos sean entes concretos, mientras que sus
respectivos predicados son entidades abstractas.
Si se nombra la clase de los individuos que tienen la propiedad de ser chosicanos, en smbolos se
expresa:
{x / Fx }, se lee: la clase de todas las x tal que x tiene la propiedad F, si F representa a
chosicanos.

Representacin Grafica de las Clases:

Representaremos grficamente a las clases o conjuntos mediante los diagramas de Venn o
de Euler. Vamos a representar una clase por un crculo, por ejemplo la clase designado por S.
Aqu la clase S tal como queda diagramada no indica si tiene elementos o es vaca
S

Clase Universal y Clase Vaca o Nula.La clase universal es la clase que contiene a todos los elementos que tienen una
propiedad comn. Es el dominio de individuos a los que se refiere nuestro discurso. Es la clase que
obra como universo dentro de un determinado contexto. En smbolos se expresa la clase universo
con U y formalmente como:
{x / x = x}, se lee: la clase de todas las x tal que x es idntico a x.
El grfico de la clase universal se representa por un rectngulo:
U

La clase vaca o nula es la clase que carece de miembros, esta clase est implcitamente incluida
en todas las clases. En smbolos se representa por y redefine formalmente como:
{x / x x}, se lee: la clase de todas las x tal que x es diferente a x.

El grafico de la clase vaca se representa por un crculo sombreado, que indica que no hay
elementos.
S = , significa que la clase S es igual al vaco

En cambio para especificar que la clase S posee miembros o elementos se usar x. as por ejemplo
S , significa que la clase S es diferente del vaco, o
sea S tiene por lo menos un elemento x.
43

Operaciones con Clases:

Dentro de la lgica de clases se puede realizar operaciones de complemento, unin, interseccin y
diferencia.

Complemento.- El complemento de la clase S es la clase formada por todos los miembros que
no pertenecen a clase S.
Notacin: S = {x / xS }, se lee la clase de todas x tal que x no es elemento de A
Grficamente S :

i)
S

ii)
S =

Ejm. 1) Si U = {1, 2, 3, 4, 5, 6}, S = {2, 3} y P = {3, 4}; entonces el complemento de:

S = {1, 4, 5} y
P = {1, 2, 5} .

Unin.- La reunin o suma de las clases S y P es la clase formada por todos los miembros que
pertenecen a S o a P o a ambas clases. En smbolos se expresa y define formalmente.
S P = {x / xS xP}, se lee la clase de todas las x tal que x pertenece a S o x
pertenece a P o a ambas.
Grficamente la unin se representa por el rea total
de los dos crculos.
Ejemplo. 1) Sean S ={1, 2, 3, 4} y B = {3, 4, 5},
Entonces S P = {1, 2, 3, 4, 5}
El diagrama es:

SP
44

SP

Interseccin.- La interseccin o producto de las clases S y P es la clase de todas las x tal que x
pertenecen a la vez a S y a P. En smbolos se expresa y define formalmente.
S P = {x / xS xP}, se lee la interseccin de S y P es la clase de todas las x tal que x
pertenece a S y x pertenece a P.
Grficamente es:
SP

Ejm. 1) Sean S = {1, 2, 3, 4} y P = {3, 4, 5}, entonces S P = {3, 4}

SP

Diferencia.- La diferencia entre dos clases S y P es la clase formada por todos los elementos de
S que no pertenece a P. Su smbolo se expresa y define formalmente.
S P = {x / xS xP}, Se lee La clase de todas las x tal que x pertenece a S pero x no
pertenece a P
Grficamente:

Ejm. 1) Sean S = {1, 2, 3, 4} y P = {3, 4, 5}, entonces S P = {1, 2}

.
2) Sean U= {1, 2, 3, 4,5}. S = {1, 2 , 4}, P = { 3 , 5} y R = {1 , 3 , 5}.Hallar:
a) S

b) S P

c) R - P

g) ( S P) (P R)

e) (S P) R

d) S R

h) ( S P ) R

f) (S P) R

i) ( S R ) ( S R )

Relaciones entre Clases:

Las Relaciones entre clases que se puede establecer son La inclusin, La igualdad y La exclusin.

45

Inclusin.-Se dice que una clase S esta incluida en otra clase P, si todos los elementos de S con
elementos de P. Tambin se dice que S es subclase de propia de P. En smbolo se expresa por:
SP
Y se define formulamente:
S P = {x / xS xP}, Se lee La clase de todas las x tal que si x pertenece a S
entonces x pertenece a P

S P
Ejemplo. 1) La clase de los estudiantes cantuteos esta incluido en la clase de los estudiantes
universitarios de Lima.

Igualdad.- Una clase S es igual a una clase P, si todos los elementos de S son elementos de P y
si todos los elementos de P tambin son elementos de S. En smbolo se expresa:
S=P
Y se define formulamente:
S = P = {x / xS xP}, Se lee:La clase de todas las x tal que x pertenece a S y solo si x
pertenece a P
Grficamente:
S=P

Ejm 1) la clase de los nmeros naturales y la clase de los nmeros enteros no negativos son
iguales

Exclusin.- La clase S esta excluida de la clase P, si ningn elemento de S es elemento de P. En

smbolo se expresa:
SP
Y se define Formulamente:
S P = {x / xS xP}, Se lee:La clase de todas las x tal que si x pertenece a S
entonces x no pertenece a P
Ejm.1) La clase de gatos es diferente de la clase de los lagartos
Grficamente:
SP

Leyes de la lgica de clases

Las ms importantes son:
46

Idempotencia:

Conmutativa:

Asociativa:

Distributiva:

Identidad:

Complementaridad:

Doble Complementaridad:
Leyes de Absorcin:

Leyes de De Morgan:

Los Diagramas de Venn:

Venn diseo los grficos para representar a las operaciones de clases:
Por ejemplo a Continuacin se tiene el diagrama que nos permite representar la unin y la
interseccin de dos clases:

47

Si observamos encontramos cuatro reas y aplicando lo conocido tendremos:

la clase universo, abarca todas las reas:

U = {1, 2,3, 4}

La clase S abarca las reas 2 y 4:

S= {2, 3}

La clase P abarca las reas 3 y 4:

P= {3, 4}

La clase complementos de S, S abarca las reas 1 y 4

S = {1, 4}
La clase complemento de P, P abarca las reas 1 y 2
P = {1, 2}
La interseccin de S y P, SP abarca el rea 3.

La interseccin de S y P, S P abarca el rea 2.

La interseccin de S y P, SP abarca el rea 4.

La interseccin de S y P, S P abarca el rea 1

Su diagrama es:

Los diagramas de Venn nos van a permitir determinar cuando una clase esta vaca y cuando no
esta vaca, teniendo presente las siguientes reglas:
I) Si una interseccin esta vaca rayamos el rea respectiva: Es decir si SP= . (La interseccin
SP no tiene miembros)

SP =

II) Si una interseccin no esta vaca colocamos un aspa en el rea respectiva Es decir si SP
(La interseccin S y P, tiene por lo menos un elemento)
48

SP

Anlisis de las Inferencias:

Hay ciertas proporciones que se pueden analizar mediante la lgica de clases y los diagramas de
Venn .Estas proporciones se llaman proporciones categricas, las que se componen de dos
trminos: Sujeto, Predicado, un cuantificador y una cpula (es el verbo que une al sujeto con el
predicado)
Observacin: Con respecto a la Cpula sealaremos lo siguiente:
Por ejemplo se tiene los siguientes ejercicios:
1. Miguel Grau es peruano
2. Miguel Grau es un hroe peruano
3. Todos los piuranos son peruanos
De acuerdo a los ejemplos la Cpula es tiene tres significados distintos:
1. En el primer caso la Cpula significa pertenencia
2. En el segundo caso la Cpula significa relacin de identidad(Miguel Grau es tambin
peruano)
3. En el tercer carro la Cpula significa una relacin de incluicion de clases.

Proposiciones Categricas:
Son juicios que afirman o niegan que una clase esta incluida en otra sea parcial o totalmente. Estas
se expresan en cuatro formas:
1. Todos los S sn P

2. Ningn S es P

3. Algunos S son P

4. Algunos S no son P

Donde las letras S y P representan al sujeto y predicado respectivamente, y pueden ser sustituidos
por trminos cualesquiera tiene que expresen una clase.
Ejm 1) Todos los estudiantes son estudiosos
2) Ningn estudiante es estudioso
3) Algunos estudiantes son estudioso
4) Algunos estudiantes no son estudiosos
Donde la clase de los estudiantes sustituye a S y la clase de los estudiosos sustituye a P
49

Las proporciones categricas de la lgica tradicional se clasifican:

Por su Calidad

Afirmativas

Negativas

Por su Cantidad

Universales

Particulares

As tenemos:
Todo S es P: es universal afirmativa
Ningn S es P: es universal negativa
Algunos S son P: es particular afirmativa
Algunos S no son P: es particular negativa
En la lgica tradicional, estas cuatro formas se conocen como las cuatro formas tpicas de las
propo- siciones categricas y a las cuales como ya lo denotamos se designan con las letras: A, E, I
y O; para cada uno de las cuatro formas respectivas.
Ejemplo. 1) Sean las proposiciones categricas:
i) Todos los trujillanos son peruanos:

ii) Ningn profesor es analfabeto:

iii) Algunos estudiantes son jvenes:

iv) Algunos animales no son acuticos: O

Las proposiciones categricas tpicas se caracterizan por tener:

Cuantificadores: todos, ninguno, algunos, hay, etc.

Sujeto(argumento): S
Cpula(ser)
Predicado: P

Adems las cuatro formas tpicas pueden expresarse intercalando las letras tpicas entre el sujeto y
el predicado, como:
1.
2.
3.
4.

SaP, se lee: todos los S son P.

SeP, se lee: ningn S es P.
SiP, se lee: algunos S son P.
SoP, se lee: algunos S no son P

Frmulas Boleanas
50

1. SAP = S P =

2. SEP = S P =

3. SIP = S P .

4. SOP = S P

Ejm. 1) Todos los peruanos son Latinoamericanos

S
A
P
2) Ningn peruano es europeo
S
E P
3) Algunos Ancianos son peruanos
S
I P
4) Algunos filsofos no son cientficos
S
O
P
Observaciones:
1. En un diagrama de esta naturaleza tambin se puede representar si la clase S es vaca o no
es vaca, o si la clase P es vaca o no , cada una independientemente. Por ejemplo S no es
vaca se representa:

2. Se observa que la x va en la misma lnea para indicar que todo la clase S tiene elementos,
porque si colocamos la x solamente en una la las secciones de S no se sabra si hay o no hay
elementos en la otra seccin.
51

Si S es vaca se representar:
S=
Ejercicios resueltos:

1) Representar la interseccin del complemento de S por la clase P no es vaca:

S P

2) Representar el diagrama de la interseccin del complemento de la clase S y el complemento

de la clase P es vaca:

S P =

3) Representar el diagrama del complemento de la interseccin del complemento de la clase S

por la clase P es vaca.
S P =

4) Representar el diagrama del complemento de la interseccin complemento de la clase S por

la clase P no es vaca.
S P

1.
2.
3.
4.

SAP= S P
SEP= SP=
SIP=SP
SOP= S P

Inferencias que Involucran Clases.-

Las inferencias que involucran clases, son inferencias en las que debemos derivar una
conclusin de manera directa a partir de algunas premisas. Las caractersticas de estas inferencias
es que tanto en las premisas como en la conclusin aparecen ciertas palabras, expresiones o
52

frases que pueden interpretarse y representarse como clases. De este modo, lo que debemos
descubrir es una relacin entre dichas clases para poder obtener una conclusin correcta. Estas
inferencias suelen llamarse tambin como silogismos categricos.
Por un ejemplo:

1. Todos los hombres son mortales

2. Scrates es un hombre

Sera la conclusin? Scrates es mortal

Es una conclusin correcta?. Sin duda, si lo es. Cmo podemos estar totalmente seguro de ello?.
Podemos estar seguro de ello por la relacin que se dan entre las clases que estn involucradas en
la inferencia.
De un anlisis detallado del ejemplo: en la primera premisa se tiene, todos los hombres son
mortales, contiene dos palabras que pueden interpretarse cada una como clase diferente: hombres
y mortales. Esta premisa establece una relacin entre ambas clases; al decir que todos los hombres
son mortales, estamos afirmando que la clase de los hombres est totalmente incluido en la clase
de los mortales. En la segunda premisa, se afirma que un individuo particular, Scrates, es hombre;
esto quiere decir que este individuo pertenece a la clase hombres, y esta clase est totalmente
incluido en la clase de los mortales. Por lo tanto, es posible concluir que Scrates pertenece a la
clase de los mortales. Esta conclusin es verdadera a partir de lo que se afirma en las premisas.
Para indicar e ilustrar esta conclusin es til hacer uso de los diagramas de Venn:
La primera premisa tendra que graficarse:

La segunda premisa tendra que graficarse:

Algunas sugerencias para validar estas inferencias:

Estas inferencias que involucran clases se caracterizan por tener como mnimo dos
premisas. Es decir son silogismo categrico.

Es necesario reconocer cuales son las clases para poder establecer las relaciones entre
ellos. Las clases aparecen mencionados en cada premisa.

Una forma prctica y segura de resolver estas inferencias es construyendo los diagramas de
las clases.

Es necesario recordar que en este tipo de inferencias llamadas silogismos categricos, hay cuatro
formas de proposiciones:
Todos los S son P
53

Ningn S es P
Algunos S son P
Algunos S no son P
Las letras S y P representan clases que se mencionan en cada proposicin. Estas cuatro
proposiciones bsicas pueden tener variantes. Por ejemplo, en algunos casos, en vez de decir
ningn, puede decirse nadie, o, en vez de decir todos, puede decirse cualquiera. Y, as, puede
haber otras variantes. Adems de reconocer las proposiciones bsicas, es importante tener en
cuenta que cada una de estas establece una relacin diferente entre las dos clases y, por ello el
grafico de cada uno tambin ser distinto.
En seguida plantearemos el grafico de las cuatro proposiciones bsicas. En los grficos veremos
algunas zonas sombreadas, estas zonas deben estar vacas; es decir, las partes sombreadas son
aquellas en las que alguna porcin de la clase esta vaca. Tambin habrn zonas en las aparece
una x, con ello estamos diciendo que esa parte de la clase no est vaca, es decir, que hay ah,
algn individuo.
I) El grafico de: Todo S es P:

II) El grafico de: Ningn S es P

En el grafico (i) hay una parte de la clase S que esta sombreada. Esa zona vaca esta dentro de S
pero fuera de P. En el grafico (ii) la parte vaca, o sea la zona sombreada es la interseccin de la
clase S con la clase P. Al decir que ningn S es P, estamos afirmando que S y P no tienen nada en
comn.
iii) El grafico de: Algn S es P

iv) ) El grafico de: Algn S no es P

En el grafico (iii) la interseccin de la clase S con la clase P tiene una x, lo que significa que esa
interseccin no es vaca. Al decir que algn S es P, estamos afirmando que hay algo en comn
entre S y P. En el grafico (iv) aparece la x dentro de la clase S, pero, a la vez, fuera de la clase P.
Es decir, al afirmar algn S no es P, estamos diciendo que hay, al menos, un individuo que
pertenece a la clase S, pero, no a la clase P.
Es importante observar o notar que, los dos primeros grficos, los que corresponden a las
proposiciones que comienzan con todos o ningn, estn colocadas alguna zona del diagrama
54

sombreadas o sea es vaca; en cambio, los otros dos grficos, los que corresponden a las
proposiciones que comienzan con algn, estn colocadas con un aspa o x en alguna zona del
diagrama.
El uso de estos diagramas nos permitir con certeza, que conclusin se puede obtener de un cierto
conjunto de premisas.
Ejemplos. 1) Analice y reconozca las clases que aparecen en las proposiciones:
a) Todos los juegos de azar requieren de jugadores
Clases: S: juegos de azar
P: jugadores
b) Algunos mamferos son vivparos
c) Todos los mtodos experimentales suponen procedimientos experimentales
d) Ningn pez es mamfero
e) Ningn mafioso puede entrar al reino de los cielos
2. Construya el diagrama siguiente de c/u. de las proposiciones:
a) Todo lo que sube tiene que bajar

b) Algunos mtodos cientficos son deductivos

b) Nada que se fabrique en masa es un artculo de lujo

d) Algunos animales domsticos no estn

en peligro de extincin

3. Observe y analice los diagramas que se dan y escribe la proposicin correspondiente:

a) S: animales, P: salvajes

b) S: ciencias, P: experimentales

c) S: lo que es demostrable, P: falso

d) S: sabio, P: profeta en su tierra

Aplicacin de la Ley de Boole:

Tener presente las siguientes recomendaciones:
i) Cuando el sujeto o el predicado estn negados, entonces se reemplaza la proposicin nicamente por la forma tpica
correspondiente.
Ejemplos. 1) Todos los no deportistas son no atletas.
D a A
Solucin: Aplicando la frmula de tipo A: S P = , se tiene: P . A =
Pero por Doble Negacin es: D . A = , luego, el diagrama es:
En este caso, a los trminos sujeto y predicado de la proposicin se
le ha reemplazado por las respectivas letras iniciales, as deportes por D
y atletas por A en lugar de S y P.

D .A =

Observacin: Los trminos que designan clases sern tomados en forma afirmativa, y si estn en forma negativa se les va
a considerar como complementos de su afirmativo. Por ejemplo irreligioso se considera como no religioso,
acatlico como no catlico, deshonesto como no honesto, etc. y as en casos similares.
2) Sea: Ningn diplomtico es descorts o ningn diplomtico es no corts
D e C
55

Aplicando la frmula de tipo E: S.P = , se tiene: D. C = , y

diagramando se tiene:
D. C =
3) Sea: Algunos metodistas no son desordenados
M o O
Aplicando la frmula de tipo O: S. P , se tiene: M. O ;
Pero por D. N. es. M.O .
Diagramando se tiene:
M.O .
ii) Cuando el cuantificador est negado se obtiene la contradictoria de la proposicin y se diagrama.
Ejemplos. 1) No todos los mdicos son cardilogos.
M a C
1. (M a C)
2. M o C (contradictoria)
3. M. C
M. C
Sabemos que: (x) (Mx Cx) ( x) (Mx Cx) ( x) (Mx Cx) ( x) (Mx Cx),
o sea en el lenguaje natural: algunos mdicos no son cardilogos y en smbolos: M o C.
2) Sea: No es el caso que algunos fsicos son no bohemios
F i B.
1. (F i B. )
2. F a B.
3. F. B. =
Sabemos que: (x) (Fx Bx) (x) (Fx Bx)
(x) (Fx Bx)
(x) (Fx Bx),
O sea en el lenguaje natural: todos los fsicos son bohemios: M o C.

F. B. =

Otra forma: (F i B. ) (F. B. ) F. B. = .

iii) Cuando el cuantificador es universal y la negacin afecta al verbo copulativo, entonces la negacin funciona
como si negara al cuantificador.
Ejemplo. 1) Sea. Todos los peruanos no son limeos.
1. (P a L)
2. (P. L. = )
3. P. L. .
2) Sea: Ningn desafortunado no es idealista.
1. ( A. e I)
2. ( A. I = )
3. A. I .

iv) Cuando las proposiciones categricas no tienen cuantificador explcito de la forma tpica como todos,
ninguno, y algunos. Primero se tiene que interpretar como una de las cuatro formas tpicas, y esta interpretacin
depende del contenido de la proposicin. Luego se diagrama.
Ejemplos. 1) Sea: Los mdicos son profesionales.
Sol. 1. M a P
2. M. P =
56

2) Sea: Nadie que es feliz tiene problemas econmicos.

Sol. 1. F e P
2. F.P =

3. Sea: El perro es un animal mamfero.

Sol. 1. P a M
2. P. M =
4. Sea: El gato es un animal que cuida la casa.
Sol. 1. G i C
2. G.C .

5. Muchas plantas medicinales no son industrializados

Sol. 1. P o I
2. P. I

Inferencias Para Tres o Ms Clases

El procedimiento es netamente intuitivo, es decir poniendo a prueba nuestra capacidad de abstraccin e
intuicin lgica y llegar a una conclusin correcta.
Tener presente los siguientes pasos:
1) Reconocer cuales y cuntas son las clases o conjuntos. Normalmente son tres las clases.
2) Construir los diagramas de tres clases y pintar solamente las premisas que nos han dado. Decidir cul de
las premisas conviene pintar primero, se recomienda siempre, primero aquellos que nos llevan a sombrear
alguna parte del grafico, y luego si las hay, dibujar las premisas que nos llevan a colocar una X en alguna
parte del grafico. Esto nos evitara la ambigedad de no saber dnde colocar las X.
3) Interpretar, en el diagrama, a partir de la zona nueva que resulta graficada, que proporcin es la que dicha
zona representa.
4) Si en el problema se presenta mas de tres premisas y, por tanto, mas de tres clases, pero trabajaremos
solo con dos premisas y el resultado ser una premisa mas para abordar con la tercera premisa y sacar la
conclusin.
Ejemplos. 1) Sean las premisas:
1. Todos los mentirosos son manipuladores
2. Nadie que sea manipulador es una persona confiable.
Cul de los enunciados son las conclusiones derivadas de las premisas?
57

A) Todos los manipuladores son mentirosos

B) Ningn mentiroso es manipulador
C) Ningn mentiroso es una persona confiable
D) Algunos mentirosos son personas confiables
E) Algunas personas confiables no son manipuladores
Solucin: - De las premisas comenzaremos en reconocer las clases o conjuntos que aparecen:
M: mentirosos
N: manipuladores
C: personas confiables
-

Construir el diagrama:
Dibujar en el diagrama, una por una, cada premisa
Dibujamos la primera premisa: Todos los mentirosos son manipuladores
Ahora aadamos al diagrama la 2da. Premisa: nadie que sea manipulador
es persona confiable.

Del grafico observamos que al haber dibujado las dos premisas, se ha generado un nuevo
dibujo que sirve para expresar una nueva proposicin. El nuevo dibujo generado es el
sombreado de la interseccin de la lcase o conjunto M con la clase o conjunto C. La zona
sombreada en el grafico significa que esa zona est vaca.
Tener presente siempre los cuatro grficos bsicos. Cuando la interseccin de dos
clases o conjuntos esta sombreada, es vaca, esto representa la proposicin: ningn S es
P. En nuestro ejemplo esta proposicin seria: ningn mentiroso es una persona confiable o
ninguna persona confiable es un mentiroso. Ambas proposiciones significan lo mismo
cuando se trata de una proposicin que empieza con ningn. Por lo cual, la respuesta es
la (C).
2) Sean las premisas:
1. Algunos medicamentos no producen adiccin
2. Todos los medicamentos son sustancias qumicas
Cul de los enunciados es la conclusin derivada de las premisas?
A) Algunos medicamentos producen adiccin
B) Algunas sustancias qumicas producen adiccin
C) Algunas cosas que producen adiccin no son sustancias qumicas
D) Algunas sustancias qumicas no producen adiccin
E) Todas las sustancias qumicas son medicamentos
Solucin: - iniciaremos viendo cuales son las clases:
M: medicamentos
58

A: los que producen adiccin

Q: sustancias qumicas
-

Construir los diagramas

Dibujamos c/u. de las premisas:

Fig. 2

Teniendo cuidado por quien de ellas empezamos: por el que nos lleva a dibujar una zona
sombreada, vaca, mientras que el otro nos obliga a colocar una X en alguna zona. La
premisa que nos lleva a pintar una zona vaca es la segunda, todos los medicamentos son
sustancias qumicas. Ver Fig. 2.
Una vez dibujada la segunda premisa, aadimos
al grafico el dibujo de la primera premisa: algunos
medicamentos no producen adiccin. De este modo el nuevo grafico quedara como en fig. 3.

Fig 3

Qu conclusin podemos obtener o inferir del ltimo grafico?. Observamos que hay una X
en la clase o conjunto Q (sustancias qumicas), pero no est en la clase o conjunto A (lo que
produce adiccin). Quiere decir: algunas sustancias qumicas no producen adiccin.
No hay otra proposicin que se concluya de estas dos premisas, por lo la conclusin es ella,
buscar el las respuestas de la cual la correcta ser la (D).
3. Sean las premisas:
1. Todos los poetas son artistas
2. Nadie que sea un artista carece de imaginacin
3. Todos los que copian a los dems carecen de imaginacin
Cul de los siguientes enunciados se concluye necesariamente de ellas?
A) Todos los artistas son poetas
B) Nadie que copia a los dems carece de imaginacin.
C) Ningn poeta copia a los dems.
D) Todos los poetas copian a los dems.
E) Todos los que carecen de imaginacin copian a los dems.
Solucin: vemos que hay tres premisas, y no dos como en los otros ejemplos. Por ello no solo
tendremos tres clases o conjuntos sino cuatro tal como se tiene:
P: poetas
A: artistas
I: los que carecen de imaginacin
C: los que copian a los dems.
Debemos trabajar como se tratara de dos ejercicios en uno, por elloiniciaremos haciendo solo el grafico de las dos primeras premisas
-

Construiremos los diagramas, luego pintaremos la primera premisa:

Todos los poetas son artistas. Ver la fig. 4
59

Fig. 4

Ahora, pintamos la segunda premisa: nadie que sea un artista carece

de imaginacin, por lo que el grafico se ver as: fig. 5
Del ltimo grafico, se observa que hay nueva zona pintada distinta de
la zona representa las dos premisas, esa zona es la interseccin de

Fig. 5

los conjuntos: I (los que carecen de imaginacin) y P (poetas), esta zona sombreada es
vaca, de esto se concluye: ningn poeta carece de imaginacin o nadie que carece de
imaginacin es un poeta. Esta nueva proposicin nos servir, ahora, como una nueva
premisa y en conjunto con la tercera premisa obtendremos la conclusin final.
De la conclusin anterior y la tercera premisa construimos
el diagrama, iniciando primero la premisa: Todos los que copian
a los dems carecen de imaginacin. Ver fig. 6
A continuacin con la 2da.Premisa: ningn poeta carece de
Imaginacin o sea ningn S es P, pintamos la interseccin

Fig

Fig 6
De P (poetas) con I (los que carecen de imaginacin), es decir
Esa zona es vaca. Ver fig. 7.
Vemos en la fig. 7 que aparece una nueva zona sombreada, vaca
Diferente de las que representan a las premisas, que es la interSeccin de C (los que copian a los dems) con P (poetas).

Fig. 7
Esto se Interpreta como: ninguno de los que copian a los dems son poetas o ningn poeta
copia a los dems, que es la conclusin final. Buscamos en las alternativas y vemos que es
la (C).
Ejercicios propuestos:
i)

Sean las premisas:

1. Todos los que trabajan con mtodos cientficos son hombres de ciencias.
2. Algunos de los que trabajan con mtodos cientficos trabajan con mtodos
experimentales.
Cul de los siguientes enunciados se concluye necesariamente?
A) Algunos hombres de ciencia no trabajan con mtodos experimentales
B) Nadie que no trabaje con mtodos experimentales es un hombre de ciencia.
C) Algunos de los que trabajan con mtodos experimentales no son hombres de ciencia.
D) Algunos hombres de ciencia trabajan con mtodos experimentales.
E) Todos los hombres de ciencia trabajan con mtodos cientficos.

ii)

Sean las premisas:

60

1. Algunas figuras geomtricas son poliedros.

2. Ningn poliedro es una figura plana.
Cul de los siguientes enunciados se concluye necesariamente?
F) Todos los poliedros son figuras geomtricas.
G) Todas las figuras planas son figuras geomtricas.
H) Algunos figuras geomtricas no son figuras planas.

iii)

I)

Algunos figuras planas no son figuras geomtricas.

J)

Algunas geomtricas son figuras planas.

Sean las premisas:

1. Todo lo que sube tiene que bajar.

2. Todo lo que tiene que bajar tiene peso.
3. Todo lo que tiene peso est sujeto a las leyes de la gravedad
Cul de los siguientes enunciados se concluye necesariamente?
K) Todo lo que tiene que bajar sube
L) Todo lo que sube esta sujeto a las leyes de la gravedad.
M) Todo lo que esta sujeto a las leyes de la gravedad tiene bajar.
N) Todo lo tiene peso sube.
O) Todo lo que tiene peso tiene que bajar.

61