Você está na página 1de 12

Las expresiones que contienen la palabra El y Ella tambin se consideran como enunciado

MINISTERIO DEDUCACION

abierto. Ejemplos:

Universidad Nacional de Piura Facultad de Ciencias Sociales y Educacin

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

CAP. I.: LOGICA FORMAL

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


ENUNCIADO CERRADO:
frase, oracin o 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.

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

PROPOSICIN (Proposicin

lgica)

Nota:
-

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

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

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

CAP. II.: CLASES DE PROPOSICIONES

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.

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 3<6 fueron grandes

guerreros.

CLASES DE PROPOSICIONES SIMPLES


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

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


es

ENUNCIADO
Proposicional):

ABIERTO

(Funcin

La biologa es una ciencia. Los Chancas fueron grandes

Llamados tambin enunciados indefinidos, son aquellos que contienen una variable o variables y que no tienen la propiedad de ser verdadero o falso.

guerreros.

2, es un nmero primo

Jams A b) Proposiciones Simples Relacionales: Son aquellas expresiones en N cuales se las e relacionan dos o ms sujetos que tienen la misma categora gramatical. g (sustantivo, adjetivo, etc.) a Obedecen a la frmula d S R S o S y S R r Ejemplos: e Isabel es prima de Juana. s 2+2=51 3<6 E PROPOSICIONES COMPUESTAS: x Llamadas tambin moleculares,t coligativas o complejas, son aquellas expresiones que se e obtienen de la combinacin de dos o ms proposiciones simples enlazadas r conectivos por
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)

lgicos. Ejemplos:

O pedro viaja a Europa o Asia Si prctico deporte entonces

tendr buen estado fsico.

CLASES
COMPUESTAS
a)

DE

PROPOSICIONES

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 Formalizacin: p q EL CONJUNTOR Smbolos: A B;A.B;A&B;AxB Traduccin Verbal: se lee AyB A incluso B

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

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 Nunca A (negadores internos)

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: A B,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 Conector:

... o

Mnica es poeta o deportista , +


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

Si A

te vas

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

EL REPLICADOR

CAP. III.: FORMALIZACIN DE PROPOSICIONES

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 p q p q pq p q pq

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

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

DEL

LENGUAJE

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 frmula 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 [(pq) (rs)]

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 p q II) Las expresiones lingsticas de doble negacin (innegable, inobjetable, etc.) Se formaliza como tal Ejemplo: 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 en toda con la las expresin y variables

preposicionales, cada proposicin con una

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) * (p (pq) q) (La bicondicional relaciona dos esquemas) * p r) (q (La disyuncin relaciona a un esquema y a una variable) CONSTANTES U OPERADORES LGICOS

CAP. IV.: VERDAD FORMAL

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

p V V F F

q V F V F

V V F V

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

A p q r . .

B
V F

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

COMBINACIN

DE UNA PROPOSICIONES Obedece a la siguiente frmula:

MAS

Nmero de Combinaciones

2n

Donde: n = nmero de variables proposicionales

TAUTOLOGA
Cuando en el esquema molecular todos son verdaderos.

DEFINICIN
o

DE

PROPOSICIONES

COMPUESTAS La Negacin p V F p F V

CONTRADICCIN
Cuando en el esquema molecular todos son falsos.

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

CONTINGENCIA
Cuando en el esquema molecular resultan verdaderos y falsos.

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

El Replicador

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 De las siguientes los espacios en blanco: Son ejemplos de expresiones: proposiciones: 1 2 1. Buenas Noches! 1. Tres mas dos es mayor que dos 2. Cmo estas? mas uno. 3. El Per es un pas 2. Hola! sudamericano. 3. El cuadrado es un 4. Vete a comprar al mercado. paralelogramo. 5. Te deseo suerte en tu 4. Deseo viajar al Cuzco. examen. 5. La Antrtica es un continente Son enunciados: perdido. ____Todas_________ Son ciertas: ____1,3,5_________ ______________________________ De las siguientes expresiones: 3 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:_____________ ______________________________ 4 De los siguientes enunciados, 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:____________________

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

1.- Julio y Dante son

2.- El nmero 1332 es

3.- Justo al igual que

4.- El 28 de julio de 1821

5.- Roberto es poltico pero es

Hermanos. P. Compuesta PQ

divisible por 11. P. Simple

Gerardo son profesores. P. Compuesta PQ

se celebra el da de la Independencia del Per. P. Simple 9.-El que llueva es condicin suficiente para obtener buenas cosechas. P. Compuesta PQ

honesto. P. Compuesta PQ

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

7.- El Huascarn se encuentra en la cordillera Oriental de los Andes o se encuentra en la cordillera Occidental. P. Compuesta PVQ 12.-La neurona es la unidad biolgica del sistema nervioso.

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

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

11.- Piura es una ciudad calurosa y emprendedora.

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 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. 8

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. Levntese y pase a que lo cuenten. c. 8+15=23. d. No todos los nmeros son positivos. e. El deporte es saludable. f. Desde 1950, ms personas han muerto en accidentes

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

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 a) b) c) 7. Formalizar las siguientes proposiciones Vernica y Claudia son contemporneas __________________ Per y Chile son pases con democracia ________________ Cuatro y Seis son mltiplos de dos ___________________ 9

d) e) f) g)

La Lgica es una ciencia formal, la Matemtica tambin ________ Maritegui fue escritor, revolucionario y periodista ____________ Es falso que, voy a la capacitacin y no a la biblioteca _________ 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 _______________________

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) A B

[ p ( p q)]

[ ( p q ) q ]

10

V V F F

V 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. Si b) FFF c) VFV d) FVF e) FVV

p q es verdadera
b) FF

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

a) VV

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 ) ( s w) ( r p ) [T ( w p ) ] ( p r ) , (T es verdadero) a) VVV b) FFF c) VFF d) VVF e) FVV

11

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.

12

Você também pode gostar