Amarilis Sagredo - Eduardo Luna

NOCIONES DE LOGICA SIMBOLICA

UCMM
1988

NOCIONES DE LOGICA SIMBOLICA Amarilis Sagredo - Eduardo Luna

(Sexta Edicin)

, 1988, para la Sexta Edicin,

Coleccin de "Textos" UCMM Director. Bienvenida Polanco Impreso en la Repblica Dominicana Printed in Dominican Republic

Taller,

Isabel

la Catlica

309, Santo

Domingo,

Repblica

Dominicana

TABLA PE CONTENIDO PAGINA NOTA DE LOS AUTORES........................................ CAPITULOS 1. CALCULO PROPOSICIONAL 1.1 1.2 Propo~ici6n Proposiciones Conjunci6n.. ....... . 1 1 6
.1V

................ compuestas... ...... ..............................

1.3
1.4 1.S 1.6 1.7 1.8 1.9

Npgaci6n..................................
Disyunci6n ........... Tablas de verdad.......................... Equivalencia Condicional de formas proposicionales . ~ . Bicondicional ......

8
9 12 14 22 24 26 32 33 36 38 42 43 55 60 63
69

1.10 Totalidad de formas proposicionales con Jos componentes at6mic0d .. :. 1.11 Clasificaci6n
les

de las fo~as

proposiciona.

compues t..:.as

1.12 Condicionales 1.13 Negaci6n 1.14 Tautolog!as 1.15 Relaciones 1.17 Argumentos

der~vadas ........ compuestas ..

de proposiciones

de mayor uso .... l6gicas .....

1.16 Formas argumentales ......

1...

1.18 Procedimientos para determinar la validez de una forma argumental 1.19 M~todos
Materri

de demostraci6n

usados en 75 75 78

tic a . . . . . . . . . . . . . . . . . . . .
DE PRIMER ORDEN abiertas.................... unive~sal ..
i

2.

CALCULO DE PREDICAPOS 2.1 2.2 Proposiciones Cuantificador

PAGINA 2.3 2.4 2.5 Argumentos que contienen proposiciones

un!versales. .............................. 83

Cuantificador existencial .. 87 Otro cuantificador existencial 93 2.6 Argumentos que ~ontienen proposiciones existenciales ... 93 2.7 Relaci6n entre el cuantificador universal y el cuantificador existencial ... 96 2.8 Proposiciones que contienen varios cuantificadores ... 99 2.9' Negaci6n de proposiciones y formas proposicionales con dos o mas cuantificadores 102
IND 1 CE. . ~ . .'. 10 5

NOTA DE LOS AUTORES EN LA PRIMERA EDICION

Nociones a estudiantes Matem~tica esenciales

de L6gica Simblica

es una obra dirigida y alumnos que cursan universitalos conocimientos para abordar el

de Escuela Secundaria

en el Ciclo Bsico de sus estudios proporcionar Contempornea. en dos aspectos de Lgica Simb61ica necesarios

rios. Tiene un objetivo: estudio de la Matem~tica Hacemos hincapi lenguaje ejercicios.

fundamentales: y

sencillo y preciso, y referencias

elevado monto de ejemplos de autores. Esperamos

No pretendernos agotar temas ni abultar con que llenen esos vac10s que, aunque no tienen para los alumnos de este nivel, sirpara fortalecer dejar constancia Velzquez, su mundo cultural. de nuestro profundo NGez, a Eddy D1az, Carmen Liriano, Reina Catlica Madre y Pedro de Publiposible la estuvo y en Administrativo,

historiograf1as los profesores

mucha trascendencia ven ocasionalmente Queremos agradecimiento Alina Morales, Maestra,

al profesor Federico

Apolinar

Sosa, y especialmente Pablo Cordero, caciones,

a la Universidad

a travs de su Vicerrector y del Director

del Departamento

Danilo de los Santos. Ellos hicieron labor intelectual

edici6n de esta obra. Nuestra constantemente sus estimulos nosotros sosteniqa enaltecedores.

por su trabajo desinteresado Sie~pre estar presente ayuda . Los Autores

esa extraordinaria

CAPITULO

.CALCULO PROPOSICIONAL En nuestro. lenguaj e ordinario Pienso en mi habitaci6n. Yo nunca me sienta en un banco. Ayer hice una operaci6n. Adems, comunidad, en cuanto instrumento adquieren de comunicaci6n significativos de una p~ladiferentes. de grupos sociales, de profesionales, muchas se perciben ambigedades-:

bras o expresiones distinto,

matices

Debido a esto, en Matemtica, que no est~ viciado simb61ico, ordinario. universalidad.

ha de usarse un-lenguaje y la falta de o exactia la L6gica que, aunque

por la ambigedad

Para ello, se recurre

maneja un lenguaje tud ~ue el lenguaje serie de reglas La presentaci6n apuntes. 1.1 Proposici6n Al concepto Recordemos oraciones:

aporta mayor precisi6n

Esto se logra mediante -una de estos

bien claras y definidas. de esas reglas es el prop6sito

de proposici6n

nos acercaremos

intuitivamente. las interrogaenuncian si lo que

que el lenguaje

reconoce De ellas,

cuatro tipos bsicos de las declarativas de decidir

las declarativas, o disconformidad

la~ exclamativas, objetiva

tivas y las imperativas. la conformidad

del sujeto con el pre-

dicado, por lo cual estamos se dice es cierto' o no. Definici6n 1.1

en capacidad

Proposici6n: tiempo.

Es una oraci6n

declarativa

de la cual se puede .afirmar que es verdadera que es ambas cosas al mismo Entendemos, que una proposici6n

o falsa, pero no cuando lo

es verdadera,

que declara est en conformidad con los hechos, con la realidad. 'observemos con cuidado os sigufentes ejemplos: La oraci6n: Miguel de ~Cervantes escri'bi6'la obra El Inge. , . ,. nioso Hidalgo" Don Qui jote de 'la Mancha, es una pz'opo sfcfn ver-dade ra-,

Ahora b.eri , la oraci6n: Un cuadrado es una figura plana que tiene tres lados, es una proposici6n falsa, porque sabemos que la figura a la cual se le llama cuadr-ado tiene cuatro lados y no tres. Por otra parte, si consideramos la oraci6n: E*isten seres vivientes en el planeta Venus, aceptamos que es una proposici6n, puesto que es una oraci6n declarativa que es verdadera o falsa, y no ambas'cosas' al mismo tiempo, pero tambi~n aceptamos que no tenemos los suficientes conocimientos para asegurar su veracidad o su'falsedad. Estos ejemplos ilustran ~na situaci6n muy interesante: que no es a a L6gica'a quien le toca informar acerca de la veracidad o falsedad de una proposici6n, sino a la experiencia. Definici6n 1.2 A la verdad o falsedad de una proposici6n se le l~ama valor de verdad de la proposici6n. Es importante hacer notar que no todas las oraciones declarativas son proposiciones, puesto que para que lo ~ean es necesario que podamos a.s qna.r Le s un n co valor de verdad. Por ejemplo, la oraci6n: Esta oraci6n declarativa es falsa, no es una proposici6n porque no tiene u~ {nico valor de verdad. Veamos: si decimo$ que ,su valor de verdad es falso, entonces la oraci6n declarativa es verdadera, porque, precisamente, lo que establece es que es una oraci6n f a Laa , Tampoco es verdadera, porque en este caso no est de acuerdo con lo establecido por la oraci6n. N?te, que este tipo de oraci6n lleva implicita una contradicci6n en si misma. Consideremos la oraci6n: x es ~~ n{mero par~ A esta oraci6n no es posible asignarle un {nico valor de verdad, puesto qua didho valor depende del objeto por el cual sustituyamos a x. Al susti,t~iJ:,,~,a x por e L objeto. '.'dos", por ~jemplo, la oraci6n

declarativa se convierte en: Dos es un nOmero par, que es una oraci6n verdad~~a, pero si sust!tuimo~ a x ~r el obje~o "tres, obtenemos: Tres es un ndmero .pa~, que , es una oraci6n falsa. En consecuencia, una oraci6n como dsta no es una.proposici6n . Por otra parte, una oraci6n como: El mundo es as, no es susceptible de asignarsele un valor de verdad sin conocer el contexto donde esta referida. Est.o es, por s sola es una orac16n que carece de sentido ~r t~nto, d~ valor de verdad, asf que no'es una proposici6n.
, "

y,

BjerCi'cios 1.1 1. Clasifique'las siguientes oraciones, en declarativas, interrogativas, exclamativas o imperativa.s .. a) Haga fila y c'llese. b) Qui~n te pe16 que las orejas.te,d.j6? e) Los mdsicos son animales domesticado,s., eh) La lluvia cae y moja. d)~tC6mo me martirizas cuando no me al;>razas! e) Saque la lenq'ua. f) El ruido es un conjunto de silencios. q) Un cretense dijo: Los cretenses siempre mienten. h) Si es capaz de razonar, entonces .es humano. i) Cuando brilla la luna? j) x + 2 es igual a cero. k) El hombre es un, animal implume. 1) lOud comiste que te ensuciaste el ,bigote? 11) Hay tanto para contar. m) ,Cuanto me d~ele la cabeza! n) Esta oraci6n declarativa es verdadera. ). S6 razonable frente a sus peticiones. o) No es ei~rto que 25 + 7 = 31. p) ll)(5nde pasaste las vacaciones? q) Hoyes domingo. 2. Identifique las proposiciones del ejerccio"an~tiot.
,

------

3,.Complete .. las siguientes .proposiciones: a) El nmero es par y b) La suma de es un nmero par. c) Los ngulos son congruentes. 9h) Los tringulos con igual base y altura d) El nmero uno es menor .que e) Un nmero entero compuesto se puede expresar

-----

f) Si el tringulo ABe es congruente con el tringulo A'B'C', entonces g) Un rectngulo es un con un ngulo h) El orden de los f ac'coz-e s , i) La intersecci6n de

Nos interesa ,trabajar con representaciones simb6liqas de las proposiciones ms que con pro.posiciones especficas, parauu fi~usaremos letras minsculas, tales como p, q, r, etc. Ahora bien, en estos casos nos enfrentarnos a un problema de terminologa ya que, dichos smbolos, por s solos, no constituyen una :. proposici6n, pues-ce.que no, son susoept.i.b Le s de asignrseles un valor de verdad corno requiere la definici6n de' proposici6n, sin antes conocer la oraci6n que representan. Sin embargo, dichos smbolos se conv er t en en proposiciones en el momento en que se reemplazan por proposiciones especficas. Definici6n 1.3 Un smbolo p que puede ser sus~itu!do por.. una proposici6n 'cualquiera recibe el nombre de, forma proposicional. La importancia de trabajar con for~as proposicionales estriba en que pueden establecerse propiedades de ellas, que seguirn siendo vlidas no importando' qu proposici6n repre. " 'senten, y sin Los problemas de inte.rpretaci6n que acarreara el cono.cer dichas proposiciones.

Si P denota una proposici6n o una forma proposicional~ escribiremos v(p) para indicar el ~alor de verdad de p.
'.

Ejemplos:

q: r: s:
t:

La colecci6n de los ndmeros primos es infinita. El agua del mar es dulce. HaY'perros que muerden. 4 + 6

10.

En estos ejemplos: v(q)= V, v(r)= F, v(s)= V y v(t)= V Ejercicios 1.2 1. Cules de las siguientes expresiones son proposiciones? a) s cauteloso. b) Juan fue mordido por un perro. c) l-1ara tiene 16 aos y Elena es rubia" ch) El profesor de Biologa no es simptico. d) Cundo viene tu hermano? e) Pedro me acompaar o Antonio se enfadar. f) Me gusta ese cantante~ g) Hay ~uchas butacas vacas en el cine. 'h) Dej de ver televisi6n y lo acompa a la fiesta. i) Deja de ver televisi6n y acompame a la fiesta.
j)

(85

+ 78) 2 =' 852 + 2 (85) (78)

+ 782

k) Si te esfuerzas, no repetirs el curso. 1) Compraste un'auto? 11) C6mprate un auto. m) Todos los ratones le temen a los gatos. n) Qu obra tan noble~ ) x2 + 1. o) Asunci6n s~be jugar canasta o tiene mucha suerte. p) Si vas a casa de Julia, entonces encontrars a Virginia. q) No es verdad que los leones comen queso. r) Existen seres vivientes en Marte. s) Crist6bal Co16n cultiv6 el estudio de la Matemtica. 2. Escriba tres proposiciones que tengan valor de verdad

verdadero y tres proposiciones cuyo valor de verdad sea falso.

1.2 Proposiciones

Compuestas

Las oraciones: Siete es un ndmero primo, Pepe estudia ingeniera, El profesor me cae mal, son llamadas proposiciones simples 0at6micas. Pero este tipo de proposici6n es insuficiente para expresar la terminologa matemtica. '. Ejemplos: 1) Seis no es un divisor de trece. 2) Dos es un n6mero primo y par. 3) Un ndmero entero es par o impar. 4) Un tringulo es is6sceles si y,s6lo si tiene dos lados congruentes. 5) Si un paralelogramo tiene un ngulo recto, entonces es un rectngulo. Definici6n 1.4 Usando los llamados conectivos l6gicoS2 "no", "y", "o", "si Y s6lo si", "si , entonces ", conseguimos nuevas proposiciones a partir de 'las proposiciones 's~pIes. Las proposiciones as formadas se llaman proposiciones compuestas. * Ejercicios

1.s

1. Indique si las proposiciones siguientes. son simples o compuestas. a) El 25 por ciento de $200 es $50. b) Veintiuno es un ndmero impar y es m6ltiplo de. siete. e) El afio 1979 es bisiesto. eh) Tres tercios es un entero o dos monedas de veinticinco centavos valen lo mismo que Ulla de cincuenta. d) Cuatro es el cuadrado de dos.

De manera anloga podemos definir las f0r..mas_.proposicionales simples y compuestas.

e) El nmero seis no es menor que el nmero tr.es. f) El inverso mul tiplicati vo de un nmero real es nico.' 'g) Si dos rectas son perpendiculares, entonces forman cuatro ngulos rectos. h) La suma de las medidas de los ngulos de un cuadri~ ltero es 360. i)

q~

p'aralelogramo es un rectngulo si y s6lo si tiene

un ngulo recto~ 2. Construya proposiciones llenando los espacios en planco: a) Un cuadrado es un b) Un tringulo is6sceles tiene c~ Un tringulo es ch) Un nmero entero positivo es d)'Un cuadrado e) Un nmero impar f) Dos rectas son paralelas si y s6lo si y estn en un mismo plano. g) Dos rectas coinciden si y s6lo si en comn. h) Si un nmero es primo entonces, son s6lo uno y l mismo. i) Si un paralelogramo es _ y un y o acutngulo o o ngulos agud<:>s. cornodivi~or.

------------------- ~entonces

sus diagonales 'son congruentes. 3. Construya proposiciones llenando los espacios en blanco: no

a)
b)

c)
ch) Si
}i)

o entonces si y s610 si

Utilizando las formas proposicionales suelen representarse los posibles valores de v~rdad de las proposiciones compuestas

en las llamadas tablas .de verdad.

Estas no son ms que'

arreglos de filas y columnas donde 'se contemplan todas las po. , sibes combinaciones de valores de verdad de los componentes at6micos de las proposiciones Veamos, a continuaci6n, las proposiciones 1.3 Negaci6n Definici6n 1.5 Dada una proposici6n, a la proposici6n su negaci6n se Es compuestas. compuestas, y el valor de ver- de dad en cada combinaci6n, de dichas proposiciones. los nombres y caracterstias

forma anteponiendo

las expresiones:

falso que, no es verdad que. Tambin, siempre que sea posible, Ln se'r tiando la partcula Ejemplos: una proposici6n, 1) Venezuela "no" en la proposici6n. es un pas petrolero, es

y su negaci6n puede ser escrita: es un pas petrolero. es un pas petrolero.

Es falso que Venezuela Venezuela equiltero

No "es verdad que Venezuela 2) La ~egaci6n de: gulo equiltero primo, es: tri~gulos gruentes.

no es un pas petrolero. Los n~ulos de un tringulo es: Los ngulos de un trin-

son congruentes,

no son congruentes. El nmero dos es el primer nmero Los lados correspondientes es: en

3) La negaci6n de: 4) La negaci6n de: semejantes correspondientes

El nmero dos no es el primer nmero primo. son congruentes, Los lados

en tringulos

semejantes no son con-

~) Pedro no sembr6 esa mata de guineo, es la negaci6n de la proposici6n: Pedro sembr6 esa mata de guineo .. es una de lak fbr6) Es falso que Juan es antiptico, Juan es antiptico. 7) La negaci6n de: Felipe vive en Egipt~ es: dad que Felipe vive en Egipto. No es ver-

mas en que se puede escribir la negaci6n de la proposici6n:

Notaci6n: denota -cp .

Sea:p una propo~ici6n, la notaci6n La negaci6n

entonces

sU negaci6n

se

'Es decir, oe verdad:

para el conectivo de una proposici6n

"no", es: -v , verdadera fal-"

Valor

es una proposici6n

falsa y la negaci6n verdadera. 1.1: Utilizando

de una proposici6n

sa es una proposici6n Tabla de verdad podemos resumir

las formas

proposicionales,
I

lo anterior

en una tabla de verdad 2

de la manera

siguiente: Col. 1 Col.

Fila Fila Ejercicio 1.4

1: 2:

F V

1. Escriba indique

la negaci6n su valor

de las siguientes

proposiciones

de' verdad. tiene un nico valor de verdad.

a) Una proposici6n b) La negaci6n sici6n

de una proposici6n

falsa es una propo-

falsa. proposicional es una proposici6n. p-roposicional. se forman utilizando los

c) Una forma

ch) La expresi6n

"'p es una forma compuestas

d) Las proposiciones conecti~os e) Una oraci6n f) Una oraci6n g) Un cuadrado h) Un rombo

l6gicos. declarativa interrogativa es una proposici6n. puede ser una proposici6n.

es un rectngulo.

es un cuadrado. enteros es conmutativa.

i) La suma de nmeros 1.4 Conjunci6n Definici6n conectivo 1.6

Al unir dos proposiciones ia conjunci6n de dichas natural

mediante

el

y, obtenemos

proposiciopes.

Ejemplos: La gallina .de ellas

1) lo es un satlite

de Jpiter, La conjunci6n

es un mamfero,

son proposiciones.

05:

10

lo es un satlite natural. ' de '.Jpiter y la gallina .es un ~ mamfero .' Al lector le llamar la atenci6n el ejemplo a~terior p~I
"

estar acostumbrado a que el uso de la conjunci6n

I

"y", en el

le~guaje ordinario, supone una estr~cha relaci6n entre las oraciones'ertlazadas por dicha conjunci6n, 1, claramente, tal re~aci~n n~ ex st e entre los componentes de la conjunci6n an

\......

..

terior.

Por esta raz6n es opor~uno aclarar qu~ a la L6gica

le interesa obtener nuevas proposiciones y no los contenidos de esas proposiciones. 2) El gorri6n es un ave y los lagartos son reptiles. 3) El roble es una gramnea y la yuca es un tubrculo.

41 El tring'ulo e,qu;il'tero es'equingulo y no es un

polgono regular. 5) El nmero dieciocho es un ndmexo .par y es divisible por tres.
6)

Toms fue
,

la librera Y: Evelyn al cine. es un

7) Un ngulo inscrito en una semicircunferencia

ngulo re~ct<? y los ~os segmentos tangentes a u,nacircunferencia desde un punto exterio'r son segm'entos congruehtes. Notaci6n: Sean~p, q, dos proposiciones, p Aq.
A.

entonces la

conjunci6n de ellas se denota:

Es decir, el conectivo .

"y" se denota:

Valor de verdad:

Una conjunci6n es una proposici6n

verdadera, cuando sus dos componentes Tabla de Verdad 1.2:

son proposiciones verda-

deras, y e~ una proposici6n falsa en los dems,casos. El valor de verdad, anterior est contenido en la tabla de verdad de la forma proposicional: p A. q:

--

Col. 1
p

Col. 2

Col. 3
P A'q

q
V

Fila 1: Fila 2: Fila 3 : Fila, 4 :

V V F F

V' F 'F
F.

r
V F

11

Ejercicios

1. S,

1. Determine el valor de verdad de las conjunciones sigu'ientes: a) Una proposici6n es una oraci6n declarativa y tiene un dnico valor de verdad. b) Una oraci6n declarativa es una proposici6n y una forma proposicional no es una proposici6n. e) Un rect4ngulo es un cuadri14tero y un polgono regular. eh) Espaa, es una isla y Jap6n no lo es. 2. Complete los espacios en blanco seg6n lo indicado y determine, luego, el valor de verdad de las conjunciones obtenidas.
a) y

(Proposici6n
b)

verdadera) falsa)
y y

(proposici6n (proposici6n

falsa) falsa)

--~----~~~--~~~-(Proposici6n

e) ,

--~(~P~r-o-po-s~i:-c"""i"""62""n--f:-a"""1:-s-a~) -(Proposici6n verdadera)

ch)

(Propo sie ian ','verdader a)

y'~

-:-(=P-r-o-p-o-s-=i-c-=i:-::6r-n--v-e-r-d,.

3. Determine el o los valores de verdad de: a) (p Alq) si \I(p)= V Y v(q); F. b) (p A q) si v(p)= F y ,,(q)= F. e) p si \)(pAq)= v. eh) q si v (p A q) = v. d) P si v Ip A q)= F Y v(q)= V. e) q si v(p A q)= F Y v(p)= F. f) P si v("'(pA q= F. g) (p A q) si 'v("-p)=V. h) "'(pA q) si v(p)= V y v(q)= F'. i) ",(pA q) si \)(p)= V.
"

12'

i. 5 Disyunci6n
Definici6n 1.7 conectivo~, Dos proposiciones unidas mediante el

forman una nueva proposici6n llamada disyunci6n.

Ejemplos: 1) Consideremos las proposiciones: Un tringulo es una figura plana, Beethoven compuso nueve sinfonfas. La disyunci6n de ellas es: Un tringulo es una figura plana ,o Beethoven compuso nueve sinfonfas. 2) Dos al cuadrado o dos por dos es igual a cuatro. 3) Un ngulo tiene ms de una bisectriz o un tringulo tiene una sola altura. 4) Dos puntos determinan una recta o los radios de una circunferencia no son c'ongruentes. 5) Un tringulo r~~tngU10 es equiltero o la longitud de uno de sus catetos es mayor que su hipotenusa. 6) Jess se har rico o morir en el empeo. 7) Carlos traer la ensalada o el dulce. iNot~ci6n: ,ellas se denota: Dadas las proposiciones:p, q, la disyunci6n de p v q. Es decir, el conectivo "o" se repre-

senta ~or v. Valor de verdad:

Una disyunci6n es una proposici6n falsa En loS de-

cuando ambos componentes son proposiciones falsas. ms casos es una proposici6n verdadera.

Tabla de verdad 1.3: El valor de verdad anterior est contenido en la tabla de verdad de la forma proposicional:p v q. Col. 1 p Fila 1: Fila 2 : Fila 3 : Fila 4 : Observaci6n: V
V

Col. 2 q V F V F

Col. 3 p v q
V V V

F F

En el caso del conectivo "no" y del conectivo "y", notamos que coinciden con las partfculas "noll, lIy" del lenguaje ordinario. En el caso del conectivo
110",

esta

coincidencia es s6lo parcial, porque, la partfcula "o" en el

13 lenguaje ordinario tiene dos sentidos.

,

Uno de ellos es el

llamado "exclusivo". En este caso, se excluye la posibilidad de que ambos componentes sean verdaderos al mismo ti~mpo. Por ejemplo, si decimos: pero no ambos. Pepe naci6 en Argentina o en Puerto Rico, se entender que s610 es posible uno de los dos casos, El otro sentido es el llamado "inclusivo". Un ejemplo es: Este tringulo En este caso,puede ser cierto s610 uno de los componentes y tambin pueden serlo los dos. es is6iceles o equiltero. En nuestro estudio de la L6gica .no s hemos decidido por el sentido inclusivo del conectivo "o" como ppede verse en la tabla de verdad 1.3. Esto es, la forma proposicional:p v q, significa "p" o "q",o ambos. ~jercicios 1.6 1. Determine el valor de verdad de las disyunciones siguientes: a) La negaci6n de una proposici6n verdadera es una proposici6n falsa o la conjunci6n de proposiciones falsas es una proposici6n falsa. b) Una proposici6n es una oraci6n exclamativa o no es verdad que tiene dos valores de verdad. e) La disyunci6n de dos proposiciones falsas es una proposici6n verdadera o la negaci6n de una proposici6n falsa es una proposici6n falsa. eh) Un tringulo es un polfgono o no hay polfgonos regulares. 2. Llene los espacios en blanco y luego, determine el valor de verdad de las disyunciones obtenidas: a) (Proposici6n falsa) b) (Proposici6n falsa) c) (Proposici6n verdadera)'

o (Proposici6n verdadera)

o
(Proposici6n falsa)

(Proposici6n verdadera)

14

.~)
(Proposicin verdadera)

o
(Proposici6n falsa)

3. Determine el o los valores de verdad de: a) (p v q) si v(p)= V. b) (p v q) si v(p)= F. c) p si ",(pv q)= F.

eh) q si v(p v q)= V Y v(p)= F.

d) q si v(p v q)= V Y v(p)= V. e) (p v q) si v('Vp)=V y \1(q)=F. f) (p A (p v q si v(p)= V. g) (p v (p v q) si v(q)= V.

h) (p A q) v (p v q) si v(p)= V.
i) (p A q) A (p v q) si v(p)= V y v(q)==F. Es conveniente aclarar que la notaci6n usada en este libro no es un..ver saL, esto es, puede, y de hecho lo hace, variar de un autor a otro. Despu~s de todo, lo importante es el conAhora bien, el cepto y no el smbolousado para representarlo. mulaciones complicadas. sin como:

lector ir comprendiendo que el uso de' smbolos nos evita forE~to ltimo se en~ender mejor si penv q)]. sarnosen lo tedioso que sera escribir en palabras una expre'V['V(pA~q) v (rAs) A (tVr

1.6 Tablas de verdad Ejemplo 1: (pA~), Construir la tabla de v.erdad de:pA'Vq .. el valor de

Para conocer los posibles valores de la forma proposicional: necesitamos conocer el valor de verdad de Pi verdad de q, para conocer el valor de verdad de 'Vq y por ltimo el valor de pA'Vq. Veamos:

v
V F F

V F V F

F V F. V

F V F

15 Debernos aclarar,que por tabla de verdad, se entiende s610 las columnas, donde se escriben los valores de verdad de los componentes y la columna del valor de verda~ de la forma proposicional compuesta. Las otras columnas no son ms que pasos intermedios que facilitan la obtenci6n de la columna donde se escribe el valor de verdad de la forma proposicio~al compuesta dada. Esto quiere decir, que en el caso anterior, en que se pide la tabla de verdad de pA~q, tendramos:

v
V F F

V F V F

F
V

F F

Ahora bien, por abuso del lenguaje,muchas veces no establecernos diferencia,al decir tabla de verdad, entre la tabla anterior y la tabla en que se incluyen los pasos intermedios. Ejemplo 2: Construir la tabla de verdad de: (p'A~q)v r. Hasta ahora hemos trabajado con tablas de verdad de formas proposicionales que a lo sumo tienen dos componentes, pero en el caso que ahora nos ocupa hay tres componentes. Obviamente, necesitarnos ms filas para poder agotar todas las po~ibles combinaciones de los valores de verdad de cada componente. Cuando tenemos un solo componente, agotarnos bien pronto las COmbinaciones porque hay s610 dos posibles valores. Veamos

/V
p~
F

Esto es, v(p) es V o v(p) es F, lo cual se indica de la siguiente manera:

__E_ V F

Si hay dos componentes, el nmero de combinaciones aumenta~ Para facilitar la comprensi6n, veamos un diagrama de rbol en

16 el que se estudia esta situaci6n:

:
V -: pq """p

El diagrama anterior nos dice que,dado:v(p)= V, entonces v(q) puede ser V o F, y dado:v(p)= F, puede ser que:v(q)= V o v(q)= F. En resumen, las posibles combinaciones son: V V V F F V F F Si el nGmero d~ componentes es tres, el diagrama de rbol es el siguiente:

Es decir, dado:v(p)= V, tenemos que:v(q)= Vo v(q)= Fi a su vez, dado que:v(q)= V, entonces puede ser:v(r)= V o v(r)= Fi <,pero\).(q) puede ser:F, y t.amb .n para este caso: v (r)= V o ~(r)= P, y as sucesivamente .. En consecuencia, las posibles

17 combinaciones son:

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

Ejercicios 1.7 1) Complete el siguiente diagrama de rbol y especifique las posibles combinaciones.

2) Construya un diagrama de rbol para determinar los casos posibles con cinco componentes y especifique dichos casos.
~

Note,queen el.caso de un compo~ente hay 21 filas, en el caso de dos componentes hay 22 filas, en el caso de tres comP9nentes hay 23 fil~s, y en el caso de cuatro componentes uste~

18 seguramente encontr6 '24 filas. Intuitivamente, hemos llegado a

la idea de que si hay n componentes, En este punto estamos de verdad de:(pA~q) v r.

r'

el nmero de filas es 2n para construir la tabla

capacitados

p
V
V

q
V
V F
F

~q F
F V
V

(pA'Vq) v r
F F V V F F F F
V

V
F

F V V V
F

V V F F F F A

V F V F V F

V
V

F
F

F
F B

V V

V F

D la tabla de verdad de: marcadas A, B,

Recordemos

que, rigurosamente,

(pA~q)v r, es la formada

s610 por las columnas

y D.
C6mo se usa una tabla de verdad? las proposiciones: r: s: El sol brilla por las noches. Mozart se distingui6 , como msico. de la proposici6n: como msico. en smbolos, El Supongamos que tenemos

Deseamos sol brilla es:

conocer

el valor de verdad y Mozart

por las noches

se distingui6

Esta proposici6n

es una conjunci6n

que, escrita usando

x t.
Sabemos que io r )= F Y v( s)= V, entonces la tabla 1.2, componente es y de ella la fila

que es la tabla de verdad de la conjunci6n, 3, .. que es la que estudia F y el segundp componente Deseamos, sol no brilla ~p v q. ahora,

el caso' en que el primer es V, concluimos

que:v(r!l.s)= F. El

el valor de verdad o Mozart

de la proposici6n:

por las noches

se distingui6

como msico. es:

Dicha proposici6n

es una disyunci6n,

que, en smbolos,

En este caso, debemos,

primero,

usar la tabla 1.1 para

19 conocer el valor de ~p. hp) Como:v(p)= F, leemos la 'columna de Luego, usemos que:

en la fila 2 que es t ab.Leoe que: v (~p)= V. son verdaderos

la tabla 1.3, en la fila 1, que es donde se estudia el caso en que ambos componentes v(~p v q)= V. Por otra parte, supongamos v(w)= F, y deseamos cer:v(pAt). que:v(p)= V, v(t)= F, y Empecemos por conoconocer:\)(~(pAt) v w). V y v(t)= F, usando F. y concluimos

Como:v(p)=

la fila 2 de la tade es

bla 1.2, tene~os;v(pAt)=

Por lo tanto, usando la fila 2 : ~(pAt)

la tabla 1. 1, tenemos que: v (~(pAt) = V, Y por l t,irno, usando La fila 2 de la tabla 1. 3, porque el primer componente V y el segundo comnonente, Ejercicios 1.8 las siguientes preguntas: v q? la forma proposiciona~:pAq? la forma proposicional:~p? r es verdadera,
I

w, es F, tenemos que:v(~(PAt)

v w)=V.

1. Conteste

a) Cundo es falsa la forma proposicional:p b) Cundo es verdadera c) Cundo es verdadera ch) Sabiendo

que la forma proposicional

puede asegurarse es verdadera? d) Sabiendo falsa? e) Sabiendo f) Sabiendo falsa?

que la forma proposicional:(rAs) u es falsa, puees

que la forma proposicional

de asegurarse

que la forma proposicional:(uAw)

que r es verdadera,

puede asegurarse

que

la forma proposicional:r de asegurarse

v p es verdadera? es falsa, puev p) es

que la forma proposicional:p

que la forma proposicional:(r

2. Si una forma proposicional todas las posibles cuntas

tiene 4 componentes,

cuntas

filas debe tener su tabla de verdad para que se incluyan combinaciones de los valores de verdad de dichos componentes? Y si tiene n componentes,

fil~s son necesarias?

20

3. Construya a) b)
e)

la tabla de verdad de las siguientes 11) 'V (pAq) m) 'Vp V 'Vq n) 'V(p v q) o) ('VpA'Vq) V r p) ph('VqA'Vr) q) 'V {'V (p V 'Vq) r) p v (pAq) s) pA(p v q)
t) (p q) v (vr

formas

proposicionales: pAq qAp

(PAq)Ar eh) PA(qAr) d) p v q e) q v p f) (p v q) v r g) p v (q v r) h) pA(q v r) .i) (pAq) v (p a r ) j) p v (qAr)

k) (p v q) A (p v r)

s)
S) j

u) (p v q) A {(p v r) A (p v

1) 'Vhp)

4. Sabiendo que:
p denota la proposici6n: q denota la proposici6n: r denota la proposici6n:
A)

El verano lleg6. El viento no sopla. Juan est de vacaciones.

Formule simb61icamente las proposiciones siguientes: a) El verano lleg y el viento no sopla. b) EL viento no sopla o Juan no est de vacaciones. e) Es falso que (El verano lleg6 o el ~iento sopla). eh) El verano lleg6, el viento sopla y Juan est de vacaciones. d) (El verano lleg6 y el viento no sopla) o (El verano no lleg y Juan no est de vacaciones) . B) Formule b) 'VpAr e) 'V (pAr)
eh)

las proposiciones

siguientes:

a) p v (q v r )

('VpV 'Vr)" 'Vq

d) (pAtVq) v 'Vr

21 5. Sabiendo que p reprsenta una proposici6n falsa, q, una proposici6n verdadera y r, una proposici6n falsa, determine el valor de verdad de las siguientes proposiciones: a) ~p v q
b) ~ (~p)

e) ~(p v q)Ar f) ~{(p v q) Ar}

g) (p

c) ~ (pA~q) ch) ~pA~{~q) d) ~{(pAq) v ("'p v q)} 6. Dadas las proposiciones: p: q: r:

v q) y r

h) ~pA(qA",r) i) (pAq) v (pAr)

La gallina es un cuadrpedo. Bolivia es un pas europeo. La papa es un tubrculo.

Determine el valor de verdad de las pro~osiciones siguientes: a) pA~q b) qAr c) ~p v r ch) ~(p v q) .d) ~(p v q)A~ (p v r) 7. En las rayasen blanco escriba V,si 'considera que la oraci6n es verdadera y F,si ,considera que es falsa: a) La conjunci6n de dos proposiciones es falsa so~amente cuando ambas proposiciones son falsas. b) La disyunci6n de dos proposiciones es falsa solamente cuando ambas proposiciones son falsas. c) La disyunci6n de dos,proposiciones es verdadera cuando, por lo menos,una de las proposiciones es verdadera. ch) La conjunci6n de dos proposiciones es falsa cuando, por lo menos, una de las dos proposiciones es falsa. d) La negaci6n de la conjunci6n de dos pr~posiciones es verdadera solamente cuando una de las proposiciones.es verdadera y la otra es falsa. e) La negaci6n de la disyunci6n de dos proposiciones es verdadera solamente cuando ambas proposiciones son falsas.

22

f) La conjunci6n g) La disyunci6n
verdaderas h) La negaci6n i) -La negaci6n

de las negaciones

de dos proposiciones

falsas es una proposici6&

verdadera. dos proposiciones verdafalsa es

de las negaciones'de

es una proposici6n de la conjunci6n de la negaci6n verdadera.

falsa. de una proposici6n

dera es una proposici6n

verdadera. de una proposici6n

una proposici6n 1.7 Equivalencias Definici6n poseen tienen el mismo naciones simpls

de formas proposicionales 1.8 Dos formas proposicionales at6micos compuestas que

los mismos

componentes

son equivalentes

cuando combi-

valor de verdad

para todas las posibles

de los valores

de v=r dad de las formas proposicionales Es decir, cuando tienen los mismos Si di-

que las componen.

corn_ponentesy las mismas Notaci6n:

tablas de verdad. escribimos:p:: q.

Sean:p, q dos' formas proposicionales.

chas formas son equivalentes, Ejemplo: Mostraremos

que la forma proposicional:{pAq)Ar, son equivalentes. Con tal

'i la forma proposicional:PA{qAr)

fin, construiremos p
V V V V

sus tablas de verdad. r

V

q
V V F

pAq
V V F

(PAq)Ar
V

qA-r. pA{qAr)
V V F

F
V

F
F F

F F
F V F

F
F F

F
V
V

F
V F V

F F
F

F F F F

F
F

F F
F B

F F

F F

F F
A

F F

Observando mos que ambas

con cuidado

las columnas

marcadas

A y B, notatabla del escri-

formas proposicionales

tienen la misma

'yerdad, por lo tanto, son equivalentes,

es deci~ podemos

23

bir (pAq)Ar :: pA (qAr). La equivalencia anterior se conoce con el nombre de propiedad asociativa de la conjunci6n. . Dicha .pxop..edad nos indica que: p A q A r tiene un s~gnificado ni~o, puesto que sus dos posibles interpretaciones son equivalentes, esto es, tienen la misma tabla de verdad. Ejercicios 1.9
1. Observando las tablas de verdad que obtuvo en el ejercicio

1.8.3,complete las equivalencias siguientes: a) pAq :: -----b) (pAq)Ar :: _

c)
_ q v p

ch)
d) e)
1\,

_ (p v q) v r
(I\,p) :: v r) _

pA (q
1\,

f)

=' ( p v q) It (p v r) (pAq) _

g)
h)

2. a) La equivalencia a) se conoce corno la propiedad conmu-

b) c) ch) d) e)

tativa de la conjunci6n. La equivalencia ~) se conoce corno la prop1edad de la La equivalencia c) se conoce corno la propiedad de la disyunci6n. La equivalencia ch) se conoce corno la propiedad de la La equivalencia e) se conoce corno la propiedad distributiva de la conjunci6n sobre la disyunci6n. La propiedad f) se conoce corno la propiedad de la sobre la

3.'Las equivalencias g) y h) se conocen con el nombre de leyes de De Morgan.

24 Complete: i)' La negaci6n las de unaOconjunci6n es la de de no de sus componentes.

ii) La negaci6n de una disyunci6n es la las de sus componentes. Las leyes de De Morgan nos indican que en realidad necesi tamos tres conectivos, o el
IV

sino/que

basta tener el 'V y el A ~

y el.v, para expre.sarel tercero en'trminos de los dos conocidos.

4. Pruebe que: (pAq).v p :: p 5. El smbolo v denota la disyunci6n exclusiva, y p v q significa:"p" o "q", pero no ambos. Construya una tabla de ~erdad para:p v q. 6. Construya la tabla de verdad de la forma proposi.cional: (p-vq)v ('VpAq). 7. Compare las tablas de verdad de los ejercicios 5 y 6.A qu conclusi6n se llega? El lector ha comprobado que utilizando los conectivos, hasta ~~ora considerados, es posible definir el conectivo "o" en el sentido exclusivo. Realmente,podamos haber seleccionado',como punto de partida en nuest ro estudio, el se.ntido exclusivo y,a partir de l,definir el sentido inclusivo. 8. El smbolo plq significa:"p y q no son ambos verdaderos", 10 que en smbolos es:'V(pAq). a) Construya la tabla de v~rdad de:plq. ~) Pruebe que: p 1 p == 'Vp c) (p1 p) 1(q1 q) == p v q 9. Al conectivo 1se le llama conectivo de Sheffer, en honor de H. Sheffer, que fue el primero en trabajar con l en
1916.

Usando el conectivo de Sheffer,exprese:

1.8 Bicondicional

(pAq)

Definici6n 1.9

El conectivo "si y s6lo si" usado para

25

unir dos proposiciones.da .como resultado una nueva proposici6n, llamada bicondicional. Ejemplos: 1) Un nmero es par si y s6lo si es divisible por dos. 2) Un paralelogramo es un rombo si y s6lo si sus cuatro lados son congruentes. 3).Dos ngulos son congruentes si y s6lo si tienen la misma medida. 4) Un rombo es un cuadrado si y s6lo si uno de sus ngulos es recto. 5) Un paralelogramo es un rectngulo si y s6lo si sus diagonales son'congruentes. 6) Jorge ir a Espaa si y s6lo si aprueba el curso de Matemtica. 7) Un cuadrado es un rectngulo si y s6lo si la nieve no es verde. Notaci6n: El conectivo "si Y.s6lo si" se simboliza por ~. Es decir, "p++q" se lee "p si y s6lo si q". Valor de verdad: Una bicondicional es una proposici6n verdadera cuando ambos componentes tienen el mismo valor de verdad, esto es, si ambos son proposiciones verdaderas o ambos son proposiciones falsas. En los dems caso~ es una proposici6n falsa. Tabla de verdad 1.4: La forma proposicional:"p si y s610 si q" tiene la siguiente tabla de verda4:

V
V

V F V
F

V F

F F

F
V

Ejercicios 1.10 1. Complete las siguientes pr-:>posiciones: a) Un nmero entero positivo es primo si

s6lo si

26 b) Dos rectas son paralelas si y s610 si si y s610 si las diagonales por dos.

c) Un cuadriltero se bisecan. ch)

si y s610 si es divisible b =c si y s610 si si y s610 si a = b + c.

d) a e) f) x g)

'va si
\1 \1 \1 \1

y s610 si
si y s610 si x3 = 8.

2. Complete
a)
\1

los espacios
(q)

en blanco: \I(p ++ q) = \I(p ++ q) =

(p) = V, = F,

= V, entonces = V, entonces

b) v (p)

(q) (q)

e)- \I(p) =

V,

ch) \I(p) = V,

++q) = F, entonces \)(",p (p ++ q) = F, entonces \1 (q) =

d) \l(q) = P, \l(p++ q) e) v (p) = F, \l(p ++

F, entonces q) = V, entonces

v (",p)=
v (q)

...

1.9 Condicional
Definici6n palabras

1.10

Al unir dos proposiciones

mediante

las

"si, ,entonces .", se obtiene que precede

una nueva proposic{6~ se llaga an-

llamada condicional. La propbsici6n tecedente al condicionador,

y la que sigue al condicionador, 1) Una condicional

consecuente.

~Ejempros: Juan aprob6

\

en la cual la pr090sicin:
y la proposicin:

El dos es un nmero prim9,

sea el antecedente

el curso de r.1atemtica, sea el consecuente, manera: Si el dos es un nmero entonces

se es-

cribe de la siguiente

primo, ensus partes

tonce.s Juan aprob6 el curso de :/latemtica. 2) Si dos tringulos correspondientes son congruentes,

son congruentes. son opuestos por el vrtice, entonces de a.

3) Si dos ngulos son congruentes.

4) Si a es un divisor 5) Si a

de b, entonces a + c

b es un mltiplo

b, entonces

b + c~

27

G) Si llueve, entonces me quedar en casa leyendo. 7) Si 2 x 3

8, entonces Pedro es un valiente.

-+-

Notaci6n: Dadas las proposiciones:p, q, la condicional: "si p, entonces q", se denota p q. En este caso, p es la proposici6n antecedente y q es la proposici6n consecuente. Valor de verdad: Una condicional es una proposici6n falsa cuando el antecedente es una proposici6n verdadera y el consecu~nte es una proposici6n falsa. posici6n verdadera. La' justificaci6n del valor de verdad anterior radica en que deseamos estar lo ms cerca posible del lenguaje ordinario, y la nica manera de lograrlo, es estableciendo los valores de verdad, como ~n el prrafo anterior. El uso de una tabla nos ayudar mucho en la comprensi6n de estas afirmaciones. Consideremos la forma proposicional: p tablecemos que cuando v(p) = V Y v(q)
-+-

3n los dems casos, es una pro-

q.

Para que su va-+-

lor de verdad coincida con el uso en el lenguaje ordinario, eS-

V, entonces v(p
-+-

q)

V:

cuando v{p) = V Y v~q) = F, entonces v(p can los ejemplos siguientes:

q)

F, como nos indi-

1) Si vuela, entonces se sostiene en el aire. 2) Si me besas, entonces me tocars con tus labios. 3) Si eres hombre, entonces no tienes plumas. 4) Si la vaca es un animal, entonces vuela. 5) Si dos es un nmero par, entonces cuatro es un nmero impar. 6) Si 3 x 3 fectos.

9, entonces los polticos son elefante~ per-

Observe que ,los tres prineros ejemplos son proposiciones verdaderas y los tres ejemplos restantes son proposiciones falsas. Ahora bien, faltan dos casos por ver, es decir, cuando y{p)=: F Y
v{q}=

V, y cuando

\l(p)

= \I(g)

:::; F.

Ya sabemos que

hay s6lo dos posibles valorp.sde verdad en c6da caso, V o F. Veamos en una tabla de verdad,lo que sucede al escribir 'las

28 posibles combinaciones de valores de verdad en los dos ltimos el uso ordinario

casos citados,

ya que en las dos primeras,

nos ha fijado el valor de verdad. p

V V

q
V

A V

B
V

C
V

D
V

F V F

F
V

F F F

F F
V

F
V V

F
F

En la columna A, escribirnos V para cuando

v(p)

F y

v(q) = V, Y escribimos
bla as~ obtenida

F, cuando

v(p) = v(q) = F. Note, que la taya que estfu~os buscan-

coincide

con el valor de q, por lo tanto, el re

sultado de la columna A no es el deseado, do una nueva forma proposicional. Bajo la colu~a ci6n v(p) B, escribinos

F para los dos casos en esnueva. son

tudio. De esta forma obtenernos la tabla de verdad de ~a conjun(p A q), que tampoco es una forma proposicional Para la columna C, hemos usado F, para_el caso en que:

F Y v(q)

V, Y hemos usado V, cuando aMbos valores con cuidado el resultado obtenido,

falsos. Observando

nos darnos (p+-+q)

cuenta de que es la t.abla de verdad de la bicondicional 5610 nos queda una posible combinaci6n bir V cuando F. conocamos, los posibles Con esta columna hemos encontrado

que se da ~l escriv(p) y v(q) son

v(p)= F y v(q)= V, y tambin cuando y de esta manera, por eliminaci6n, 1.5: Por lo anterior

una tabla de verdad que no hemos obtenido que la q" es

valores de verdad de una condicional. concluimos,

Tabla de verdad

tabla de verdad de la forma proposicional:"si la siguiente: p

V

p, entonces

q
V

p-+q
V

V F
F

F
V

F
V V

Observaciones:

1) La condicional

"si p, entonCes

q" , es

29 diferente de la condiciona.l "si q, entonces Si 2+2= 5, entonces es una proposici6n Si un paralelogramo p" .. Por ejemplo, es un. Per~, la entonces

la condicional: cuadril~te~o, condicional:

un paralelogramo Por qu~?

verdadera. Por qu~?

es un cuadriltero, al usar ~l conectivo relaci6n

2+2= 5, es una proposici6n falsa.

2) En el, lenguaje ordinario

entonces :.", se entiende dente y el consecuente. mediante este conectivo

.. s1.
'

que existe

entre el anteceunir La raz6n

Por eso es extrao, proposiciones

en L6gia,

no relacionadas. le interesa entre ellas.

para esto ltimo, 'es que a la L6gica verdad de las proposiciones de causa y efecto que puedan Ejercicios existir

el valor de o las rela~ione~

y no sus contenidos

1.11
las siguientes preguntas: la forma proposicional:p++q?

1. Conteste

a) Cundo es verdadera

b) Cu~ndo es falsa la forma proposicional:p++q? c) Cuando v(p)= F, cul e$ el valor de verdad oe la

forma proposicional:p~q? ch) Cuando

v(q)=

v,

cu~l es el valor de verdad

de la

forma proposicional:p-+q? ,d) Cul es el valor de verdad de: (pllq)-+(p v q), si

v(q)= F?
2. Construir
a) b)

la tabla de verdad de cada una de las s~guientes

formas proposicinales. p ++ (q (p

r) -+ q)

(p v r). 11 (p
V

c) ch)

q)+-:>(q v p) {(p -+q)~ (p -+ r) }

(p ~ p) v (p-+vp)
++

d) {p -+(q~r)} -+ p e) ,(pllq) f) q-+{p v q) g) (P -+ q) ++ h) (p v q) ++

('Vpv q) ('Vr 11 vs )

i) (p~q) -+ 'V ('V~11 (r v s) }

30

~. a) Qu conectivo ya estudiado tiene igual tabla de' verdad que :(p-+ q) A (q-+ p) ? b) Qu podemos concluir de la respuesta a la pregunta anterior? 4. Dados p: Est lloviendo. q: Est tronando. i) Traducir en smbolos cada uno de'los siguientes enunciados: a) Si est lloviendo, entonces est tronando. b) Si est tronando, entonces est lloviendo. e) Est tronando si y s6lo si est Ll.ov..erido . eh) Si est tronando, entonces no est lloviendo. d) No es cierto que est llovi~ndo si y s610 si no est tronando. ii) Formule las proposiciones siguientes: .a) (p -+ q) v (q-+ p) b) "'q+-+p
e)

"'P++ r\,q

eh) (PAq) ++ p d) (",pv q) + (PAq) 5. Sabiendo que p representa la proposici6n.: 3 es mayor que 5; q, la proposici6n: 3 + 2= 5 , Y r; la proposici6n: 4 + 7=9, cul es el valor de verdad de las siguientes proposiciones? a) p -+'r
b) P +
(q: + r)

e) (p-+q) -+ r eh) r -+ { {pA (q -+ p v q v r) + P) } d) (p v q v r) +-+ (PAqAr) 6. Cul es el valor de verdad de la forma proposicional: { (p -+ q) v ("'pAq)}A (r + q).f dado que:
a) \) (p)= \) (q)

V,

\) (r)=

b) \)(p)
e) \) (p)

= \) (r) =
\

F, \) (q)= V

= \) (q) = \) (r)= F eh) \). (p) = \) (q) = F (r)= V d) \) (p) = \) (r) = V,\) (q) = F
I \)

7. Pruebe que: (p-+ q) -+r, y {p + (q-+ r) 1 no son formas proposi-

31 cionales eauivalentes.

8. Pruebe que:
a) p + 9 :: "'p v q b) "'(p-+q) :: pA"'q :: "'p v "'CI eh) { ( (pAq) v p + "'q} :: p+"'q e) {(pAq) v p}+'~}

d) (p-++ q) :: . (p + q) A (q -+p)
e) f) g) (p++q) - (pAq) v ("'pA"'q) ("'p-+q) v (phq) :: p v q

(p++q) -+("'phq) - "'p++q h) "'p++q :: '" (p++q) i) p++q :: q++p 9. Pruebe la equivalencia proposicionales: a) p-+q b)
e)

de las

s,iguientes

formas

(ph"'q)-+ "'p (ph"'q) -+ q (ormas proposicionales, son

10. Cules, de las siguientes

equivalentes? a) ("'p -+q) h ('\Ir -+."'q)
b) r .... "'p

e) p -+"'r
eh)' "'{ ("'q + -vp) h (q -+",r)' 11. Sea el conectivo A definido por la siguiente
I

tabla:.

v
V
F

F
V

F
V

F
Construya
b)

las

tablas

de verdad de~

a) . ("'p v q) A "'q (p -+q) A q

++

e) "'{ (p -+",q)}

(p ~-q)

eh) p-+ {",.p A ("'qhp)}

32 12. a) Usando
i)

el conectivo

de Sheffer,exprese a:

formas

proposicionales

equivalentes

-+

ii) p+-+q b) Pruebe que:{ (plq) I (plq)} Teniendo en'el presente conectivo en cuenta

(r j r ) :: (p"q) +r en el ejercicio 1.9.8 y

lo demostrado

ejercicio, es evidente,que cualquier

s610 necesitarnos un forma proposicional. comp+icarfa innecesa-

16gico para expresar

Sin embargo, riamente 1.10

el uso de un solo conectivo de muchas

la expresi6n Al hablar

formas proposicionales. dijimos que la

de las tablas de verdad,

tabla de verdad tiene cuatro tes pueden

de una forma proposicional Desearnos conocer dadas

con dos componentes columnas diferenCorno

filas.

cuntas

encontrarse,

dos proposiciones

simples.

una proposici6n simultneamente, escribir escribir

es verdadera

o es falsa, pero no ambas cosas elecciones:

para cada fila tenernos dos posibles F. Esto, es, para la primera esto~

V o escribir V o Fi

fila podernos

luego de escrito elegido

tenernos que la segunda fila, el V o F.

fila puede la cuarta

ser V o Fi fila tambi~n

el valor para la segunda entre los valores

valor de la tercera En conclusi6n, rentes entre

fila puede' ser escogido puede elegirse

V o F, y por ltimo, todas ellas dife-

podernos formar

24= 16 columnas, V y F.

sf, con los sfmbolos

El hecho de que dadas dos proposiciones mos diecis~is tablas de verdad

simples,

encontreque

diferentes, parece diecisis

indicarnos pero

necesitarnos, en consecuencia, ze, sant.e . es que bastan formas proposicionales Ejercicios 1.12

conectivos;

lo inte-

los conectivos: correspondientes

"',", v , para expresa r a cada columna.

1. A continuaci6h, .proposicione~

se in~luyen simples,

los valores

de verdad

de dos

las posibles

diecisis

columnas formas pro- .

que se cons cuen a partir

. posicionales,

de ellas y diecisis

'una para cada columna.

Se le pide escribir,

33 ~n la raya,al la columna _p V V F
F

lado de cada

forma proposicional,

el ndmero de

que le corresponda: 3
F F

q V
F

1
F

2
F F

4
F

5 V
F

6 F F

9
F

10 V
F

11 V V F F
( p Jt q )

12
F

13 V

1,4 15 V V
F

16
V

F. / F F F

'p
V F V

V
F F

V V V F

V F F

V V
F

V V V

F
V V

V V V

V F

V
F

F
F

V V

V F
h)

a) p v '\.p
b) q

v ('\.P A '\.q )

i) '\.pAq
j) P

c)

(pA'\.q) v ('\.PAq)

v q

ch) '\.p

k) p
1) p V '\.q 11) '\.pA'\.q

d) pAq

e) '\.p v '\.q
f) '\.p V q
g) pA'\.q 2, a) Identifique equivalencia el ejercicio b) Identifique equivalencia el ejercicio 1.11 Clasificaci6n Definici6n 90mpuesta, verdad la' columna

m) '\.q
n) pA'\.p que corresponde a:p -+ q.
Qu

puede usted escribir 1)? la columna 1)?

teniendo

en cuenta

que corresponde

a:p++q.

Qu

puede usted escribir

teniendo

en cuenta

de l~s formas proposicionales Una tautologa at.nu.co s,

compuestas,

1.11:

es una forma proposicional que sea el 'valor de Veamos la

que es verdadera,

cualquiera

de sus componentes

Ejemplos: tabla de verdad

1) La ms trival correspondiente:

de todas es: p v vp ,

V F

F V

V V

2) La siguiente manejo

tabla de verdad'muestra es una tautologa. llamaremos

que~ Para facilitar el

{ (pAq) -+ r} ++ {p -+ (q -+ r)} de dicha tabla,

A,a la forma proposicional:

34

(pAq) ... r y, B" a la ~orma proposicional p ... '(q ... r)

~

_p
V

q
V

r V
F

pAq

V
V

A V
F

q ... r V
F

B V
F V

A++B V
V

V V V
F F

V
F F V

V
F

F
F F F

V
F

V
F F

F
F

V
F

F F

V V V V V V

V V V
F

V V V
V

V V

V V V V V V

Definici6n 1.12: Una contradicci6n es una forma proposicional compuesta, que es falsa, para todos los posibles valores de verdad de sus componentes at6mico.s. Ejemplos: 1) La ms trivial es: PA~P. Veamos su tabla de verdad:

V F

F V

F F

2) La siguiente tabla de verdad muestra que: (P'"q)A (q-+r)A (PA~r)I es una contradicci6n. Para facilitar el manejo de la tabla de verdad llamaremos A, a la forma proposicional : p -+q 1 B, a la forma proposicional: q -+r y, C I a la forma proposicional: pA'" r
p q

V V V
V

V V
F F

r V
F

A V V
F
F V

B V
F
V

AAB V
F .

~r
F

C
F

AABAC
F
F

V
F

V
F

V
F

F F

F F F F
F

F F F F

V V
F

V
F

V V
F

V
F

V
F F

V
F V

V
F

V V V

V
F

V V

F F

Oefinici6n 1.13:

Se le llama contingencia a una forma

35

proposicional

compuesta

que no;es'una

tautolrrga ni una contra-

dicci6n. Ejemplos: 1) La forma proposicional: p A q es una contingencia, como ~uestra la siguiente tabla de verdad: p
V V

q
V

pAq
V

F V F

F' F F

F F
2)

gencia, p
V V
V V F F F F

La forma proposicional: (p v q) +-+ (p -+r) es una contincomo muestra la siguiente' tabla de verdad:. q
V V
F F V

r
V

p v q
V

p-+r
V
F

(p v q) +-+ (p-+r)
V
F V

F
V
F'

V
V V

V
F V V

F
V V F F

V F V F

V V
F F

V
F F

V
V

Ejercicios

1.1.3

1. Determine, cules,

son tautologas, a ) (p A q) -+'Vq b) 'V (p v q) -+ p

c)
{p

de las siguientes formas proposicionales, contradicciones o continaencias:

(p fI q) } +-~ P

ch) P A (p v q) +-+p d) ('Vp v q) +-+ (q -+p)

e)

(q 1\ 'Vp)+-+ ('Vq v
{(p

p)

'Vr} -+ p g) p-+{(pl\q) l\'Vr} h) {( P -+q) v (p -+r ) } +-+{p -+(q v r) }

f) v q) v i) 'V( P

-+ q) -+(p v

q.)

36
j)

{ (p v q) [\ (p V ruq)}

~-+

k) (p -s- q)
1) {p 11)
A(p +q)}

-* q

{p1\(g-+p)}+p +
(p

m) {(p-*,q) -* q} n) {(p-*q)

v q)

1\ (q-+r)} -+ (p-*r) (q + r) 1\ ru(p-+r)

+->-

)
o)

(p -*q) 1\
(p v q)

(p Aq)

2. Sea t una tautologa, siei6n verdad cualquiera.

e una eontradicci6n

y puna

propo-

Determine,

si es posible,

el valor de a eon-

de las formas Tanto

proposicionales

que se darn

tinuaci6n. determinar

en los casos en los cuales

sea posible que no

el valor de verdad, justifique

como en aqullos

sea posible, a) p At

su respuesta. i) e +p
j)

b) P v t
e) p -+-t ch) t -+p d) p++t, e) rut

p~-rc rue

k)

1) t v e 11) t A e
m) t -+ c n) c
-+

f) pAc g) p v e h) p ....e 1.12 Condicionales Definici6n la condicional siguientes: 1) q -+ p, llamada 2) 3) recproca derivadas

) c++t

1.14 Dadas

dos proposiciones:p, considerar

q, adems de

p + q, podemos

las condicionales

de p -~q. de p -+ q. de p ~ q.

"'p-+ruq, llamada
v

contraria

q+ v p , llamada 1) Dada

contrarrecproca la condicional:

Ejemplos: est enfermo, Recproca: Contraria:

Si es loco, entonces son: es loco.

sus condicionales Si est enfermo,

derivadas entonces

Si no es loco, entonces

no est enfermo.

37 Contrarrecfproca: Si no est enfermo,' entonces no es loco. entonson:

2) Dada la condicional:

Si dos rectas son paralelas, sus condicionales derivadas en comnJ entonces

ces no tienen puntos en comn, Recfproca: Contraria: puntos en comn. ces son paralelas.

Si dos rectas no tienen puntos Si dos rectas no son paralelas,

entontienen

Contrarrecfproca: entonces

Si dos rectas tienen puntos en comn,

no son paralelas. 1.14 una tabla de verdad para la condicional:p derivadas. del ejercicio
+

Ejercicios

1. Construya

q, 1,

y para cada una de sus condicionales 2. Despus 3. Dadas de observar qu equivalencias p: Se ve humo. q: Hay fuego. Escriba entonces 4. Escriba en palabras puede escribir?

las tablas de verdad

las proposiciones:

y en sfmbolos

la condicional:

"si p,

q", y cada una de sus condicionales las condicionales derivadas obtendr~

derivadas.

de las condicionales: una A en el curso de

a) Si no llueve, entonces Matemtica. b) Si 4+2=8, entonces c) Si el profesor 5. Determine a) b) ch) d)

el 3 no es un nmero par. entonces no tendr

no viene a clases,

que ir a la universidad. el valor de verdad de: p-.q

y de sus condicio-

nales derivadas v(p)=V,

en cada uno de los siguientes

casos:

v(p)=F , ~(q)=V. v(q)=P. v(q)=F. v(q)=F. en blanco. de p + q es de la recproca

c) v(p)=F, v("p)=F,

\'(p) =V , v(q)=V. los espacios

6. Complete

a) La contraria

38

b) La recproca de la contrarrecproca de p +q es

c) ch) d) e)

La La La La

contrarrecproca de la contraria de p +q es recproca de la contraria de p + q es contraria.de la contrarrecproca de p +q es contrarrecproca de la recproca de p +q es

1.13 Negaci6n de proposiciones compuestas Cualquier proposici6n puede negarse anteponi~ndole la expresi6n: "Es falso que", como es el caso de la proposici6n: Pedro es un cobarde y el sol brilla, cuya negaci6n puede escribirse: Es falso que, (Pedro es un cobarde y el sol brilla) Sin embargo, en el fondo, negar una proposici6n compuesta es ms complicado que la simple anteposici6n de una expresi6n. Negaci6n de la negaci6n: La negaci6n de "'p es '" ('" p), y es:ta forma proposicional es equivalente a p de acuerdo con la la siguiente tabla de verdad:
V F F V V F

Ejemplos: 1) La negaci6h de la proposici6n: La caa no es'dulce, es : La caa es dulce. 2) La negaci6n de la proposici6n: Catorce no es divisible por ~eis, es: Catorce es divisible por seis. 3) La negaci6n de la proposici6n: Es falso que Petra parece un elefante, es: Petra parece.un elefante. 4) La negaci6n de la proposici6n: No es verdad que el sol / sale por el este, es: El sol sale por el este. Negaci6n de la conjunci6n: La ley de De Morgan con respecto a la negaci6n de una conjunci6n nos aseg-uraque: '"(p ]\ q) :: '" p v "-q. Por lo tanto, la negaci6n de una conjunci6n es equivalente a la disyunci6n de las negaciones de sus componentes. La tabla siguiente nos mostrar la equivalencia:

"

39

'V(

v
V F F

V F V F

V F F F

F
V V V

F F
V V

F
V

F
V V V

F
V

Ejemplos: 1) La negacin de la proposicin: La rosa es roja y e~ clavel es blanco, es: La'rosa no es roja o el clavel no es blanco. 2) La negacin de la proposicin: La culebra es un reptil y la vaca no es un ave, es: La culebra no es un reptil o la vaca es un ave. 3) La negacin de la proposLc..n s Roma no es la capital de Italia y Julio esun haragn, es: Roma es la capital de Italia o Julio no es un haragn. 4) La negacin de la proposicin: Mozart no fue un matemtico y 4 no es un nmero primo, es: Mozart fue un matemtico o 4 es un nmero primo. Ne~acin de la disyuncin: La ley de De Morgan con respecto a la negacin de la disyuncin nos dice que: (p v q) ::'Vp A 'Vq. Esto es, la negacin de una disyuncin es equivalente a la conjuncin de las negaciones de sus compo(V

nentes. Para ~ayor comprensin de esta equivalencia se incluye la siguiente tabla de verdad:

v
V

V V V

F F F
V

F 'F

F
V

F F F
V

F
V

F F

.v
V

F
V

EjemElos: 1) La negacin de la proposicin: Estoy pasando por la universidad o la universidad est pasando por m, es: No estoy pasando por la universidad y la universidad no est pasando por m. 2) La negacin de la proposicin: Seis es un nmero par o no es un nmero primo, es: Seis no es un nmero par y es un nmero primo.

40

3) La negacin fue un matemtico. 4) La negacin eres simp~ico, Negacin (p -+ q) y

V
V

de la proposicin: es: Chopin

Chopin no fue un poeta fue un poeta y Gauss no No tienes dinero o no

o Gauss fue un matemtico,

de la proposicin:

es: .Tienes dinero y eres simptico. Las tablas de verdad de a continuacin:

V
F V

de la condicional:

('"p v q) que aparecen

V F V F V F V V

F
F

V F
V

V
F

F F

V V

nos indican que: (p -; ":1) ::("'pv q). Pero,por las leyes de De Morgan: Por lo tanto, '" (p.+q) ::pA"'q. Pa,ra facilitar. 'La comprensin riones, presentarnos la siguiente

Luego, '" (p -+ q) :: "'("'p v q). tv("'p v q) :: "'("'p)A"'q. de las equivalencias ante-

tabla:
F V
F

v
V F F

V
F

V F V V

F V F F

F V F F

V F

Ejemplos: entonces entonces

1) La negaci~n

de la proposicin:

Si corres,

sudars,

es: Corres y no sudars. de la proposicin: Si el pato no vuela, es: El pato no vuela y la Si un tringulo es: Un tringulo es es

2) La negacin

la tortuga es un batracio,

tortuga no es ~n batracio. 3) La negacin rectngulo, rectnqulo ent0nces entonces de la proposicin: no es equiltero, de la proposicin:

y equiltero. Si no tienes catarro, es: No tienes catarro y-estornudars. La equivalencia: por las siguientes queda establecida

4) La negacin Negacin (p++q) :: (p tablas

-+

no estornudars, q) A (q p)

de la bicondicional:
-+

de verdad:

- ._

41

v
V

v
'F
V

v
F F

v
V

v
F
V

v
F
V

v
V

v
F F

F F

F V V V V F F (p+-;..q) p)}. Usando las Por lo tanto, -, - "'{(p-+-q)A (q -+-

leyes de De Morgan obtenemos: "'{ (p -+q) A (q -+p)} ::'" (p -+q) v",(q -+p). Finalmente, por la negacin de condicionales: "'(p-+-q) v "'(q-+-p):: (pA "'q) v (qA"'P) Luego, "'(p++q) :: (pA"'q)v (qA"'p). Consulte la tabla siguient~ para comprender cias anteriores. posicional:p++q, p
V V

las equivaleny, C, a la

En dicha tabla llamaremos,

A, a la forma pro-

B, a la forma proposicional:(pA~)
A V "'A "'q B "'p

forma proposicional:(qA"'p). q
V

C
F

v C F
V V

F
V V

F
V

F
V

F
V

F F
V

F F
V V

F
V

F F

F
V

F F

Ejemplos: 1) .La negacin de la proposicin: Sers saludable si y slo si haces ejercicios, es: (Sers saludable y no haces ejercicios)o (haces ejercicios y no sers saludable). 2) La negacin de la proposicin: Un pOlgono es regular si y slo si dos de sus lados son congruentes, es: (Un polgono es regular y dos de sus lados no son congruentes)o aos de sus lados son congruentes y el polgono no es reguiar). 3) La negacin de la proposicin: de a + b Y a + bes par) o (a'+b Dos no es un divisor de a + b si y slo si a + b es impar, es: (Dos no es un,divisor es impar y dos es un divisor No eng6rdars si y s6lo o de a + b) . 4) La negacin de la proposicin:

si no comes en exceso, ,es: (No ~ngordars (comes en exceso y engordars) .

y comes en exceso)

..

42

Ejercicios 1.15 1. Niegue las siguientes proposiciones: a) Quince es un nmero impar o es mltiplo de tres. b) Si un nmero es primo, entonces no es divisible por cuatro. c) Es falso que veintisiete es un nmero par. ch) {p 1\ (p -+ q)} v {g 1\ ("'g -+ "'p) } d) Veinte es un nmero divisible por cinco 'y. la suma de sus d!gitos no es divisible por cinco. e) La contraria de una condicional verdadera no es una proposicin falsa. f) Si dos proposiciones son falsas, entonces la conjuncin y la disyuncin de ellas son proposiciones falsas. g) Llueve y el sol brilla si y slo si se est casando una bruja. h) La divisin de nmeros reales no es una operacin conmutativa o seis entre dos es diferente de dos entre seis. i) Si la contrarrec!proca de p ~ q es una proposicin verdadera, entonces p ~ q'es una proposicin verdadera. 2. Niegue las siguientes formas proposicionales: v q) /\(p-+q) a) (/\'p , b) "'p ++(q /\ r) c) {(p v q) A r} ~ ("'q /\ p) ) eh) {p A (p ~q) } v Iq A ( /\, q ~ "'p d) -v (p ~q) ~ (p v q) q ~ "'p) A (q v r) e) (/\, f) p++- (q A "'r) } 1\ {( /\'p v"'q) ~ r} g) {( "'p/\ q) v (r ~ /\,s) 1.14 Tautolog!as de mayoL uso Muchas de las tautologas que aparecen a continuacin son conocidas por el lector. Aqullas que no le sean conocidas, debe demostrarlas. Indicaremos, entre parntesis, el nombre con el aalalgunas de las leyes lgicas son conocidas, para referirnos

.'

43

a ellas

posteriormente. ley del medio excluido.

1) p v ""p 2)
4) 5) 6) 7) 8) 9) {pA (p-+q)}-+q (p Aq) -+ q 3) (p A q) -+Pi P -+ (p

rey

del rrodus ponens.

v q)
v r) -+q "" p} + q

{{p -+q) A (r-+q)}+-+{{p {{~

v q) A

{(p-+q)

A {p-+"-'q)}-+ ""p

(pA ""p) -+ q p++ 'V (""p) (p -+q) +-+ ( -v q -+""p)

V

10)

rey

de la

contrrarzecfproca-

11) 'V(p Aq) ++( ""p 12) 'V(p 14)

V

vq)

q) ++ (vp A'V q)

13) (pAq)++(qAp)
(p vq) ++ (q vp) {p A (q Ar)} ++ {(p Aq) A r)} r)}

15)
17)

16) {p v(q

v r)}+--+{{p v q)v

(p A (q v r++(pA (p v (q Ar ) 'V(pA'Vp) {{pA'Vq) p

+

q) v(pA

z)
lI=y de la contradicci6n.

18)
19)

+-+(p v q) A (p v r)

20) 21) 22) 23)

24) 25)

{r

A 'Vr)}++

(p -+q)

Reducci6n al absurdo. ley del silogismo.

-+q) A (q +r )

-+(p +r )

(p -+q v r)

+-+ {"" r -+(p -+ q) ) -(--+ {( P A q) + r)

+

{p + (q --\. r) p
4

q) A (p

r)

+-+

(p -+ (q A r )

p Aq -+ (p -+q) -+ s ) A (s -+ t)}
+s

26) {{ r v s ) A (r

.. Ley del McdusTollens . Reducci6n al absurdo.

27) {q A (""p -+ q) }-+q 28) p A{(p A""q)

-+ r } A {(pA'V q) -+ ""r } -+q

1.15

Relaciones Aunque

lgicas cuando hablbamos lgica, de equivalencia, caso,

s,n especificarlo, trabajando entre otras

estbamos una rel~cin

con una relacin formas proposicionales. lgicas

en dicho

Existen

relaciones

que sern

estudiadas

en

44 esta seccin, la primera 1.15: de las cuales es la implicacin.

Definicin

Sean:p y q dos proposiciones.

De~irr,os
+

que p implica q si el valor de verdad de la condicional p es verdadera. Ejemplos: 1) Sean: p: Llueve q: Se mojan las calles.

"p implica q" ya que la condcional: Si llueve, entonces se mojan las calles, es verdadera. 2) Sean: r: Posees raz6n. s: Eres humano. Posees 'raz6n,implica eres humano, ya que la condicional:r
+

s, es verdadera. t: Los &ngulos d u: Los &ngulos a

3) Consideremos:

ye

son complementos de un mismo ngulo. e son congruentes.

Es evidente que "t implica u", (por qu r ) 4) Designemos por m la proposicin: Te mojaste, y, por n, la proposicin: Te baa?te. "m no implica n" porque pudo mojarse por la lluvia, y por tanto, la condicional: si te mojaste, entonces te baaste, es falsa. 5) Si llamamos t a la proposicin: a x b es positivo, y, u a la proposicin: a y b son positivos, tenernosque litno implica u", porque la condicional: Si a x b es positivo, entonces a y b son positivos, es falsa, pues a y b pueden ser ambos negativos y el producto, en este caso, es positivo. No'cacin:Si "p implica q" escribiremos p~ implica q ", f.- ~ q . La implicaci6n: p~q, siempre que v(p) =V. Ejercicios 1.16 1. Llene los espacios en blanco con una proposicin, tal que q. Si "p no

se caracteriza porque v(q) - V

45 la primera proposici6n / amp La que la segunda. a) Un nmero es divisible b) c) por dos implica implica los tringulos son semejantes. imp lica _ implica

-----------------implica

ch) Es un cuadriltero

d) Un nmero tiene un divisor distinto

----------------de ~l mismo
entonces p >r. transitiva Llene

2. Demuestre,que

si p

>q

y q~r,

Esta propie-

dad se conoce corno la propiedad 3. Sean p y q dos proposiciones.

de la implicaci6n. en

los espacios

blanco con el o los valores de verdad requeridos: a) Si P=9q b) Si p~q

y Y Y Y Y

v(p)=V, entonces
.(q)~F,

'I)(q) =___ 'I)(p) = v(p)=_ v(q)= v(p)= la relacin p~q afinidad

y

entonces

e) Si ~q
ch) Si p~ d) Si p~q

----

v(q)=v/ entonces v(p)=v, entonces v(q)=F, entonces

Es importante la condicional cados diferentes, Cuando decimos p ~ planteando existe

ar.\OS que d s t ins entre aunque existe estrecha

p ... q, ya que diChas expresiones q, estamos estableciendo

tienen signifientre ellas. slo p y q, En otras sino una

una relacin

entre p y q, en ca~io, siempre podemos palabras, relacin. La confusi6n Matemtica

cuando decimos P" q, estamos Dadas dos proposiciones: la proposicin

una proposici6n. considerar

p" q, pero no siempre

la relacin
...

p=>q, entre dich~s proposiciones.

y ==9 no es un conectivo,

es un conectivo

entre ambas se agrava por el hecho de que sey asf vemos, c6mo muchos

usan indistintamente, se enuncian

teoremas en ", ",

de la forma:

"Si ... , entonces es:

n

cuando en realidad,

la forma correcta

implica

porque un teorema es una proposici6n Ejemplos: 1) Si o: y 1) sen

t:t

verdadera.

son ngulos comp Lemen t ar os, entonces

=cos

1'.

46
2)1

Si en una circunferencia dos cuerdas son congruentes,

entonces equidistan del centro. ,La definici6n 1.15 nos dice, que cuando el valor de verdad de la condicional p+ q es V, entonces p implica q, y la tabla de verdad 1:5 nos dice, que v(p + q) =F s6lo cuando v(p)=V y v(q) =F. Por 10 tanto, si deseamos probar que la proposici6n p implica la proposici6n q, solamente debernosmostrar que cuando p es verdadera tambi~n q es verdadera. Otra forma de probarlo, consiste en mostrar que cuando q es falsa, tambi~n p es falsa. En Matemtica se acostumbra utilizar diferentes expresiones para indicar "p implica q". Estas expresiones son las siguientes: i) Si p, entonces q. ii) P es condici6n suficiente para q. iii) P s6lo si q. iV) q es condici6n necesaria para p. Para entender mejor este lenguaje consideremos los siguientes ejemplos: 1) La condicional: Si un animal es un perro, entonces tiene cuatro patas, es una proposici6n verdadera. Por tanto, la condici6n: Ser perro, implica que el animal tiene cuatro patas. Ahora bien, ser perro, es condici6n suficiente para ser animal de cuatro patas, pero no es una condici6n necesaria, puesto que, si es un 1e6n, tambi~n tiene cuatro patas. Por otra parte, la condici6n: Tener cuatro patas, es necesaria para ser perro, pero no es suficiente, porque hay animales de cuatro patas que no son perros. 2) La proposici6n: Si dos tringulos son congruentes, entonces sus ngulos correspondientes son congruentes, es una condicional verdadera. Note"que la condici6n "tringulos congruentes", es suficiente para que los ngulos correspondientes sean congruentes, sin embargo, no es una condici6n necesaria,ya que podemos dibujar tringulos con ngulos correspondie~tes congruentes sin que sean tri~gulos co~gruentes. La condici6n:

47

"ngulos correspondientes congruentes", es necesaria para que los

,

'

tringulos sean congruentes, pero no es un~ condici6n suficie~te porque los tringulos pu~den ser s6lo semejant~s. Veamos otros ejemplos: 1) La proposici6n: Hay luz, implica'la proposici6n: Hay c1ar~dad. Esta imp1icaci6n podemos expresafla de l~s siguieptes, manerqs: i) Si hay l~z, entonces hay claridad. ii) Hay luz es condici6n suficiente para que haya c La r dad,"

iii) Hay luz s610 si hay claridad. ,iv) Hay claridad es ~ondici6n necesaria para q~e haya luz. 2) Un entero positivo es un mltiplo de tres, implica que la suma de los d~gitos que componen el nmero es un mltiplo de~ .,. tres. La implicaci6n anterior se puede escribir de las formas siguientes: i) Si un entero positivo es mltiplo de tres, entonces la suma de los dfgitos que componen el nmero es un mlt~plo de tres. ' ii) Un entero positivo es mltiplo de tres, es condici6n suficiente para que la suma de los ~gitos que com~orienel nmero s~a ~n mltiplo de tres. iii) Un nmero entero positivo es mltiplo de tre~, s610 si la suma de los dfgitos que componen el nmero, ,es un mltiplo de tres. iv) La suma de loa dfgitos que componen un,nmero es un mltiplo de tres, es condici6n necesaria para qu~ dicho nme~o sea maltip19 de tres. Ejercicio 1.17 1. a) Es:"el animal es carnvoro" condici6n necesaria suficiente para: "El animal es un gato". b) Es: "El altimo'dgito es O 6 5" cond..c .nnecesaria o suficiente para: "Un entero positivo'es mltiplo de 5". c) ES: "un nmero es mayor 'que 6 " cond.c .nnecesaria o suficiente para: "El nmero es mayor que 10".

48

eh) Es: "Las diagonales

son congruentes"

condicin necesa-

ria o suficiente para: "El paralelogramo

es un rectngulo". condicin necesaria De-

d) Es: "El tri~ngulo es equiltero" Definicin una tautolog1a. Ejemplos: 1.16

o suficiente para: "El tri~ngulo es issceles". Sean p y q dos formas proposicionales. cimos que:p =>q si se cumple que la forma proposicional:p ~ q es

1) p
p
V V F F

)(pvq) q
V V V V F V V V ,V
)

La tabla de verdad siguiente justifica este ejemplo:

F
V

2) [(p ~ q) A pJ=)q A continuacin, ci6n.

V

presentamos

la tabla de verdad de la forla implica-

ma proposicional: [(p ~ q) A pJ ~ q, para justificar

V F V F

V V V V

V F F

F
V
I

F
\

3) p A [(p A'Vq) -+ rJ A [ (p A'\Jq) ~ 'VrJ q La implicaci6n anterior queda justificada

>

si construimos

la tabla de verdad de la forma p_roposicional correspondiente. Para facilitar el manejo de la misma, llamaremos A, a la forma proposicional: (pA 'Vq) ~ r, B, a la forma proposicional:
"4) ~
'\J:"

[P

A (pA <q )

-+ r

e, a la forma proposicional: (pA

49 p
V V V V

g_
V V

r
V

",g_
F F
V V

PA'" q
F F
V V

A V V V

B
V V V

"'r
F
V

C
V V

BAC
V V

(BAC)

.+-

V V V V V V V V

F
V

F F
V V

F
V

F
V V V V V

F F F

F V F
V

F
V V V V

F F F

F F F F

F F
V V ti

F F F F

F
V

F
F F

F F

F F

F
V

4) sicional

L (p ~ q)
p
V V V V

(q~ r)] ~ r. Llamaremos A, a la forma propo(p -+ q) ti. (q -+r)] -+z . q

V V

r
V

p-+q
V V

a-+r
V

(p ~ q)

ti V

(q ~ r)

A V V V V V V V

F
V

F
V V V

F F F
V

F F
V V

F F
V V V V

F
V

F F F F

F
V

F
V V

F
V V

F F

Como podemos apreciar,

la tabla de verdad de la forma proy

posicional no es una tautolog!a,

esto justifica que: es la llamada doble

~p -+ q) ti (q -+r)] ~ r. Otra relacin l6gica de importancia

implicaci6n. Definicin 1.17. Sean: P, q dos proposiciones, tales que, p==) q y q =9 p. En este caso, decirnos que existe una relaci6n de doble implicaci6n entre p y q. Notaci6n: Cuando existe una relaci6n de doble implicaci6h entre p y q, escr rb remos i p ee q . Si no existe tal relaci6n,

escribiremos p~ q. Ejemplos: 1) Sean: ro: Un tringulo es equiltero. n. El tringulc tiene tres laaos congruentes.

50 Observe tringulo que: "Un tringulo es equiltero", implica: "El tiene

tiene tres lados congruentes"

y: "Un tringulo

tres lados congruentes",

implica: "El tringulo

es equiltero".

Por lo tanto, entre ro y n existe una relaci6n 2) Denotemos

de doble implicaci6n.

por p la proposici6n: En un plano, un punto P

est en la mediatriz del segmento AB, y por q, la proposici6n: La longitud del segmento PA es igual a la longitud del segmento l'B. En este caso, sabernosque p~ proposiciones p y q. 3) Sean: r: Un ser humano respira. s: Un ser humano est vivo. Es eviden.teque entre las proposiciones r y s existe una relaci6n de doble i~plicaci6n . . 4) Llamemos t a la proposici6n: Un polfgono es un cuadriltero y, u, a la proposici6n: Un polfgono es un rectngulo. En este caso no existe una relaci6n de doble implicaci6n, ya que: u~ t t, porque 'todo rectngulo es un cuadriltero, pero q, y q~ p, por lo cual decirnos,qu existe una relacin de doble implicaci6n entre las

~u,

porque existen cuadrilteros que no son rectngulos,

por ejemplo, el trapecio. 5) Digamos que u es la proposici6n: Un cuadriltero es un cuadrado, y w es la proposici6n: Un cuadriltero es un rombo. Entre u y w no hay una relaci6n de doble implicaci6n, porque: u ~w, ya que todo cuadrado es un rombo, pero w~ u, puesto que xi.stenrombos que no tienen ngulos rectos y por lo tanto, no son cuadrados. La definici6n 1.17 nos dice que entre la proposici6n p y q existe una relacin de doble implicaci6n cuando p =;> q, y al mismo tiempo q ~ p. La definici6n 1.15 nos dice,que p;;'q significa que la condicional p ~ q es verdadera, y q~ p s~gnifica que la condicional q ~ p es verdadera. En consecuencia

51

podemos decir,que entre las proposiciones p y q existe una relaci6n de doble implicaci6n si se cumple que la bicondic1onal p 1+ q es verdadera, ya que: (p -+ q) A (q -+ p):: (p_ q). De esto altimo, podemos deduci! que, cuando entre las proposiciones p y q existe la relaci6n de doble implicaci6n, sus valores de verdad coinciden, es decir, v(p} = v(q) = V o v(p) = v(q) = F, porque la tabla de verdad 1.4 nos dice,que: y(p_ q) = F s610,cuando los componentes tienen diferentes valores de verdad. Si deseamos probar que entre p y q existe la relaci6n de doble implicaci6n, debernosmostrar que cada vez que v(p) = V, tambin v(q) = V, y, adems, que todas las veces en que v(q) = V, tambin v(p) = V. Otra forma de probarlo es mostrando que siempre v(q) = F, tambi~n v(p) = F, y, adems, que toda vez que v(p) = F, tambi~n v(q) = F. Cuando hablbamos de implicaci6n, decamos que suele confundirse con la condicional. En el caso de la doble implicaci6n la confusi6n se presenta con la bicondicional, pero como antes, decimos que cada una, representa expresiones con significados diferentes: la doble implicaci6n es una relaci6n entre proposiciones y la bicondicional es una proposic16n. Es decir, - es un conectivo y~ es una relaci6n y no un conectivo. La relaci6n de doble implicaci6n es muy usada en l-1aterntica en la definici6n de conceptos, porque una definici6n no es ms que una proposici6n que expone con claridad y exactitud los caracteres gen~ricos y diferenciales de una cosa material o inmaterial. Ejemplos: 1) Dos ngulos son congruentes < ) ambos tienen la misma medida. 2) Dos segmentos son congruentes < ;> ambos tienen igual longitud. 3) Dos ngulos son complementarios~sus medidas suman
90.

4) Dos tringulos son congruentes~existe una correspondencia uno a uno entre sus v~rtices, tal que, los ~ngulos correspondie~tes son congruentes y los lados correspondientes

52 son congruentes. 5) Dos tringulos denc~a son seme j ant.e a e=e existe una correspon tal que, los ngulos correspondienson proporsus rtnicos entre sus vrtices,

tes son congruentes cionales.

y los lados correspondientes

p, es primo ~

6) Un nrtmero entero positivo: divisores son 1 y p, y p ~ 1.

~unque del lenguaje las definiciones ordinario,

se presentan

de la forma" ... si y s610 el abuso como vlida

y s610 si ...", sabernos, que no es lo correcto, justifica que se admita esta forma de presentacin. En Hatemtica se utilizan diferentes

expresiones

para

indicar que en~re dos proposiciones, una relacin de doble implicaci6n. suficiente necesaria
v .

digamos Dichas

p y q, existe son: para q ,(por qu?) para p.

expresiones

i) p es condicin

necesaria

ii) q es condici6n

y suficiente

iii) P si y s610 si q. Note, que esta rtlti~a puede desglosarse

1) p si q

en las oraciones:

(q =>

p)
--i>

2) P s610 si q (p Ejemplos: ABC es equiltero

q) la proposici6n: El tringulo equingulo, El tringuimplica e L anteriores sufiSer para:

y que:

1) Consideremos

si y slo si el tringulo verdadera.

ABC.es

que es una bicondicional lo ABe es equiltero, gulo

Por lo tanto:

implica que el tringulo

ABC es equin-

y, tambin: El tringulo
ABe es equiltero. que: Ser tringulo equingulo,

ABe es equingulo,

tringulo justi~ican tringulo

Las dos implicaciones equiltero, equing~lo

es condicin

ciente y necesaria Ser tringulo 2) Entre proposici6n:

para: Ser tringulo es condicin

necesaria

y suficiente

equiltero. la proposicin: Un tringulo Un tringulo es issceles, y la congruentes, exispodemos y

tiene dos ngulos

te una relaci6n expresarla

de doble implicaci6n. formas:

Tal relaci6n,

ae las siguientes

i) ''Untringulo

es is6sceles", es condicin \

suficiente

53

necesaria para: "Fltringulo tiene dos ngulos congruentes". ii) Un tringulo tiene dos n9ulos congruentes, es condici6n necesaria y suficiente para que el tringulo sea is6sceles. iii) Un tringulo es is6sceles si y s610 si el tringulo tiene dos ngulos congruentes. Definici6n 1.18 Sean: p y q dos formas proposicionales. Decimos que entre p y q existe una relaci6n de doble implicaci6n si la forma proposicional p ++ q es una tautologia. En tal caso, escribimos p~q. Ejenplos: 1) Entre las formas proposicionales: p + q , y ~p v q existe una relaci6n de doble implicaci6n. La siguiente tabla de verdad justifica este ejemplo.

~I
F F

v
F
V F

F F
V V

V F V V

V V V V

F
V V

2) p+ (q v r) ~ "'r + (p + q) La relaci6n anterior queda justificada si construimos la tabla de verdad correspondiente. Para facilitar el manejo de dicha tabla f. llamaremos A, a la forma proposicional: p + (qv r) y, B, a la forma proposicional: ~r + (p + q) . p
V V V V

q
V V

r
V

q v r
V V

A V V V

",r
F
V

p ->q
V V

B V V V

A -++B V V V V V V V V

F
V

F
F
V V

V
F
V V V

F
V

F F
V V V V

F
V

F
V V V V (q A "'p)

F
V V V V

F F F F
3)

F
V

F
V

F F

F
V

(p A "'q)

<=1=>

Llamaremos A, a la forma proposicional mos B I a la forma proposicional: qt, ",p.

p {\ ~q

llamare-

54

p
V V

.q
V

",q. A
F
V

",p
F F
V V

B -++ V

F
V

F F
V

F F
V

F F

La tabla de verdad correspondiente indica que la forma pxopos c one L; (p J\IVq)

v
F

F
V

F F

-++

(q J\"'p) no es una tautologa. Esto

justifica

que

no exista relacin de doble implicaci6n entre

.Las formas proposicionales.

Ahora bien, si la forma proposicional!p-++ q es una tauto~

loga, es porque la forma proposicional p y la forma proposicional q tienen la misma tabla de verdad, pero la definici6n 1.8 nos deca que,en tal caso, las formas proposicionales son equivalentes. , puede usarse, indistintamente el smbolo porque ~i p

Por lo tanto, en el caso de las formas proposicionales,

o el smbolo ...

q, entonces p~q,

y viceversa. q.

Por abuso del

lenguaje, cuando tenemos dos proposiciones: son equivalentes si se cumple p~ Ejerci.cios 1.18

p, q, decimos que

1.' Llene los espacios en blanco con una proposici6n, tal que entre la primera proposici6n y la segunda exista una relaci6n de doble implicacin. a) 'Dos rectas son perpendiculares ~ 'b) Un ngulo es ~ su v~rtice es un

--------------------_.

Eunto de una circunferencia y cada uno de sus lados interseca la circunferencia en otros dos puntos. e) Un polgono es convexo ~
eh)

--------------------adems es equiltero
p.

es un polgono convexo que y equingulo.

dl
2.. Demuestre que: a) p~ Esta propiedad se conoce como propiedad reflexiva de la doble implicaci&.

55

b) Si P
c)

3. a)

b) c) ch) d)

q, entonces q -==:> p. Esta propiedad se conoce como la propiedad simtrica de la doble implicaci6n. Si p -==:> q, y q -==:> r, entonces p <==> r. Esta p~opiedad se conoce como la propiedad transitiva de la doble i.mplicacin. v(q)= Si p~q Y v(p)= V" entonces F, entonces v(p)= Si p~q Y v (q):;: v (p):;: Si p~q Y v(q)= V, entonces = v, entonc.es V ('l.q) = Si p~q Y .,,(p) Si p~q v(q)= Y v(p)= F, entonces
.:=;.

----------------~--.
--------------------_.

1.16 Formas argumentales Constantemente, en la vida diaria, nos encontramos con razonamientos, tales como: 1) Si un hombre est casado, entonces tiene problemas. Este hombre no tiene problemas. Por lo tanto, este hombre no es casado.. 2) Si estudio Lgica, me duele la cabeza. Si me duele'l~ cabeza, tomo aspirinas. Anoche tornaspirinas.,Por lo tanto, no estudi Lgica. , En base a nuestras experiencias, muchas veces podemo& decir, si un razonamiento como los anteriores, es correcto o no. En otras ocasiones, en las que se presentan argumentos muy complicados, el anlisis de los mismos requiere una mayor precisin de 10 que se entiende por un argumento correcto .... Precisamente, uho de los ms importantes frutos que los autores esperan obtener con estos apuntes, es que el lector pueda determinar si un argumento es correcto o no. Definicin 1.19 Sean: P1' P2 ...,'Pn ' q, form~s proposicionales. Una forma argumental es una forma proposicional del tipo: (P1J\P2J\... J\Pn -+q. Definicin 1.20 En la for~a argumental (P1 J\ P2 J\ A Pn).. q, las formas proposicionales P1' P2' ..., Pn se llaman premisas o hiptesis, y la forma proposicional ~ se llama conclusin. Definicin 1.21. La forma argumental (P1 J\ J\ Pn) -+q es

56

vlida si y s610 si (P1 A P2 A A Pn) ~ q. En caso contrario, decimos que la forma argumental es una falacia. Ahora bien, recor~emos que para demostrar que p ~ q, basta-. ba con mostrar que p ~ q es una tautologa. Por 10 tanto, si deseamos probar que la forma argumental: (P1A P2 A ... A Pn) + q es vlida, debemos probar que la forma proposicionaJ: (P1A P2 A .. A Pn) + q es una tautologa. Por esta raz6n, es que las tautologas son tan importantes en el estudio de la L6gica. Ejemplos: 1) (p A q)
+

q.

En este ejemp1~ p, q son las premisas, y q es la conc1usi6n. Deseamos averiguar si sta es una forma argumental vlida o no. Por la definici6n 1.21 sabemos que la validez depende de que la forma proposicional sea una tautologa. Para saber si una forma proposicional es una tautologa, debemos construir su tabla de verdad, o bien, comparar la f~rma proposicional con formas proposicionales que son tauto10g1as, por ejemplo, las leyes que se incluyen en la secci6n 1.14. En el presente ejempl~ sabemos que es una tautologa porque est incluida como tal en la secci6n 1.14, (nmero 3). De todos modos construyamos su tabla de verdad:

v
V F F

V F V F F

V V V V

F
F

Cornovemo~ es una tautologa, por lo tanto, la forma argumental es vlida. E jemplo 2: p A (r v s) + (pA r) En este ejemp1~ las premisas son: p, (r v s) y la conclusi6n es pAr. Veamos la tabla de verdad correspondiente, en la cual llamaremos A, a la forma proposicional:PA forma proposicional: PAr. (r v s) y, B, a la

57 p
V V V V V V V V

q
V V

r
V V

s
V

r v s
V V V

A V V V

B V V F

A-+B V V

F
V

V
V

F
F V V

F
V V V

F
V

F
V V V

F
V V V

F
V V

F F F F
V V V V

F
V

F F
V V

F F F F F F F F F F

F
V V V V V V V V V

F
V

F F F F F F
F

F F F F F F F F

V
V V

F
V F V

F F
V V

F
V V V

F F F F

F
V

F F

F F

Comovernos, la forma proposicional: es una tautologa lacia. Para demostrar vlida probar
\1

[p A(r v s)

-+ (p

Ar) no

y por lo tanto, la forma argumental

es una fa-

que la forma argumeptal:

(Pl A ...

ApJ -+ q

es

basta

'Pl A .. Jo. Pn ~ q. Luego es suficiente . que \1 (q) =V siempre que \1 (Pl Jo. APn) = V. Pero
\1

con establecer

(Pl A APn) = V si y s6lo si es vlida en todos

(Pl) =

\1

(Pn) = V.

Por tanto, es las prede verson

"una forma argumental verdadera misas son verdaderas. dad de la conclusi6n, verdaderas.

si y s610 si .la conclusi6n nos interesa el valor

los casos de verdad en los que todas En sntesis, solamente cuando todas

las premisas

La forma argumental: presentarse

(Pl AP2 A . APn) -+ q, tambin puede de la siguiente manera:

en forma vertical,

58

Entendindose,en tales casos, que las formas proposicionales encima de la raya son las premisas y la forma proposiciona~ por debajo de la raya,es la'conclusi6n. En la forma vertical, los ejemplos 1) y 2) pueden ser escritos de la s~guiente manera: Ejemplo 1: p

.s.,
q

Ejemplo 2:

r v s PAr
Ejerci.cios1.19
1. Defina:

a) forma argumental. b) forma argumental vlida. e) forma argumental no,vlida o falacia. 2. Complete: a) Si una forma argumental es vlida, la conjunci6n de las premisas implica la b) Si la de las premisas implica la conclusi6n, entonces la forma argumental es c) En una forma argumental vlida el valor de verdad de la conjunci~n de las premisas es en los casos de verdad en que la conclusi6n es falsa.

----------------------

59 eh) Si la forma argumental: (Pi A .. APn) + q es vlida, tonces la tabla de verdad de la forma proposicional: PI A
<1)

en-

Pn + q es una

la tabla ~e verdad de: (Pi AP2 A .. Apn) + q es una contingencia, entonces la forma argumental:
Si

(PI AP2 A . Apn) + q es e) .Si la tabla contradic9i6n, (PI AP2 A 3. Determine

a) b) e)

de verdad entonces

de :(P1 P2A 11. Pn)+, q es una la forma argumental:

APn) + q es formas argurenta1es siguientes h) '\!!+ "P son vlidas

si

las

o son falacias:
[q A (p + q) ] + P

[_P
q

A (p ~~

+ q

9
i) P P+ q '9+ r
r:

P +q

.,..r

P +r

ch) P
(p

q) + r

j)
k)

'\P ",(p A q)

d) P +q v q +r r r +P e) pAq p+r

ID+

1) P+ q p v r

q v r 11) P -++ q
q-++r

SI +8
r +s f) P +q

p-++r
m)

"'9
P g) P ...q

pA q ;P+9

9
P

60

\.17 Argumentos Definici6n 1.22 Si en una forma argumental (Pl A P2 A 1\ p) ..... q sustituimos las premisas y la conclusi6n por proposiciones especficas, obtenemos un argumento. Un argumento es, pues, un conjunto finito de proposiciones en el que se entiende que una de ellas, la conclusi6n, es consec~encia de las otras proposiciones, a las que se les llama ~+emisas. Definici6n 1.23 Un argumento es vlido si y s6lo si la forma argumental correspondiente es vlida. De otro modo, decimos que es una falacia. Por lo tanto, un argumento es vlido cuando la conclusi6n es una proposici6n verdadera en todos aquellos casos en que las premisas son proposiciones verdaderas. Es de suma importancia resaltar, que la validez de un argumento no depende de los contenidos de las proposiciones que lo componen, sino s6lo de la "forma" del argumehto. Est'o se debe a que la validez de un argumento se basa en la validez de la.forma argumental correspondiente. Otro detalle de inters, es que el valor de verdad de la cenclusi6n no afecta la validez de un argumento. De hech~ podemos tener un argumento vlido donde la conclusi6n es una proposici6n falsa, y se da el caso, de que tengamos una falacia, y la conclusi6n en tal argumento es verdadera. Consideremos las proposiciones: p: Un cuadrado tiene sus cuatro lados congruentes, q: Un pentgono tiene seis lados, y el argumento: Si un cuadrado tiene sus cuatro lados congruentes, entonces un pentgono tiene seis lados. Un cuadrado tiene sus cuatro lados congruentes. Por lo tanto, un pentgono tiene seislados. La forma argumental de este argumento es:

61

Es decir, [(p-+q)AP] -+q, pero vimos en la secci6n ~.14, que esta forma proposicional es una tau~olog!a, por lo tanto, el argumento es vlido, y sin embargo, la conclusi6n: Un pent~ gono tiene seis lados, es una proposici6n falsa. Por otra parte, consideremos el argumento: Si un cuadrado tiene sus cuatro lados congruentes, entonces un pentgono tiene seis lados. Un pentgono tiene seis lados. Por lo tanto, un cuadrado tiene sus cuatro lados congruentes. La forma argumental de este argumen~o es: p-+q

_s__
p

cons t ruyemos la tabla de verdad de :[(p-+q) )A v V V V V V F F F V

F F V F V V V F F V

q ] -+p.

Como se aprecia en la tabla, el argumento no es vlido, ya que su forma argumental es una falacia. Sin 'embargo, la proposici6n: Un cuadrado tiene sus cuatro lados congruentes, qoe es la conclusi6n de este argumento, es una proposici6n verdadera. Analicemos ahora los argumentos con los cuales se -inic16 la secci6n 1.16. 1) Sean: p: Un hombre est casado. q: Un hombre tiene problemas. Entonces, {(p-+q) A ~}-+ ~p, es la forma argumental correspondiente. Veamos si dicha forma argumental, es vlida o no, construyendo la tabla de verdad correspondiente, en la cual llamaremos
t

62 A, a la forma proposicional: (p-+q) A ",q.

v
V F F

'"
F F V V V V V V

v
F V F

F
V F V

v
F V V

F F F V

ceec : [(p-+ q) A "Iq] -+ I\p es una tautologa, tenernos que [(p-+ q) A ~J -+"pe8 una forma argumental vlida y el argumento considerado tambi'ri lo es. 2) Sean: p: Estudio L6gica. q: Me duele la cabeza. r: Tomo aspirinas. La forma a~gumental, correspondiente es: p-+q g -+ r
r

"'P

Para determinar la validez o no del argumento debemos determinar .i [(p+ q)A (q+ r)A rJ -+"'p es una tautologa. Para ello con.t~yamos BU tabla de verdad. En la misma llamaremos A, a la forma proposicional:p-+ q, B, a la forma proposicional:q+ r y, C, a la forma ,proposicional :'(P+q) A (q-+r) A x , p q r A B C e -+_ '\l.) ~
V V V V
F F

V V
F

V
F

V V
F F
I

V
F

V F F

F' F

F V V V V V V V

V
F

V V
V

F F
V V V V

F
V V

F V F
V F

V V
V

F
V

F
V V

F F

F F

Como la forma proposicional no es una tautologa, concluimoa que el argumento es una flacia.

63

1.18

Procedimientos para\determinar la validez de ~una forma argumental

A)

Mediante tablas de verdad: En los ejemplos anteriores hemos ilustrado c6mo las tablas de verdad correspondientes a (P1 A A Pn) .. q nos permiten decidir acerca de la validez o no de una forma argumental. Ahora bien, si se nos pide determinar la v~lidez o no de la forma argumental: I(sv p) A (P" q) A (r"'"p) A {s.. '" t>1 ..(q A t), el construir la tabla de verdad de la forma proposicional correspondiente sera sumamente trabajoso por la cantidad de componentes at6micos que posee. Esta es la raz6n por la cual, en ocasione~ el procedimiento de la tabla de verdad no es muy conveniente para determinar la validez de un argumento, a pesar de que tiene un gran valor ya que determina automAticamente si una forma argumental es vlida o no. B) Procedimiento practico: Por la definici6n 1.21 sabemos que la forma argumenta~ P1 A A Pn .. q es vlida si la forma proposicional: P1 '" '" Pn -+ q es una tautologa. Ahora bie~ si suponemos que la forma proposicional: Pl ,'" P2 '" '" Pn -+ q no es una tautologa, queremos decir, que para algQn caso de verdad la forma proposicional: P1 1\ ~2 1\ A Pn -+ q es falsa, y esto s6lo es posible si v(q) = .., cuando v(P1A P2 A '" Pn)= V, es decir, cuando todas las premisas son verdaderas y la conclusi6n es falsa. El suponer que la forma proposicional: Pl A P2 A A Pn -+ q no es una tautolog!a, puede llevarnos a uno de los dos casos siguientes: 1) Obtener que uno de los componentes at6micos de las premisas, o de la conclusi6n es verdadero y falso, lo cual no es posible, (por gu~?). De esta imposibilidad, concluimos, que nuestra suposici6n de que la forma proposicional: 'Pl A P2 A A Pn .. q no es una tautolog!a, es una suposici6n falsa. Por lo tanto, la negaci6n de esta suposici6n es verdadera, es decir, la forma

64 proposicional:. decir, que la 2) en el Por lo significa Pl h P2 A APn-+q es una tautolog.a. forma argumental es vlida. componentes at6micos Esto Esto quiere

Obtener un caso de verdad de los forma proposicional: tanto,

que la

Pl A P2A A Pn-+q es falsa.

Pl A P2A A Pn-+q no es una tautolog.a. forma argumental es una falacia. 1) [(p -+q) A (q -+r

que la

Ej emp los: (p -+q) A (q -+r) bien, te, si si

-+ (P-+r) -+ (p -+r) es falsa, entonces es falsa, entonces (por qu~?). Ahora Por otra parv(p -+q) = V Y

Supongamosque: [(p -+q) A (q -+r~ es verdadera y (p -+r) es verdadera, Pero, V. v(q) = V.

v(p -+r) = F, es porque v(p) = V Y v(q) = F. V, (por qu~?). tanto, que v(r)=

(p -+q) A (q -+r)

,,(q-+ r)=

tenernos que :v(p)::;; V y t amb n Adems, v(q -+r) = V, Y estable-+ (p -+r) -+ (p -+r) forma arcorno que l(p -+q) A (q -+r~ [(p -+q) A (q -+r~ de la Sin embargo, ms arriba

v(p -+q) = V, por lo v(q)= V implica cimos que ver) = F.

Luego, es falso Por lo tanto,

no es una tautolog.a. es una tautolog.a. gumental.

Esto nos asegura la validez anlisis anterior

Esquemticamente, el sigue: a) esto es,

se representa

Suponer [(p-+ q) A (q-+ r)] -+ (P-+r) la condicional es falsa. (q-+r~ -+ (p-+r)

no es una tautolog.a,

[(p-+q)A b) es V y el Si la condicional

es falsa, A (q-+r)] es porque el antecedente consecuente es F. [Cp+q) c) Si v(p-+ r)=

-+(p-+r)

~.

F, entonces

v(p)= V y v(r)=

F.

[(P+ q) A eh) 'v p -+q) A (q -+r=

r-

r~ -+ (p -+r)

~
que
\ (p -+q)= y v (q -+r)=

V, implica

V.

65 d) v(P-+ q) =

v
I

y v(p):c V implica
V V '\:!.) V
I~ I

que
V F F
III

v(q) = V.

[(p -+q) A (q-+ r~

'\:!.) .

-+ (p -+r)
F
I

e)

v(q -+r) = V Y v(q) = V implica [(p -+q) A (q -+r~

I ' V V V V V V\:!)
I ,

que

ver) = V.

-+ (p -+r)
I I I I F V F F

f) Para es vlida, pasos del lector.

2)

Pero

ver)

V Y ver)
(p -+r)

= F, no es posible. fOli_ma -argumental tan as

Por lo es vlida.

tanto, -+ (p -+r)

[(p -+q) A (q -+r)] probar

-:->

y la

que la

forma argumental: presentar para

[(p -+q) A (q -+r~ detalladamente la mejor

no es necesario

los siete

anteriores.
p v q

Lo hemos hecho

comprensi6n

q p Suponer condicional Por lo tanto, encontrado v(p)= F y falacia.

3)

[(p v q) A q -+p no es una tautologa, es F, as! que debe ser del en el la v(p v q) = V Y v(q) = V. de verdad Pero valor cual la v(q)

esto

es,

la

v( ( p v q) A q) = V Y v(p)

F.

V implica

v(p v q)= V, independientemente un caso v(q)= V. p-+q "'p v"'q Por lo tanto,

de verdad condicional

de p.

Hemos

es falsa: es una

forma argumental

PAq Supongamos que! [(p -+q) A (",p,v tolog!a, cuales esto quiere Pero, caso: decir, que v(p Aq) = F. Primer p Aq es falsa

",q)] -+ (p Aq) no es una tausituaciones, las

v( (p -+q) A (",p v ",q = V Y en varias

debernos considerar. v(p)= V Y v(q)= F. Corno v( (p -+q) A (",~ v "'q

V, significa

que

v(p -+q) = V Y

v("'p v "'q) = V, tenernos, .. que: v(p) = V Y, v(p -+q) = V, implica que: v(q) = Vi pero anteriormente establecimos que v(q) = F. Hemos encontrado una contradicci6n.

66

v(p)= F Y v(q)= V. En este caso ~v(p-+q)= V y' \)('Vp V 'Vq)= V, (por qu~?). Luego, en este caso de verdad, la condicional es falsa. Tercer caso: v(p) = F Y v(q)= F. Como v(p)= F Y v{q)= F tenemos que t v(p-+q) = V, Y v('VpV 'Vq)= V, (por qu~?). Luego, hemos encontrado otro caso de verdad en el cual la condicional es falsa. Por tanto, la forma argumental considerada es una falacia. Note el lector, que no era necesario el desarrollo de los tres casos, porque a partir del segundo caso pudimos concluir que la forma argumental era una falacia. Desarrollamos los tres casos solamente con el fin de ilustrar lo siguiente: Primero: Si existen varios casos de verdad en los que la condicional es falsa, no podemos concluir que la forma argumental es vlida porque encneremos una contradicci6n en uno de los casos de verdad posibles (primer caso en nuestro ejemplo). Para que l forma-argumental sea vl~da debe establecerse una contradicci6n en cada uno de los caso de verdad posibles. Segundo: Si existen varios casos de verdad posibles y encontramos un caso de verdad en el cual la condicional es falsa, podemos concluir que la forma argumental es una falacia.
Segundo

caso s

Ejercicio 1.20 Determine si los siguientes argumentos son vlidos o no. a) Si los intereses bancarios disminuyen, entonces las personas pedirn ms dinero prestado. Si las p~rsonas piden ms dinero prestado, ent~nces se construirn ms casas. Si se construyen ms casas, entonces los intereses bancarios disminuyeron. b) Si yo no estudio, entonces dormir~. Si estoy preocupado, entonces no duermo. Si estoy preocupad, entonces estudiar~.

67

e)

Si un partido pol!tico no tiene recursos econ6micos, entonces no puede gastar dinero en propaganda por televisi6n. Si un partido no puede gastar dinero en propaganda por televisi6n, entonces sus posibilidades de ganar las elecciones son bajas. El partido tiene una alta probabilidad de ganar. El partido es pobre. Si la pel!cula es alemana,-entonces vale la pena ir a verla. La pel!cula no vale la pena o es muy caro ir a verla. No es caro ir a ver la pel!cula. La pel!cula es alemana. Si voy en guagua y la guagua est retrasada, perder mi cita. Si pierdo mi cita y me siento deca!do, entonces nQ debo ir a mi casa. Si no obtengo el empleo, entonces me sentir deca!do y tendr que ir a casa. Si voy en guagua y la guagua est retrasada, entonces obtendr el empleo. Si un profesor es simptico,entonces no es profesor de Filosof!a. Julin es profesor de Filosof!a. Julin no es simptico. Si ahorro dinero, podr terminar mis estudios universitarios. Yo no ahorro. Yo no podr terminar mis estudios universitarios. Si uso sombrero, me quedar calvo. Uso sombrero. Me quedar calvo.

eh)

d)

e)

f)

g)

68 h) Si estudio L6gica, entonces me acuesto tarde. Si me acuesto tarde, no me levanto temprano. Llegar tarde a la clase de L6gica si no me levanto temprano. Si estudio L6gica, llegar tarde a la pIase de L6gica. i) Los tringulos dados son semejantes. Si los tringulos dados tienen sus ngulos correspon-. dientes congruentes, entonces ellos son semejantes. Los tringulos dados tienen sus ngulos correspondientes congruentes. j) Ir al cine o estudiar Ortograffa. Si no est.ud o Ortografa, reprobar el primer examen de

Espaol. Si repruebo el primer examen de Espaol, entonces tendr que estudiar mucho para el pr6ximo examen. Si tengo que estudiar mucho para el pr6ximo examen, entonces no podr ir a la fiesta de la ciudad. Estudio Ortografa o no ir a la fiesta de la ciudad. k) Si un viejo se enamora, entonces es un viejo verde. El que se enamora es un tonto. Pedro es un viejo ,qu~ se enamora. Pedro es un viejo verde y un tonto. '1) El alma humana es simple. Si es simple, entonces es incorruptible. Es incorruptible s6lo si es inmortal. El alma humana es inmortal.
/

11)

S610 se puede habitar en la Tierra o en Gan!medes, pero no en ambos. Si habita la Tierra, vi~e men9s de 150 aos. Si habita en Gan!medes, entonces vive al menos 150 aos. Este ser puede vivir al menos 150 aos. Este ser no habita en la Tierra.

69 1.19 Mtodos de demostraci6n usados en Matemtica un estudio de las etc. la

En las unidades anteriores presentamos proposiciones, relaciones

l6gicas, formas argumentales,

Todo ello, con el fin de preparar al lector para comprender manera c6mo se usan los conocimientos lidez de los argumentos utilizados que una proposici6n Es conveniente es un teorema. en Matemtica

16gicos para probar la vapara demostrar

apuntar, que la L6gica aporta los instrumensi una deducci6n es vlida a partir como de la ververdadera y,

tos necesarios para averiguar

de las premisas dadas, y esto, porque la validez de una deducci6n 16gica depende tanto del proceso de razonamiento dad de las proposiciones En Matemtica ellas: iniciales. Veamos algunas de un teorema es una proposici6n

corno tal, tiene varias formas de presentarse.

1) 2)
3)

Existen nmeros perfectos. La igualdad 1 + 2 + .. + n

n(n+1}

. es v11da para

todo nmero natural n. Si dos ngulos son opuestos por el vrtice, entonces son congruentes. Muchos teoremas se expresan en forma anloga al ejemplo 3. Ahora bien, recordemos implicaci6n, que al hablar de la implicaci6n, verdadera hicimos es una notar ~ue un teorema por ser una proposici6n de condicional. Por lo tanto, para demostrar un teorema de la forma IISip, entonces qll, tenernos que probar, que la proposici6n dera cuando la proposici6n demostraci6n los ms importantes~ p es verdadera. contarnos con varios mtodos, sern presentados q es verdaPara realizar esta algunos de los cuales,

aunque, por abuso del lenguaje se expresa en forma

a continuaci6n. Este mtodo se caracteriza por el mtodo

Mtodo directo de demostraci6n:

porque establece que: v(q} = V, partiendo de la afirmaci6n ~ v(p}= V. El esquema que se sigue para demostrar,

70

directo, cada teorema de la forma "Si p, entonces q", es: 1) Suponer v(p)= V.
2)

Construir una cadena de implicaciones de la forma:

Pa=+P1' P1-=)P2' ., Pn-1 ~Pn' Pn ~q. Dado que:p )P1' y que v(p)= v , se tiene que v.(P1)"= v, (por qud?). Pero v (Pt)= V Y P1 ) P2 implica que v (P2)= V, (por qu~?) Si seguimos utilizando sucesivamente un razonamiento an4logo a los anteriores, llegaremos a la conclusi6n de que ~q)a V, porque v(Pn) V y Pn~q. Ejemploa: 1) Designemos: p: n es par. q: n 2 es par. Entonces, para demostrar el teorema "n es par ~ n2 es par", debemos suponer v(p)=V, esto es, n es par. Entonces: n es par ~ n = 2k (p =+ P1) n = 2k ~ n2 = 4k2 (P1 =+ P2) n2 = 4k2 ~ n2 = 2(2k2) (P2 :+ P3) n2 = 2 (2k2) ~ n2 es par (P3 :+ q) 2 Luego, n es par. 2) S~ n es un divisor dt!a y b, entonces n es un divisor de a+b. Supongamos que:n es un divisor de a y de b. (p .. 1'1) n divisor de a y b ~ a = na' y b z: nb' a + b = na' + nb' a - na' y b = nb' ~ P2) (Pl a + b = n(a' + b') a + b = na' + nb' ~ (P2 P3) a + b = n(a' + be) ~ n es un divisor de a + b (P3 q) Luego, n es un divisor de a + b. 3) Si dos ngulos, < A Y < B, tienen un mismo suplemento, entonces los 4ngulos son congruentes. Supongamos que: < A Y < B tienen un mismo suplemento, el < c. < A Y < B tienen < C como suplemento m < A + m < C 180 y m < B ... m < C = 180 (p" Pl) m < A + m .<e = 180 Y m < B + m < C = 180 ~ m <A+m <C=m <B+m <C

.. .. ..

71 m<A+m<C=m<B+m<C~ m < A = m < B ~ < A Y Por tanto, < A es congruente con Ejercicio 1.21 m<A=m<B < B son congruentes. < B.
(P2 ~
(p'~'.~

P3)
q)

Demuestre, utilizando el mtodo directo, que: a) b) c) ch)

d).

~i n es impar, entonces n a-b.

es impar.

Si n es un divisor de a y b, entonces es un divisor de A Y < B, tienen un mismo complemento, entonces los ngulos son congruentes.
<

Si dos ngulos:

Si n es un divisor de a, entonces n es un divisor de a x b. es par. 2 2 Si x= a + b, entonces x = a + 2ab + b2 Si x = a + b, entonces x 3 = a 3 + 3a2b + 3ab2 + b3 Si < A es congruente con <B y <B es congruente con < C, entonces
<

Si n es par, entonces n

e) f) g) h)

A Y < C son congruentes. (Para demostrar esta

Si dos rectas son paralelas, entonces los ng~los alternos internos son congruentes. verdadera: proposici6n, acepte que la siguiente proposici6n es Si dos rectas son paralelas, en~onces los son congruentes) . m.+ n es impar. ngulos correspondientes

i)

Si n es par y m es impar, entonces

Mtodo Indirecto de Demostraci6n: Los mtodos indirectos para demostrar un teorema de la forma "si p, entonces q" se caracterizan porque parten de la hip6tesis bar que:v{q)= V. v(",q)=V, para proSu nombre se debe, pues, al rodeo que se

realiza para llegar a demostrar que la conc1usi6n es verdadera. De este tipo existen varios mtodos, pero aqu s610 estudiaremos dos de ellos. a) Mtodo de la Contrarrecprca. siguiente: p+ q - ",q+",p Este mtodo se fundamenta en la equivalencia

72

De manera que si probamos que: \) ("-<1-+ "'p) = V, entonces habremos demostrado que:p ~ g. EjemElo: Demostrar que: a 2 es impar ~a es impar, donde a es nn nmero natural. 2 Sean: p: a es impar, q: a es impar. Entonces, el enunciado bajo consideraci6n, se expresa simb6licamente como:p 9> q. En smbolos, la contrarrec!proca de la condicional p-+q es ",q ..... ",p,.que en palabras es: Si a no es impar, entonces a2 no es impar, pero esta condicional expresa lo mismo que la condicional: Si a es pa~ entonces a2 es par. Por lo tanto, si ,usamos el m~todo de la contrarrec!proca, lo que debemos probr es que: a es par ~ a2 es par. Pero esta implicaci6n fue demostrada en el ejemplo 1. En ~ consecuencia, ",q~ '" p, y concluimos que p =9 q.
Ejercicio 1.22

Detnues~, utilizarrlo la contrarrec!proca, el siguienteteorana: Si a3 es :impar, entoncesa es .impar, donde a es un nllero natural. b) Demostraci6n por contradicci6n o reducci6n al absurdo. Es fcil para el lector comprobar que es vlida la forma a:r;gumental: {P A (",q-+r)A (",q-+ ",r)} -+ q. El mtodo de reducci6n al absurdo est basado en dicha forma argumental. El nombre de reducci6n al absurdo o contradicci6n se debe al hecho de que a partir de:pA "'q se deduce una 'contradicci6n de la forma: r A vr . La proposici6n que nombramos r puede ser la proposici6np, algn axioma o proposici6n 'establecida o demostrada pr~viamente o una definici6n. 2 EjemElos: 1) Demostrar que: a es par => a es par, donde a es un nmero natural. 2 Sean: p: a es par, q: a es par. Supongamos que: a 2 es par (p) y que a es impar ('Vq).

73

a es impar ~

2k + 1

hq ~
{Pl =9
{P2 ~

a = 2k + 1 9> a2 = (2k + l)? = 4k2 + 4k + 1 I a2 = 4k2 + 4k + 1 ~ a2 = 2(2k2 + 2k} + 1 a2 = 2(2k2 + 2k) + 1 ~ a2 es impar
Luego, hemos probado ~q ~ Pero ya sabemos que ~q ~ p, ~p, (por qu~?) (por qu~?)

{P3 ~

Por lo tanto, la forma argumental escrita al principio de la secci6n nos asegura que: v(q}= V cuando v(p)= V, es decir, p ~ q.

..

En la prctica, la demostraci6n por reducci6n al absurdo de un teorema termina tan pronto se consigue una contradicci6n . con una de las premisas, algan teorema, algan axioma o alguna definici6n. 2) Sean Ll, L2, L3 tres rectas diferentes en un plano. Deseamos demostrar que: (L1 L2) A (L2 1/ Sean p: Lll/ L2

/1

L3) ~

Ll 11

L3

q: L3 .t: Ll // L3 Supongamos que Ll // L2 (p), L2 Ll){ L3 ~

L21J

JI

.L3 (q), Li.)('-L3 <"'t).

Ll Y L3 tienen un punto, digamos R~'en comn ,

Ll Y L3 tienen un punto R en coman ---> por R pasan dos rectas paralelas a L2 (r). Pero esto contradice el postulado o axioma que dice, que por un.punto exterior a una recta pasa una y s6lo una recta paralela a dicha recta, esto es, v(~r)= V. Luego, v (t)= V (por qu?). Por tanto, p A q ~ t.

El mtodo de demostraci6n por reducci6n al absurdo esmuy usado en Mat~mtica. Ms aan, existen teormas para los cuales no hay otro mtodo de demostraci6n posible.

74 Ejercicios 1.23 usando reducci6n al absurdo, que:

1. Demuestre a) s a

es impar, a es impar, donde a es un ntlrrero natural. b) En un plano, si dos rectas son perpendicularesa una misma recta entonces son paralelas. c) Si dos rectas se intersecan,entonces tienen exactamenteun un punto en ccmn, ch.} En un plano, por un punto exterior a una recta existe una y s610 -una recta perpendiculara ella. d) Si a x b es par, a es par o b es par; a y b ntlmeros naturales. 2. Demuestre que la forma argumental siguiente es v~ida: {p A (p A "'q -+- r) A (p A "'q-+- vr ) } -+- q. ci6n al absurdo). (Forma general de reduc-

La parte de la L6gica contenida en este captulo se conoce con el nombre de clculo Proposicional. Debernos observar que no se hizo ningGn hincapi en el contenido de las proposiciones. Pusimos nfasis en el hecho de que cada proposici6n tiene un nico valor de verdad, 10 que nos permiti6 obtener el valor de v~rdad de proposiciones arbitrarias combinadas por medio de conectivos. De esta manera, obtuvimos las leyes 16gicas, las cuales son independientes del contenido de las proposiciones componentes y de su v~lor de verdad. Es decir, resaltamos las formas proposicionales, en lugar de las proposiciones. Finalmente, notemos que cada forma proposicional fue identificada con su correspondiente tabla de verdad.

CAPITULO 2
C~qLO DE PREDICADOS DE PRIMER ORDEN

2.1

Proposidiones abiertas Consideremos los siguientes -argumentos: a) Todos los estudiantes son inteligentes. Las personas inteligentes tienen 'xi to eflla vid'a. Todos los estudiantes tienen 'xito la vida.

en

"Todos los perros son carnvoros. Caro 'es un perro. Caro es un carnfvoro .

e)

Todos'lo, hombres son mortales. S6crates es un hombre. S6crates es mortal. Todos los acadmicos son caballerosos. Todos los estudiantes son caballerosos.

eh) Todos los estudiantes son acadmicos.

Al leerlos cuidadosamente notamos, que al,expresarlo. en forma argumental, obtenemos tres proposiciones aparentemente . . ." inconexas,.. Tomemos, por ejemplo,: el argumento b):Sean: p: Todos los perros son carnvoros. qr Caro es un perro. r: Caro es un carnvoro. Entonces, el argumento corresponde a la forma argumental: (p A'q)-+ r, la cual no podemos asegurar que sea valida, ya que ~~ forma proposicional: (p A q) -+ r es una contingencia. Ejercicio 2.1 Analice, de manera semejante al ejemplo aneer .or , .Los arqu-, mentos restantes.

76 Ahora l6gico~ bien, de acuerdo argumentos Simb6lica a nuestro sentido intuitivo de lo no

los cuatro

son vlidos. desarrollada los argumentos la conexi6n

Esto nos lleva a penhasta este mom~nto, entre considerados, de tal

sar, que la ~6gica es suficiente forma que pueda y la conclusi6n.

para expresar descubrirse

l6gica

las premisas

En otras palabras, el anlisis de las proposiciones desarrollado hasta este punto no es completo. Procuraremos enmendar esa deficiencia en este capitulo. Del argumento a) consideremos la proposici6n: Todos los estudiantes son inteligentes. Esta ,proposici6n significa que: Si Jos es un estudiante, entonces es inteligente. Si Luisa es una estudiante, entonces es inteligente. Si Pedro es un estudiante, entonces es inteligente. Y as!, sucesivamente. Es decir, con cada persona estamos en condiciones de generar una condicional como las anteriores. Podemo~ entonces, expresar dichas condicionales en la forma: Si x es un estudiante, entonces x es inteligente, donde el simbolo x puede ser sustituido por nombres de personas. Definici6n 2.1 .Una-variable es un smbolo que puede ser sustituido por cual~uier objeto de una colecci6n dada de tales objetos. Definici6n 2.2 La colecci6n dada de objetos por los que se puede sustituir la variable x se denomina dominio de definici6n de la variable x, o simplemente, dominio de la variable x. Ahora bien, la oraci6n declarativa: Si x es un estudiante, entonces x es inteligente, no es una proposici6n, puesto que carece de valor de verdad. Sin embargo, cuando sustituimos la variable x por el nombre de una persona, la oraci6n declarativa tiene un nico valor de verdad, es decir, se transforma en una proposici6n .. Definici6n 2.3 A las'oraciones declarativas que contienen una variable y que ,al sustituir dicha variable por un objeto de su dominio de definici6n.se transforman, en proposiciones, las llamaremos proposi~iones abiertas en una variable.

77

Una propos"ici6n abierta en la variable x la denotaremos p(x}. Si a es un ~lemento del ,dominio de definici6n de x, al sustituir a "x" en p(x} por a, obtendremos la proposici6n p(a)._ Def'i'nici6n 2.4 La co Lecc .n de proposiciones generadas por un~ proposiei6n abier:tap(x) al sustituir a "x" por uno de " los objetos de su dominio de"definici6n, recibe el nombre de rec'orrido"de'la proposici6n abierta p (x) Ejercicios' 2.2
1. sean: p(x)~ x es un entero impar. Sean~l, 2, 3, 4, 5, 6, 7, 8, 9,los objetos del dominio de definici6n de x.

Escriba el recorrido'de p{x)~ Para qu n~meros es p(x} verdadera? Para qu n11meros es p(x} falsa? Dete'rmine el valor de verdad de: i) {p(6} v p{?)} fI. p(5) ii) p(3) .... p(7) iii) [(p(4).... p(7') )JAp(2) iv) (p(3) v p(6 -(o+',p{4) v) p(9)~[{p{8) ..... p(l] 2. Considere todos los ndmeros enteros cornoel dominio de definici6p de x, y sean: p(x): x es un n~mero par. q{x}: x es positivo. r{x): x es divisible por 3. t (x): x es mayor que 5.
A) Exprese en forma simb6lica las siguientes proposicio-

a) b} c} ch)

nes abiertas: a) x es positivo o x es divisible por 3. b} Si x es mayor que cinco, entonces x es un'rtdmero par. e} Si x'no es par, entonces no es mayor que 5. eh) x es divisi,ble por 3 y x es un nmero par. d} x es ~ayor que 5 si y s6lo si x,es positivo.

78

Bl Exprese los siguientes smbolos en palabras: al [(p(x)A t (x)~ -+ q (x)

b)

'\Ir (x) A "'P (x)

e) q(x) v t(x) eh) [(p(x)A 't (x)ij ~.q (x) d) '"t (x) A "'r (x)A q (x) 3. Muchas veces no es necesario indicar el dominio de definici6n de una variable contenida en una proposici6n abierta p{x) , ya que, por. el contexto, se sobreentiende cu4le~ son los objetos a sustituir por x. Determine en cada caso un dominio de definici6n conveninte para las siguientes proposiciones abiertas: a) x es un mamfero -+ x es un carnvoro. b) x es un hOmb+e -+ x es mortal. e) x es un estudiante -+ x es acad~mico. eh) tic es un mam1fero)A be vive en el agua) .. d) x vive en el agua + x es un pez. et Ex 8S un estudiante)A 6c es inteligente) f) x es un trangulo -+ x es un polgono .. g) x es un trapezoide -+. x es un cuadriltero. h) .~ es un n11mero primo ~ x no es par'. i) (x es un carnvqrolv(x es un herbfvoro). ' 2.2 Cuantificador universal Recordemos, que decamos, que-la proposici6n:' Todos los e8tudiantes son inteligentes, se descomponf a en una colecci6n de , 'proposiciones -de la forma: Si x es un estudiante, entonces x ,ea 1n~eligente. El smbolo 'ti (una A invertida) se usa para representar todas las proposiciones generadas de esta forma y se conoce como cuantificador universal debido a que la palabra todos, que caracteriza a este tipo de oraci6n declarativa, indica oantidad. Usando el smbolo V , la oraci6n:' Todos los estudiantes aon inteligent~s, se expresa en la siguiente forma:

79

[x es estudiante -+ x es inteligente] I donde, entre corchetes, hemos indicado el alcance del cuantificador. Dicha expresi6n se lee: Para todo x, si x es estudiante, entonces x es inteligente. Denotemos por p(x) la proposici6n abierta: x es estudiante-+x es inteligente, entonces la proposici6n que nos ocup~, la expresamos V x fP (x~ Mediante el uso del cuantificador universal, Y , hemos logrado obtener las componentes bsicos de la proposici6n: Todos los estudiantes son inteligentes, y por analoga, los componentes bsicos de todas las proposic~ones de este tipo. Por otra parte, nuestro lenguaje ordinario considera que una oraci6n del tipo de la proposici6n: Todos los estudiantes son inteligentes, es verdadera si y solamente si cada una de las proposiciones obtenidas al sustituir a "x" por un objeto de su dominio de definici6n, en nuestro ejemplo,por el nomhre de una persona, es una proposici6n verdadera. Leyendo.con cuidado el prrafo anterior, nos es fcil convencernos de qu estamos frente a una nueva conectiva. Procedamos a formalizar su definicf6n. Definici6n 2.5 Sea: p(x) una proposici6n abierta. La proposici6n V x [p(x)] es verdadera si y solamente si cada una de las proposiciones que se obtienen al sustituir x por un objeto de su dominio de definici6n en la proposici6n abierta p(x) es una prpposici6n verdadera. La proposici6n: V x [p(x)] la llamaremos proposici6n universal. Observemos que la definici6n anterior establece que: Vx ~(x)J es verdadera si y s6lo si cada una de las proposiciones en el recorrido de, p(x) es verdadera. Por tanto, la uni~ersal es falsa si por lo menos una de las proposiciones en el recorrido de p{x) es falsa. Ejemplos: 1) Todos 10_ tringulos equilteros son is6sceles. Esta proposici6n es equivalente a:

vx

80

\Ix [x es un tringulo equiltero -+ x es un tri~ngulo is6sceles] Ahora bien, un tringulo equiltero es tambin un tringulo is6sceles porque para que un tringulo sea is6sceles, basta con que tenga dos de sus lados congruentes, y en un tringulo equiltero los tres lados son cangruentes. Luego, al sustituir a x por un tringulo 'especfico en la proposici6n abierta x es equiltero -+ x es is6sceles se obtiene ,siempre una proposici6n verdader~. Si el tringulo es equiltero, la proposici6n es verda~era por lo explicado ms arriba y si el tringulo no es equiltero la proposici6n es verdadera porque es una condicional con el antecedente falso. En consecuencia, la proposici6n universal es verdadera porque todas 'las proposiciones de su recorrido son verdaderas. 2) Todos los mamferos son carnvoros. En smbolos esta proposici6n es: Vx [x es mamfero -+ x es carnvoroJ. Sustituyamos la variable x por el objeto de su dominio llamado "vaca", entonces obtenernos la proposici6n: La vaca es un mamfero -+ la vaca es carnvoro, la cual es una proposici6n falsa, (por qu~?) . Concluimos que la universal es falsa po rque hemos encontrado, al menos,una proposici6n falsa en el recorrido de la proposici6n abierta x es un mamfero -+ x es un carnvoro. 3) Sea: p(x) una proposici6n abierta y a un objeto del dominio de definici6n de x. Demostrar que: V x [p(x)]-+ p (a) es una tautologa. Demostraci6n: Si la condicional es falsa, entonces Vx ~(xU es verdadera y pea) es falsa. Pero si pea) es falsa,' entonces 'Vx ~ (x)] es f a Laa , Hemos encoritrado una cont rad .cc .n ; Luego, 'Vx [p(x)]-+ pea) no puede ser falsa y, por tanto, es una tautologa. En el lenguaje ~rdinario utilizarnos varias expresiones para i-ndicar el cuantificador universal: Todos, para cada, cada, para todo, todo, cualquier.

81

Ejemplo:

Todos los gordos tienen su lado flaco. Para cada gordo existe su lado flaco.

Cada. gordo tiene su lado flaco. Para todo gordo existe su lado flaco. Todo gordo tiene su lado flaco. Cualquier gordo tiene su lado flaco. En la expresi6n: V x [p(x)] hay tres componentes: i) .El cuantificador (V) ii) La variable (x) iiij El alcance del cuantificador (p(x Ejercicios 2.3 1) Clasifique las siguientes oraciones en verdaderas y falsas. a) b) Una oraci6n que contiene una variable es una propos1ci6n abierta. La proposici6n universal:'\J x [p(x)] es falsa cuando todas las proposiciones del recorrido de p(x) son verdaderas. La proposici6n universal: V x [p.(x)]es falsa solamente cuando todas las proposiciones del recorrido de p(x) son falsas. Si una de las propos~c~ones del recorrido de p(x) 8S falsa, entonces la universal: \/x [p(x)] es falsa. La universal: Todos los narneros primos son impares, es falsa. La universal: Todos los rombos son cuadrados, es falsa. La universal: Todos los cuadrados son rombos, 8S verdadera. Sean:p(x) y q(x) dos proposiciones abiertas. Si pea) es verdadera y q(a) es falsa, entonces la universal: Vx fp (x) A q (x)] es falsa. Sean:p(x) y q(x) dos proposiciones abiertas. Si v(p(a= V y v(q(a= F, entonces "Ix [p(x) ~q(x~ es verdadera.

e)

eh) d) e) f) g)

h)

82

La proposici6n: Todos los cuadrados son rect4ngulos y todos los mamferos son herbvoros, es una proposici6n falsa. 2.-Escriba en -forma simb6lica cada una de las siguientes proposiciones universales y determine su valor de verdad. a) Cada ndmero par es divisible por dos. b} Todos los n6meros que admiten a 2 y 3 como factores son dfvisibles por 6. e) Todos los tringulos congruentes son tringulos semejantes. eh} Todos los polgonos ~egulares tienen sus lados congruentes. d) Todos los rombos son pol!go~os regulares. e) Todos los planetas tienen luz propia. f} Todos los batracios son anfibios. g) Todos los quelonios son tortugas. h} Cualquier tubrculo es comestible. i) Cada ser viviente tiene un aparato respi~atorio. 3. Sean: p (x) : x es un n11merop~imo, q (x) : x es n6mero perfecto, r , (x) : ~ es un n11mero impar, s (x) : x es un n11meropar, donde el dominio de definici6n de x son los ntimerosenteros positivos. Escriba en palabras cada una de las siguientes proposiciones y determine su valor de verdad. a) Vx [p(x)] b) \Ix [tVq (x)] -c) \Ix [p(x) + r (x)] eh) Vx [> (x) v q (x)] d) \Ix [p(x) v q(x) v r (x>] e) "Ix [p(x) v s (x)] f.) \Ix [r(x) v s (x>1

- i)

83

g) \Ix [S(X)A'Vq(X)] h) \Ix [q (x) -++ r (x)] i) \1 x [(r (x) A S (x))-+ q (x)] 4. Demuestre 'que las'siguientes proposiciones son tautologasl a} {\Ix [p (x) A q (x)]} -++ { \/x [p (x)]A \/x [q (xij } b) {'r/x [p(x)]v \Ix [q(x)]} -+ \Ix [p(x) v q(x)] e) {\Ix [p (x) '.. q (x)]-+ { Vx [p (x) ] -+"'x [q (x)] } S. Demuestre que las proposiciones siguientes no son tautologas. a) p (a) -+ V x [p (x)] b) {"'x [p(x) v q(x)]}-+{\Ix [P(x)] v "Ix [q(x)]} e) {'r/x [p(x>} -+ \'/x [q(x)]} -+"Ix [p(x) +q(x)] 2.3 Argumentos que contienen proposiciones universales

Consideremos, nuevamente, el argumento a) del principio 4. la secci6n anterior. En smbolos, dicho argumento puede expresarse de la siguiente manera: \Ix [x es estudiante -+ x es inteligente] 'r/ x [x es inteligente .. x tiene xito en la vida] \/x [x es estudiante -+ x tiene xito en la vida] Si suponemos que las premisas son verdaderas, como hacemos en todos los argumentos, entonces para un objeto.en eapec!fico, xo del domi~io de x tendremos que: Xo es estudiante -+ Xo es inteligente Xo es inteligente -+ Xo tiene xito en La. vida son proposiciones verdaderas. Ahora bien, no sabemos el valor de verdad de la propo.ici~nl Xo es estudiante -+xO tiene xito en la vida, y nos interesa conocer dicho valor. Pero, notemos, que usando estas dltimas proposiciones, lo que tenemos es un argumento de la forma: r -+5 s -+t r -+ t Y sta es una forma argumental vlida. Luego, si suponemos que

84

las premisas son verdaderas, tendremos que la proposici6n: Xo es un estudiante ~ Xo tiene xito en la vida, es verdadera. Adems, como elegimos un elemento arbitrario, xo' del dominio de definici6n de x, esto es, un elemento .cualquiera de dicho dominio, podemos afirmar que la proposici6n: \Ix [x es un estudiante ~ x tiene xito en la vida], es una proposici6n verdadera siempre que las premisas sean verdaderas. Pero, la proposici6n: \1 x [x es un estudiante ~ x tiene xito en la vida], es la conclusi6n del argumento considerado. Por tanto, dicho argumento es vlido. Es conveniente hacer notar, que al tornar un objeto especfico, xo' en el dominio de x, lograrnos reducir la validez del argumento bajo consideraci6n, a la validez de un argumento dentro del Clculo Prposicional. Pasemos ahora a analizar el argumento b), el cual puede expresarse en la forma: \1 x [x es un perro ~ x es un carnvoro] Caro es un perro. Caro es un carnvoro. Supongamos que las premisas son verdaderas, entonces son verdaderas las proposiciones: Caro es un perro, y Caro es un .perro ~ Caro es un carnvoro, obtenida esta ltima, sustituyendo a la variable x por el nombre Caro. El argumento b) se convierte, pues, en el argumento siguiente: Caro es un perro ~ Caro es un carnvoro. Caro es un perro. Caro es un carnvoro. La forma argumental de este argumento es:
p ~ q

p
q

que es vlida, puesto que corresponde al modus ponens. Por lo tanto, la conclusi6n: Caro es un carnvoro, es verdadera siempre que las premisas sean verdaderas, y esto significa

85

que el argumento b) es vlido. Los ejemplos anteriores pueden generalizarse en las formas argumentales siguientes:
[p (x) -+ q (x)] \1 x [q (x) -+ r (x)] \Ix

\1x
\/x fleXO)

[p (x) -+ r (x)] [p(x) -+ q(x)]

q(xo) Siguiendo un proceso de deducci6n anlogo a los usados en cada caso, nos es fcil ver que son formas argumentales vlidas. Ejercicios 2.4
1.

2.

Exprese cada uno de los argumentos e) y eh) de la secci6n anterior en forma si.mb6licay determine si son vlidos o no. Demuestre que las siguientes formas argumentales son vlidas. a) 'ix [p (x) -+ q (x)]
\/ x

[q (x) -+ r (x)]

'ix
b)

[P(x) -+ r(x)]

\Ix p (xO)

? (x) -+

q (x)]

. q(xO)
e)

'V x Vx
\Ix

[p (x)

-+

q (x)]
r (x)]

y x [q (x) -+

Cr (x) -+ s (x)J
W(x) -+ s (x)]

3.

Determine si los siguientes argumentos son vlidos o no.

86

.a),

Los mangos son frutas dulces y apeti to,sas'. Toda fruta ,dulce y ape'titosa no crece en pantanos. Los mango.s no crecen en pantanos. Todo Juan Todo Juan el que ama es un loco. vive en el campo. el que vive en el campo no ama. no es un loco.

b)

e)

Todos los maril1eros 'son nadadores. Todos los errantes son nadadores. Todos los marineros son errantes. Todos los ajedrecistas son analistas. Todo,s los analistas son sabios. Todos los ajecrecistas son sabios. Todos los pedos. Todos los Las vacas Las vacas animales que tienen cuatro patas son cuadrdanimales cuadrdpedos comen hierba. tienen cuatro patas. comen hierba.

eh)

d)

e)

Todos los viejos no tienen dientes. Todq el que no tiene dientes no puede comer ma!z. Todos los viejos no pueden comer ma!z. Mar!~ es cariosa. Toda persona cariosa es amada. Todos los que son amados son dichosos. Mar!a es dIchosa
Toda figura es un cuadriltero. Un tringulo es una figura. Un tringulo tiene cuatro lados.

f)

g)

h)

Todo ndmero primo es p~r o impar. Cuatro es un ndmero par. Cuatro es un ndmero primo.

87

i)

Todos los hombres que van al manicomio son locos. Los mdicos deLmanicomio van todos los das'al manxUdo. Mi pap es mdico del manicomio. Mi pap es loco. Todas las suegras son chismosas. Todas las personas chismosas son un problema. ~das las suegras son un problema. Toda Toda Todo Todo persona loca es insolente. persona insolente es imbcil. hombre es imbcil. hombre es loco.

j)

k)

2.4

Cuantificador existencial Consideremos los siguientes argumentos: a) Algunos mamferos viven en el agua. Todos los animales que viven en el agua son peces. Algunos mamferos son peces. b) Algunos estudiantes son inteligentes. Todas las personas inteligentes son agradabfes. Algunos estudiantes son agradables. Todos los ndrnerosenteros son ndmeros racionales. Algunos enteros son potencias de dos. Algunos ndmeros racionales son potencias de dos. Todos los cursos obligatorios se imparten los viernes. Algunos cursos se imparten los viernes. Algunos cursos no son obligatorios.

e)

d)

Notamos,que en los argumentos anteriores se presentan proposiciones de la forma: Algunos mamferos viven en el agua. En el lenguaje ordinario la palabra "Algunos" es un tanto vaga, pero en Matemtica, ,es usada con 'frecuencia: 1) Algunos nmeros primos son impares. 2) Algunos tringulos is6sceles son equilteros.

88 3) Algunos ndmeros reales son irracionales.

En estos casos ,el si-gnificadode "Algunos"es "uno o ms". De manera que las proposiciones anteriores equivalen a: 1) Uno o ms ndmeros primos son pares. 2) Uno o ms tringulos is6sceles son equilteros. 3) Uno o ms ndmeros ~eales so~ irracionales. Dado que las proposiciones anteriores indican cantidad, es evidente que estamos en presencia de otro cuantificador. Este es llamado cuantificador existencial para cuya representaci6n se usa el s!mbolo 3 (una E invertida) Veamos c6mo este cuantificador nos ayuda a expresar la proposici6n: Algunos mamferos viven en el agua. No es difcil convencerse de que esta proposici6n equivale a la siguiente: Uno o ms mamferos viven en el agua, 'q 'a su vez equivale a la expresi6n: 3x [x es un mamfero A x vive en el agua]. ~.ta expresi6n se lee: Existe x,tal que,x es un mamfero y x vive en el agua. Si ~esignamos por p(x) a la proposici6n: x es un mamfero A x vive en el agua, entonces podemos escribir: 3 x [p (x)] para expresar la proposici6n de la que estamos hablando. De manera analoga al ejemplo anterior,podemos desglosar en sus componentes basicos,proposiciones del tipo: Alguno,smamferos viven en"el agua. Estamos, pues, en presencia de un nuevo conectivo. Proposiciones como la anterior, se consideran verdaderas cuan~o existe, por lo menos,un objeto que cumpla con la condici6n estipulada. Por ejemplo, la proposici6n: Algunos"mamferos viven en el gua, es verdadera, puesto que existe, por lo menos, un mam!fero, la ballena" que vive en el agua. Definamos el nuevo conectLvo l6gico. Defi-nici'6n 2.6 Sea:p(x) una proposici6n abierta. La proposioi6n: 3x [pex}J es verdadera si y s6lo si existe, por lo menos,

89

un objeto en el dominio de x,tal que, al susti~uir a x por dicho objeto en p(x), se obtiene, una proposici6n verdadera. La proposici6n:3 x [p(x~ la llamaremos proposici6n existencial. La definici6n anterior establece que: 3 x [p(x)] es verdadera si y's6lo si, al menos, una de las proposiciones en el recorrido de p(x) es verdadera. Por lo tanto, la existencial es falsa si todas las proposiciones en el recorrido de p(x) son falsas. Ejemplos: 1) La proposic~6n; 3x [(x es un nt1mero primo) A (x es un nOmero par)] , es verdad~ra, ya que, al,sustituir en la proposici6n.abierta la variable'por el objeto "dos" de su dominio de definic~6n, tenemos una proposici6n verdadera: Dos es un nOmero pr~ y dos es un nOmero par. ~) Algunos tringulos escalenos son is6sceles, ea una proposici6n falsa, puesto que , un tringulo es escaleno si no tiene un par de lados congruentes, y un tri:1g'Jlt) es is6sceles si-dos de sus lados son congruentes, por lo tanto, no existe un t~itnqulo escaleno que sea is6sceles. 3) Sea:p(x) una proposici6n abierta Y,a un objeto en el dominio de definici6n de x. Demostrar que: Ji> (a) + 3 x .[p(x)]e. una tautologa. Supo!l9amos que la condicional dada es ,falsa.... L\lego,v(p(a-V y ve 3 x [p(x)]) c: F. Pero si 3 x [p(x)] es ~alsa, entonces toda. las proposiciones en el recorrido de p(x) son falsas, en particular pea) es falsa. Hemos obtenido la contradicci6n: pea) verdadera y falsa. Luego, la condicional es una tautologa. Las expresiones: Existe, hay, al~~n" uno o ms,. son usada. en el lenguaje ordinario para expresar el c;:uantificador existeJ'lci.al. Ejemplos: Existen personas que tienen la,cabeza de ,lujo. Hay personas que tienen la cebe aa.de lujo. Algunas personas tienen la cabeza d~lujo. Una o ms personas tienen la cabeza de lujo. En la expresi6n: 3 x [P.(x) ] hay tres componentes: i) Un cuantificador (3) ii) Una ~ariab!e (x)

90

iii} Una proposici6n abierta (p(x Ejercicios 2.5 1. Clasifique las siguientes oraciones en verdaderas o falsas. a} La proposici6n existencial: 3 x [p(xD es falsa cuando todas las proposiciones del recorrido de p(x) son falsas. b) La proposici6n existencial: 3 x ~(xD es verdadera solamente cuando ms de una de las proposiciones del recorrido de p(x) son verdaderas. c} Si una proposici6n del recorrido de p(x) es falsa, entonce~ la proposici6n:3x [p(xD es falsa. ch) Si una proposici6n del recorrido de p(x) es verdadera, entonces la proposici6n:3x [p(xD es verdadera. d) La existencial: Existen nmeros perfectos, es verdadera. e) La existencial: Existe un paralelogramo que tiene un ngulo recto, es falsa. f) Si v(p(a = V Y v(q(a = F, entonces laproposici6n: ':3 x [p(x) v q (x) ] es verdadera. g} Si v(p(a).)= V Y v(q(a).)=F, entonces la proposici6n: 3 x [P (x) v q (x)] es falsa. h) Si v(p(a))= F Y v(q(a))= V, entonces la proposici6n: 3 x [j? (x) -+ q (x)] es falsa. i) La proposici6n: Hay reptiles anfibios y algn pafs de Amrica del Sur habla portugus, es una proposici6n falsa. 2. Escriba en forma simb6lica cada una de las siguientes proposiciones existenciales y determine su valor de verdad. a) Existen nmeros racionales que son negativos. b) Hay tringulos semejantes que son congruentes. c) Algn tringulo rectngulo es is6sceles. ch} Existen nmeros enteros positivos mayores que ocho. d) Existen mamferos que vuelan. e) Hay nmeros primos que no son pares. f) Existen cuadrilteros que son rombos y rectngulos.

91

g) Algunos tringulos equ.ilteros son t.ringulos rectngulos. h) Algunos trapecio~ son paralelogramos. i) Existen plantas sin flor~s. 3. Escriba eh palabras cada una de las siguientes proposiciones y determine su vlor de vezdad , sean s . p(x): x es una planta, 'q(x) :. x ,tiene flores', r(x): x no tiene frutos, S(k): x puede trasladarse, do~de el dominio de de~inici6n de x son los seres vivientes. a) 3x [q(x)] d) 3 x ' [q(X) ~ (f\X(x] b) 3 x\ ['\8 (x)] e) 3x [q(x) v r(x)] e), 3 x [q (x) A r (x)] f) 3x [p(x) A. s6-t) +'q(x~ 'g) 3x [P{x)'+ t{x)] eh) 3 x [P (x) + 8 (x)J 4. Complete el cuadro siguiente:
\

v( Vx [p(x~ )= V

v(p(x= V para cualquier ,objeto en e.L domm.,o de x.

:ve Vx [phc)] ) =, F
v(3x [p(x)] ) l1li V v(p(x = F"'para cualqui~r objeto en el -dom.nao .de x.
..

v(3 x [P(x)] }= F v('~Vx

fp (,x)]) =
)=

v("'Vx [p(x)] v(",3x

F
,

[p(x)] ) = V

v(",3x [p(x)] )~ F
-

v{p(x = V para, por les menos', un objeto' .en .eL domi.nio de x.

92

5. Complete el cuadro siguiente: v('t/x [p (x)] )= V v('fIx [p (xj] )= F ] )= V v (3 x [p (x) -Todas las propos1c10nes en el . r.e.corr ido de p(~) son ve.r.dader.as

---

..- ...

v (3 x [p (x)] )= F

--

Todas las proposiciones ecr. el recorrido de p (x) son faJ.$as.

v (fIJ

V x [p(x)])= V

v (fIJ V x [p(x)])= F v, (fIJ v (fIJ

3- x 3x

[p(x)J)= V [p (x)])~ F Existe una proposici6n verdadera en el r~corrido de p(x) son tau-

6. Demuestre que las siguientes formas proposicionales

tolog!as . a) \/x [p(x)] .... 3x [p(x)] b) 3x [p(x) v q(x)J -++{3x[p(x)] v 3 x [q(x)]} e) 3 x {p (x) Aq (x)'] .... c3 x [p (x)] A3 x [q (x)]} 7. Dem~stre que las siguientes formas proposicionales no son tautologas. a) 3x [p(x)] .... V x [p (x)]
b) .

3x

[p (x)'] .... p (a)

e) {3x [p(x)] A3x [q(x)]}"" 3 x [p.(x)A q(x)] 8. Si el dominio de la variable x se compone de un ndmero finito de objetos: al' a2, , an, demuestre que: a): \Ix [p(l:)j =p(al)'A p(a2) A . A p(an). b} 3x [p(x)]=p(al.)vp(a2)v vp(an).

93 -2.5 En Matemtica#se un l1nico Ejemplos: 2) Existe punto fuera 1) Existe un l1nico ntimero primo paralela par. dada por un una tlnica recta recta. a una recta usa con frecuencia la expresi6n: Existe

de dicha

3) Existe una l1nica descomposici6n

\

en factores primos de un

ntlmero compuesto. En este caso,estamos en presencia de otro cuantificador, que se denota: 3!. ' Def'in1ci'6n2.7 Sea:p (x) una proposici6n abierta. La proposici6n : 3! [p(x)] es verdadera si y solamente si existe un ilnico objeto en el dominio de x,talque, al sustituir a x por dicho objeto en p(x), se obtiene una proposici6n verdadera. La definici6n anterior establece que:3! [p (x)]es, una ,propo,sici6n verdadera si y s6lo si una sola de las proposici'ones del recorrido,de p(x) es verdadera. Por lo tanto, la proposici6n es ' falsa cuando todas las proposiciones en el recorrido'de p(x) son falsas y tambi~n cuando'en el recorrido de p(x) hay ms de una, proposici6n verdadera. Ejercicio 2.6 universal y

Exprese 3! en t~rminos de los cuantificadores existencial. 2.6 Argumentos que contienen proposiciones

existenciales'

Consideremos el argumento a) de la secci6n 2.4. Por lo expresado en dicha secci6n, el 'argumento bajo consideraci6n puede . " presentarse de la forma siguiente: 3x [(x es mamfero) A (x vive 'en el agua>] \Ix Ix '..'iveen el agua -+ x es pez] 3x [(x es mamfero) A (x es pez>]
,

Supongamos que las premisas son verdaderas,

que es ~l tlnico

94

caso en el cual 'nos interesa conocer el valor de verdad de l,a conclusin. Si son ver~aderas, ~ntonces existe un objeto "a" en el dominio de x, tal que, la proposici6n: (a es mamfero) A (a vive en el agua), es una proposicin verdadera y, en consecuencia, son verdaderas las proposiciones: a es mamfero, a vive en el agua. La segunda premisa es una proposici6n universal que suponemos verdadera, por lo tanto, es verdadera la proposici6n~ a vive en el agua -+a es un pez. Como la proposici6n: a vive en el agua, es una proposici6n verdadera,tenemos que aceptar que: a es un pez. ,Por lo tanto, la proposici6n :3 x [(x es mamfero) A ,(xes pez) J, es una proposici6n verdadera, puesto que, es verdadera la conjunci6n: (a es un mamfer~) A (a es un pez) ~ue90, la conc1usi6n del argumento es una proposici6n verdadera cuando las'premisas le;) son. 'Por'tanto, el argumento es vlido. Nuevamente hemos reducido' el argumento cons fdezado a un argumento del c41culo Proposicional,. Es decir, (a es mamfero) A (a vive en el agua) a vive en e agua -+a es un pez (a es mamfero) A (a es un pez) Es,te argumento es un caso particular de la,forma argumental: pAq q-+-r

PAr , la,cual, como puede probarlo' el lector, es vlida. usando un proceso de razonamiento anlogo, al usado en el caso ~nterior, puede ,probarse que es vlida la forma argumental:
3x (j>(X)A q{x)]

Vx ~ (x1 -+r (x) ~ 3x p(x) A r{x) ~te que la.oonclusi6n e,s una prox>sici6n ~tencial. lAlego, basta encontrar un elemento, a del ~ de x ~a el cual v (pea} A r (a = V. Si la conclusi6n fuera una profJOSici6n universal, terdr1anPs ~ probar: . v(p(x) A r(x ~V,
,
'

J2I!lracualquier

elanento del daninio de x.

95

Ejercicios' 2.7 1. Demuestre que las siguientes formas argwmentales, son vlidas: a) 3x [p(x) A q(x)] \Ix [q(x) -+ r (x)]

3x [p (x)
b) "Ix

A r (x)

[p (x)

-+ q (x) ]

3x [p(x)] 3x [q(x)] 2. Determine si los siguientes argumentos son vlidos o no. a) Todos los que roban son ladrones. Ha;i12eloteros gue roban muhas bases. Los peloteros son ladrones. b) Si un hombre suele hacerse, pasar por tonto, entonces es inteligente. Ha;ihombres gue son inteligentes. Hay hombres que suelen hacerse pasax por tontos . c) Algunos policas creen que son cobradores. Los cobr.adores son exigentes. Algunos policas son exigentes. ch) Algunos seres vivos son parsitos. Los hombres son seres vivos. Algunos hombres son parsitos. d) 'Los monos comen guineos. Algunos an'imales cpmen guineos. Algunos animales son monos. e) Todas las personas que hab~an pueden cantar. Ha;i12ersonas gue no hablan. Hay personas que no pueden cantar. f) Todos los tringulos congruentes son semejantes . Existen tringulos que no son semejantes. Existen tringulos que no .son oonqzuences.,

96 g) Todos los profesores Algunas Algunos personas profesores son chistosos. no son chistosas.

inteligentes

son inteligentes. vimos cmo descomponiendo universales las pro-

En las secciones posiciones mentos que contienen

anteriores

en sus componentes

bsicos~pudimos

mctnejar los arguy xistenciales.

proposiciones

Ello contrasta con la forma en que tratamos las proposiciones dentro del Clculo Proposicional. Por esto, la L6gica contenida en este captulo se conoce con un nombre diferente: Clculo de Predicados. 2.7 Relaci6n entre el cuantificador universal y el cuantificador existencial Entre los cuantificadores universal y existencial existe una estrecha relaci6n, de la que hablaremos en esta secci6n. Sabemos que la negaci6n de una proposici6n falsa es una proposici6n verdader-a, Por lo tanto, si IV( V x [p(x)]) es verdadera, entonces \Ix [p(x) J es falsa. Esto ltimo quiere decir, que en el reco+rido de p(x) una o ms proposiciones son falsas, y esto, a su vez, significa que 3 x [IVp (x)J es verdadera, porque una o ms de las proposiciones del recorrido de IVp(X)son verdaderas. Por otra parte, si IV( VX [p(x)]) es falsa, es porque "Ix[p(x)] es verdadera, lo cual significa que todas las proposiciones del recorrido de p(x) son verdaderas y, por lo tanto, todas las proposiciones del recorrido de ~(x) 3x son falsas. En consecuencia, ~P (x)]es falsa. Los dos prrafos anteriores nos llevan a asegurar que las fp(x)]-) y

formas propos.c i ona Les t ct Yx

3:>:, L'I'P(xUson equiva-

lentes, (por qu~?) . De tal modo,hemos demostrado el teorema siguiente: Teorema 2.1 IV (Vx Sea:p(x) una proposici6n abierta, entonces que se derivan [p(x)]) :: 3 x [IVp (x) ]. A continuaci6n, escribiremos ,los corolarios

del teorema anterior.

97

V x ['Vp Corolario 2.1 'V( (x ) ::3x [p cx)] . Corolario 2.2 'V( :3 x ['Vp (xB ) -='Vx [p(x)] Corolario 2.3 IV( 3 x [p(xB ) ::'Vx ['Vp(xil Ejern,elos: 1) 'V(Todos los estudiantes no son inteligentes) ~(E~ist:en estudiantes que son inteligentes)._ 2) 'V(Todos los hombres son mortales) <~ (Existen hombres que no son.mortales) . 3) 'V(Algunos mamferos viven en el agua) < > (Todos los mamferos no viven en el agua). 4) 'V(Algunos hermanos no tienen un mismo padre)< > (Todos los hermanos tienen un mismo padre) .

5) Desearnos negar la proposici6n: Esta proposici6n afirma que:

Ningn hombre es inmortal.

V x [x es hombre -+x no es inmortal]

La negaci6n de la proposici6n anterior es: 3 x ['V(xes hombre -+x no es inmortal~ Pero la negaci6n de: (x es hombre-+ x no es inmortal), es: es hombre A x es inmortal). Por lo tanto, la neqac rn de la proposici6n: Ning(in hombre inmortal, es: Existe un hombre que es inmortal. 6) Deseamos negar la forma proposicional: Y x [p(x) A "-q (x~ 'V( V X [p(x) A 'Vq (x~ - 3 x ['V(p (x) A '\q (x)II - 3 x ["P (x) v 'V("'q (x)~ - 3 x ["P (x) v q (x~ Por lo tanto, la negaci6n de: Vx ~(x) A 'Vq(x~ , es: ['Vp(x)v q(x)J . 7) Querernos negar la forma proposicional: [(p(x) v q (x)) -+r (x)] . 'V{3x [(p(x) v q Cx) -+r(x)] } ::Yx['V{(p(x) v q(x-+r(x)}] :: V x [p(x) v q (x)) A rur (x)] 8) Desearnos negar la proposici6n: Nadie es un tonto. En trminos de cuantificadores esta proposici6n es:

(x es

3x 3x

\Ix [x no es un tonto] .

98 La negaci6n Esto es: ' 3x Por lo tanto, sici6n: Ejercicios 1. Negar Alguien 2.8 las proposiciones ndmeros siguientes: son pol!gonos. [x es un tonto]. es un tonto, es la propola negaci'6n de: Nadie de dicha proposici6n 3x es:

['" (x no es un tonto)]

es un tonto.

a) Existen b) ~odos eh c) Cualquier

primos. es un cuadrado.

los cuadrilteros rectngulo

Existen cuadr-ados que no son rombos . , ..

d) Existen herb!voros q,ue no son m;;un!feros. e) Todos los mdltiplos de dos son ndmeros pares. f) ,~xisten ndmeros cuadrados perfectos que son impares. g) ,Ningdp tringulo obtusngulo es equiltero. . h) Ningrtn paralelogramo es un cuadrado. i) Ningdn borracho es sensato. j), NlngGn nGmero mayor que cinco es un ndmero negativo. k) Nadie vive en la luna. 1) Nadie trabaja en balde. 11) Nadie camina por las nubes. m) Nadie quiere ir a la guerra. 2. Escriba la negaci6n ,de las siguientes formas proposicionales. a) \Ix [P(x)-+: q(x)] e) 3x [p(x)-+ q(x)] b) \Ix [p(x) ++ q(x)] f) 3x [p(x) ++ q(x)] e) 'Vx [p(x) v q(x)] g) 3x [p(x) v q(x)] eh) \Ix [p (x) A q (x)] h) 3 x tp(x) .A q (x>] d) Vx ['Vp (x)] i) 3 x ['Vp (x>] '3 Dem'lle_stre los corolarios que apar-ecen en esta secci6n. 4. Determin~ si el siguiente a~gumento es vlido o no:
"

o'

99

Ningdn borrach6n toma agua. Ningdn deportista es borrach6n. Ningdn borrach6n es deportista. 2.8 Proposiciones que contienen varios cuantificadores En Matemtica1abundan las proposiciones que contienen dos o m4s cuantificadores. Por ejemplo: Para cada ndmero entero ~ existe un entero b, tal ,que, a + b = O. Para cada n6mero entero a, existe un entero b, tal que, a< b. Definici6n 2.8 Una oraci6n declarativa con dos o ms variables, que se transforma en una proposici6n cuando cada una de las variables se sustituye por un objeto de sus respectivos dominios de definici6n, la llamaremos proposici6n abierta en dos o m4s variables. La notaci6n que se utiliza en tales casos es: p(x,y); p(x,y,z), etc., dependiendo del ndmero de variables que contenga la proposici6n abierta. Ejemplos: 1) Consideremos la forma proposicional: \/x [3y [x + y = OJJ, donde, tanto para x como para y, el dominio de definici6n son los ndmeros enteros. Notemos ,que la conectiva principal es Y x, por lo tanto, la proposici6n es verdadera si para cada objeto "a", en el dominio de definici6n de x, es verdadera la proposici6n:3y [a+y = O] Por ejemplo, si sustituimos 1a variable x por el objeto n~" de su dominio de definict6n, tendremos 3-y [3+y=0] Esta proposici6n ser verdadera si en el recorrido de 3+y=0, existe, por lo menos, una proposici6n verdadera. Tal proposici6n existe, puesto que si sustituimos 1a variable "y" por el objeto "-3", tendremos 3+(-3)=0, que es una proposici6n verdadera. En forma similar vemos que para cada objeto "a" en el dominio de x, es verdadera la proposici6n: 3 y [a+y=OJ Luego, V x [3Y [x+y=oJ] es una proposici6n verdadera.

100

2) 3 x [\/Y [x ~ y]] , donde el dominio de las variables x, Y, son los n6meros enteros positivos. En este ejemplo:3'~ es 'la conectiva principal. Por lo tanto, . 3x [\lY [x ~ yJJ es verdadera si y s610 si existe un ntimeroentero positivo "n", tal que, VY [n. ~ y] es una proposici6n verdadera, para lo cual necesitamos que en el recorrido de la proposici6n abierta n ~ y, s610 haya proposiciones verdaderas. Tomando n=l, tendremos que 1 ~ Y da lugar solamente a proposiciones verdaderas , cuando se sustituye la variable "y" ppr objetos de'su dominio, por lo tanto, \/y [1 ~ y] es una proposici6n verdadera. Esto nos asegura que: 3 x ['t/y [x ~ y]] es una proposici6n verdadera. Los ejemplos anteriores nos muestran c6mo se debe trabajar con una proposici6n con dos cuantificadores. De manera anloga se trabaja con proposiciones que contengan ms de dos cuantificadores. Es conveniente tener presente que cuando una variable, digamos'x, est precedida de un cuantificador, su funci6n no es s6lo indicar que lo que expresa la proposici6n debe ser para todos los objetos de su dominio de definici6n (si el cuantificador es el universal) o para alg~n objeto de su dominio de definici6n (si el cuantificador es existencial), sino tambin para sealar los lugares de la proposici6n en que debe insertarse el nombre de los objetos de su dominio de definici6n. Trabajar con varios cuantificadores es un tanto complicado . 'por el hecho de que debemos utilizar varios corchetes: ~a simplificaci6n de la notaci6n la haremos.de la manera que nos indican los siguientes ejemplos: not. [ ] Ejemplos: 1) \/y [3x [p (x,y)JJ =' \1 y 3 x p (x,y) . Note, que hemos escrito "not" sobre el ,signo de equivalencia. LO hacemos as! para indicar que la equivalencia de las formas proposicionales es por notaci6n. 2) 3 x ['1 y [p (x,y j] ] n~ t 3 x V y [p(x,y)]
3) \{xJ[ \{y

[\lz LP(X,y,z)JJ - ~x

IlOt

\}y Vz

[P(x,y,z)].

101

4) 3x [ 'r/y[ 3 z [p(x,y,z>JJJ == 3x. \;j y 3z IP,(x,y,z)] En general, diremo~,que el cuantificador a la izquierda d un 'bloque de cuantificadores es la "conectiva principal" de la forma proposicional o de la proposici6n. Es posible demostrar los teoremas siguientes: i) 't/x\1 y ,[p(x,y)] ::V y Y x [9(x,y)]: l 3x 3 y [p(x,y)] == 3 y 3 x ?(x,y)] Esto quie'redecir'que en una proposici6n Los cuantificado,res de la misma especi~ pueden intercambiarse sin que por ello se altere su valor de verdad. Adems, se puede demostrar que: iii) 3x V y [P(x,y)J~VY3x[p(x~Y)J. Ah~ra bien, la forma profosicional: i~) V x 3 y [p(x"y)] -+ 3 y V x [p(x,y)] no,es una. tautolo- '
)

not

g!a.
Las a~irmaciones iii) y iv) nos advierten que n9 debe inver,. tirse el orden de los cuantificadores cuando eptos son de distinta especie. A continuaci6n, demostraremos los teoremas i,)y ~v).,. Te~rema: V x V y [p(x,yll == V'y \1 x [p~x,y)] Demostraci6n: probemos primeramente que:
,
"

'ti x '\y [p(x,Y)] ,=> ti y. V x, [p(x,y)]. suponqamos 'que: V y 'V x [?(x,y'~ es falsa y 'V x ,Y y [p(x,yB 'es verdadera.
~uego, "'.{ Vy V x [p(x, yD '}', == " 3 y 3 x ["'p (x,yD 'esverdader, es decir, existn objetos a y b,en el domin~o de x,y, r,espec t.Lvamerrce , tales que, ",p(a,b)es verdadez'a , Por- tapto, . , ., -',Vy [p(a,y~' es falsa y, en coneecuenc a ; V x V y [p(~"yU , es una propo~ici6n falsa tambi~n. Un argumento' similar al anterior nos permi~e demost~ar: \/y V x !?(x,Y!J-,)v'x V y ,~(x,Y,)J tant()l~ el teorema ha sido ;demostrado. ' ", ,

!?or

Teorema: Vx tolog!a.

[?(x,~n

--+'~

v, ~_ (i(X,y)]

no es una t.au-'

'Demostraci6n: Consideremos el' contraejemplo siguiente:

102

sean:x,Y,variables cuyo dominio de definici6n son los ndmeros enteros. La proposici6mV x 3 y [x+y=O] es verdadera I (por qu~?), pero 3y V x [x+y=O] es una proposici6n falsal(por qu~?). Luego, la condicional: V x 3 y [x+y=o]"3 y V x [x+y-O] es falsa y, por lo tanto, el teorema ha quedado establecido. Ejemplos: De acuerdo a los teoremas i) al iv) se tiene: 1) \j x \1y [p(x ,y) -+ q (x , y)] = 'ti y 'tix [p(X , y) .. q( X , Y5] 2) \1 x 'ti y [x (y+l) = xy+x] <=-> \1 y 'r/x [x(y+l) xy+x]. donde x,y,son ndmeros enteros. (x,y)] 3) 3x 3y [p(x,y)A'Vq(X,y)] s 3 y 3x [p (x , y) 11 'Vq
4)

3x 3y

[x

>

Y1~>

3y 3

x [x

>

y], donde x,y son ndmer08

enteros. N6tese, que en los ejemplos 1 y 3 escribimos: = porque estarnosen presencia de formas proposicionales. Pudimos haber escrito tambi~n el stmbolo~. Peco en los ejemplos 2 y 4 solamente podemos usar el stmbolo~porque estamos trabajando con proposiciones. Como indicamos en el capttulo anterior, por abuso de Lenguaje se usa = y<~indistintamente cuando manejamos proposiciones.
2.9 Negaci6n de propos1c10nes y formas proposicionales con dos o

ms cuantificadores. Ejemplos: 1) Sean:x,y,ndmeros enteros.

Entonces:

'"( V

y [y =

X2

J)
le 2J

~
<~.
<!

'3 x ["'3y [y = x2]]. '3 x V Y ['V(y= x2)] 3

y

> 3 x V y [y"#
[p (x)
-+

2 ) 'V ( 3x

"'q (y) ])

V'x("'3y [p(x) -+ "'q (y)] "Ix V.y ["'(p(x).. "'q (y]

y
y

- Vx V - Vx V
3) Sean x, y, z,ndmeros enteros.

[p (x)
[p (x)

A -v ("'q (x) )] A

q(x)]

"'('VxVyV

z [(x+y

<

z)

(x+z

<

Entonces: y) v (y+z < x)] )

103 ~ (; (: ~
<i (x+z, < y) v (y+~ < x)] l] [ 'I.{Vy y Z [(x+y <. ,z) 3 y 3 ['1. {\{z [(x+y < z) v (x+z < y) v (y+z < x)]}] ~3 x '3 y '3 z ['1. { (x+y < z) V (x+z < y): v (y+z ,< x)}] >3x 3 y :3 z [(x+y t z) A (x+z t y) A (y+z. t. X)] >3 x 3 y :3 z [(x+y > .z ) 'A (x+z > y) A (y+z ~ X)]

):3x )3x

.v

Ejercicios

-2.9 el valor el enteros. de verdad dominio y.xJ de las p'ropos~c~ones es la siguientes, co1ecci6n de

1. Determine
en las los a) 'Vx b) 'Vx
e)

cuales

de las

variables

ndmeros

.v y
V V V 3 V
y y

[x.y

y 'V z

[(x.y),z [tx+y) +z

=
=

x. (Yoz)] x + (y+z)]

'Vx

eh) d)

Vx Vx

[x+y = y+x]

y [ X ,o y

e) 3 y g)
i) j)

x [x+y x [x.y y [x+y x [x.y y

f)3 y V
'ti x :3 V x 'ti V x 3,
'h)'Vy:3

= OJ = xJ = x]
=
y] de cada una ae las proposiciones antex]

= x]

[x

<

y [x < y] la negaci6n

2 .. Escriba
riores.

3. Demuestre: a) b)

3x 3
3
x

y [p(x,y)] y [p(x,y)] los

:: 3 y :.>y'y

3
3

x [p(x,y)] x [P.(x,y)] con la respuesta nmeros reales: conve-

4 o Complete

espao Lo s en blanco que x,y,son

yJ

niente,
b)
e).

asumiendo x x

al V x V y, [x ~

~>

:3
3

:3 y [x

+ y = O] <*=>

V y ,~ + y, = x]. :.> d) '1.{ Vx 3 y LX-i;. y < 41}. < > e) 'I.{Vx V y 3 z " [tx + y) + Z ". f) . '1. {3 x V y \/ z [x < y + z]} ~

O.]}<~. :>

104 g) ,'\,{ Vx

[p(X,y)

",q(X,y)]}=
-?

h) '"{ V x 'rj. y

3 -.z

[p (x , y)

q (z )] }

,Vx V y V i [(x~y) z = z ". (y.z)]~ j) i\,{3x V y [P(X) A q(y) -? ",p(X,y~} = 5. Exprese en smbolos las proposiciones siguientes y luego determine la negaci6n de las mismas. En cada caso el dominio de las variables es la colecci6n de los nmero'senteros: a) Para cada x, existe y,tal que,y3 = x2. b) Existe x1tal que, para todo y se cumple x+y = y. e) Para cualquier x, y, z,se cumple x.(y+z) = x.y+x.z, d) Dados x, y,existe z,tal que,x-y = z. e) Existen x, y, z,tales que,x2 + y2 = z2. i)
,

6. Escriba la negaci6n de las siguientes proposiciones, asumien-

do que y, son ndm~ros reales positivos; x, y, a, an, am'y L . son n1lmeros reales y que n, m, y N, son nume.ro s enteroshpositivos: a) \lE 30 'r}x[Ixl < -? [sen x] < E] b) VE 36 \Ix [1 x I < o -? leos x - 11 < E] . e) \lE :3N Vn [n > N -? _!_ < E] .
I

eh)

'rIE 3N
\Ir. 36

"In \1m [(n>N)

A (m x N)

d)
e)
f)

g)

'11)
i) ~

1x - 2 1 < o -? x [o < [x - al < o -? 1x2 - a21 < E] . \lE ]6 \j \jx [O < 1x - al < o -? I f (x) - L 1 < e] . \/r. ]0 \le 30 \Ix \jy[lx-yl < o -? If(x) - f(y) 1 < E] Ve 3N Vn [n > N -? 1an - a 1 < E ] 'rIE 3N V n \:/ ro D n > N) A (m >, N) + 1an - am I < e:]
\;J X

[o

<

In - mi < EJ. Ilog x - log 2 I < E]

-?

INDICE. PAGINA Antecedente. Argumento

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

.

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

.... .......

26

60 56 93 83 56 24 55
26

falacia que contienen proposiciones que contienen proposiciones vlido.

Bicondicional

existenciales. universales ...........

.

Conclusi6n Condicional. Conectivo de Sheffer. Conjunci6n . _

Consecuente

24
9
. 26

Contingencia
Contradicci6n

.
.

34 34
79

Cuantificador universal existencial relaci6n entre. Disyunci6n exclusiva.

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

inclusiva. Doble implicaci6n ......... de formas proposicionales

de proposiciones
Formas argumentales

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

87 96 12 13 13 49 53 49 55 56 63 56
4

falacia ...... procedimiento para determinar vlida . Formas proposicionales .. equivalencia de ..

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

_

la validez de.

22

PAGINA
Implicaci6n. de formas proposicionales.

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

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

44 48 43 69 71 71 72 8 40 40 38 39 38 4, 14 55 1 6 88 99 79 76 99 77 14 33, 42 2, 5 76 76.

de proposiciones . M~todos de demostraci6n directo . indirecto. contrarrecproca. reducci6n al absurdo. Negaci6n ......... .... . . de una bicondicional de una condicional . de una conjunci6n. .. . de una disyunci6n. . . de una negaci6n. . ~ ... . Notaci6n. Premisas. . . ... . . . . Proposici6n . compuesta. ..... . existencial que contienen varios cuantificadores. ... . universal .. . . ~ . .. . Proposici6n abierta en una variable .....~ . en varias variables. . .. recorrido de . .. .. . Tablas de verdad. , Tautologa ... . .. .. .. Valor de verdad. Variable ..... dominio de definici6n de la.

.. .....

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

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

.. . . .

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

. .. ... . ..

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

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

COLOFON Elta Sexta dici6n de NOCIONES DE LOGICA SIMBOUCA fue realizada en EDITORA TALLER, C. por A., Isabel la Catlica 309" Santo Domingo, Rep6blica Dominicana, en el mes de febrero de 1988 y conita de 2,000 (dos mil) ejemplares.