Vous êtes sur la page 1sur 33

.

Matem atica B asica para Estudios Superiores


Lic. Mat. Salom on Ching Brice no
http://universomath.blogspot.com

4 de septiembre de 2010

ii

ii

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

Pr ologo
La presente obra pone al estudiante temas de mayor relevancia en la formaci on de su pensamiento cr tico en matem aticas b asicas superiores. Para ello se mantendr a un lenguaje sencillo y puntual, con ejercicios tipo que muestren en la mayor a de las veces lo que el estudiante debe aprender. Como una forma de ilustraci on se contrasta, en la medida de lo posible, los contenidos de este libro con software matem atico. Pienso que puede ser un buen auxiliar para los estudiantes que terminaron su educaci on secundaria como los del primer ciclo de las Institutos Pedag ogicos, Universidades y de cualquier curso cuyo objetivo sea capacitar a los estudiantes para iniciarse en los estudios de cursos superiores. Se ha tenido especial cuidado en reducir las erratas lo m as posible. Cada ejercicio propuesto fue resuelto minuciosamente, las respuestas que guran en la parte nal del libro fueron comprobadas m as de una vez. Aun cuando todo autor sue na con producir el libro exento de errores ninguno ha logrado esa aspiraci on, al menos que yo sepa. Por tanto, agradecer a que me hagan notar cualquier error que pueda haber persistido todav a. Salom on Ching Brice no.

iii

iv

0. Pr ologo

iv

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

Indice general
Pr ologo 1. L ogica Proposicional 1.1. Lista de S mbolos . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Proposici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. Enunciado Abierto . . . . . . . . . . . . . . . . . . . . . 1.2.2. Proposici on Simple o At omica . . . . . . . . . . . . . . . 1.2.3. Proposici on Compuesta o Molecular . . . . . . . . . . . . 1.3. Operaciones con proposiciones . . . . . . . . . . . . . . . . . . . 1.3.1. La Conjunci on . . . . . . . . . . . . . . . . . . . . . . . 1.3.2. La Disyunci on Inclusiva . . . . . . . . . . . . . . . . . . 1.3.3. La Disyunci on Exclusiva . . . . . . . . . . . . . . . . . . 1.3.4. La Negaci on . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.5. La Condicional o Implicaci on . . . . . . . . . . . . . . . 1.3.6. La Bicondicional . . . . . . . . . . . . . . . . . . . . . . 1.4. Signos de Agrupaci on . . . . . . . . . . . . . . . . . . . . . . . . 1.5. Ejercicios Resueltos . . . . . . . . . . . . . . . . . . . . . . . . . 1.6. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . 1.7. Evaluaci on de Esquemas Moleculares mediante Tabla de Valores 1.7.1. Jerarqu a de los conectivos . . . . . . . . . . . . . . . . . 1.7.2. Tautolog a, Contradicci on y contingencia . . . . . . . . . 1.8. Proposiciones Equivalentes . . . . . . . . . . . . . . . . . . . . . 1.9. Proposiciones Implicativas . . . . . . . . . . . . . . . . . . . . . 1.10. Ejercicios Propuestos . . . . . . . . . . . . . . . . . . . . . . . . 1.11. Inferencia L ogica . . . . . . . . . . . . . . . . . . . . . . . . . . 1.12. Principales leyes tautol ogicas . . . . . . . . . . . . . . . . . . . . 1.12.1. Equivalencias Notables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
III

1 1 1 2 2 2 3 3 5 6 6 7 8 9 10 13 15 15 17 17 19 19 21 22 23

vi

INDICE GENERAL

vi

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

Indice de cuadros
1.1. Simbolog a de la L ogica . . . . . . . . . . . 1.2. Proposici on y valor veritativo . . . . . . . . 1.3. Determinaci on de los valores veritativos . . . 1.4. Valores veritativos de la Conjunci on . . . . . 1.5. Valores veritativos de la Disyunci on Inclusiva 1.6. Valores veritativos de la Disyunci on Exclusiva 1.7. Valores veritativos de la Negaci on . . . . . 1.8. Valores veritativos de la Condicional . . . . . 1.9. Valores veritativos de la Bicondicional . . . . 1.10. Proposiciones Implicativas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 3 4 5 6 6 8 9 21

vii

viii

INDICE DE CUADROS

viii

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

Cap tulo 1 L ogica Proposicional


La l ogica est a enfocada a estudiar la validez de los procesos del razonamiento. Una de sus ramas, la l ogica proposicional, utiliza simbolog a parecida al algebra de los n umeros, y algunas de sus operaciones binarias son similares a las operaciones de suma y de multiplicaci on de n umeros. Existen partes que son bastante literarias y que se manejan a trav es de implicaciones notables, uno de los temas centrales de este cap tulo. La l ogica que se estudiar a aqu servir a adem as para denir la teor a de conjuntos, la cual es previa a lo conceptos gen ericos de relaciones y funciones, que son a su vez los temas que preceden a los temas de n umeros reales y funciones de n umeros reales.

1.1.

Lista de S mbolos

Los s mbolos que se usar an en este cap tulo de l ogica de las proposiciones se dan a continuaci on: Conjunci on, y Disyunci on inclusiva, o Disyunci on exclusiva Negaci on Implicaci on, entonces Bicondicional: si y solo si Equivalente a No implica Por lo tanto

Cuadro 1.1: Simbolog a de la L ogica

1.2.

Proposici on

Una proposici on es un enunciado cuya propiedad fundamental es la de ser verdadera (V) o falsa (F), pero no ambas simult aneamente. Una proposici on se representa simb olicamente por letras min usculas tales como: p, q , r , etc. (llamadas variables proporcionales). Cuando se trata de representar muchas proposiciones similares se usan sub ndices para indicar cada una de ellas, esto es, p1 , p2 , p 3 , . . . , p n

1. L ogica Proposicional

Ejemplo 1.1 Observemos un grupo de posiciones junto a sus respectivos valores de verdad: Proposici on p : C esar Vallejo naci o en Par s. q : 2 + 3 < 10 3. r : El n umero 1331 es divisible por 11. t : Todos los hombres no son mortales. Valor de verdad v ( p) = F v (q ) = V v (r ) = V v (t) = F

Cuadro 1.2: Proposici on y valor veritativo

Ejemplo 1.2 Aquellos enunciados que indican una pregunta, una orden o una exclamaci on, no son proposiciones. As tenemos: (a) Qu e edad tienes? (b) Viva el Per u! (c) Prohibido fumar.

1.2.1.

Enunciado Abierto

Un enunciado que usa las palabras el,ellao los s mbolos x, y , z , etc. no son proposiciones. Pero si a una de estas palabras y s mbolos se le asigna un determinado objeto o valor, llamado constante, el resultado es una proposici on. A este tipo de enunciados se les denomina enunciados abiertos. Ejemplo 1.3 Son ejemplos de enunciados abiertos: est (a) El a jugando tenis (b) x + 2 > 5 (c) 2x + 3y = 8.

est El enunciado abierto El a jugando tenis tambi en puede escribirse como: p(x)=x est a jugando tenis, ahora, si x se reemplaza por el nombre de alguna persona, el enunciado se convierte en una proposici on, en posteriores cap tulos lo veremos con el nombre de funci on proposicional.

1.2.2.

Proposici on Simple o At omica

Una proposici on simple es aquel enunciado que posee un solo sujeto y un solo predicado. El valor de verdad V o F de estas dependen del suceso de donde provienen. Ejemplo 1.4 Los ejemplos de proposiciones at omicas lo encontramos en el cuadro (1.3).

1.2.3.

Proposici on Compuesta o Molecular

Una proposici on compuesta es aquella que est a constituida por dos o m as proposiciones simples. El valor de verdad de la proposici on compuesta depende del valor de verdad de cada una de las proposiciones componentes.

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.3. Operaciones con proposiciones

v (p) = V , por los conceptos de la geometr a elemental. (2) q : Carlos Marx autor de la Il ada v (q ) = F , pues, seg un la historia, Homero es autor de la Il ada. (3) r : 7 es un n umero primo v (r) = V , porque la aritm etica as lo establece.
Cuadro 1.3: Determinaci on de los valores veritativos

(1) p : El angulo recto mide 90o

Las proposiciones compuestas resultan ser una agrupaci on o reuni on de proposiciones simples ligadas por ciertas palabras tales como: y, entonces, pero, o, si y s olo si, porque, si, no, sin embargo, etc;

los cuales son llamados conectivos l ogicos . Ejemplo 1.5 Veamos las siguientes proposiciones: 1) El terreno es muy f ertil y hay suciente lluvia. Es la compuesta de las proposiciones simples: El terreno es muy f ertil, y Hay suciente lluvia. 2) La luna no es sat elite de la tierra. Esta proposici on molecular que utiliza el conectivo no, y act ua en una sola proposici on at omica: La luna es sat elite de la tierra . 3) Si estamos en diciembre entonces llegar a Es una compuesta que usa el conectivo la navidad . si . . ., entonces que act ua sobre las proposiciones simples: Estamos en diciembre , Llegar a la navidad .

1.3.

Operaciones con proposiciones

As como en aritm etica y en algebra se estudian operaciones entre n umeros, en l ogica se estudian operaciones entre proposiciones. La operaci on aritm etica de suma de dos n umeros 3 y 5, por ejemplo, hace corresponder a un nuevo n umero 8 que es su suma mediante la igualdad: 3 + 5 = 8; es decir, escribir 3 + 5 signica lo mismo que escribir 8. Vamos a proceder an alogamente para denir las operaciones entre proposiciones.

1.3.1.

La Conjunci on

Dadas dos proposiciones p y q , la conjunci on es el resultado de componer estas proposiciones con el conectivo l ogico y Se denota por el s mbolo , se escribe p q y se lee p y q . Ejemplo 1.6 Sean las proposiciones:
3

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

1. L ogica Proposicional

p :La tiza es blanca, q : 6 es un n umero primo. A partir de estas proposiciones simples obtenemos la nueva proposici on uni endolas mediante la conjunci on y . r : La tiza es blanca y 6 es un n umero primo. Aqu podemos observar que v (p) = V y v (q ) = F , entonces v (r) = F , ya que la conjunci on y exige el cumplimiento de ambas componentes, sin excepci on. En consecuencia, la regla pr actica para conjunciones es:

La proposici on conjuntiva es verdadera u nicamente cuando las dos proposiciones componentes p y q son verdaderas, en cualquier otro caso es falsa.

Esta caracter stica es v alida para toda conjunci on y genera su tabla de valores de verdad se observa en el cuadro (1.4).

p V V F F

q V F V F

pq V F F F

Cuadro 1.4: Valores veritativos de la Conjunci on

Observaci on 1.1 En la pr actica, a la proposici on conjuntiva se le llama simplemente conjunci on, lo que se deber a entender como proposici on resultante de dos proposiciones at omicas mediante el conectivo y . Ejemplo 1.7 Determinar el valor de verdad de la proposici on: r : 2 + 3 + 5 = 11 y Soluci on. Sean: p : 2 + 3 + 5 = 11 q : 4 + 8 > 5 + 6 v ( p) = F v (q ) = V 4 + 8 > 5 + 6

Luego, seg un la tabla de verdad de la conjunci on: v (r ) = v (p q ) = F

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.3. Operaciones con proposiciones

La Disyunci on
Se llama disyunci on o suma l ogica de las proposiciones p y q , dadas en ese orden, a la proposici on que se obtiene enunciando q a continuaci on de p unidas ambas por el conectivo o, esto es: p o q . Ejemplo 1.8 La proposici on: La luna es azul o 3 es un n umero primo es la disyunci on de: p :La luna es azul q : 3 es un n umero primo v ( p) = F v (q ) = V

Aqu , podemos decir que la disyunci on p o q es verdadera, pues el uso habitual del conectivo o establece una alternativa: alguna de las dos componentes se cumple. Como es cierto que 3 sea un n umero primo, no importa que la luna no sea azul, ya que una de las dos componentes de la alternativa es verdadera. En este caso podemos escribir, entonces: v (p o q ) = V . Dado que la disyunci on no contempla los casos en que:

1o ) Ambas proposiciones componentes sean verdaderas a mismo tiempo, y

1.3.2.

La Disyunci on Inclusiva

Dadas dos proposiciones p y q , la disyunci on inclusiva o d ebil, es una proposici on compuesta que resulta de unir las proposiciones p y q con el conectivo o, el cual se denota por el s mbolo , se escribe p q y se lee p o q . La regla pr actica es: La disyunci on inclusiva de dos proposiciones es falsa si y solo si ambas proposiciones componentes son falsas, resultando verdadera en los dem as casos. Su tabla de verdad es:

cia

do en M

ate m tic

as

se ha tenido que denir 2 clases de disyunci on: la disyunci on inclusiva (que incluye la posibilidad que sus 2 componentes se cumplan o no se cumplan al mismo tiempo) y la disyunci on exclusiva (que excluye la posibilidad que ambas se cumplan o no se cumplan a la vez).

p V V F F

q V F V F

Lic

en

on Inclusiva Cuadro 1.5: Valores veritativos de la Disyunci

Sa

2o ) Ambas proposiciones componentes sean falsas a mismo tiempo,

pq V V V F

lom

n Ch ing Br ice

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

1. L ogica Proposicional

1.3.3.

La Disyunci on Exclusiva

En este caso, la palabra o suele usarse en su sentido excluyente, en cuyo caso la conectiva proposicional se simboliza por , se llama disyunci on exclusiva o fuerte, se escribe p q y se lee p o q pero no ambos, esto es, se da exactamente una de las dos alternativas. En algunos textos a la disyunci on exclusiva se le llama diferencia sim etrica. Para recordar su valor veritativo1 , La regla pr actica es: La disyunci on exclusiva de dos proposiciones es verdadera si y solo si sus 2 proposiciones componentes tienen igual valor veritativo Los valores verdad la disyunci on exclusiva lo vemos en el cuadro (1.6). p V V F F q V F V F pq F V V F

Cuadro 1.6: Valores veritativos de la Disyunci on Exclusiva

Observaci on 1.2 En adelante, llamaremos a la disyunci on inclusiva simplemente disyunci on, es decir, pensando en el sentido incluyente o, no olvidemos que, p q signica p o q o ambas a la vez.

1.3.4.

La Negaci on

Se denomina proposici on negativa de la proposici on armativa p a otra que se denota por p y que se lee no p o no es cierto que p y cuya verdad o falsedad queda determinada por la siguiente tabla: p V F
p

F V

Cuadro 1.7: Valores veritativos de la Negaci on

El valor de la negaci on de un enunciado es siempre opuesto del valor de verdad del enunciado. Lo importante de la proposici on negativa es que su valor de verdad depende solo del valor de verdad de la armaci on. a) La tisa es blanca. b) No es cierto que la tisa es blanca.
1

c) La tisa no es blanca. d) La tisa es azul.

Valor veritativo, ll amese as al valor de verdad de una proposici on.

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.3. Operaciones con proposiciones

Ejemplo 1.9 Simbolizar la proposici on: No es el caso de que 10 sea m ultiplo de 3 o que 5 + 2 < 10.

ultiplo de 3 y q : 5 + 2 < 10 , entonces la proposici on se simboliza: Soluci on. Si p : 10 es m


(p

q ).

1.3.5.

La Condicional o Implicaci on

Dadas las proposiciones p y q , se denomina proposici on condicional o implicativa a la que resulta de unir p y q por el conectivo si, . . ., entonces que se denota por el s mbolo , se escribe p q y se lee si p, entonces q , p implica q , p s olo si q , q , si p, etc; en donde p es el antecedente o condici on y q es el consecuente o conclusi on. Ejemplo 1.10 Simbolizar la proposici on: Si Patricia consigue visa de turista, entonces viajar a a Miami. Soluci on. Si y

en son conectivos condicionales los t erminos: porque, puesto que, ya que, Nota: Tambi si, cuando, cada vez que, etc. Todas se caracterizan porque despu es de cada uno de estos conectivos est a el antecedente o condici on. Ejemplo 1.11 Simbolizar la proposici on: 16 es m ultiplo de 2 puesto que 16 es un n umero par. Soluci on.

Entonces, la proposici on se simboliza: q p, y se expresa:

cia

Lic

Soluci on.

en

Ejemplo 1.12 Arturo no viaj o a Europa porque perdi o sus documentos

do en M

Sean p :16 es m ultiplo de 2 (consecuente ), y q :16 es n umero par (antecedente ).

Si 16 es un n umero par, entonces es m ultiplo de 2

Si p : Arturo no viaj o a Europa (consecuente), y q : Arturo perdi o sus documentos (antecedente)


Matem atica B asica

ate m tic

Entonces, la proposici on se simboliza:

as

p : Patricia consigue visa de turista q : Patricia viajar a a Miami p q.

Sa

lom

n Ch ing Br ice

b) y c) son cada uno la negaci on de a), en cambio d) no es la negaci on de a). Otras formas de expresar la negaci on es utilizando los t erminos no es el caso que, es falso que, etc. En estos casos generalmente la negaci on niega proposiciones compuestas y simb olicamente se expresa por ( ).

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

1. L ogica Proposicional

Se simboliza: q p que expresamos: Si Arturo perdi o sus documentos, entonces no viaj o a Europa. Entonces el valor de verdad de p q queda establecido de acuerdo a la siguiente regla: La condicional o implicaci on tendr a un valor de verdad falso cuando el antecedente p es verdadero y el consecuente q es falso; en los dem as casos diremos que p q es verdadero.. Los valores veritativos de la condicional lo encontramos en el cuadro (1.8). p V V F F q V F V F pq V F V V

Cuadro 1.8: Valores veritativos de la Condicional

Ejemplo 1.13 Dadas las proposiciones p, q y r tales que v (p) = v (q ) = F verdad de las siguientes proposiciones: a) p (q r) b) q ( p r) Soluci on. a) c) v (q r ) = v (F V ) = V v [p (q r)] = F v [p (q r)] = = v (F F ) = V v (p q ) = v (F V ) = F v [ (p q )] = V ; v ( r p) = v (F F ) = F v [ (p q ) ( r p)] = =v (V F ) = F

y v (r) = V , hallar el valor de

c) (p q ) ( r p) d) (q r) ( p r)

b) v ( q ) = V y v ( p r) = v (V V ) = V v [ q ( p r)] = v (V V ) = V d) v (q r) = v (F F ) = V v [ (q r)] = F ; v ( p r) = v (V V ) = V . (q r ) ( p r ) = v (F V ) = V

1.3.6.

La Bicondicional

Sean p y q dos proposiciones con las que se forma la siguiente proposici on: p q y q p. Esta nueva proposici on est a formada mediante dos implicaciones y una conjunci on. Podemos escribir esta proposici on haciendo uso de un nuevo conectivo; la escribiremos como: pq El s mbolo es llamado el conectivo bicondicional o doble implicaci on. A la proposici on formada la llamamos proposici on bicondicional. Si simbolizamos esta proposici on obtenemos: ( p q ) ( q p) p q
8

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.4. Signos de Agrupaci on

p V V F F

q V F V F

(p q ) V F V V

(q p) V V F V

Cuadro 1.9: Valores veritativos de la Bicondicional

La verdad de la bicondicional queda perfectamente determinada a partir de las tablas de verdad de la condicional y la conjunci on; esto es: Concluimos armando que el valor de verdad de la proposici on bicondicional est a dado por la siguiente regla: Si p y q tienen el mismo valor de verdad, entonces la bicondicional p q es verdadera, y si p y q tienen valor de verdad opuestos, entonces p q es falsa.

es ambigua; pero asociando sus t erminos:

Ejemplo 1.14 No es el caso de que 9 es m ultiplo de 3 o que 2 8 = 15.

cia

Asign andole una variable a cada proposici on simple se tiene:

do en M

la expresi on dada tiene un sentido y deja de ser ambigua. Otra nalidad de los signos de agrupaci on es darle mayor o menor jerarqu a a los conectivos, En general, , es el conectivo de menor jerarqu a, le siguen , que son de igual jerarqu a, y luego que es el de mayor jerarqu a. Sin embargo, cada conectivo puede ser de mayor jerarqu a si as lo indica el signo de colecci on.

Lic

Su notaci on simb olica es: (p q ). N otese que aqu que la negaci on afecta a las variables dentro del par entesis.

Ejemplo 1.15 Simbolizar: Si el testigo no dice la verdad, entonces Juan es inocente o culpable.
9

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

en

ate m tic

Los signos de agrupaci on (par entesis, corchetes, llaves) se usan en l ogica cuando se trata de obtener esquemas l ogicos m as complejos con el n de evitar la ambig uedad de las f ormulas. As , por ejemplo, la expresi on: pqr

(p q ) r o p (q r )

p :9 es m ultiplo de 3 q :2 8 = 15

as

Sa

1.4.

Signos de Agrupaci on

Matem atica B asica

lom

n Ch ing Br ice

V F F V

10

1. L ogica Proposicional

Si p : El testigo dice la verdad , q : Juan es inocente y r :Juan es culpable ; entonces se simboliza: p (q r ) Aqu , el s mbolo de mayor jerarqu a es . Obs ervese que solo afecta a la variable p y que est a limitado por el par entesis. Denici on 1.1 (Esquema molecular) La combinaci on de las variables y los operadores o conectivos proposicionales por medio de los signos de los signos de agrupaci on se denomina esquema molecular. En cada esquema molecular solo uno de los operadores es el de mayor jerarqu a y es el que le da nombre a dicho esquema. Por ejemplo, en los esquemas moleculares: A = p (q r) ; B = [(p q ) r] p ; C = [(p q ) ( p r)]

Podemos notar que los operadores de mayor jerarqu a en A, B y C son: , y , y los nombres que llevan cada uno de estos esquemas son: esquema condicional, esquema bicondicional y esquema negativo, respectivamente.

1.5.

Ejercicios Resueltos

Ejercicio 1.1 Para los siguientes enunciados: (1) Recoge ese l apiz (2) 2 + 5 < 6 Cu al de alternativas siguientes es la correcta? a) Dos son proposiciones c) Dos no son ni proposiciones ni enunciados abiertos Soluci on. (1) Recoge ese l apiz , es un mandato que no tiene un valor de verdad, entonces, no es proposici on ni enunciado abierto. (2) 3 + 5 < 6 , es una proposici on cuyo valor de verdad es F . (3) x y = 5 , es un enunciado abierto. (4) Hace mucho fr o , es una oraci on que no tiene un valor de verdad, luego, no es proposici on ni enunciado abierto. En consecuencia, (1) y (4) satisfacen la alternativa (c). Ejercicio 1.2 Dadas las proposiciones: p : Marcos es comerciante, q : Marcos es un pr ospero industrial y r : Marcos es ingeniero. Simbolizar el enunciado: Si no es el caso que Marcos sea un comerciante y un pr ospero industrial, entonces es ingeniero o no es comerciante. Soluci on. La proposici on: No es el caso que Marcos sea un comerciante y pr ospero industrial , se simboliza: (p q )
10

(3) x y = 5 (4) Hace mucho fr o

b) Dos son enunciados abiertos d) Tres son proposiciones

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.5. Ejercicios Resueltos

11

La proposici on: Marcos es ingeniero o no es comerciante , se simboliza: (r p)

(p q ) (r p).

Ejercicio 1.3 Dadas las proposiciones q: 4 es un n umero impar, p y r cualesquiera tal que [(r q ) (r p)] es verdadera. Hallar el valor de verdad de los siguientes esquemas moleculares: A = r ( p q ) ; Soluci on. Si q : 4 es un n umero impar v (q ) = F B = [r (p q )] (q p) ; C = (r p) (q p)

Por dato: [(r q ) (r p)] V entonces: v [(r q ) (r p)) = F.

Tambi en por la condicional, si v (r p) = F , entonces: v (r) = V y v (p) = F

Ejercicio 1.4 De la falsedad de la proposici on: (p q ) ( r s) se deduce que el valor de verdad de los esquemas moleculares:

son respectivamente:

do en M

A = ( p q ) q ;

ate m tic

v (A) = V (V V ) V ; v (B ) = [V (F F )] (F V ) [F ] (F ) V v ( C ) = (V V ) ( F F ) ( V ) ( F ) F

B = [( r q )] [( q r) s] ;

as

Sustituyendo estos valores de verdad en los esquemas moleculares se tiene:

Sa

Seg un la tabla de verdad de la condicional: v (r q ) = V y v (r p) = F.

lom

a) VFV

b) FFF

c) VVV

cia

Soluci on. Seg un la disyunci on inclusiva, si: v [(p q ) ( r s)] = F , entonces: v (p q ) = F , v ( r s) = F

Aplicando la condicional en ambos casos se tiene:

Lic

en

v ( p q ) = F v ( p) = V , v ( q ) = V ; v ( r s) = F v (r) = F , v (s) = F

Entonces:
11

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

n Ch ing Br ice
C = (p q ) [(p q ) q ] d) FFV

Uniendo estos dos esquemas con el conectivo , se tiene:

12

1. L ogica Proposicional

V (A) = (F F ) (F ) = (F ) (F ) = F V (B ) = (V V ) V ] [(F F ) F ] = (V ) (F ) = F V (C ) = (V V ) [(V V ) F ] = (V ) [F ] = F Por lo tanto, la alternativa correcta es la b). Ejercicio 1.5 En cuales de los siguientes casos es suciente la informaci on para conocer el valor de verdad de las proposiciones correspondientes. A = (p q ) ( p q ) ; v (q ) = V. C = [p (q r)] ; v (p r) = V. Soluci on. En A: Si v (q ) = V , entonces v (A) = (p V ) ( p F ), pero: v (p V ) = V y v ( p F ) = F , cualquiera sea el valor de verdad de p. Luego, v (A) = (V ) (F ) = F Es suciente la informaci on. En B : Si v (p) = V ; y V (r) = F , entonces v (B ) = (V q ) (V F ) = (V q ) (V ). Cualquiera sea el valor de verdad de (V q ), la condicional p es verdadera, Es suciente la informaci on dada. En C : Seg un la tabla de la condicional, existen tres posibilidades para que el v (p r) = V. No es suciente la informaci on dada para conocer el valor de verdad de C . En D: Si v (r) = V , entonces (p q ) V . Cualquiera sea el valor de verdad de (p q ), la condicional es verdadera, Es suciente la informaci on dada. Ejercicio 1.6 Denamos p q como una operaci on verdadera si p es falsa y q verdadera, y como falsa en todos los casos restantes. Seg un esto, si r:Juan es m edico y s:Juan es deportista; hallar la traducci on de r s. Soluci on. Seg un la denici on de , las tablas de verdad de p q y p V V F F q V F V F pq F F V F
r r

B = (p q ) (p r) ; v (p) = V y v (r) = F. D = (p q ) r ; v ( r ) = V

s son: s

s V F V F

F F V V

V F F F

Vemos que la tabla del valor de verdad de la derecha es id entica a la de la conjunci on, es decir r s es igual a escribir: r s por tanto, la traducci on es r s es: Juan es m edico y deportista.

12

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.6. Ejercicios Propuestos

13

1.6.

Ejercicios Propuestos
1. Hola que tal 3. 2 + 5 > 6 5. S ocrates naci o en Atenas 2. x2 + 1 < 10 4. Todos los hombres son inmortales 6. x + 5 = 8

1. De los enunciados siguientes:

Cu al de las alternativas siguientes es correcta? a) son enunciados abiertos c) no son proposiciones

2. Simbolizar en cada una de las siguientes proposiciones en los espacios en blanco, utilizando variables proposicionales y conectivos l ogicos. Luego determinar el valor de verdad de cada una de ellas. p : 5 + 3 > 7; q : 5 + 3 = 7; r : 5=4

a ) Carlos vendr a, si ha recibido la carta, siempre que est e interesado todav a en el asunto. b ) Carlos vendr a porque ha recibido la carta o no est a interesado todav a en el asunto. c ) Carlos vendr a si y s olo si ha recibido la carta o vendr a porque est a interesado todav a en el asunto. 4. Determinar los valores de verdad de las siguientes proposiciones: p : (3 + 5 = 8) (5 3 = 4) q : (5 3 = 8) (1 7 = 6) r : (3 + 8 = 11) (7 4 > 1) s : (4 + 6 = 9) (5 2 = 4) 5.
[( p q ) (r q )] [( p q ) (q p)],

do en M

r.

en

cia

6. De la falsedad de (p q ) ( r s), se deduce que el valor de verdad de los esquemas: A = ( q s) p ; B = ( r s) ( p q ) y C = p [q (s r)], son respectivamente: a) F F V b) F F F c) F V F d) F V V

Lic

7. La proposici on (p r) (q r) es falsa, y se tienen les esquemas moleculares: A = (q r) (p q ) , C = [(p q ) (q r)] (p r).


o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

ate m tic

as

3. Si p : Carlos vendr a, q : Carlos a recibido la carta y r : Carlos est a interesado todav a en el asunto. Simbolizar los siguientes enunciados:

es verdadera. Hallar los valores de verdad de p, q y

Sa

i) 5 + 3 7 ii) 5 + 3 > 7, pero 5 + 3 = 7 iii) 5 + 3 = 7, si y solo si 5 = 4 iv) si 5 + 3 y 5 = 4, entonces 5 + 3 > 7

lom

B = (p q ) ( r q ) y

n Ch ing Br ice
b) son proposiciones d) son proposiciones

o
13

Matem atica B asica

14

1. L ogica Proposicional

Cu ales son falsos? 8. Si lo proposici on A = (p q ) (r s) es falsa, hallar el valor de verdad de las proposiciones q , p, r y s.(en este orden). 9. Dadas las proposiciones: A = (p q ) r ; v (r ) = V C = (p q ) (p r); v (p) = V y v (r) = F B = (p q ) ( p q ); v (q ) = V D = p (q r); v (r) = V.

En qu e casos la informaci on qu e se da es suciente para determinar el valor de verdad de cada proposici on? 10. (p q ) (r s) es una proposici on verdadera, teniendo r y s valores de verdad opuestos. De las armaciones siguientes cu ales son verdaderas: A = [( p q ) (r s)] p, es verdadera B = [ (p q ) (r s)] ( p q ), es falsa C = [( r s) (p r) (r s), es verdadera. 11. Si la proposici on ( p q ) ( s r) es falsa, de las proposiciones siguientes, cu ales son verdaderas?: A = [(p q ) r]; B = ( p q ) ( r r) s; C = [(p q ) p] ( q ).

12. Si las proposiciones A = (p s) s y B = [(p s) p] s, son verdaderas, hallar los valores de verdad de p, s y p s, en ese orden. 13. Dada la siguiente informaci on: v (r q ) = V ; v (n r) = F ; v (m n) = V y v (p m) = F . Determinar el valor de verdad del esquema molecular: A = [(m n) (p r)] (m q ). 14. Si A = (p r) ( p q ), es verdadera, hallar el valor de verdad de la proposici on B = (p q ) (p r ) 15. Si v [(q p) (r p)) = F ; hallar el valor de verdad de cada una de las siguientes proposiciones: A = (p x) (m y ); B = (q n) (x y ); C = ( r p) ( s q )

16. Si v (m n) = F , v [ (s r)] = F y v ( p q ) = F ; hallar el valor de verdad del esquema A = [(p q ) (s r)] (n m). 17. Sabiendo que el valor de verdad de la proposici on compuesta: A = [(p r) q ] [(p q ) s] (s p) t, es siempre falso. Determinar el valor de verdad de las siguientes proposiciones: a) B = [( p q ) r] (q (s p)) (p q ) b) C = (p q ) [(r p) (r s)] t 18. Si p, q, r, s y w son proposiciones cualesquiera tales que: v ( w s) = F y v [(p r) (s u)] = V ; hallar el valor de verdad de los siguientes esquemas: A = [(p q ) r] s ; B = (s w) (r p) y C = [t ( w p)] (p r)
14

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.7. Evaluaci on de Esquemas Moleculares mediante Tabla de Valores

15

19. Dadas las proposiciones:

a) p es condici on suciente para q . b) p s olo si q . c) p es condici on necesaria para q . 20. Si la proposici on P = ( p q ) (s r) es falsa; cu ales de los siguientes esquemas moleculares son falsos: A = [(r q ) q ] [( q r) s]; B = (p q ) q ; C = [(p q ) q ] (p q ).

1.7.

Evaluaci on de Esquemas Moleculares mediante Tabla de Valores

Consiste en obtener los valores del operador principal a partir de la validez de cada una de las variables proposicionales. Hemos visto que para evaluar una tabla de verdad de dos variables proposicionales se necesitan 22 = 4 valores de verdad (las) para cada variable. En general, el n umero de valores de verdad que se asigna a cada variable resulta de aplicar la f ormula 2n , siendo n el n umero de variables que hay en el esquema molecular. Las combinaciones de todas las posibilidades de V y F se hacen en las columnas de referencia al margen izquierdo del esquema, luego se procede a aplicar la regla a cada uno de los operadores, empezando por el de menor alcance, hasta llegar al de mayor jerarqu a.

La siguiente tabla enuncia los conectivos en orden de mayor a menor jerarqu a de arriba hacia abajo. Mayor . . .

do en M

Ejemplo 1.16 Evaluar la tabla de verdad del esquema molecular: A = (p q ) [ p q ] Soluci on.

N umero de valores de verdad para cada variable: 22 = 4.

cia

ate m tic

1.7.1.

Jerarqu a de los conectivos

en

p V V F F

q V F V F

(p q ) V F F F 1

as

menor

Sa

lom

V V V V 6

( p) F F V V 3

pasos

F V V V 2

Lic

n Ch ing Br ice

Analizar cu ales de las siguientes proposiciones son verdaderos:

( q ) F V F V 4

F V V V 5

o
15

p : Los n umeros m y n son m ultiplos enteros de 5. q : El producto de los n umeros m y n es un m ultiplo entero de 5.

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

16

1. L ogica Proposicional

Explicaci on de los pasos: 1o ) Se aplic o la conjunci on a los valores de verdad de p y q . 2o ) Se aplic o la negaci on a la columna (1). 3o ) Se aplic o la negaci on a los valores de verdad de p. 4o ) Se aplic o la negaci on a los valores de verdad de q . 5o ) Se aplic o la disyunci on inclusivo a los valores de verdad de las columnas 3 y 4. 6o ) Finalmente se aplic o la bicondicional a los valores de verdad de las columnas 2 y 5. En este ejemplo, el operador de mayor alcance es el bicondicional , cuya columna (todos V ) se ha trazado con doble raya para facilitar la lectura nal del resultado de la tabla de valores. En el resto de los ejemplos, se obviar a la explicaci on de los pasos. Ejemplo 1.17 Evaluar la tabla de verdad de la proposici on: A = [p (p q )] Soluci on. N umero de valores de verdad para cada variable: 22 = 4 p V V F F q V F V F

[p (p q )] V V F F 1 V V V V 3 V V V F 2

pasos

F F F F 4

Ejemplo 1.18 Evaluar la tabla de verdad de la proposici on: [( p q ) r] p [r ( p q )] Soluci on. N umero de valores de verdad para cada variable: 23 = 8 p V V V V F F F F q V V F F V V F F
pasos

r V F V F V F V F

[( p q ) F F F F F F V V 1 V V V V V V F V 3

r ]

V F V F V V F V 9

[r V F V F V F V F 5

( p q )]

F V F V F V F V 2

F F F F V V V V 4

V F V F V V V V 8

V F V F V F F V 7

F F F F F F V V 6

16

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.8. Proposiciones Equivalentes

17

1.7.2.

Tautolog a, Contradicci on y contingencia

Un esquema molecular es tautol ogico cuando los valores de verdad de su operador principal son todos verdaderos (ejemplo 1.16). Un esquema molecular es contradictorio cuando en el resultado todos los valores de verdad son falsos (ejemplo 1.17). Un esquema molecular es contingente cuando en su resultado hay por lo menos una verdad y una falsedad (ejemplo 1.18).

1.8.

Proposiciones Equivalentes

P Q

Q o P / Q

P :Si Juan aprob o los ex amenes de admisi on, ingres o a la universidad. Q :No es el caso que Juan apruebe los ex amenes de admisi on y no ingrese a la universidad. Soluci on.

Sean las proposiciones simples:

do en M

entonces:

y para probar que esta bicondicional es verdadera construimos su tabla de verdad. p q V F V F (p q ) F V F F 1 V F F F 4


(p q )

cia

ate m tic

Ejemplo 1.19 Determinar si las proposiciones siguientes son equivalentes:

p :Juan aprob o los ex amenes , q :Juan ingres o a la Universidad ; (p q ) (p q )

Lic

en

V V F F

as

Sa

y se lee P es equivalente a Q o Q es equivalente a P . Si P no es equivalente a Q, se escribe:

pasos

Dado que el resultado de la tabla es una tautolog a, las proposiciones P y Q son equivalentes.
17

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

lom

Dos proposiciones compuestas p y q se dicen que son equivalentes si unidas por el bicondicional el resultado es una tautolog a, es decir, que p y q tienen los mismos valores de verdad en su operador principal. Se escribe: P Q

V V V V 3

n Ch ing Br ice
V V V F 2

Seg un el resultado que se obtenga en el operador de mayor jerarqu a, los esquemas moleculares se clasican en contingentes (consistentes), tautol ogicos y contradictorios.

18

1. L ogica Proposicional

Ejemplo 1.20 Determinar si los esquemas A = (p q ) (r p) y B = q ( r p) son equivalentes. Construimos las tablas de verdad de A y B unidas por el operador p V V V V F F F F q V V F F V V F F
pasos

r V F V F V F V F

(p q ) V V F F V V V V 1

(r p) V F V F F F F F 2 V V V V V V V V 7

( r p) V V V F V V V V 6 V F V F V V V V 5

V V V F V V V V 3

F F V V F F V V 4

vemos que las columnas 3 y 6, que corresponden a los operadores principales de A y B , respectivamente, son iguales; entonces, el resultado de unir estos dos columnas por el operador es tautol ogico, por lo que, A y B son equivalentes. Ejemplo 1.21 De las siguientes proposiciones, cu ales son equivalentes? A =Es necesario que Juan no estudie en la Universidad de Lima para que Luis viva en Monterrico, B =No es cierto que Luis viva en Monterrico y que Juan estudie en la Universidad de Lima, C =Luis no vive en Monterrico y Juan no Estudia en la Universidad de Lima. Soluci on. Sean: p : Juan estudia en la Universidad de Lima, q : Luis vive en Monterrico. Entonces: A = q p p V V F F q V F V F ; B = (q p)

C = q p
q p

q p F V V V 1 V V V V

(q p) V F F F 2 V F F V

pasos

F V V V 3

F F F V 4

Aqu observamos que solo las columnas 1 y 3 de los operadores principales de las proposiciones A y B son iguales, por lo tanto, estas son equivalentes, esto es: AB , A / C y B / C

18

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.9. Proposiciones Implicativas

19

1.9.

Proposiciones Implicativas

AB

y se lee; A implica a B , o tambi en, A es condici on suciente para que B o B es condici on necesaria para A. Si A no implica a B , se escribe; A B Ejemplo 1.22 Sean los esquemas moleculares: A = ( p) ( r) y B = (p q ) r. Demostrar que A implica a B. Soluci on. En efecto, construyamos la tabla de verdad de A B ; p V V V V F F F F q V V F F V V F F
pasos

r V F V F V F V F

p r

V V V V V V V V 6

(p q ) V V F F F F F F 3

Como el resultado arroja una tautolog a, queda demostrado que A B.

1.10.

Ejercicios Propuestos

En los ejercicios del 1 al 12 establecer, por medio de una tabla de valores, si cada uno de los siguientes esquemas moleculares es contingente, tautol ogico o contradictorio. 1. [ p ( q p)] ( q q ) 3. [(p q ) ( p r)] (p q ) 5. (p q ) ( q p) 7. [p (q r)] [(p r) q ] 9. [p ( q p)] [(p q ) (q p)] 11. [(p q ) (r q )] [(p q ) (q r)] 12. {[( p r) q ] [ q (p r)]} {(p q ) (q r)}. 13. Armamos que:

do en M

ate m tic

as

F V F V V F V F 1

F V V V V V V V 4

Lic

en

A: Hoy es lunes pero no martes, entonces hoy no es feriado.Hoy es feriado, entonces no es verdad que hoy es lunes y no es martes. B: Hoy es lunes o martes, si y s olo si, hoy no es lunes .Hoy no es lunes y hoy es martes.
19

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

cia

Sa

Matem atica B asica

lom

2. [(p q ) p] ( q p) 4. (p (q r) [( p r) q ) 6. [( p q ) r] [r (p q )] 8. {(p q ) [p ( p q )]} (p q ) 10. [ p (q r)] [( p q ) (p r)]

n Ch ing Br ice
r

F V V V V V V V 5

F V F V F V F V 2

Se dice que una proposici on A,implica a otra proposici on B , cuando unidas por el condicional , resulta una tautolog a. Se simboliza:

20

1. L ogica Proposicional

C: Hoy es feriado y no es martes, entonces hoy es martes.Hoy no es martes, entonces hoy es feriado. Cu ales son verdaderas? 14. Cu ales de las siguientes armaciones son verdaderas? (1) Es necesario y suciente que p y q sean falsos para que: (p r) (q r) sea falsa. (2) Es necesario que q sea falsa y r verdadera para que: (p q ) ( r p) sea falsa. (3) No es necesario que p y q sean verdaderas para que: (p q ) ( p q ) sea verdadera. 15. Dados los esquemas l ogicos: p = (p q ) ( p q ) ; R = ( p q ) ; Q = (p q ). Cu al de las siguientes relaciones es correcta? a) P R b) R Q
q )

c) P R
p q ,

d) Ninguna. evaluar el esquema molecular

16. Si se sabe que: p q (p A = (p r ) ( q r ) .

y p q

17. Si denimos el conectivo como: p q = (p q ) [(p r) q ], donde r es una proposici on cualquiera. Analizar cuales de las siguientes armaciones son correctas. a) p p es una contradicci on b) p q = q p b) q t = q t d) p q = p ( p q ) 18. Dada la siguiente informaci on: p q = ( p q ) ( q p) Evaluar la f ormula: ; p q = ( p q ) ( q p)

[(p q ) (q r)] ( p q ).

19. Dados los siguientes esquemas moleculares: A = p ( q ) , B = p r y C = (q r). Determinar: a) Si la conjunci on de A y C implica a B b) Si la disyunci on de A y B implica a C . 20. Determinar si cada una de las proposiciones que aparecen a continuaci on implica a K = (p q ) r . A = p (q r); B = (q r); C = ( p) ( r)

20

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.11. Inferencia L ogica

21

1.11.

Inferencia L ogica

Ejemplo 1.23 Determinar si p q es una consecuencia v alida de: p q , Soluci on.

Aqu las premisas son: p1 = p q , p2 = q r, p = r, y la conclusi on: Q = p q . Debemos demostrar que: (p1 p2 p3 ) Q, es una tautolog a. En efecto, la tabla de verdad para esta inferencia es: Como el resultado (7) es una tautolog a, la conjunci on de premisas implica a la

lom

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

p q

q r

pasos

Observaci on 1.3 Debemos considerar lo siguiente en las proposiciones implicativas. (1) La validez de una inferencia no depende de los valores de verdad ni del contenido de los enunciados que aparecen en la inferencia, sino de la forma particular de la inferencia.

Lic

Ejemplo 1.24 Determinar la validez de la inferencia: Si el tri angulo es Is osceles entonces tiene dos lados iguales. Pero, el tri angulo no tiene dos lados iguales; por lo tanto, no es is osceles .
21

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

en

(3) Si la condicional (1.1) no es una tautolog a, entonces se dice que la inferencia es no v alida o es una falacia.

cia

(2) Cuando las premisas forman dos o m as conjunciones, se toma la u ltima conjunci on como la principal del antecedente.

do en M

conclusi on, por tanto, la inferencia es v alida.

ate m tic

V V V V F F V V 1

V V V F F F V F 3

V V V F V V V F 2

Cuadro 1.10: Proposiciones Implicativas

as

Sa

Matem atica B asica

n Ch ing Br ice
q r

En matem aticas llamamos razonamiento a un par ordenado ({pi }, q ), en donde, {pi } es un conjunto nito de proposiciones, llamadas premisas y q una proposici on, llamada conclusi on. Un razonamiento es deductivo si y s olo si las premisas son evidencias de la verdad de la conclusi on, es decir, si p1 , p2 , . . . , pn son verdaderas entonces q es verdadera; cuando se deduce esto se dice que se ha construido una inferencia. De este modo, toda regla de inferencia es tautol ogica. Una inferencia es v alida si y s olo si la premisa p o conjunci on del conjunto de premisas {pi } implica la conclusi on q , esto es, si: ( p1 p2 p3 . . . pn ) q (1.1) ,
r.

(p q ) V V V V V V V V 7 V V V V V V F F 6

F V F F F F F F 5

F V F V F V F V 4

22

1. L ogica Proposicional

Soluci on. Sean: p : El tri angulo es is osceles q : El tri angulo tiene dos lados iguales Entonces, el esquema de la inferencia es: p pq q p V V F F q V F V F pq V F V V 1
q

V V V V 5

pasos

F F F V 3

F V F V 2

F F V V 4

Como el resultado de la tabla de verdad es una tautolog a, la inferencia es v alida. Ejemplo 1.25 Mediante una tabla de verdad, establecer si es v alida la inferencia: p q qr r q Soluci on. Desarrollando la tabla de verdad: 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 p q F F V V V V F F 1

qr V V V F V V V F 2

V V V V V F V V 7

pasos

F F V F V V F F 3

F F F F F V F F 5

F V F V F V F V 4

F F V V F F V V 6

El resultado de la tabla no es una tautolog a, por lo tanto, la inferencia es una falacia.

1.12.

Principales leyes tautol ogicas

Una forma proposicional es una ley l ogica si y s olo si cualquiera que sea la interpretaci on formalmente correcta que se haga de la misma, se obtiene como resultado una verdad l ogica. En l ogica, las tautolog as son conocidas con el nombre de leyes o principios l ogicos y son las siguientes:
22

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

1.12. Principales leyes tautol ogicas

23

T.1: Ley de Identidad (Reexividad) Una proposici on s olo es id entica a si misma. Se expresa por: pp pp

T.2: Ley de no Contradicci on Una proposici on no puede ser verdadera y falsa a la vez. Se expresa por:
(p p)

T.3: Ley del Tercio Excluido Una proposici on es verdadera o es falsa, no hay una tercera posibilidad. Se expresa por: p p

Existen muchas otras tautolog as igualmente importantes y que se clasican en dos grupos: las tautolog as llamadas equivalencias notables y las llamadas implicaciones notables.

1.12.1.

Equivalencias Notables

E.2: Leyes conmutativas

Lic

4 de septiembre de 2010

en

continuar a...

cia

do en M

ate m tic

E.2: La Idempotencia Una cadena de conjunciones o disyunciones de variable redundante se eliminan. a) p p p b) p p p

as

Sa

E.1: Ley de Involuci on Dos negaciones de igual alcance equivale a una armaci on.
( p)

lom

n Ch ing Br ice

o
23

o n Ching Bricen Lic. Mat. Salomo mathsalomon@hotmail.com

Matem atica B asica

24

1. L ogica Proposicional

24

atica B asica Matem

n Ching Bricen o Lic. Mat. Salomo mathsalomon@hotmail.com

Bibliograf a

[Figuroa, 1995] Figueroa Garc a, Rub en. Matem atica B asica, Editorial America S.R.L., Lima, Per u, 1995.

Lic

en

cia

do en M

ate m tic

as

Sa

25

lom

n Ch ing Br ice