1

1.1.
ejemplo: 1)

UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE CIENCIAS ECONOMICAS EXTENSIN IXCN-TULAN CURSO DE MATEMATICAS I
Autor: Ing. Agr. Jos Horacio Ramrez Prez.

1.2.

CLASES DE PROPOSICIONES
Las proposiciones se pueden dividir en: a) Simples o atmicas. Esta expresa slo un hecho, que puede ser verdadero o falso. Ejemplos: 2) 3) 4) b) 5) 6) 7) 8) Somos buenos estudiantes. Eusebia es nombre de mujer. El lunes es da de inicio de semana. Compuestas o moleculares. Estn formadas por dos proposiciones simples y estn unidas por conectivos. Juan Prez es guatemalteco y mexicano. Los ixcanecos son quichelenses y guatemaltecos. Dos ms dos son 4 y tres por tres es 9. Estudio maana o salgo de viaje.

CALCULO PROPOSICIONAL

CONCEPTO DE PROPOSICION
Es la expresin oral o escrita de los juicios cuyo valor es falso o verdadero, por

Hoy es viernes. Como hoy es viernes, la proposicin es verdadera.

Todas las proposiciones pueden ser falsas o verdaderas, y no pueden tener los dos valores al mismo tiempo. La verdad o falsedad de dicha proposicin se le llama su valor de verdad, lo cual no quiere decir que verdaderamente sea verdad. Por ejemplo, en la proposicin 1), si hoy no es viernes, su valor de verdad es falso. Cuando una proposicin es verdadera su resultado se representa con la letra V y cuando es falsa se representa con la letra F. En algunos textos se representa a la V como 1 y a la F como 0. Las expresiones orales que tienen valor verdadero o falso se deben distinguir de las formas que no son verdaderas o falsas, como por ejemplo: De donde somos? La tierra. Los estudiantes del TULAN. En estas ltimas expresiones no se puede determinar su valor de verdad. Es decir, no podemos decir que son verdaderas o falsas. 9) 10)

1.3.

SIMBOLIZACION DE PROPOSICIONES
Las proposiciones se simbolizan utilizando letras minsculas, usndose

regularmente las letras p, q, r, s y t. Despus de estas letras se colocan dos puntos y seguidamente las expresiones. Los ejemplos 1, 2 y 3, quedaran as: p: Hoy es viernes. q: Somos buenos estudiantes. r: Eusebia es nombre de mujer. Si tenemos las proposiciones: p: Hoy estudio Matemtica q: Maana voy a ganar el examen Al conectarlas por el conectivo y, quedara as:

11)

Hoy estudio Matemtica y maana voy a ganar el examen. p q

REGLA DEL CONECTIVO

El valor de verdad, para la disyuncin de dos proposiciones cualesquiera, p o q ser de la siguiente manera: p q debe ser verdadera, si al menos p o q, son verdaderas, mientras ser falso cuando las dos sean falsas.
p q

Se obtiene una proposicin compuesta.

1.4.

CONECTIVOS LOGICOS a) Conjuncin

Anteriormente vimos que la unin de proposiciones simples produce

V V F F

V V V F

V F V F

proposiciones compuestas. El primer caso de proposiciones compuestas que veremos ser la conjuncin. Cuando dos proposiciones simples se combinan mediante la palabra y , la proposicin compuesta resultante se llama conjuncin. Para la conjuncin se utiliza el smbolo o conectivo lgico , el cual se lee y. Vea ejemplo 11. La nueva proposicin p q se llama conjuncin de p y q .

c)

Si entonces
En matemticas se suele utilizar muy frecuentemente la proposicin Si p

REGLA DEL CONECTIVO.

El valor de verdad, para la conjuncin de dos proposiciones cualesquiera, p y q ser de la siguiente manera: p q debe ser verdadera, si y solamente si, tanto p como q, son verdaderas. De manera que, si al menos, una de las proposiciones simples es falsa, entonces, el valor de verdad para p q, es falso.
p q

entonces q. Tales proposiciones se llaman condicionales y se le denota por: pq El condicional p q tambin se puede expresar de las siguientes maneras:
a. b. c. d.

p implica q p solamente si q p es suficiente para q q es necesario para p Esta condicin es la que permite llamar o conocer a este conectivo como

V V F F

V F F F

V F V F

Condicional. Veamos un ejemplo, el cual te ayudara a comprender las maneras en que una proposicin condicional se puede expresar:

b) Disyuncin
La disyuncin es la combinacin de dos proposiciones simples a travs de la palabra o, el cual se representa con el conectivo . El ejemplo 8, representa el uso de este conectivo.

REGLA DEL CONECTIVO

El condicional p q es verdadero para todo, a excepcin de que p sea verdadero y q falso. Es decir, una proposicin verdadera no puede implicar una falsa.

3
p q

V V F F

V F F V

V F V F

V V F F

V F V F

V F V F

1.5.

NEGACION DE PROPOSICIONES
Sea p una proposicin inicial, de sta se puede formar otra proposicin, que se

le llama la negacin de p, escribiendo: Es falso que antes de p, , cuando es posible, se inserta en p la palabra No. Simblicamente se representa a la negacin por ~p, aunque existen varias maneras de hacerlo, en el curso utilizaremos la notacin ~p. El valor de verdad de la negacin de una proposicin inicial depende de la condicin siguiente: Si p es verdadero, entonces ~p es falso; si p es falso, entonces ~p es verdadero. Es decir el valor de verdad de la negacin de una proposicin es siempre opuesto del valor de verdad de la proposicin. Por ejemplo: p= La naranja es jugosa q = Hoy no es sbado r = Salgo para Ixcn maana. ~p = La naranja no es jugosa. ~q = Hoy es sbado. ~r = No salgo para Ixcn maana.

d)

Si y slo si
El otro tipo de proposicin que se presenta regularmente es de la forma p si y

solamente si, q que se suele abreviar p ssi q. A este conectivo lgico lo llamamos bicondicional y se denota por el smbolo. Por ejemplo: p= Soy guatemalteco q= Nac en Guatemala Soy guatemalteco si y slo si nac en Guatemala

REGLA DEL CONECTIVO

El valor de verdad de las proposiciones bicondicionales ser verdadero siempre y cuando el valor de verdad de las proposiciones simples sean iguales, es decir, las dos verdaderas o las dos falsas.

1.6.

TABLAS DE VERDAD
Como se ha podido comprobar en los ejemplos anteriores, la combinacin de

dos proposiciones simples puede dar origen a tablas que tienen diferentes valores de

verdad de acuerdo a su propia ley. El valor de verdad que se asigna a una proposicin compuesta suponemos que se asigna de acuerdo con la extensin natural de las hiptesis mencionadas para cada conectivo. Dichas hiptesis se resumen y se generalizan por medio de lo que se llama una tabla de verdad. Como se demostr anteriormente, una proposicin tiene 2 valores de verdad. Uno verdadero y otro falso. Dos proposiciones tienen cuatro valores de verdad, como se puede comprobar en las tablas presentadas para cada uno de los conectivos anteriormente. Si son tres proposiciones, el nmero de probabilidades de valor son 8. Y cada vez que se aumenta una proposicin el nmero de probabilidades se duplica, expresndose a travs de una frmula el nmero de probabilidades que debe tener una expresin proposicional. Nmero de probabilidades =

(pq)(qr)(pr). Tabla 1.

1
p

2
q

3
r

4
pq

5
qr

6
(pq)(qr)

7
(pr)

V V V V F F F F

V V F F V V F F

V F V F V F V F

V V F F V V V V

V F V V V F V V

V V V V V V V V

V F V F F F F F

V F V F F F F F

En donde n, es el nmero de proposiciones. La forma de llenar las columnas de las tablas es: La primera proposicin tiene la mitad de valores verdaderos y la otra mitad falsos. La segunda proposicin tiene la mitad de la mitad de valores de verdad de la primera proposicin. Vea la forma de llenar la tabla en el siguiente ejemplo: Resuelva:

De la siguiente tabla podemos concluir en lo siguiente: Observe en las columnas 1, 2 y 3, como se llenan los valores de probabilidad. Se opera primero la columna 1 y 2, con el conectivo si entonces (), colocando el resultado en la columna 4. Segundo se opera, las columnas 2 y 3, con el conectivo si entonces () y el resultado se coloca en la columna 5. La columna 6, se obtiene al operar las columnas 4 y 5, utilizando el conectivo o (). La columna 7, se obtiene al operar las columnas 1 y 3, utilizando el conectivo y (). Finalmente la columna 8, se llena al utilizar las columnas 6 y 7, utilizando el conectivo si slo si (). Este resultado es el que determina el valor de la proposicin combinada, independiente de los valores de las proposiciones simples.

1.7.
a)

TAUTOLOGIA Y CONTRADICCION
Tautologa
Las Tautologas son tablas que en su ltima columna operada slo se obtienen

Resuelva: (pq)(pq). Tabla 3. 1

p

2
q

3
q

4
(pq)

6
(pq)(pq)

5
(pq)

valores verdaderos. Algunas de estas tautologas son muy comunes y tiles y por eso se le llaman leyes. Vea columna 5 de tabla 2.

V V F F OjO:

V F V F

F V F V

V F F F

F F F F

F V F F

b)

Contradiccin
La contradiccin es una proposicin compuesta que se caracteriza por tener slo

el valor de verdad F en la ltima columna operada de sus tablas de verdad, independientemente del valor de las dems proposiciones. Vea columna 6 en la tabla 3.

En esta tabla debe observar que la negacin de la proposicin q, no da origen a una nueva proposicin sino que se le cambian nicamente los valores a la columna 2 para obtener la columna 3.

c)

Contingencia
Se le llama as a los resultados verdaderos y falsos que se obtienen en la ltima

columna operada en una tabla de verdad. Vea la columna 8, en la tabla 1.

2.
1.

BIBLIOGRAFIA
Rodas, S. Iris, C. 1,996. Matemticas Comerciales. Dcimo cuarta Edicin. Textos Didcticos de Guatemala. Impreso en Guatemala. 184 paginas.

1.8.

OPERACIONES

Resuelva: (pq)(pq). Tabla 2. Como son slo dos proposiciones debo hacer una tabla de 4 valores. 1
p

3.

EJERCICIOS
Determine el valor de verdad para cada una de las siguientes expresiones. Para ello construya una tabla de verdad. Estos ejercicios los debe presentar en hojas,

2
q

3
(pq)

5
(pq) (pq)

4
(pq)

tamao carta, utilizando los dos lados de cada hoja, sin flder. La cartula debe hacerla a mquina o en computadora, sealando bien su nombre, nmero de laboratorio y nombre del mismo.

V V F F

V F V F

V F F F

V V V V

V F V V

a) b) c)

pq q p pq

d) e) f) g) h) i) j)

( p q) (q p) ( p q) p ( p q) r ( p q) (q r )

[( p q) r ] [( p r ) q ] [( p q) r ] [( p r ) q] [( p q) (r s)] [( p r ) (q s)]