MINISTERIO DEDUCACION

Universidad Nacional de Piura Facultad de Ciencias Sociales y Educacin

PROGRAMA NACIONAL DE FORMACIN Y CAPACITACIN PERMANENTE

COMPONENTE LOGICO MATEMATICO MODULO No 05 ITEM 33

LOGICA PROPOSICIONAL

PIURA - 2008

INTRODUCCIN En la actualidad, el estudio serio de cualquier tema, tanto en el campo de las Humanidades como en el de las Ciencias y la Tecnologa, requiere conocer los fundamentos y mtodos del razonamiento lgico preciso, que permita a las personas o al profesional extraer y depurar sus conclusiones evitando el riesgo de modificar en forma equivocada la informacin que posee. El presente modulo pretende motivar a los

docentes participantes para que con ayuda de la lgica, sean capaces de formalizar sus conocimientos a travs de la lgica simblica, para que de esta manera tengan una buena estructura cognitiva. Consideramos que si el participante sabe lgica puede relacionar estos conocimientos, con los de otras reas para de esta manera crear otros conocimientos. La lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado; tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos, innovaciones a los ya existentes o simplemente utilizacin de los mismos.

PROPOSICIONES Y CONECTORES LGICOS

LOGRO DE APRENDIZAJE Resuelve situaciones problemticas aplicando conceptos y procedimientos de la lgica proposicional, interpreta textos aplicando los principios lgicos y construye argumentos reconociendo proposiciones a partir de lecturas de su inters y comunica los resultados a travs de distintas formas de representacin. Contenidos: Lgica formal: Definiciones. Clases de proposiciones. Formalizacin de proposiciones. Verdad formal.

Situacin Problemtica

Cuntas veces ha odo consejos como Quien a buen rbol se arrima, buena sombra le cobija, Agua pasada no mueve molino, o Si ves las barbas de tu vecino cortar, pon las tuyas a remojar?. En muchos casos tales anuncios proverbiales pueden replantearse como una condicional en la forma si entonces. Por ejemplo, estos tres enunciados pueden reescribirse de la siguiente manera: Si se arrima a un buen rbol, entonces buena sombra le cobija. Si el agua ya ha pasado, entonces no mueve molino. Si ves las barbas de tu vecino cortar, entonces pon las tuyas a remojar. Piense en algunos refranes que sean conocidos y plantelos en la forma si entonces.

CAP. I.: LOGICA FORMAL

ENUNCIADO Se llama enunciado a toda expresin matemtica Ejemplos: 52=3

Ejemplos:

x+2=3 Cierto da el Per entro en crisis. x2 + y3 = 3

frase, oracin o

Te necesito Ven!. A boca cerrada no entra mosca.

ENUNCIADO CERRADO:
Se considera como enunciado cerrado a todo concepto bien definido. Ejemplo La historia es una ciencia social que estudia, analiza e interpreta los hechos importantes del pasado a travs del tiempo y el espacio.

PROPOSICIN (Proposicin

lgica)

Es todo enunciado cuya propiedad fundamental es la de ser verdadero (V) o falso (F), pero no ambos simultneamente. Ejemplos:

52=3 Paris es la capital de Francia. x2 y2 = (x + y) (x y)

Nota:
-

Toda proposicin es un enunciado pero no viceversa. Todo enunciado cerrado es una proposicin verdadera.

OBSERVACIN:
(a) Se consideran como proposiciones: - Las oraciones aseverativas a) Informativas b) Descriptivas c) Explicativas - Las leyes cientficas - Las frmulas matemticas - Las formulas y/o esquemas lgicos - Los enunciados cerrados (definiciones) (b) No son considerados como proposiciones - Las oraciones no aseverativas a) Exclamativas b) Imperativas c) Desiderativas d) Interrogativas Los hechos o personajes literarios Los proverbios, modismos y refranes Creencias religiosas, supersticiones y mitos Enunciados abiertos o indefinidos.

CAP. II.: CLASES DE PROPOSICIONES

PROPOSICIONES SIMPLES:
Llamadas tambin atmicas o singulares, son aquellos enunciados que no llevan conectivos lgicos es decir tienen un solo sujeto y un solo predicado. Ejemplos

La biologa es una ciencia. Los Chancas fueron grandes guerreros. 3<6

ENUNCIADO
Proposicional):

ABIERTO

(Funcin

CLASES DE PROPOSICIONES SIMPLES

a) Proposiciones Simples Predicativas: Son aquellas expresiones que atribuyen o

Llamados tambin enunciados indefinidos, son aquellos que contienen una variable o variables y que no tienen la propiedad de ser verdadero o falso. Las expresiones que contienen la palabra El y Ella tambin se consideran como enunciado abierto.

afirman un predicado a un sujeto. Generalmente obedecen a la frmula: S Ejemplos

es

La biologa es una ciencia.

Los Chancas fueron grandes guerreros. 2, es un nmero primo

Nunca A Jams A

(negadores internos)

N e b) Proposiciones Simples Relacionales: Son aquellas expresiones en las g cuales se relacionan dos o ms sujetos que tienen la a misma categora gramatical. (sustantivo, d adjetivo, etc.) Obedecen a la frmula o r S R S S y S R e s Ejemplos: Isabel es prima de Juana. E 2+2=51 x 3<6 t e PROPOSICIONES COMPUESTAS: Llamadas tambin moleculares,r coligativas o
1 2 1 2

Es absurdo que A Es inconcebible que A No ocurre que A No es cierto que A Es imposible que A No es verdad que A Es mentira que A Es inadmisible que A No acaece que A No es innegable que A De ninguna forma se da A Es errneo que A Es incierto que A Nadie que sea A Es incorrecto que A No es inobjetable que A No siempre que A No es que A En modo alguno A En forma alguna A
b)

complejas, son aquellas expresiones que se obtienen de la combinacin de dos o ms proposiciones simples enlazadas por conectivos lgicos. Ejemplos:

O pedro viaja a Europa o Asia Si prctico deporte entonces tendr buen estado fsico.

Conjuntiva Son aquellas proposiciones que se relacionan mediante la conjuncin gramatical copulativa Y o expresiones equilvalentes. Ejemplo: La UNP forma profesionales y es un centro de investigacin. Conector: ; . ; & ; x

CLASES
COMPUESTAS
a)

DE

PROPOSICIONES

Formalizacin: p q

Negativa Son aquellas en donde el adverbio negativo no o sus expresiones equivalentes afectan a una o mas proposiciones. Ejemplos:

EL CONJUNTOR Smbolos: AB;A.B;A&B;AxB Traduccin Verbal: se lee AyB A incluso B

Es falso que Juan sea peruano. No es cierto que sea utilitarista y naturalista a la vez.

Conector: , , Formalizacin: p

EL NEGADOR Smbolos: A, A, - A Traduccin Verbal: se lee No A

A pero B A aunque B A al igual que B A tal como B A tanto como B A tambin B A as como B A vemos que tambin B A al mismo tiempo que B A sin embargo B A es compatible con B A an cuando B A del mismo modo B A de la misma manera B A no obstante B A empero B Tanto A como, cuanto B Siempre ambos A con B A sino B No slo A sino tambin B A asimismo B A a pesar de B A a la vez B A igualmente B A de la misma manera B Sin que A tampoco B Cierto que A lo mismo que B Simultneamente A con B

Smbolos: AB,A+B Traduccin Verbal: se lee AoB A a menos que B a menos que A B A salvo que B A y bien, o tambin B A excepto B A o incluso B A o a la vez B A ya bien B A y/o B

Disyuntiva excluyente Se vincula a travs del conector o o. Ejemplo O estas despierto o estas durmiendo. Conector: ; ; , Formalizacin: p q , , >-<

EL DISYUNTOR EXCLUYENTE Smbolos: A B;A B; A B, A>-<B; AB Traduccin Verbal: se lee OAoB O bien A o bien B A o B (en sentidos excluyentes) A o solamente B A o nicamente B A o solo B A no es equivalente a B No es equivalente A con B A no biimplica a B

c)

Disyuntiva Son aquellas proposiciones que se relacionan mediante la conjuncin disyuntiva o su expresin equivalente u. Pueden ser: Disyuntiva Incluyente Se vincula a travs del conector . Ejemplo Mnica es poeta o deportista Conector: , +

... o

d)

Formalizacin: p q

Condicional Son aquellas proposiciones que se relacionan mediante la conjuncin condicional si entonces o sus expresiones equivalentes. Ejemplo: Si prctico deporte entonces tendr buen estado fsico. La proposicin condicional consta de dos elementos, el antecedente y el consecuente. Las proposiciones condicionales pueden ser:

EL DISYUNTOR INCLUYENTE

Condicional directa ( Implicador ) Antecedente y consecuente van en ese orden respectivo.

Ejemplo EL REPLICADOR

Si

te vas A

entonces C ;

estar

triste.

Conector:

Formalizacin: p q EL IMPLICADOR Smbolos: A B; A B; A B Traduccin Verbal: se lee Si A entonces B Siempre que A por consiguiente B Ya que A bien se ve que B Con tal que A es obvio que B Cuando A as pues B Toda vez que A en consecuencia B Ya que A es evidente B De A deviene B De A derivamos B A implica B Como quiera que A por lo cual B En el caso de que A en tal sentido B Una condicin necesaria .para A es B A es condicin suficiente para B A slo si B De A deducimos (inferimos, concluimos, llegamos) en B, etc.

Smbolos: A B; A B; B A Traduccin Verbal: se lee Slo si A B A si B A porque B A siempre que B Es condicin necesaria A para B A para B Para A es suficiente B A puesto que B A dado que B A supone que B A pues B A en vista que B, etc.
e)

Bicondicional Son aquellas proposiciones que se relacionan mediante la conjuncin compuesta si y slo si o sus expresiones equivalentes. Ejemplo: La pera es dulce si y slo si est madura. Conector: , Formalizacin: p q EL BIIMPLICADOR Smbolos: A B, A B Traduccin Verbal: se lee A si y solo si B A siempre y cuando B A se define lgicamente como B A es equivalente, equivale B A por lo cual mismo que B A si de la misma forma B A es idntica a B A es igualmente (es igual, entonces )B A cada vez que y slo si B A es equipotente a B A es condicin necesaria y suficiente para B A siempre que y solo cuando B

Condicional inversa (Replicador) Consecuente y antecedente van en ese orden respectivo. Ejemplo
ir de vacaciones

siempre que

acabe con el A

trabajo C Conector: ;

Formalizacin: p q

relaciona dos esquemas)

CAP. III.: FORMALIZACIN DE PROPOSICIONES

* p(qr)

(La disyuncin relaciona a un esquema y a una variable)

CONSTANTES U OPERADORES LGICOS

Definicin:
Es el proceso por el cual una proposicin escrita en el lenguaje natural es traducida a un lenguaje simblico. Para ello cada proposicin se reemplaza por una variable proposicional ( p, q, r, etc.) y el conector lgico por el operador correspondiente.

Negacin Conjuncin Disyuncin Dbil Disyuncin Fuerte Condicional Bicondicional

no p pyq poq opoq si p entonces q p si y solo si q

p pq pq pq pq pq

CARACTERSTICAS
FORMALIZADO
a) b) c) d) e)

DEL

LENGUAJE

SIGNOS DE AGRUPACIN:
Son: ( [ { NOTA: 1) El operador lgico de mayor jerarqua dentro de un esquema molecular es aquel que esta fuera o entre menos signos de agrupacin. 2) Cada esquema molecular tiene un nombre, el cual esta determinado por la constante lgica de mayor jerarqua ) : parntesis ] : corchete } : llaves

Es simblico Es universal Es convencional Es abstracto No es ambiguo DEL LENGUAJE

ELEMENTOS
FORMALIZADO

Variables: Son smbolos que pueden ser utilizados para reemplazar a cualquier formula o proposicin, de all el nombre de variables. Tenemos los siguientes tipos de variables: Variables Proposicionales: Son smbolos que reemplazan a las proposiciones simples y para ello se utilizan las letras minsculas a partir de la: p, q, r, s, .... Constantes: Llamado tambin operador o conectivo lgico, son smbolos que reemplazan a los conjunciones gramaticales y al adverbio de negacin. Se clasifican: A) Mondicos: Cuando afecta a una variable o un esquema. Especficamente se trata de la negacin (). Ejemplos: * p (la negacin afecta a la variable p) (la negacin afecta a todo el

PASOS PARA FORMALIZAR:

1) Determinar las proposiciones simples que se encuentran reemplazarlos variable. 2) Identificar las conjunciones gramaticales y los adverbios de negacin para reemplazarlos por sus respectivas constantes. 3) Jerarquizar las constantes lgicas, para ello debemos analizar los signos de agrupacin y el sentido de la expresin. Recomendaciones I) La formalizacin debe ser literal (tal y como esta escrito no valen equivalencias) Ejemplos: - Es falso que Manuel no es millonario (p) La cucaracha y el tiburn comen cualquier cosa pq II) Las expresiones lingsticas de doble negacin (innegable, inobjetable, etc.) Se formaliza como tal Ejemplo: en toda con la las expresin y variables

preposicionales, cada proposicin con una

* [(pq) (rs)]

esquema que esta dentro del corchete) B) Didicos: Cuando relaciona a dos variables o dos esquemas. En este rubro se encuentran todos los dems operadores lgicos. Ejemplos * (pq) (El condicional relaciona a dos variables p, q) * (pq) (pq) (La bicondicional

Es innegable que los vertebrados son reptiles p

III) Las negaciones por prefijos se formalizan Ejemplo: * Carmen es infeliz : OBSERVACIN Los trminos: Ni p ni q p q p q No p o no q p q p | q p

La Disyuncin Incluyente p V V F F q V F V F p V V V F q

El Implicador p V V F F q V F V F p V F V V q

CAP. IV.: VERDAD FORMAL

FUNCIN DE VERDAD:
Es la correspondencia que existe entre el conjunto de proposiciones y sus valores de verdad.
o

El Replicador p V V F F q V F V F p V V F V q

A p q r . .

B
V F o

La Disyuncin Excluyente p V V F F q V F V F p F V V F q

COMBINACIN

DE UNA PROPOSICIONES Obedece a la siguiente frmula:

MAS

Nmero de Combinaciones

La Bicondicional p V V F F q V F V F p V F F V q

Donde: n = nmero de variables proposicionales

DEFINICIN
o

DE

PROPOSICIONES

COMPUESTAS La Negacin p V F p F V

TAUTOLOGA
Cuando en el esquema molecular todos son verdaderos.

La Conjuncin p V V F q V F V p V F F q

CONTRADICCIN
Cuando en el esquema molecular todos son falsos.

CONTINGENCIA
9

Cuando en el esquema molecular resultan verdaderos y falsos.

PROBLEMAS PROPUESTOS

Practiquemos en el aula

1. A continuacin se te presenta cuatro tarjetas, cada una con cinco alternativas. Selecciona la(s) que consideres correcta y completa en los espacios en blanco: 11 De las siguientes expresiones: 1. 2. 3. Buenas Noches! Cmo estas? El Per es un pas sudamericano. 4. Vete a comprar al mercado. 5. Te deseo suerte en tu examen. Son enunciados: _______________ ______________________________ 1. 22

Son ejemplos de proposiciones:

Tres mas dos es mayor que dos mas uno. 2. Hola! 3. El cuadrado es un paralelogramo. 4. Deseo viajar al Cuzco. 5. La Antrtica es un continente perdido. Son ciertas: ____________________

33

De las siguientes expresiones:

44

De los siguientes enunciados, no son proposiciones:

Dios mo. El Per es un pas latinoamericano. Los ngulos opuestos por el vrtice son iguales. X es un eminente profesor del Pronafcap. El Tungsteno es una obra de Vallejo. No son proposiciones:_____________ ______________________________

A grandes males, grandes remedios. Julio y Enrique son amigos. 3,1416 es mayor que 3,11112 Maana es sbado si hoy es viernes. El Huascarn tiene 6768mts de altura. Son correctas:____________________ 10

2. Se te presentan un tablero que contiene, proposiciones simples y compuestas. Identifica cuales son y formalice dichos enunciados.

1.- Julio y Dante son Hermanos.

2.- El nmero 1332 es divisible por 11.

3.- Justo al igual que Gerardo son profesores.

4.- El 28 de 5.- Roberto es julio de 1821 poltico pero se celebra el es honesto. da de la Independencia del Per.

6.- No ocurre que, las aguas de las corriente peruana sean calientes.

7.- El Huascarn se encuentra en la cordillera Oriental de los Andes o se encuentra en la cordillera Occidental.

8.- La tierra es un planeta del sistema planetario solar.

9.-El que llueva es condicin suficiente para obtener buenas cosechas.

10.-.El Per posee una extensin de 1 285 215,60 km2

11.- Piura es una ciudad calurosa y emprendedora.

12.-La neurona es la unidad biolgica del sistema nervioso.

13.-Todo vegetal realiza la fotosntesis cuando y slo cuando tiene clorofila.

14.- Es falso que, los polticos sean honestos.

15.- Mariela estudia sin embargo trabaja.

3. Analiza los siguientes prrafos o argumentos, descomponlos en sus proposiciones simples e identifica los conectores. a. Si la pena de muerte se implanta en el Per por violacin a nios menores de edad, las personas que cometen este 11

delito serian sentenciadas a pena de muerte. Pero las personas que cometen violacin a nios menores de edad no son sentenciados a pena de muerte, salvo que la pena de muerte se implante en el Per por este delito. b. Si Lima no es la capital del Per y Buenos Aires es la capital de Bolivia, entonces ambas no son capitales de Chile. c. O bien el asma afecta a los pulmones o bien al corazn y a los huesos; pero no es el caso que afecta al corazn del mismo modo a los pulmones. d. Thales de Mileto fue matemtico tal como filsofo. Calvino fue protestante si y solamente si no se someti a la ortodoxia catlica. En consecuencia Thales fue matemtico salvo que tambin Calvino fue protestante. 4. Decida si cada una de las oraciones siguientes es o no una proposicin. a. Tenga un feliz da. b. c. d. e. f. Levntese y pase a que lo cuenten. 8+15=23. No todos los nmeros son positivos. El deporte es saludable. Desde 1950, ms personas han muerto en accidentes

automovilsticos que de cncer. 5. Decida si cada una de las proposiciones siguientes es compuesta. a. Mi hermana contrajo matrimonio en Chiclayo. b. Yo leo novelas y leo peridicos. c. Se regarn las flores. d. El nombre de su ta es Luca e. Hoy no llovi en el sur de Tumbes.

12

6. Represente con p a la proposicin Ella tiene ojos azules y con q a El tiene 43 aos de edad. Traduzca cada proposicin compuesta a palabras. a. ~p b. ~q

c. pq
d. pq e. ~pq 7. Formalizar las siguientes proposiciones a) Vernica y Claudia __________________ b) Per y Chile son pases con democracia ________________ c) Cuatro y Seis son mltiplos de dos ___________________ d) La Lgica es una ciencia formal, la Matemtica tambin ________ e) Maritegui fue escritor, revolucionario y periodista son contemporneas

____________ f) Es falso que, voy a la capacitacin y no a la biblioteca _________ g) Para que un cuerpo se caliente es suficiente que se dilate______ h) Es imposible pensar que Martin cometi este crimen a no ser que lo hizo por despecho. Sin embargo nunca tuvo problemas con su esposa, dado que ella fue una mujer inteligente. _______________ i) Si es absurdo que Morropn o Piura son la capital del departamento de Piura, luego se ve que Morropn o Chiclayo son la capital de Lambayeque _______________________

13

8. Evaluar los siguientes esquemas moleculares. j) p V V F F q V F V F k)

p q

p ( p q ) p

[ ( p q) ( p q)] q

V V F F

V F V F

l)

[ p ( p q)]

[ ( p q ) q ]

A V V

B V F

14

F F

V F

9. Sean las proposiciones p y q falsas y r verdadera. encontrar el valor de verdad de:

( p r) ( r q )

a) V b) F c) Tautologa Contingencia

d) Contradiccin

e)

10. Si el esquema ( p q ) es falso y ( p q ) r verdadera, hallar el valor de verdad de ( r q ) ( p q ) . a) V b) F c) Tautologa Contingencia d) Contradiccin e)

11. Si p, q, r son proposiciones verdaderas y s es falso. Hallar el valor de verdad de las siguientes proposiciones. [( p q ) r ] s (p q) r [( p q ) (r s )] (q s ) a) VVV 12. b) FFF c) VFV d) FVF e) FVV

Si p q es verdadera y ( p q ) ( p q ) tambin es verdadera. Cuales son los valores de verdad de p y q? a) VV b) FF c) FV d) VF

13. Si el esquema ( p r ) ( s w) es verdadera y el esquema ( w s ) es falso. Hallar el valor de verdad de: ( p q ) (r s )

[T

(s

w) ( r p )

( w p ) ] ( p r ) , (T es verdadero)

a) VVV

b) FFF

c) VFF

d) VVF

e) FVV

15

14. Por la tabla de verdad, determina si cada una de los esquemas es tautolgico, contradictorio o consistente. a) ( p q ) ( q p ) b) ( p q ) [ q ( r p ) ] c) [ ( p q ) ( r q ) ] ( r p ) 15. Diga cual(es) son proposiciones condicionales. a) No slo hay deuda tambin hay pobreza. b) Es inadmisible que la vaca no es herbvoro ni mamfero. c) Dante no es rico pero es feliz. d) Si hay motivacin, hay aprendizaje. e) Es falso que los precios no suben todos los das. f) No es verdad que el etanol no sea un alcohol. Bibliografa 1. ALLENDOERFER, Carl y OAKLEY, Cletus (1967): Introduccin a la Matemtica Superior, Mxico: Mc Graw-Hill. 2. ALLENDOERFER, Carl y OAKLEY, Cletus (1973): Fundamentos de Matemticas Universitarias, 3 ed., Mxico: Mc Graw-Hill. 3. AYRES, Frank (1991): Teora y problemas de lgebra moderna , Mxico: D.F: McGRAW-HILL. 4. BLAS, Jernimo (1983) Matemticas I, Lima: Instituto Matemtico Superior Beta. 5. CARRANZA, Csar (1993) Matemtica bsica, Lima: CONCYTEC. 6. FIGUEROA, Ricardo (2006): Matemtica bsica I, 9 ed., Lima: RFG. 7. GMEZ, Pedro (1995): Matemtica bsica, Mxico: Iberoamrica. 8. MEDINA, Mario (1987): Matemtica 1000 problemas, Lima: San Marcos. 9. PINZN, lvaro (1973): Conjuntos y estructuras, Mxico: Harla, S.A. de C.V. 10. POLYA, George (1965) Cmo plantear y resolver problemas , Mxico D.F.: Trillas. 11. SANTIVEZ, Jos (1988): Aritmtica, Lima: Grafotcnica editores e impresores. 12. SILVA, Mario (s/a): Aritmtica. Teora y Prctica, Per: San Marcos.

16