nociones de logica simbolica

March 2, 2018 | Author: Felipe Tello Rodriguez | Category: Proposition, Triangle, Truth, Logic, Semiotics
Share Embed Donate


Short Description

logica simbolica...

Description

Amarilis Sagredo - Eduardo Luna

NOCIONES DE LOGICA SIMBOLICA

UCMM 1988

NOCIONES DE LOGICA SIMBOLICA Amarilis Sagredo - Eduardo Luna (Sexta

Edición)

©, 1988, para la Sexta Edición, Colección de "Textos" UCMM Director. Bienvenida Polanco Impreso en la República Dominicana Printed in Dominican Republic

Taller,

Isabel

la Católica

309, Santo

Domingo,

República

Dominicana

TABLA PE CONTENIDO PAGINA NOTA DE LOS AUTORES........................................

.1V

CAPITULOS 1.

CALCULO PROPOSICIONAL

.•..••.•.•••..•.•..••••......•

1

1.1

Propo~ici6n

1.2

Proposiciones

1

1.3

Npgaci6n..................................

8

1.4

Conjunci6n..

9

1.S

Disyunci6n ••••.•••••.•..••.••.•.•.•...••••

12

1.6

Tablas de verdad..........................

14

1.7

Equivalencia

22

1.8

Bicondicional ••.••••••••.••••..•.•.•••••••

1.9

Condicional

compuestas... •..•..•••.••••. ..............................

de formas proposicionales •••. ~

6

24 .

26

1.10 Totalidad de formas proposicionales con Jos componentes at6mic0d •••••.••••.••• :.••

32

1.11 Clasificaci6n les

de las fo~as

proposiciona-

compues t..:.as

1.12 Condicionales 1.13 Negaci6n

.

der~vadas ....•..••••••.••.••

de proposiciones

1.14 Tautolog!as

·compuestas .•••.•

33 36 38

de mayor uso •.•••••••••..••••.

42

l6gicas •.••••••••..••.•.•••••••

43

1.16 Formas argumentales .•.•..••.••••••••••••.•

55

1...

60

1.18 Procedimientos para determinar la validez de una forma argumental •••••••••••••••••••

63

1.15 Relaciones 1.17

Argumentos

1.19 M~todos Materriá

2.

.••••••••..•....••• •.• • •••••

de demostraci6n

usados en

tic a • • . • • . . . . . . . . . • . . . . . • • . . • . • . . • • •

CALCULO DE PREDICAPOS

DE PRIMER ORDEN ••••••••••••

69

75

2.1

Proposiciones

abiertas....................

75

2.2

Cuantificador

unive~sal •••••••.•••.•

78

i •••••

PAGINA 2.3

Argumentos que contienen proposiciones un!versales.

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

83

2.4 2.5

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

de L6gica Simbólica

de Escuela Secundaria

esenciales

proporcionar

de Lógica Simb61ica

estudio de la Matem~tica Hacemos hincapié ejercicios.

los profesores

necesarios

en dos aspectos

para abordar el

fundamentales:

elevado monto de ejemplos

y referencias

y

de autores.

ven ocasionalmente Queremos

para fortalecer dejar constancia

al profesor

Alina Morales,

Federico

Sosa, y especialmente

su mundo cultural. de nuestro profundo

Apolinar

Velázquez,

NGñez, a Eddy D1az, Carmen Liriano, Reina

a la Universidad

a través de su Vicerrector y del Director

Católica

edici6n de esta obra. Nuestra sus estimulos

sosteniqa

Madre y

Administrativo,

del Departamento

Danilo de los Santos. Ellos hicieron

constantemente

que

para los alumnos de este nivel, sir-

agradecimiento

Pablo Cordero,

Esperamos

llenen esos vac10s que, aunque no tienen

mucha trascendencia

nosotros

los conocimientos

No pretendernos agotar temas ni abultar con

historiograf1as

caciones,

universita-

Contemporánea.

sencillo y preciso,

Maestra,

y alumnos que cursan

en el Ciclo Básico de sus estudios

rios. Tiene un objetivo:

lenguaje

es una obra dirigida

labor intelectual

Pedro

de Publiposible la estuvo

por su trabajo desinteresado

enaltecedores.

esa extraordinaria

Sie~pre estará presente ayuda •. Los Autores

y en

CAPITULO

1

.CALCULO PROPOSICIONAL En nuestro. lenguaj e ordinario

se perciben

ambigüedades-:

Pienso en mi habitaci6n. Yo nunca me sienta en un banco. Ayer hice una operaci6n. Además, comunidad,

en cuanto instrumento

de grupos sociales,

bras o expresiones

adquieren

de comunicaci6n

de profesionales,

matices

Debido a esto, en Matemática, distinto,

que no est~ viciado

universalidad.

tud ~ue el lenguaje serie de reglas

simb61ico,

muchas

significativos

por la ambigüedad

diferentes.

y la falta de

a la L6gica que, aunque

aporta mayor precisi6n

ordinario.

p~la-

ha de usarse un-lenguaje

Para ello, se recurre

maneja un lenguaje

de una

o exacti-

Esto se logra mediante -una

bien claras y definidas.

La presentaci6n

de esas reglas es el prop6sito

de estos

apuntes. 1.1 Proposici6n Al concepto Recordemos oraciones:

de proposici6n

que el lenguaje

reconoce

las declarativas,

tivas y las imperativas. la conformidad

nos acercaremos

cuatro tipos básicos de

la~ exclamativas,

De ellas,

o disconformidad

dicado, por lo cual estamos

intuitivamente. las interroga-

las declarativas

objetiva

en capacidad

enuncian

del sujeto con el prede decidir

si lo que

se dice es cierto' o no. Definici6n

1.1

Proposici6n:

Es una oraci6n

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

declarativa

o falsa, pero no

tiempo.

que una proposici6n

es verdadera,

cuando

lo

2

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'oposfcfén 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.rLe 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 í

í

3

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)(5ndepasaste las vacaciones? q) Hoyes domingo. 2. Identifique las proposiciones del ejercício"an~tiot.

------

,

4

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

-----

f) Si el triángulo ABe es congruente con el triángulo A'B'C', entonces g) Un rectángulo 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 más que con pro.posiciones específicas, parauu fi~usaremos letras minüsculas, tales como p, q, r, etc. Ahora bien, en estos casos nos enfrentarnos a un problema de terminología ya que, dichos símbolos, por sí solos, no constituyen una :.¡ proposici6n, pues-ce.que no, son susoept.i.b Le s de asignárseles un valor de verdad corno requiere la definici6n de·'proposici6n, sin antes conocer la oraci6n que representan. Sin embargo, dichos símbolos se conv er t en en proposiciones en el momento en que se reemplazan por proposiciones específicas. Definici6n 1.3 Un símbolo 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 seguirán siendo válidas no importando' qué proposici6n repre. " 'senten, y sin Los problemas de inte.rpretaci6n que acarrearía el cono.cer dichas proposiciones. í

5

Si P denota una proposici6n o una forma proposicional~ escribiremos

v(p) para indicar el ~alor de verdad de p. '.

Ejemplos:

q:

La colecci6n de los ndmeros primos es infinita.

r:

El agua del mar es dulce.

s:

HaY'perros que muerden.

t:

4 + 6

=

10.

En estos ejemplos: v(q)= V, v(r)= F, v(s)= V y v(t)= V Ejercicios 1.2 1. ¿Cuáles

de

las siguientes expresiones son proposiciones?

a) sé cauteloso. b) Juan fue mordido por un perro. c) l-1aríatiene 16 años y Elena es rubia" ch) El profesor de Biología no es simpático. d) ¿Cuándo viene tu hermano? e) Pedro me acompañará o Antonio se enfadará. f) ¡Me gusta ese cantante~ g) Hay ~uchas butacas vacías en el cine. 'h) Dejé de ver televisi6n y lo acompañé a la fiesta. i) Deja de ver televisi6n y acompáñame a la fiesta. j)

(85

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

+ 782•

k) Si te esfuerzas, no repetirás 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 encontrarás 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 Matemática. 2. Escriba tres proposiciones que tengan valor de verdad

6

verdadero y tres proposiciones cuyo valor de verdad sea falso. 1.2 Proposiciones

Compuestas

Las oraciones: Siete es un ndmero primo, Pepe estudia ingeniería, El profesor me cae mal, son llamadas proposiciones simples 0·at6micas. Pero este tipo de proposici6n es insuficiente para expresar la terminología matemática. '.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 triángulo es is6sceles si y,s6lo si tiene dos lados congruentes. 5) Si un paralelogramo tiene un ángulo recto, entonces es un rectángulo. 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 análoga podemos definir las f0r..mas_.proposicionales simples y compuestas.

7

e) El número seis no es menor que el número tr.es. f) El inverso mul tiplicati vo de un número 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~ látero es 360. i)

q~

p'aralelogramo es un rectángulo si y s6lo si tiene

un ángulo recto~ 2. Construya proposiciones llenando los espacios en planco: a) Un cuadrado es un

y un y

b) Un triángulo is6sceles tiene

o acutángulo o

c~ Un triángulo es

o

ch) Un número entero positivo es

ángulos aguds.

d)'Un cuadrado

cornodivi~or.

e) Un número impar f) Dos rectas son paralelas si y s6lo si y están en un mismo plano. g) Dos rectas coinciden si y s6lo si en común. h) Si un número es primo entonces,

_

son s6lo uno y él mismo. i) Si un paralelogramo es

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

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

a) b)

y

c)

o

ch) Si }i)

entonces si y s610 si

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

8

en las llamadas tablas .de verdad.

Estas no son más que'

arreglos de filas y columnas donde 'se contemplan todas las po. , sibíes combinaciones de valores de verdad de los componentes at6micos de las proposiciones

compuestas,

y el valor de ver- -

dad en cada combinaci6n, de dichas proposiciones. Veamos, a continuaci6n, las proposiciones

los nombres y característiéas

de

compuestas.

1.3 Negaci6n Definici6n

1.5

forma anteponiendo

Dada una proposici6n, a la proposici6n

su negaci6n se

las expresiones:

Es

falso que, no es verdad que. También, siempre que sea posible, Ln se'r tiando la partícula Ejemplos:

1)

una proposici6n,

"no" en la proposici6n.

Venezuela

es un país petrolero,

y su negaci6n puede ser escrita:

Es falso que Venezuela

es un país petrolero.

No "es verdad que Venezuela Venezuela

es:

Los ángulos de un trián-

no son congruentes.

3) La negaci6n de:

El número dos es el primer número

El número dos no es el primer número primo.

4) La negaci6n de: triá~gulos

Los án~ulos de un triángulo

son congruentes,

gulo equilátero primo, es:

es un país petrolero.

no es un país petrolero.

2) La ~egaci6n de: equilátero

es

semejantes

correspondientes

Los lados correspondientes

son congruentes,

en triángulos

es:

en

Los lados

semejantes no son con-

gruentes. ~) Pedro no sembr6 esa mata de guineo, es la negaci6n de la proposici6n:

Pedro sembr6 esa mata de guineo ..

6) Es falso que Juan es antipático,

es una de lak fbr-

mas en que se puede escribir la negaci6n de la proposici6n: Juan es antipático. 7) La negaci6n de: Felipe vive en Egipt~ es: dad que Felipe vive en Egipto.

No es ver-

9

Notaci6n: denota

-cp.

Valor

Sea:p una propo~ici6n,

'Es decir,

la notaci6n

oe verdad:

entonces

La negaci6n

sa es una proposici6n

se

"no", es: -v ,

para el conectivo de una proposici6n

falsa y la negaci6n

es una proposici6n

sU negaci6n

verdadera

de una proposici6n

fal-"

verdadera. 1.1:

Tabla de verdad

Utilizando

las formas

proposicionales, I

podemos

resumir

lo anterior

en una tabla de verdad

de la manera

siguiente: Col.

Ejercicio

1

Col.

Fila

1:

V

F

Fila

2:

F

V

2

1.4

1. Escriba indique

la negaci6n su valor

sici6n

proposiciones

e

de' verdad.

a) Una proposici6n b) La negaci6n

de las siguientes

tiene un único

de una proposici6n

valor

de verdad.

falsa es una propo-

falsa.

c) Una forma

proposicional

ch) La expresi6n

"'p es una forma

d) Las proposiciones conecti~os

es una proposici6n.

compuestas

se forman

utilizando

los

l6gicos. es una proposici6n.

e) Una oraci6n

declarativa

f) Una oraci6n

interrogativa

g) Un cuadrado

es un rectángulo.

h) Un rombo

p-roposicional.

puede

ser una proposici6n.

es un cuadrado.

i) La suma de números

enteros

es conmutativa.

1.4 Conjunci6n Definici6n conectivo

y, obtenemos

Ejemplos: La gallina .de ellas

1.6

Al unir dos proposiciones ia conjunci6n

1) lo es un satélite

es un mamífero,

05:

mediante

de dichas natural

son proposiciones.

el

proposiciopes.

de Júpiter, La conjunci6n

10

lo es un satélite natural. ' de '.Júpiter y la gallina .es un ~ mamífero .' Al lector le llamará la atenci6n el ejemplo a~terior p~I "

estar acostumbrado a que el uso de la conjunci6n

"y", en el

I

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 gramínea y la yuca es un tubérculo.

41 El triáng'ulo e,qu;il'átero es'equiángulo y no es un polígono regular. 5) El número dieciocho es un ndmexo .par y es divisible por tres. 6)

.

Tomás fue

a

la librería Y: Evelyn al cine.

,

7) Un ángulo inscrito en una semicircunferencia

es un

ángulo re~ct
View more...

Comments

Copyright ©2017 KUPDF Inc.
SUPPORT KUPDF