Lógica Proposicional

Mat emt i ca Bsi ca
1. Noci ones de Lgi ca Pr oposi ci onal

Gr upo Fer mat Al ex Br avo A.
w w w .gr u pof er mat .n et Li ma, Oct ub r e 201 1

Noci on es d e Lgi ca Pr oposi ci onal w w w .gr up of er mat .net
2

Nociones de Lgica Pr oposicional

Concept os Previos:

Enunciado:
Es t oda expr esi n (f r ase u or aci n) que nos expr esa una o ms i deas.

Ej empl os:
- Qu hor a es?
- Vi va el Per !
- Pr ohi bi do f umar .
- Qui si er a i r de vi aj e.
- La t i er r a es un pl anet a.
- El gat o es un r umi ant e.

Se t i en en sei s or aci ones di f er ent es, de l as cual es l as cuat r o pr i mer as son expr esi ones no proposi cionales
(i nt er r ogat i va, excl amat i va o admi r at i va, i mper at i va o exhor t at i va y d esi der at i va r esp ect i vament e) ya qu e
no t i ene sent i do d eci r si son ver dader as o f al sas. En cambi o, l as dos l t i mas or aci on es, que son decl ar at i vas,
son l l amadas pr oposi ci ones, debi do a qu e poseen un val or d e ver dad; es deci r pueden ser ver dader as o
f al sas (per o no ambos).

Pr oposicin:
Es un enunci ado o expr esi n asever at i va que posee val or de ver dad, es deci r , puede ser ver dader o o f al so,
per o nunca ambos si mul t neament e.

3

Deno t ar emos a l as pr oposi ci ones con l et r as mi nscul as: p, q, r, s, l as cual es ll amar emos var i abl es
pr oposi ci onal es. Si son muchas pr oposi ci ones es con veni ent e d enot ar l as usando subndi ces:
1 2 3
, , , ... ,
n
p p p p

Ej empl os:
- p: La t i er r a es un pl anet a. v(p)= V
- q: El gat o es un r umi ant e. v(q)= F

Obser vaci ones:
(a) Toda pr oposi ci n es una expr esi n asever at i va ya que se pued e af i r mar o negar .

- Nadi a es boni t a. (se af i r ma)
- Ana no es enf er mer a. (se ni ega)

(b) El val or de ver dad, l l amado t ambi n val or ver i t at i vo o val i dez, de una pr oposi ci n p se d enot a por
v(p). Luego

- v(p)= V si es ver dader o
- v(p)= F si es f al so

Enunciado Abier t o:
Es aquel l a expr esi n que cont i ene var i abl es y no t i ene l a pr opi edad de ser ver dad er o o f al so.

Ej empl os:
- ( ) P x : 3 x >
Si 5 x = ( ) 5 : 5 3 (V) > P
Si 1 x = ( ) 1 : 1 3 (F) > P

Sl o se puede deci r que es ver dader o o f al so cuando l a var i abl e x t oma un val or numr i co.

Tambi n son enunci ados abi er t os:
- ( )
2 2
, : 36 Q x y x y + = .
- l es un poet a per uano.
- El l a j uega vl ey.

Tipos de pr oposiciones:

1. Proposicin Simple :
Ll amada t ambi n at mi ca o el ement al . Son aquel l as pr oposi ci ones que p oseen un sol o si gni f i cado,
car ecen de conj unci ones gr amat i cal es y del adver bi o de negaci n (no).

Ej empl os:
- El gat o es un f el i no.
- 3, 141592... =
4

- New t on naci en Ar gent i na.
-
2
1
( )
3 6
P x
x x
=
+
es un poli nomi o de segundo gr ado.

A su vez una pr oposi ci n si mpl e puede ser :

1.1. Simpl e Predi cat iva:
Son pr oposi ci ones si mpl es en l a que se at r i buye un pr edi cado a un suj et o.

- Sat ur no es un pl anet a.
- Rosa es abogada.

1.2. Simpl e Relaci onal:
Son pr oposi ci ones si mpl es qu e i ndi can una r el aci n ent r e dos o ms suj et os (r el aci n mu t ua o
r ecpr oca).

- Ana y M ar a son pr i mas.
- Fabi ol a y Juana se est i man.

2. Proposicin Compue st a:
Ll amada t ambi n mol ecul ar o col i gat i va. Son aquel l as pr oposi ci ones que poseen dos o ms si gni f i cados
uni dos por conj unci ones gr amat i cal es o en ot r o caso, cont i en e el adver bi o de n egaci n (no).

Ej empl os:
- Hoy es vi er n es y est udi o l gi ca.
- Juan hi zo l a t ar ea o se copi o.
- Si est udi as ent onces i ngr esar s a l a uni ver si dad.
- No es el caso que t me ganes.

Not a:
Es posi bl e gen er ar ot r as pr oposi ci ones si mpl es o co mpuest as a par t i r de pr oposi ci ones si mpl es. Est o i ndi ca
que podemos operar con pr oposiciones, y segn sea l a oper aci n apl i cada, ut il i zar emos ci er t os smbol os
denomi nados conect i vos l gi cos.

Conect ivos Lgicos
Ll amados t ambi n con ect or es, const an t es, f unci ones u oper ador es. Son smbol os que r eempl azan a l as
conj unci on es gr amat i cal es y al adver bi o de negaci n (no) del l enguaj e nat ur al .

Los conect i vos l gi cos u oper ador es se compor t an de i gual f or ma que l os oper ador es mat emt i cos.
Pensemos por ej empl o en l a adi ci n. Di cha op er aci n ar i t mt i ca r el aci ona dos el ement os o n mer os, a l os
que hace cor r esponder u n nuevo val or o r esul t ado l l amado suma. En l gi ca vamos a pr oced er
anl ogament e. Los con ect i vos l gi cos van a r el aci onar pr oposi ci ones si mpl es gen er ando o t r as nuevas
pr oposi ci ones que pueden ser si mpl es o compu est as.

5

Oper ador Nom bre del
Oper ador
Oper acin
asoci ada
Nom bre de la
pr oposi ci n gener ada
Lenguaje
Com n Scholz Peano
~ ~ Negador o negaci n Negaci n Negat i va o Negaci n No
. - Conj unci n o Conj unt or Conj unci n o Pr oduct o
Lgi co
Conj unt i va o Conj unci n y
v v Di syunci n o Di syunt or
i ncl usi vo
Di syunci n Incl usi va o
Suma Lgi ca
Di syunt i va Incl usi va o
Di syunci n Inclusi va
o
A , v
/
Di syunci n o Di syunt or
excl usi vo
Di syunci n Excl usi va o
Di f er enci a Simt r i ca
Di syunt i va Excl usi va o
Di syunci n Excl usi va
O o
c Condi ci onal Condi ci onal Condi ci onal Si ent onces
Bi condici onal Bi condi ci onal Bi condici onal si y solo si

Tabla de Verdad
Fue desar r ol l ada por Char l es Sander s Pei r ce en 1880, per o el f or mat o ms popul ar es el que i nt r oduj o
Ludw i g Josef Johann Wi t t genst ei n en su obr a Tr act at us l ogi co-phi l osophi cus, publ i cada en 1921.

La t abla de ve rdad o t abla de valores de ve rdad es una t abl a que nos p er mi t e con ocer el val or de ver dad
de una pr oposi ci n compu est a, el cual va a depender ni cament e de l os val or es de ver dad de sus
pr oposi ci ones si mpl es componen t es (pr i nci pi o de composi ci onal i dad). As:

(a) Par a una pr oposi ci n p , el nmer o de combi naci ones de ver dader o y f al so es
1
2 2 =

p
V
F

(b) Par a dos pr oposi ci ones p y q , el nmer o de co mbi naci ones de ver dad er o y f al so es
2
2 4 =

p q
V V
V F
F V
F F

(c) Par a t r es pr oposi ci ones p , q y r , el nmer o de co mbi naci ones de ver dad er o y f al so es
3
2 8 =

p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
.
6

(n) Par a n pr oposi ci ones:
1 2 3
, , , ... ,
n
p p p p , el nmer o de co mbi naci ones de ver dad er o y f al so es 2
n

Obser vaci n:
El val or de ver dad de una pr oposi ci n co mpu est a depende del val or de ver dad de cada una de l as
pr oposi ci ones si mpl es component es, si n que est a depend en ci a de ver dad es t enga que ver con l a
nat ur al eza, l a si gni f i caci n o l a est r uct ur a de el l as. Debi do a st a pr opi edad, a l as pr oposi ci ones
compuest as se l es l l ama t ambi n FUNCIONES VERITATIVAS.

Anlisis de las Pr oposiciones Compue st as Bsicas:

1. Proposicin Conjunt iva o Conjunci n
Son aquel l as pr oposi ci ones que se encuent r an r el aci onadas medi ant e l a conj unci n gr amat i cal
copul at i va y o expr esi ones equi val ent es.

Ej empl os:
(a) El l en es un f el i no y l a avi spa es un i nsect o.

Se t r at a de l a conj unci n de l as pr oposi ci ones:
p: El l en es un f el i no.
q: La avi spa es un i nsect o.

La cual se denot a por : p q .

(b) Ana, Juli a y Rosa son i nt el i gent es.

Se t r at a de l a conj unci n de l as pr oposi ci ones:
p: Ana es i nt el i gent e.
q: Jul i a es i nt el i gent e.
r : Rosa es i nt el i gent e.

La cual se denot a por : p q r . .

No encont r amos mayor es di f i cul t ades ent r e l a l engu a cast el l ana y su f or mal i zaci n, per o s deb emos
not ar un par de pr obl emas. Por ej empl o, l a pr oposi ci n

Jos y Pedr o son est udi osos,

pued e f or mal i zar se as
Jos es est udi oso y Pedr o es est udi oso.

Ahor a, l a pr oposi ci n si gui ent e
Jos y Pedr o son pr i mos,

no debe f or mal i zar se as
Jos es pr i mo y Pedr o es pr i mo.

7

Est cl ar o qu e l a pr i mer a pr oposi ci n i mpl i ca una r el aci n en t r e Jos y Pedr o, qu e son pr i mos ent r e s; y
l a segunda no l o i mpl i ca. El pr obl ema, en est e caso, r adi ca en l a ambi gedad de l a pr oposi ci n.
Recor demos qu e una pr oposi ci n si mpl e pu ed e ser si mpl e pr edi cat i va o si mpl e r el aci onal . st a
pr oposi ci n denot a el caso l t i mo.

Ot r a di f i cul t ad qu e pu ede pr esent ar se en l a l en gua cast el l ana y su f or mal i zaci n es que l a conj u nci n y
i mpl i ca secuenci a t empor al . Por ej empl o, l a pr oposi ci n

Compr o y voy a l a casa,

no es l o mi smo que
Voy a l a casa y compr o.

En st e caso, el sent i do i ni ci al se pi er de.

Cundo la conjuncin de dos pr oposicione s es ver dader a?
Veamos l a t abl a de ver dad par a l a conj unci n:

p q p . q
V V V
V F F
F V F
F F F

La conj unci n es ver dad er a sol o si sus pr oposi ci ones compon ent es son ver dad er as. En ot r os casos es
f al sa (Principio Lgico)

Not a:
Las pal abr as: per o, si n embar go, adems, i ncl uso, t ambi n, no obst ant e, et c. son equi val ent es a l a
conj unci n gr amat i cal y .

Son t ambi n ej empl os de conj unci n:

- Jul i o es i nt el i gent e per o f l oj o.
- El Per t i en e mucha r i queza si n embargo hay demasi ada pobr eza.
- La nar anj a es ri ca adems nut r i t i va.
- Janet pel e con su enamor ado i ncluso l e peg.
- Cuba es pot enci a en depor t e t am bin en medi ci na.
- Ti ene di ner o, no obst ant e pi di un pr st amo.
- Est udi a, a l a vez t r abaj a.
- Tant o l a f si ca como l a qumi ca son i nt er esant es.

2. Proposicin Disyunt iva o Disyuncin
di syunt i va o o expr esi on es equi val ent es.
8

En el l enguaj e nat ur al l a di syunci n es ut i l i zada en sent i do i ncl uyent e y excl uyen t e.

2.1. Di syuncin Inclusi va o Dbil
Se l e denomi na di syunci n i ncl usi va o dbi l a p o q , ya que i ncl uye l a posi bi l i dad del si mul t neo (p
y q).

Ej empl os:
(a) Jos habl a i ngl s o espaol .

Se t r at a de l a di syunci n de l as pr oposi ci ones:
p: Jos habl a i ngl s.
q: Jos habl a espaol .

La cual se denot a por : p q v

Del ej empl o, equi val ent ement e se puede deci r :
- De l os dos i di omas: i ngl s y espaol , Jos habl a al menos uno de el l os.
- Jos habl a sl o i ngl s, sl o espaol o habl a i ngl s y espaol .

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

(b) Jor ge es mat emt i co, f si co o qumi co.

p: Jor ge es mat emt i co.
q: Jor ge es f si co.
r : Jor ge es qumi co.

La cual se denot a por : p q r v v

Cul es el valor de verdad de est a pr oposicin?
Veamos l a t abl a de ver dad par a l a di syunci n (i ncl usi va):

p q p v q
V V V
V F V
F V V
F F F

La di syunci n es f al sa sol o si sus pr oposi ci ones compon ent es son f al sas. En ot r os casos es
ver dader a (Princi pi o Lgico).

2.2. Di syuncin Exclusiva o Fuert e
Se l e denomi na excl usi va o f uer t e a l a pr oposi ci n p o q , ya qu e excl uye l a posi bi l i dad del
si mul t neo (p y q).

9

Ej empl os:
(a) Est vi vo o est muer t o.

p: Est vi vo.
q: Est muer t o.

De d onde evi dent ement e se excl uye l a posi bi l i dad del si mul t neo ( p y q), pues una p er sona n o
puede est ar vi va y muer t a a l a vez. Luego, di cha pr oposi ci n queda denot ada por : . p q A

(b) O habl a i ngl s o habla espaol .

La di syunci n excl usi va est compuest a por l as pr oposi ci ones:
p: Habl a i ngl s.
q: Habl a espaol .

La cual se denot a por : A p q

Del ej empl o, equi val ent ement e se puede deci r :

- Habl a i ngl s o espaol , per o no ambos.

( ) ( ) A . v ~ . p q p q p q

- Habl a i ngl s y no espaol o habl a espaol y no i ngl s.

( ) ( ) ( ) ( ) A v . ~ . . ~ v . ~ p q p q p q p q q p

Cul es el valor de verdad de est a proposicin?
Veamos l a t abl a de ver dad par a l a di syunci n excl usi va:

p q p A q
V V F
V F V
F V V
F F F

La di syunci n excl usi va es ver dader a sl o cuando una de sus compon ent es es ver dad er a ( Principio
Lgico).

3. Proposicin Condicional
condi ci onal Si ent onces o expr esi ones equi val ent es.

10

Ej empl os:
(a) Si compr o mi ent r ada ent on ces i ngr esar al ci ne.

Se t r at a de l a condi ci onal de l as pr oposi ci ones:
p: Compr o mi ent r ada.
q: Ingr esar al ci ne.

La cual se denot a por : p q

(b) Si apr uebo el examen en t onces vamos al ci ne.

La condi ci onal est a compuest a por dos pr oposi ci ones:
p: Apr uebo el examen.
q: Vamos al ci ne.

Y se denot a al i gual que en el ej empl o ant er i or por : p q

La pr oposi ci n condi ci onal const a de dos el ement os:

Si apruebo el examen
ant ecedent e
hi pt esi s
pr em i sa
_
ent onces vamos al ci ne
sec con uent e
t si s
concl usi n
_
.

En mat emt i ca, l a condi ci onal usual es f or mal , es deci r , no es necesar i o que el consecu ent e se der i va
l gi cament e del ant eced ent e. Cuando ocur r e st e caso, l a condi ci onal se ll ama mat er i al .

Deb emos not ar qu e en el l enguaj e cast el l ano l a condi ci onal no se usa en sent i do mat er i al ya que el
hacer l o nos gen er a ci er t as compl i caci ones. Un ej empl o cl ar o de est o es que i nt ui t i vament e n o
acept ar amos que l a pr oposi ci n

Si 2 + 2 = 4, ent onces el ci el o es azul

sea una pr oposi ci n ver dader a.

De al guna f or ma nuest r a i nt ui ci n nos di ce que st a pr oposi ci n no sol o no es ver dader a si no qu e
car ece d e sent i do.

Cul es el valor de verdad de st a pr oposi cin?
Veamos l a t abl a de ver dad par a l a condi ci onal (mat er i al ):

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

11

La condi ci onal es f al sa sol o cuand o el ant ecedent e es ver dader o y el consecu ent e es f al so. En ot r os
casos es ver dad er a (Pri ncipio Lgico).

Not a:
En mat emt i cas podemos const r ui r condi ci onal es a par t i r de ant eced ent es f al sos. En est e caso l a
condi ci onal ser si empr e ver dader a.

- Si el sapo l adr a, ent onces es un per r o.
- Si 1=2 ent onces 9=9.

En est e caso puede ent ender se f ci l ment e si anali zamos el ej empl o (b):

Si apruebo el exmen , vamos al ci ne .
ent onces
q
p

_
_

Di cho enun ci ado puede p ensar se co mo un compr omi so condi ci onado por p. Ahor a si p es f al so, es deci r ,
si no apr uebo el exmen, quedo l i ber ado del co mpr o mi so, y as vaya o no vaya al ci ne l a pr oposi ci n de
(b) segui r si endo ver dader a.

Tipos de Condicional es
A su vez, una pr oposi ci n condi ci onal puede ser :

3.1. Condici onal Direct a: Son pr oposi ci on es co ndi ci onal es en l as cual es se t i en e el ant eced ent e an t es
del consecuent e (f or ma t pi ca).

- Si no est udi as ent onces desapr o bar s.
- Ir al cast i ng luego cant ar .
- No cumpl i l a t ar ea, en consecuencia desapr obar .
- No vi no el pr of esor , por l o t ant o no hubo cl ase.
- Cami naba sol a, por consi guient e l e r obar on.
- Desapr obamos, de modo que i r emos al sust i t ut or i o.
- Est aba gr ave de ah que t uvi er on que oper ar l o.

Tambi n:
- Si est udi as, i ngr esar as a l a uni ver si dad.

3.2. Condici onal Inve rsa: Son pr oposi ci ones condi ci onal es en l as cual es el consecuen t e se encuen t r a
ant es del ant ecedent e.

- Al mor zar t empr ano siempre que t enga di ner o.
- No f ui a l a r euni n puest o que no t uve t i empo.
- Debes sal i r a t r ot ar ya que est s gor do.
- Se asust dado que i nt ent ar on r obar nos.
- Se mol est a cada vez qu e habl o de su her mano.
- Ingr esast e porque est udi ast e.
- Te vi si t ar cuando t en ga t i empo.
- Ent r as al conci er t o sl o si pagas.
12

Condicionales Asoci adas
La pr oposi ci n condi ci onal est asoci ada a ot r as t r es pr oposi ci ones i mpor t ant es:

A. Proposicin Recproca
La pr oposi ci n r ecpr oca que cor r esponde a p q es q p . Una maner a de t ener pr esent e st e
nombr e y su si gni f i cado es asoci ar l o al r ecpr oco de a/ b que es b/ a; es d eci r , r ecor dando que en l a
r eci pr oci dad l os el ement os se i nt er cambi an: el numer ador pasa a ser denomi nador y el
denomi nador , el numer ador . A l a pr oposi ci n r ecpr oca t ambi n se l e l l ama conver sa (del i ngl s
conver se), cuyo si gni f i cado se ent i end e como cambi o de posi ci n .

- Si hoy es sbado, ent onces maana es domi ngo: p q
Si maana es domi ngo, ent onces hoy es sbado: q p (es el r ecpr oco)

Not a: El nombr e conver sa pr ovi ene d e l a Lgi ca Ar i st ot l i ca en donde l a oper aci n de con ver si n
de una pr oposi ci n como: Todo S es P, consi st e en i nt er cambi ar el suj et o y pr edi cado dando
l ugar a l a pr oposi ci n: Todo P es S.

B. Proposicin Inversa
Ll amada t ambi n con t r ar i a . La pr oposi ci n i nver sa que cor r esponde a p q es ~ ~ p q

- x es par , ent onces x es ml t i pl o de 2: p q
x no es ml t i pl o de 2 ent onces x no es par: ~ ~ p q (es l a i nver sa)

C. Proposicin Cont rarrecpr oca
La pr oposi ci n cont r ar r ecpr oca que cor r esponde a l a condi ci onal p q es ~ ~ q p

- Si hoy es sbado, maana es domi ngo: p q
Si maana no es domi ngo, hoy no es sbado: ~ ~ q p (es su cont r ar r ecpr oca)

4. Proposicin Bi condicional
Son aquel l as pr oposi ci ones que se r el aci onan medi ant e l a conj unci n gr amat i cal bi condi ci onal si y
sol o si o expr esi ones equi val ent es.

Ej empl os:
(a) La per a es dul ce si y sol o si est madur a.

Se t r at a de l a bi condi ci onal de l as pr oposi ci ones.
p: La per a es dul ce.
q: La per a est a madur a.

La cual se denot a por : p q

Del ej empl o equi val ent emen t e se puede deci r :
- Si l a per a es dul ce ent onces est madur a y si l a per a est madur a ent onces est dul ce.

( ) ( ) p q p q q p .
13

- La per a est dul ce y madur a, o l a per a no est dul ce y no est madur a.

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

El condi ci onal expr esa l a condi ci n suf i ci ent e, per o no l a condi ci n necesar i a. Luego, par a expr esar
ambas con di ci ones ut i l i zamos el bi condi ci onal , que no es ms que l a conj unci n d el condi ci onal y su
i nver so. Como se haba vi st o ant er i or men t e en l os ej empl os:

( ) ( ) p q p q q p .

En r eal i dad, no deber amos i ncl ui r al bi condi ci onal como oper ador bsi co, ya que se def i ne en f unci n
del condi ci onal . Si n embar go, dado qu e est e expr esa l a r el aci n de equi val enci a y dado que st a r el aci n
es f r ecu ent emen t e usada en l gi ca par a si mpl i f i car cl cul os y est abl ecer d ef i ni ci ones f ci l ment e; es
t r adi ci onal ment e i ncl ui da dent r o de l os oper ador es bsi cos.

Son t ambi n ej empl os de bi condi ci onal :
(b)
2
9 3 3 a a a = = v =
(c)
2
4 2 2 x x < < <
(d)
2
0 3 0 9 x x < < < <

(b) y (c) son ej empl os d e bi condi ci onal es ver dad er os, mi ent r as qu e el ej empl o (d) es f al so, pues p q
es ver dader o mi ent r as q p es f al so.

Cul es el valor de verdad de est a pr oposi cin?
Ya que l a bi condi ci onal pued e def i ni r se como l a conj unci n de l a condi ci onal y su i nver so, pod emos
const r ui r su t abl a medi ant e l a t abl a de ( ) ( ) p q p q q p . , como si gue:

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

Luego l a t abl a de ver dad par a l a bi condi ci onal queda de l a si gui ent e f or ma:

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

La bi condi ci onal es ver dad er a sol o cuando ambas compon en t es t i en en el mi smo val or d e ver dad
(Principio Lgico).

14

Not a:
Est cl ar o que A p q es equi val ent e a l a negaci n de p q (vea l as t abl as).

( ) A ~ p q p q

5. Proposicin Ne gat iva o Negaci n
Son aquel l as pr oposi ci ones que hacen uso del adver bi o de negaci n no o expr esi ones equi val ent es.

Ej empl o:
Sea l a pr oposi ci n

p: Ir a est udi ar a l a uni ver si dad.

Su negaci n es:
~ p: No i r a est udi ar a l a uni ver si dad,

o bi en:
~ p: Nunca i r a est udi ar a l a uni ver si dad.
~ p: Jams i r a est udi ar a l a uni ver si dad.
~ p: Es f also que i r a est udi ar a l a uni ver si dad.
~ p: No es verdad que i r a est udi ar a l a uni ver si dad.

En un pr i mer anl i si s el ement al no encont r amos di f i cul t ades ent r e el sent i do f or mal e i nt ui t i vo de st a
pr oposi ci n, l a ni ca di f i cul t ad es, qui z, que l a negaci n (en el cast el l ano) no si empr e se ve al i ni ci o d e
l a or aci n y debemos buscar l a dent r o de el l a. Por ej empl o:

p: Nor ma es menor que Ana.

Su negaci n
~ p: Nor ma no es menor que Ana.

Cul es el valor de verdad de est a pr oposi cin?
Veamos l a t abl a de ver dad par a l a negaci n.

p ~ p
V F
F V

Tipos de Ne gacin
A su vez, una pr oposi ci n negat i va pued e ser :

5.1. Negacin Simple: Ni ega sl o una pr oposi ci n si mpl e.

Ej empl os:
- p: 9 es mayor que 11.
~ p: 9 no es mayor que 11.
~ p: No es ciert o que 9 sea mayor que 11.
15

- q: Al i ci a es honest a.
~ q: Al i ci a no es honest a.
~ q: Al i ci a es deshonest a.

5.2. Negacin Compuest a: Ni ega una pr oposi ci n compuest a.

Ej empl os:
- Juan es est udi oso y depor t i st a: p q .

Su negaci n es:
No es ciert o que Juan sea est udi oso y depor t i st a: ( ) p q . ~

- Chi na o Rusi a son comuni st as: p q v

Su negaci n es:
Es f al so que Chi na o Rusi a sean comuni st as: ( ) p q v ~

Obser vacin:
Las si gui ent es expr esi on es: no es ci er t o qu e, es f al so que, no es el caso que, no es ver dad que,
et c., ni egan compl et ament e a una pr oposi ci n compuest a si est as l a ant eceden.

Negaci n Conjunt a y alt ernat iva
La negaci n apl i cada a l a di syunci n y a l a conj unci n va a gener ar nuevos r esul t ados: l a negaci n
conj unt a y l a negaci n al t er nat i va r espect i vament e, adems de l as l eyes d e De M or gan.

A. Negacin Conjunt a
La negaci n conj unt a de p y q, denot ada por p q + , equi val e a l a negaci n de l a di syunci n de p y q.

( ) p q p q p q + ~ v ~ . ~
Se l ee: Ni p ni q.
No p y no q.

Ej empl os:
- Ni est udi a ni t r abaj a.
- M ar adona no es escr i t or y Bor ges no es f ut bol i st a.

Tabla de Verdad
p q
p +q
p v q
V V F V
V F F V
F V F V
F F V F

16

B. Negacin Alt ernat iva
La negaci n al t er nat i va de p y q, denot ada por l p q , equi val e a la negaci n de l a conj unci n de p y q.

( ) l ~ . ~ v ~ p q p q p q
Se l ee: No p o no q.

Ej empl os:
- 4 no es mayor que 20 o no es un nmer o pr i mo.
- No pudo ganar l e o no qui so ganar l e.

Tabla de Verdad
p q p l q p . q
V V F V
V F V F
F V V F
F F V F

Ejer cicios 1

1. De l os si gui ent es enun ci ados, i ndi que cul es son pr oposi ci ones.
(a) Reco ge ese pap el .
(b)
2 2
5 3 4 6 < +
(c) M e hubi er a quedado en Br asi l .
(d) Todos l os hombr es son mor t al es.
(e)
2
7 4 x x + <

2. Det er mi ne cul de l os si gui ent es enunci ados son pr oposi ci ones.
(a) l es un f ut bol ist a r econoci do.
(b) Gol de Bar cel ona!
(c) 2 3 2 3. = +
(d) Qui si er a poder est ar a su l ado.
(e) The cat i s bl ack.

3. Es una pr oposi ci n si mpl e:
(a) Juan va est udi a per o t r abaj a de noche.
(b) Nunca ent end ni l a f si ca ni l a qumi ca.
(c) Noel i a y Shi rl ey son ami gas.
(d) Si vamos al ci ne, ent onces t pagas t u ent r ada.
(e) No hi ce l a t ar ea de mat emt i ca.

4. Indi que cul de l os si gui ent es enunci ados son enunci ados abi er t os.
(a) M ar a es her mana de Jos.
(b) Espaa gan l a copa mundi al por pr i mer a vez en el ao 2010.
(c) 2 2 2 2. s +

17

(d) El I ngl es gan el par t i do de t eni s.
(e) x es un ent er o y 1; 3 . x e

5. Cul de l as si gui ent es pr oposi ci ones son ver dader as o f al sas?
(a) 5 es un nmer o par y es mayor que 3.
(b)
2
2 2 2 = + o cos 1. =
(c) Si 2 3 = , ent onces 1 1. =
(d) Si 2 x = , ent onces 3 6. x =
(e) Un ngul o es r ect o, si y sol o si su medi da es 90 .

6. Hal l e el val or de ver dad de l a conj unci n de p y q, si
: 2 4 6 12 p + + =
: 6 2 4 11 q + <

7. Sean l as pr oposi ci ones si gui ent es:
: 4 6 2 p =

2
: 2 5 q <
: r Exi st e un ni co nmer o pr i mo que es par .

Hal l e el val or de ver dad de p q v , q r A y ( ) p q r . v

8. Sean l as si gui ent es pr oposi ci ones:

2 4
: 4 2 p =
: q La uni dad es un nmer o pr i mo.
: r Todo ml t i pl o de 6 es de l a f or ma 6k, . k eR

Hal l e el val or ver i t at i vo de:
(a) ( ) p q r v
(b) ( ) p q r .

9. Si ( ) V v p q . = y ( ) F v q s A = , hall e el val or de ver dad de ( ). p s q v .

10. Si ( ) ( ) ( ) p q q r r s v . . ~ ~ es f al so. Hall ar l os val or es de ver dad de p, q, r y s; adems, deduzca el
val or de vedad de l os esquemas si gui ent es:
A= ( ) p r r v ~ ~
B= ( ) ( ) p s q r A . ~ ~

Simbolizaci n
La si mbol i zaci n o f or mal i zaci n de pr oposi ci on es es un pr oceso de t r ansf or maci n que se l ogr a al
r eempl azar l as pr oposi ci ones, l as conj unci ones gr amat i cal es y el adver bi o d e negaci n del l enguaj e nat ur al
por smbol os de un l enguaj e ar t i f i ci al (l enguaj e si mbl i co o f or mal i zado).

Los smbol os l gi cos que empl ear emos son l as var i abl es, const ant es y l os si gnos d e agr upaci n, al gunos d e
el l os ya est udi ados ant er i or ment e y que a maner a de r epaso vol ver emos a ci t ar .
18

1. Variable s
Son aquel l os smbol os que r eempl azan a una pr oposi cin o a un esquema mol ecul ar .

1.1. Variables Pr oposicionales
Son smbol os que r eempl azan a l as pr oposi ci ones si mpl es. Una var i abl e pr oposi ci onal puede ser
cual qui er l et r a mi nscul a: p, q, r, s, Si f uer a necesar i o usar emos subndi ces:
1 2 3
, , , ... ,
n
p p p p

Ej empl os:
- p: Jul i o es un ni o est udi oso.
- q: Ana es t r abaj ador a.

1.2. M et avari ables
Son smbol os que r epr esent an a l os esq uemas mol ecul ar es o f r mul as pr oposi ci onal es. Una
met avar i abl e pu ede ser cual qui er l et r a mayscul a: A, B, C, D,

Ej empl os:
- ( ) A p q p = . ~
- ( ) B p q r = A ~ .

2. Const ant e s
Las const ant es, oper ador es o conect i vos l gi cos son aquel l os smbol os que se encar gan de est abl ecer l as
conexi ones l gi cas en t r e l as pr oposi ci ones, t al como en el l enguaj e nat ur al l o hacen l as conj unci on es
gr amat i cal es. Est os se cl asi f i can en:

2.1. M ondicos o Unarios:
Un oper ador es mondi co cuando af ect a a una var i ab l e o a un esqu ema. Se t r at a esp ecf i camen t e
de l a negaci n.

Ej empl os:
- ~ p (af ect a a una var i abl e)
- ( ) p q r ~ . (

(af ect a a un esquema)

Not a:
En mat emt i ca, por ej empl o, un oper ador mondi co es el f act or i al de un nmer o.

2.2. Di dicos o Binarios:
Un oper ador es di di co cuando af ect a a dos var i abl es o esqu emas. Se t r at a de t odos l os dems
oper ador es.

Ej empl os:
- p q (af ect a a dos var i abl es)
- ( ) v A p q r (af ect a a un esquema y a una var i abl e)
- ( ) ( ) p q p r . v (af ect a a dos esquemas)

19

Not a:
La suma y l a r est a son, en mat emt i ca, ej empl os de oper ador es di di cos.

3. Signos de Agrupacin
Son smbol os auxi l i ar es que per mi t en denot ar l a j er ar qua ent r e l as const ant es l gi cas de un
esquema y as evi t ar l a ambi g edad. Ent r e l os si gnos de agr upaci n se t i en en l os par nt esi s ( ), l os
cor chet es [ ] , l as l l aves { } y l as bar r as

Ej empl os:
- ( ) p q r . . t i ene mayor j er ar qua
- ( ) p q r q ~ v . ( ~

t i ene mayor j er ar qua

- Uso de l as bar r as

( ) p q
r
q
~ v
~

Pasos par a Simboli zar
Vamos a i ndi car l os pasos para l a si mbol i zaci n medi ant e un ej empl o.

Si mbol i zar :
Ri car do est u di a o t r abaj a, per o no va a l a uni ver si dad.

Resol uci n:
(i ) Ident i f i car l as pr oposi ci ones si mpl es que const i t uyen a l a expr esi n y r eempl azar l as por al guna
var i abl e pr oposi ci onal .

p: Ri car do est udi a.
q: Ri car do t r abaj a.
r : Ri car do va a l a uni ver si dad.

(i i ) Ident i f i car l as conj unci ones gr amat i cal es y l os adver b i os de negaci n par a r eempl azar l os por sus
r espect i vas const ant es l gi cas.

o: di syunci n dbi l .
per o: conj unci n.
no: negaci n.

As se t i ene: , p q r v . ~

(i ii ) Se anal i za l os si gnos de punt uaci n y el sent i do d e l a expr esi n par a det er mi nar l a const ant e d e
mayor j er ar qua. Aquel que se encu ent r e r odeado de mayor cant i dad d e si gnos de punt uaci n
t endr mayor j er ar qua.

20

1r a j er ar qua . Per o, (dos si gnos de punt uaci n)
2da j er ar qua . Per o (punt o segui do)
3r a j er ar qua ; per o (punt o y coma)
4t a j er ar qua , per o (coma)
5t a j er ar qua per o (ni ngn si gno de punt uaci n)

Par a nu est r o ej empl o l a conj unci n per o est pr ecedi da por una coma, mi ent r as q ue l a
di syunci n o no t i en e ni ngn si gno d e agr upaci n a su al r ededor . En consecuenci a l a conj unci n
es de mayor j er ar qua. Lu ego, se enci er r a l a const ant e de men or j er ar qua y se d ej a l i br e a l a d e
mayor j er ar qua. As se t i ene:
( ) p q r v . ~

El r esul t ado es un esq uema conj un t i vo. Di cho esquema es una f r m ul a bi en f or mada , debi do a
que se ha ut i l i zado cor r ect ament e el l enguaj e l gi co.

Ej empl os:
Si mbol i zar l o si gui ent e.

(a) Si N es ml t i pl o de 9, es di vi si bl e por 3, per o N no es di vi si bl e por 3, por l a t ant o no es ml t i pl o de 9.

Resol uci n:
(i ) p: N es ml t i pl o de 9.
q: N es di vi si bl e por 3.

(i i ) , ; p q q p . ~ ~
(i ii ) As se t i ene: ( ) p q q p . ~ ( ~

(b) En el cent r o del pl anet a hay gr avedad o no l a hay. En el cent r o del pl anet a no hay gr avedad. Por t ant o,
l a gr avedad r esul t a de l a masa t ot al .

Resol uci n:
(i ) p: En el cent r o del pl anet a hay gr avedad.
q: l a gr avedad r esul t a de l a masa t ot al .

(i i ) , . , p q p q v ~ . ~
(i ii ) As se t i ene: ( ) v ~ . ~ (

p p p q

Esquema M olecular o Fr mula Proposicional
Es l a combi naci n d e var i abl es pr oposi ci onal es, conect i vos l gi cos y si gnos de agr upaci n. Par a dar n ombr e
a un esquema mol ecul ar nos f i j amos en el conect i vo de mayor j er ar qua.

Ej empl os:
- ( ) . p q r Es un esquema conj u nt i vo
- ( ) A v ~ p q r Es un esquema di syun t i vo.
21

- ( ) ( .

p q r p Es un esquema condi ci onal .
- | | } {
p q r p v ~ Es un esquema bi condi ci onal .
- ~ ( ) { }
q r r . Es un esquema n egat i vo

Evaluacin de Esquemas M oleculares mediant e t ablas de verdad
La eval uaci n de esquemas mol ecul ar es o f r mul as pr oposi ci onal es se r eal i za medi ant e l a t abl a de ver dad.
Consi st e en hal l ar t odos l os val or es d el oper ador pr i nci pal a par t i r de l a val i dez de cada una de l as
pr oposi ci ones. Indi car emos l os pasos par a l a eval uaci n de esquemas mol ecul ar es medi ant e el si gui ent e
ej empl o.

Eval e el esquema mol ecul ar : ( ) ( ) = . ~ v A p q q p

Resol uci n:
(i ) Col ocar en f or ma hor i zont al t odas l as var i abl es pr oposi ci onal es y el esquema mol ecul ar en l a t abl a de
val or es t al como i ndi ca el gr f i co.

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

(i i ) Escr i bi r debaj o de l as var i abl es pr oposi ci onal es t odas las combi naci ones posi bl es de ver dad er o y f al so.
Par a nuest r o ej empl o se t i ene
2
2 4 = combi naci ones de ver d ader o y f al so.

p q
( ) ( ) p q p q . ~ v
V V
V F
F V
F F

(i i i ) Ubi car l a mat r i z pr i nci pal , l a cual se t r aza conoci endo pr evi amen t e al oper ador de mayor j er ar qua.

p q ( ) p q . ~
v ( ) p q
V V
V F
F V
F F

(i v) Apl i car l a r egl a a cada una de l os oper ador es comenzando por el de menos al cance y f i nal i zando con el
de mayor j er ar qua.

22

Apl i camos l a negaci n a l os val or es de ver dad de q

p q ( p .
~ ) q
v ( ) p q
V V F V
V F V F
F V F V
F F V F

Apl i camos l a conj unci n a l os val or es de ver dad de p y ~ q .

p q (p
.
) q ~
v ( ) p q
V V V F F
V F V V V
F V F F F
F F F F V

Apl i camos l a condi ci onal a l os val or es de ver dad de p y q

p q ( ) p q . ~
v (p ) q
V V F V V V
V F V V F F
F V F F V V
F F F F V F

Apl i camos l a di syunci n a l os val or es de ver dad de l as col umnas 1 y 3

p q ( ) p q . ~
v ( ) p q
V V F V V
V F V V F
F V F V V
F F F V V

Clasificacin de Esquemas M olecul ares
Un esquema mol ecul ar se cl asi f i ca segn l os val or es obt eni dos en su mat r i z pr i nci pal.

1. Tau t olog a
Un esquema mol ecul ar es t au t ol gi co, l o cual se d en ot a por T, cuando l os val or es d e l a mat r i z pr i nci pal
de su t abl a de ver dad son t odos ver dader os.

Ej empl o:
( ) ( ) = . ~ v A p q q p es un esqu ema t aut ol gi co, ya qu e, co mo se ha vi st o ant er i or men t e, al eval uar l o
medi ant e l a t abl a de ver dad, su mat r i z pr i nci pal cont i ene t odos l os val or es ver dad er os.
23

2. Cont radi ccin
Un esqu ema mol ecul ar es cont r adi ct or i o, l o cual se den ot a por , cuando l os val or es de l a mat r i z
pr i nci pal de su t abl a de ver dad son t odos f al sos.

Ej empl o:
| | ( ) = . v . ~ C p q q q es un esquema cont r adi ct or i o. Veamos:

p q ( ) p q .

v | q
.
q ~
V V V V V F F
V F F F F F V
F V F V V F F
F F F F F F V

3. Consi st e ncia o Cont inge nt e
Un esquema mol ecul ar es consi st ent e o cont i ngent e, l o cual se denot a por Q, cuando en l a mat r i z
pr i nci pal de su t abl a de ver dad hay por l o menos una ver dad o una f al sedad.

Ej empl o:
( ) ( ) = v E p q p q es un esquema consi st ent e. Veamos:

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

Equivalencia e Implicancia Lgica
Debemos di f er en ci ar l os concept os de equi val enci a e i mpl i canci a de l os concept os de bi condi ci onal y
condi ci onal r espect i vament e. Los dos pr i mer os se r ef i er en a r el aci ones qu e se est abl ecen ent r e esquemas
mol ecul ar es, mi ent r as que l os dos l t i mos son r el aci ones ent r e pr oposi ci ones.

1. Equivale ncia Lgica
Dos esquemas A y B son equi val ent es, cuando uni do s por el conect i vo l gi co del bi condi ci onal
r esul t a una t aut ol oga. Luego, l o denot amos por A B o A B . Si A y B no son equi val ent es, ent o nces
su not aci n es / A B o / A B

Ej empl o:
( ) ( ) = v v . (

~ ~ ~ A p q r p , ( ) B q p = ~ ~

Los esquemas A y B son equi val ent es. Veamos:

24

p q r ( p ~
v ) q
v ( r ~
. ) p ~
q ~

p ~
V V V F V V V F F F V F V F
V V F F V V V V F F V F V F
V F V F F F F F F F V V F F
V F F F F F F V F F V V F F
F V V V V V V F F V V F V V
F V F V V V V V V V V F V V
F F V V V F V F F V V V V V
F F F V V F V V V V V V V V
pasos 1 3 2 5 4

Luego A B

2. I mplicacin Lgica
Un esquemas A i mpl i ca a B, cuando u ni dos por el conect i vo l gi co del condi ci onal , r esul t a un a
t aut ol oga. Luego l o denot amos por A B.

Ej empl o:
( ) A p r = A ~ ~ , ( ) B p q r = . v (

~ ~

El esquema A i mpl i ca a B. Veamos:

p q r
p ~
A r ~
(p ~
. ) q
v r ~
V V V F V V V F F F V F
V V F F V V V V F F V F
V F V F F F F F F F V V
V F F F F F F V F F V V
F V V V V V V F F V V F
F V F V V V V V V V V F
F F V V V F V F F V V V
F F F V V F V V V V V V
pasos 1 4 2 3

Luego A B

Not a: Condi ci n ne ce saria y sufi cient e
Si p q , ent onces p es condi ci n suf i ci ent e par a q y q es condi ci n necesar i a par a p.

q si p (condi ci n suf i ci ent e)
p sl o si q (condi ci n necesar i a)

25

Ejer cicios 2

Si mbol i zar l os si gui ent es enunci ados:
1. Si n i nt er eses expansi oni st as, no habr gu er r as ni i nt er venci ones. Hay i nt er eses expansi oni st as. De ah
que, habr guer r as o i nt er venci on es.

2. No es ci er t o que l a econo ma o l a psi col oga use excl usi vament e el mt odo i nduct i vo, ya que ambas
ut i l i zan el mt odo hi pot t i co i nduct i vo.

3. El uni ver so se expande, por que hubo gr an expl osi n y l a f uer za de gr avedad es menor qu e l a f uer za d e
expansi n. Si el uni ver so no se expande, no hubo gr an expl osi n o l a f uer za de gr avedad es mayor a l a
f uer za de expansi n.

4. Si M ar adona es ar gent i no ent onces es af i ci onado al f t bol . Per o, M ar adona no es af i ci onado al f ut bol .
Por l o t ant o, no es ar gent i no.

5. Como es hor a de cl ases, se concl uye que en el aul a hay pr of esor es y al umnos, dado que si es hor a de
cl ases, en el aul a hay pr of esor es, y hay al umnos si en el aul a hay pr of esor es.

Const r uya l a t abl a de ver dad e i ndi que si l as si gui ent es pr oposi ci ones son t aut ol ogas, cont i ngenci as o
cont r adi cci on es.
6. ( ) ( ) p q q p .
7. ( ) ( ) p q p q . v ~ ~
8. ( ) ( ) p q p q . . ~ ~
9. ( ) ( ) ( ) p q p r p q . . ( v

~ ~ ~ ~
10. ( ) ( ) { } ( ) p q p p q p q . v . v (

~ ~ ~

Pr incipales Leye s o Equivalencias Lgicas

1. Los t res Pri ncipios Lgicos Clsi cos
C
1
: Ley de Ident idad (Ref l exividad)
Una pr oposi ci n es sol o i dnt i ca a si mi sma
p p
p p

C
2
: Ley de no cont radi cci n
Una pr oposi ci n no puede ser ver dad er a y f al sa a la vez
( ) p p ~ . ~

C
3
: Ley del Tercio Exclui do
Una pr oposi ci n o es ver dader a o es f al sa, no hay una t er cer a posi bi li dad
p p v ~
26

2. Equivale ncias Not able s
E
1
: Ley de la Involucin
( ) p p ~ ~

E
2
: Ley de la Idempot e nci a
p p p .
p p p v

En gener al :
...... p p p p . . .
...... p p p p v v v

No caer en er r or
p p p
p p p A

E
3
: Leyes Conmut at i vas
p q q p . .
p q q p v v
A A p q q p
p q q p

E
4
: Leyes Asoci at i vas
( ) ( ) p q r p q r p q r . . . . . .
( ) ( ) p q r p q r p q r v v v v v v
( ) ( ) A A A A p q r p q r
( ) ( ) p q r p q r

E
5
: Leyes Dist ri but ivas
( ) ( ) ( ) p q r p q p r . v . v .
( ) ( ) ( ) p q r p q p r v . v . v
( ) ( ) ( ) p q r p q p r . .
( ) ( ) ( ) p q r p q p r v v

E
6
: Leyes de M or gan
( ) p q p q ~ . ~ v ~
( ) p q p q ~ v ~ . ~

En gener al :
( )
1 2 3 1 2 3
..... .....
n n
p p p p p p p p ~ . . . . ~ v ~ v ~ v v ~
( )
1 2 3 1 2 3
..... .....
n n
p p p p p p p p ~ v v v v ~ . ~ . ~ . . ~

E
7
: Leyes del Condicional
p q p q ~ v
( ) p q p q ~ . ~
27

No caer en er r or :
p q q p ~ /
p q p p ~ ~ /

E
8
: Leyes del Bicondicional
( ) ( ) p q p q q p .
( ) ( ) p q p q p q . v ~ . ~

E
9
: Leyes de Absorci n
( ) p p q p . v
( ) p p q p v .
( ) p p q p q . ~ v .
( ) p p q p q v ~ . v

E
10
: Leyes de t ransposicin
p q q p ~ ~
p q q p ~ ~
A ~ A ~ p q q p

E
11
: Ley de Export acin
( ) ( ) p q r p q r .

En gener al :
| | | | ( )
1 2 3 1 2 3 -1
..... .....
n n n
p p p p r p p p p p r . . . . . . . .

Razonamient o Deduct ivo o I nfer encia Lgica
Ll amamos r azonami ent o l gi co o i nf er enci a a un conj unt o de pr oposi ci ones, en donde a par t i r de una o
ms pr oposi ci ones l l amadas pr emi sas, se ext r ae ot r a l l amada concl usi n . Si l a i nf er enci a const a de do s
pr emi sas, ent onces se di ce que l a i nf er enci a es un si l ogi smo.

El r azonami ent o o i nf er enci a es un condi ci onal de l a f or ma si gui ent e:

( )
1 2 3
.... . . . .
n
p p p p q

Tambi n pu ed e escr i bi r se en f or ma ver t i cal as:

1
2
3

n
p
p
p
p
q
.

Donde
1 2 3
" , , , .... "
n
p p p p son l as pr emi sas y q es l a concl usi n.
28

Una i nf er enci a puede ser vl i da o i nvl i da. Es i ncor r ect o cal i f i car l a de ver dader a o f al sa. Cuando l a
condi ci onal es una t aut ol oga se t i ene una i nf er enci a vl i da o ar gumen t o vl i do, si l a condi ci onal es una
cont r adi cci n se t i en e en t onces una i nf er enci a i nvl i da o f al aci a.

Exi st en d os t i pos de r azonami ent os el i nduct i vo y d educt i vo. El ra zona mient o induct ivo es aquel pr oceso
en el qu e se r azona par t i endo de pr emi sas par t i cul ar es par a l l egar a una concl usi n gen er al . En st e caso l a
concl usi n t i ene un car ct er de pr obabi l i dad r espect o a l as pr emi sas.

Ej empl o:
(a) Juan comi muchos car amel os y l e hi zo dao.
Jos comi muchos car amel os y l e hi zo dao.
. .
Al ex comi muchos car amel os y l e hi zo dao.
Pr obabl ement e si comes mu chos car amel os t e haga dao.

(b) El or o es un met al y per mi t e l a conducci n de l a el ect r i ci dad.
La pl at a es un met al y per mi t e l a conducci n de l a el ect r i ci dad.
. .
El cobr e es un met al y per mi t e l a conducci n de l a el ect r i ci dad.
Pr obabl ement e t odos l os met al es per mi t an l a conducci n de l a el ect r i ci dad.

La concl usi n es ms pr obabl e que sea ver dad er a si se t i en en ms casos ar t i cul ar es ver dader os

En mat emt i ca nos i nt er esa est udi ar f undamen t al men t e el ra zonami ent o deduct ivo donde l a concl usi n se
der i va necesar i ament e d e l as pr emi sas. Est e r azonami ent o par t e d e pr emi sas gener al es par a l l egar a
concl usi ones par t i cul ar es.

Ej empl os:
(a) Todo mamf er o es ani mal .
Toda vaca es mamf er o.
Toda vaca es ani mal . Concl usi n ver dader a.

(b) Todo f el i no es car nvor o.
Todo conej o es f el i no.
Todo con ej o es car nvor o. Concl usi n f al sa

En ambos ej empl os l a i nf er enci a es vl i da, ya qu e l a concl usi n (sea ver dader a o f al sa) se d er i va
l gi cament e de l as pr emi sas.

Not a:
Una pr opi edad d e l as i nf er en ci as vl i das es qu e si l as pr emi sas son ver dad er as en t onces l a concl usi n ser
t ambi n ver dader a.

M t odo Abreviado
Es un pr ocedi mi ent o qu e evi t a l a l abor i osa t ar ea de desar r ol l ar l a t abl a de val or es par a det er mi nar l a
val i dez d e una i nf er enci a. Est e mt o do consi st e en anal i zar l a ni ca posi bil i dad de f al sedad d el condi ci onal
p q .
29

Como sabemos p q r esul t a f al so cuando el ant eceden t e p es ver dad er o y el co nsecuent e q es f al so,
l uego:

( )
1 2 3
...
...

. . . .
. . . .
_
_
n
p p p p q
V V V V
V F
F

Par a r eal i zar est e mt odo segui r emos l os si gui ent es pasos:
(i ) Asi gnar el val or de ver dad V a l as pr emi sas y F a l a concl usi n.
(i i ) Dedu ci r el val or d e ver dad de cada una d e l as pr oposi ci ones t eni endo en cu ent a l as r egl as de cada uno
de l os conect i vos l gi cos.
(i i i ) Si cada una de l as pr oposi ci ones t i ene un sol o val or de ver dad ent onces l a condi ci onal es r eal men t e
f al sa y por l o t ant o l a i nf er enci a es i nvl i da.
(i v) Si una pr oposi ci n t u vi er a dos val or es de ver dad a l a vez, se demuest r a ent onces que no es posi bl e l a
conj unci n de pr emi sas ver dader a y l a concl usi n f al sa. Por l o t ant o l a condi ci onal es ver dader a (hay
i mpl i caci n) y l a i nf er enci a es vl i da.

Ej empl o:
Det er mi nar l a val i dez de l a si gui ent e i nf er enci a: [ ( ) ] . ~ ~ p q q p

Resol uci n.

[ ( ) ] . ~ ~
_
p q q p
V F V

Si : v( ~ p )= F v(p)= V
v( ~q )=V v(q)= F

Luego: v ( p q )= F
Como p q t i ene dos val or es de ver dad, ent onces el supuest o es absur do

La i nf er enci a es vl i da.

I mplicaciones Lgicas Not ables

1. Ley de M odus Ponens
( ) ( .

p q p q

Esquema Cl si co

~
p q
p
p

Si se af i r ma el ant ecedent e de una pr emi sa condi ci onal , se concl uye en l a af i r maci n del consecuent e.
30

Ej empl o:

Si Jos apr ueba l gi ca pasa al 2do ao.
Jos apr ueba l gi ca.
Jos pasa al 2do ao.

2. Ley del M odus Tol lens
( ) ( . ~ ~

p q q p

Esquema Cl si co

~
~
p q
q
p

Si se ni ega el consecuent e de una pr emi sa condi ci onal , se concl uye en l a negaci n del ant ecedent e.

Ej empl o:

Si New t on naci en Fr anci a, ent onces es f r ancs
New t on no es f r ancs
New t on no naci en Fr anci a.

3. Ley del Si logi smo Di syunt ivo
( ) ( v . ~

p q p q
( ) ( v . ~

p q q p

Esquema Cl si co

v
~
p q
p
q

v
~
p q
q
p

Si se ni ega uno de l os mi embr os d e l a pr emi sa di syunt i va, se concl uye en l a af i r maci n del ot r o
mi embr o.

Ej empl o:

Andr s es mat emt i co o i ngeni er o.
Andr s no es i ngeni er o.
Andr s es mat emt i co.

4. Ley de l a Inf erenci a Equi valent e
( ) ( .

p q p q
( ) ( .

p q q p
31

Esquema Cl si co

p q
p
q

p q
q
p

Si uno de l os mi embr os de l a bi condi ci onal es ver dader o, ent onces es ver dader o el ot r o mi embr o.

Ej empl o:

x es ml t i pl o de dos si y sol o si x es par
x es ml t i pl o de dos
x es par

5. Ley del Si logi smo Hi pot t ico
( ) ( ) ( ) ( .

p q q r p r

Esquema Cl si co

p q
q r
p r

Est a l ey i ndi ca que el condi ci onal es t r ansi t i vo.

Ej empl o:

7 es mayor que 4.
4 es mayor que 1.
7 es mayor que 1.

6. Ley de l a Transit ividad Simt rica
( ) ( ) ( ) ( .

p q q r p r

Esquema Cl si co

p q
q r
p r

Est a l ey i ndi ca que el bi condi ci onal es t r ansi t i vo.

Ej empl o:

2 di vi de a x si y sol o si x es par .
x es par si y sol o si x es ml t i pl o de 2.
2 di vi de a x si y sol o si es ml t i pl o de 2.
32

7. Ley de l a Si mpli ficaci n
( ) . p q p
( ) . p q q

Esquema Cl si co

.
p q
p

.
p q
q

De una pr emi sa conj unt i va se pu ede concl ui r en cual qui er a de sus mi embr os.

Ej empl o:

Jul i o y Paol a son est udi osos.
Juli o es est udi oso.

8. Ley de l a Adicin
v p p q
v q p q

Esquema Cl si co

v
p
p q

v
q
p q

Una di syunci n est i mpl i cada en cual qui er a de sus mi embr os

Ej empl o:

New t on f ue mat emt i co.
New t on f ue mat emt i co e i nvent l a pl vor a.

9. Ley del Absur do
( ) ( . ~ ~

p q q p
( ) ( ~ . ~

p q q p

Esquema Cl si co

( ) . ~
~
p q q
p

( ) ~ . ~
p q q
p

Si una cont r adi cci n se deduce de una pr emi sa condi ci onal , se concl uye en l a negaci n del ant eced ent e.

33

Ejer cicios 3

1. Si l a pr oposi ci n si gui ent e ( ) ( ) { }
p q q r s . v (

~ ~ es ver dader a, hal l e l os val o r es de ver dad d e p,
q, r y s.

2. Si l a pr oposi ci n ( ) ( ) p q s t . v ~ ~ es f al sa, cul de l as si gui ent es pr oposi ci ones son ver dader as.
(a) ( ) p q r (

~
(b) ( ) p q t r v . ( v

~

3. Admi t i endo que l a pr oposi ci n ( ) ( ) p q r s t u v v . . ~ ~ es f alsa, hall e el val or de ver dad de:
(a) ( ) ( ) p s q t u . v ( .

(b) ( ) ( ) ( ) ( ) p q q r s t t u v v ( . A . (

~

4. Demost r ar , por l a t abl a de val or es o p or el mt odo abr evi ado, si l os si gui ent es esqu emas son o no
r egl as de i nf er enci as vl i das.

( )
( )

p q
p q
q
~
~
~

p q
q p
p q

p q
p q
q
.
~
~

( ) ( )

p q r s
p r
q s
.
v
v

Si mpl i f i que cada una de l as pr oposi ci ones apli cando l as equi val enci as l gi cas.

5. ( ) p q p q v (

~
6. ( ) q t t v ~ ~
7. ( ) ( ) p q r p q r A ( . A (

~ ~ ~
8. ( ) ( ) { }
t t r p q v (

~ ~ ~ ~ ~

Lgica Cuant i fi cacional

Sean l os enunci ados abi er t os:
(a) ( ): 0 3 P x x < <
(b) ( ) ( )
2
: - 1 0 Q y y s
(c) ( )
( ) 1
: 1 2 3 ...
2
n n
R n n
+
+ + + + =
(d) ( )
2 2
, : 36 A x y x y + s

En l neas ant er i or es h emos vi st o qu e es posi bl e const r ui r pr oposi ci ones a par t i r de enu nci ados abi er t os.
Est o se obt i ene r eempl azando sus var i abl es por val or es de un conj unt o dado. As:
34

(a) ( ): 0 3 , si P x x x < < eN
Si ( ) 3 3 : 0 3 3 x P = < < es f al so.
Si ( ) 2 2 : 0 2 3 x P = < < es ver dad er o.

(b) ( ) ( )
2
: - 1 0 , si Q y y y s eR
Si ( ) ( )
2
1 1 : 1 - 1 0 0 y Q = = s es ver dader o.
Si
2 2
2 2 2 5
: - 1 0
3 3 3 3
y Q
| | | | | | | |
= = s
| | | |
\ . \ . \ . \ .
es ver dader o.

(c) ( )
( ) 1
: 1 2 3 ... , si
2
n n
R n n n
+
+
+ + + + = eZ
Si ( )
( ) 5 6
5 5 : 1 2 3 ... 5
2
n R = + + + + = es ver dad er o.
Si ( )
( ) 1 2
1 1 : 1
2
n R = = es ver dader o.

(d) ( )
2 2 2
, : 36; si , A x y x y x y + s eR
Si ( ) ( )
2
2
5 1 5, 1 : 5 1 26 36 x y A = . = + = s es ver dader o.
Si
2
2
2 2
6 1 6, : 6 36
3 3
x y A
| | | |
= . = + s
| |
\ . \ .
es f al so.

1. Funci n Proposicional
Se ent i ende por f unci n pr op osi ci onal a t odo enu nci ado abi er t o de l a f or ma ( ) P x que t i ene l a
pr opi edad d e con ver t i r se en pr oposi ci n cuando se sust i t uye l a var i abl e x por al gn val or o const an t e
k esp ecf i ca. Di cha const ant e p er t en ece a un co nj unt o d e val or es pr evi ament e def i ni do al qu e
l l amamos domi ni o (Dom). Luego, de l os ej empl os ant er i or es t en emos:

(a) ( ) P x es una f unci n pr oposi ci onal sobr e . N
(b) ( ) Q y es una f unci n pr oposi ci onal sobr e . R
(c) ( ) R n es una f unci n pr oposi ci onal sobr e .
+
Z
(d) ( ) , A x y es una f unci n pr oposi ci onal sobr e
2
. R

2. Cuant ifi cador Uni ve rsal y Exist encial
Hemos vi st o un mt odo par a obt ener pr oposi ci ones a par t i r de una f unci n pr oposi ci onal ( ) P x . Ot r o
mt odo compl et ament e di f er ent e es el de l os l l amados cuant i f i cador es .

Si a l a f unci n pr oposi ci onal
( ) P x l e ant eponemos l a expr esi n par a t odo o exi st e est ar emos obt eni endo nu evas pr oposi ci ones
cuant i f i cadas uni ver sal o exi st enci al ment e en f or ma r espect i va.

35

Sea l a f unci n pr oposi ci onal sobr e l os nmer os nat ur al es ( ): es un nmer o pr i mo, . P x x x eN Las
pr oposi ci ones cuant i f i cadas son:

( ) , x P x eN
Se l ee: Par a t odo x eN, x es un nmer o pr i mo.

( ) , x P x - eN
Se l ee: Exi st e un x eN, x es un nmer o pr i mo.

Cuant if icador Univer sal
Si a l a f unci n pr opor ci onal ( ) P x , donde l os val or es de l a var i abl e x est n def i ni dos sobr e un conj unt o D
( ) x Dom e l e an t eponemos l a expr esi n par a t o do x , est amos gen er ando una expr esi n uni ver sal d e
l a f or ma:

( ) : x D P x e

Tambi n puede escr i bi r se:
( ) , x D P x e
( ) / x D P x e

Ej empl os:
(a) ( )
2
, 1 0 x x e > R es ver dad er o.
(b)
( ) 1
, 1 2 3 ...
2
x x
x x
+
+
e + + + + = Z es ver dad er o.
(c) ( )
2
, 1 0 x x e > R es f al so, ya que no cumpl e par a 1. x =
(d)
2
1 0 , x x + > eR es ver dader o.

(e) Si { } 1; 1; 3; 4; 5 A =
- , x A x e eN es f al so, ya que 1 . eN
-
2
, 25 x A x e s es ver dader o.

Cuant if icador Exist encial o Part icular
Si a l a f unci n pr oposi ci onal ( ) P x , donde l os val or es de l a var i abl e x est n def i ni dos sobr e un conj unt o
D ( ) x Dom e l e ant eponemos l a expr esi n exi st e x , est amos gener ando una pr oposi ci n exi st enci al de
l a f or ma:

( ) : x D P x - e

Tambi n puede escr i bi r se:
( ) , x D P x - e

( ) / x D P x - e

36

Ej empl os:
(a) , 0 3 x x - e < < N , es ver dader o.
(b) / 2 1 x x - e = Z , es f al so.
(c) ( )
2
/ 1 0 x x - e > R , es ver dader o
(d) Si { } 2; 3; 5; 7 A =
-
2
/ 36 x A x x - e + > , es ver dader o.
-
3
/ 1 x A x - e < , es f al so.

(e) / es par y pri mo x x - eN , es ver dader o

Obser vacin:
Si l a pr oposi ci n exi st enci al ( ) , x A P x - e es ver dader a par a un ni co val or d e x en A, se escr i be
( ) ! , x A P x - e y se l ee exi st e un ni co val or de x A e , ( ) P x

- ! / 1 3 x x
+
- e < < Z es ver dader o.
-
2
! / 4 x x - e = N es ver dad er o.
-
2
! / 9 x x - e = Z es f al so.
- ( )
2
! / 1 9 a a - e + = R es f al so.

Negaci n de Cuant if i cadores

( ) ( ) , , x P x x P x ( -

~ ~
( ) ( ) , , x P x x P x - (

~ ~

Ejer cicios 4

1. Det er mi ne el val or de ver dad de l os si gui ent es enunci ados. Consi der e l os r eal es ( R) como conj un t o
uni ver so.

(a)
{ }
2
/ x x x e = R
(b) { } / 3 x x x - e = R
(c)
{ }
2
/ 5 6 0 x x x - e + = R
(d)
{ }
2
! / 4 5 0 x x x - e + = R
(e) { } / 5 x x x e s R
(f ) { } / 1 3 x x - e + s R
(g) { } / 1 3 x x e + s R
(h)
{ }
2
/ 10 8 x x e s R
37

2. Si { } U 1; 2; 3; 4; ... ; 100 = , det er mi n e cul es de l as si gui ent es pr oposi ci ones son ver dad er as:
(a)
{ }
2
/ 2 x x x - e + = Z
(b) { } U / 1 U x x e + e
(c) { } U / 10 3 0 x x e </
(d) { } U / 1 2 x x - e >
(e)
{ } U/ 13 2 x x - e >

3. Negar l os si gui ent es enun ci ados.
(a) ( ) ( ) { } / x P x Q x - v ~
(b) ( ) ( ) { } / x P x Q x - ~
(c) { } , / . 0 x y x y - =
(d) ( ) ( ) ( ) ( ) ( ) ( ) { }
x P x y Q y . -
(e) ( ) ( ) ( ) ( ) ( ) ( ) { }
y Q y x P x - ~

4. Sean { } 1; 2; 3; 4 A = y { } 2; 3; 5; 7 B = . Cul es de l os si gui ent es enunci ados son ver dader os?
(a) , / , x y A x y z z B - e + > e
(b) { } , / x B y A x y A e - e e

5. Si { } 0; 1; 2; 3; 4 A = , hal l a el val or de ver dad de l as si gui ent es pr oposi ci ones.
(a) : / 3 1 5 p x A x - e =
(b) : , es un f act or de 6 q n A n e
(c)
2
: / 1 0 r x A x - e + <
(d)
2
: / t x A x x e >

6. Sea { } U / 3 11 x x = e s < R , hall ar el val or de ver dad de ( ) ( ) p q p q v . ~ ~ .
( )( )( )
2
: U U U / p x y z x y z e - e e <
( )( ) : U U / 11 q x y x y e - e + =

Lógica Proposicional

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Lógica Proposicional

Загружено:

Авторское право:

Доступные форматы

Mat emt i ca Bsi ca

1. Noci ones de Lgi ca Pr oposi ci onal

Вам также может понравиться