lgebra

Jos Montao Romero

CAPTULO 1 LGICA PROPOSICIONAL 1.1. Introduccin Los smbolos especiales del lgico resultan ser la ayuda que prestan en el uso y manejo real de enunciados y razonamientos. En ese aspecto, la situacin es comparable a la que condujo al reemplazo de los nmeros romanos por la notacin arbiga. Todos sabemos que los nmeros arbigos son mas claros y fciles de comprender que los antiguos nmeros romanos a los cuales desplazaron. Pero la verdadera superioridad de los nmeros arbigos solo se revela en el clculo. Cualquier nio de escuela primaria puede multiplicar 113 por 9. Pero multiplicar CXIII por IX es una tarea difcil y la dificultad aumenta si consideramos nmeros mayores. De manera anloga, la adopcin de una notacin lgica especial facilita grandemente la derivacin de inferencias y la evaluacin de razonamientos. Para citar las palabras de Alfred North Whitehead, uno de los grandes impulsores del progreso de la lgica simblica sealaba: con la ayuda del simbolismo, podemos efectuar por medio de la vista y de manera casi mecnica transiciones en el razonamiento que exigiran, sin aqul, el uso de las facultades superiores del cerebro. Desde este punto de vista, llegamos a la paradjica conclusin de que no incumbe a la lgica el desarrollo de nuestras facultades de pensamiento, sino el desarrollo de tcnicas que nos permitan avanzar sin tener que pensar! La lgica es la ciencia del razonamiento y tiene sus aplicaciones en las distintas disciplinas, tales como: En las matemticas para demostrar teoremas. En la computacin para verificar la correccin de los programas y para demostrar teoremas. En las ciencias fsicas y naturales para sacar conclusiones de los experimentos. En las ciencias sociales y en la vida cotidiana para resolver una infinidad de problemas. Definicin. La lgica es el estudio de los mtodos y los principios usados para distinguir el razonamiento correcto del incorrecto. 1.2. Proposicin Una proposicin es toda expresin verbal o escrito respecto de la cual puede decirse si es verdadera o falsa. Ejemplo 1-1. 1. La ciudad de Sucre es capital de Bolivia. 2. Un tringulo tiene cuatro lados. 3. Cmo est usted? 4. Viva Bolivia! 5. Sume tres y dos 6. Quiero saber lo que t haces. 7. He decidido viajar Los dos primeros ejemplos son proposiciones, mientras los otros cinco no son proposiciones, el tercero es una oracin interrogativa, el cuarto una oracin interjectiva, el quinto es una oracin que expresa orden, el sexto es una oracin que expresa un deseo y el ltimo es una oracin de decisin.

lgebra

Jos Montao Romero

La lgica simblica admite como reglas principales a dos principios siguientes: 1. Principio de no contradiccin Una proposicin no puede ser verdadera y falsa a la vez. 2. Principio de tercero excluido Cualquiera sea la proposicin o es verdadera o es falsa, es decir, se verifica siempre uno de estos dos y jams un tercero. Notacin: Las proposiciones se representan por letras minsculas del alfabeto, tales como: p, q, r, .. Los valores de verdad de las proposiciones son dos: Si p es una proposicin su valor de verdad se denotar por V (Verdad) F (Falsedad). 1.3. Clasificacin de las proposiciones 1.3.1. Proposiciones simples Son aquellas que no incluyen dentro de s a ninguna otra proposicin. Ejemplo 1-2. 1. Hoy es jueves = p 2. Al len le gusta cazar hombres = q 1.3.2. Proposiciones compuestas Son aquellas formadas por la combinacin de dos o ms proposiciones simples, mediante la utilizacin de conectivos o enlaces lgicos. Ejemplo 1-3. 1. Hoy es jueves y al len le gusta cazar hombres. 2. Al len le gusta cazar hombres, entonces hoy es jueves. 1.4. Conectivos Conectivo

Operacin Negacin Conjuncin Disyuncin Implicacin Doble implicacin Diferencia simtrica

Significado no p (no es cierto que p) pyq p o q (en sentido incluyente) p implica q p s y slo s q p q (en sentido excluyente)

Ejemplo 1-4. 1. Dos no es nmero par = p 2. Hoy es jueves y maana viernes = p, q 3. Esta proposicin es simple o es compuesta = p, q 4. Si Yoslaydys canta, entonces es feliz = p, q 5. 32 = 9 s, y slo s,

p pq pq pq
pq pq

9 = 3 = p, q

6. O hace fro o hace calor = p, q

lgebra

Jos Montao Romero

1.5. Tablas de verdad Una tabla de verdad, es un cuadro, en la que se determina la verdad o falsedad de una proposicin compuesta, considerando todas las combinaciones posibles de los valores de verdad de las proposiciones simples componentes. En cualquier tabla de valores de verdad hay, en general, 2n filas o combinaciones posibles, donde n es el nmero de proposiciones simples componentes. Ejemplo 1-5. 1. Sea la proposicin p, la tabla de verdad es: 21 = 2 filas P V F 2. Sean las proposiciones: p y q, la tabla de verdad es: 22 = 4 filas p V V F F q V F V F

3. Sean las proposiciones: p, q y r, la tabla de verdad es: 23 = 8 filas

p
V V V V F F F F 1.6. Operaciones con proposiciones

q
V V F F V V F F

r
V F V F V F V F

Dada una o dos proposiciones, cuyos valores de verdad se conocen, se halla la proposicin resultante a travs de su valor de verdad. 1.6.1. Negacin La negacin de una proposicin p, es la proposicin p (no p), cuya tabla de verdad es:

p
V F

p
F V

lgebra

Jos Montao Romero

Ejemplo 1-6. 1. Todo hombre es honesto = p No todo hombre es honesto = p No es cierto que todo hombre es honesto = p Hay hombres que no son honestos = p Existen hombres deshonestos = p 2. El diamante es una flor = p El diamante no es una flor = p El diamante es una rosa = p 1.6.2. Conjuncin o producto lgico

F V V V V F V V

La conjuncin de las proposiciones p y q es la proposicin p q , es una proposicin verdadera nicamente si ambas proposiciones componentes son verdaderas, en otro caso es falsa. Se lee p y q, su tabla de verdad es:

p
V V F F

q
V F V F

pq
V F F F

Ejemplo 1-7. Sean las proposiciones: Est lloviendo = p, Hace fro = q. La conjuncin es: Est lloviendo y hace fro. pq Est lloviendo, sin embargo, hace fro pq Est lloviendo aunque hace fro pq Est lloviendo pero hace fro pq Est lloviendo, no obstante hace fro pq 1.6.3. Disyuncin o suma lgica La disyuncin de dos proposiciones p y q, es la proposicin p q , es una proposicin falsa en el caso en que las dos proposiciones componentes sean falsas, en otro caso es verdadero. Se lee o (y/o), su tabla de verdad es:

p
V V F F

q
V F V F

pq
V V V F

Ejemplo 1-8. Sean las proposiciones: Las mariposas hablan = p, Los asnos vuelan = q La disyuncin es: Las mariposas hablan o los asnos vuelan: p q La disyuncin seala que pueden verificarse las dos proposiciones a la vez, es decir, que una de las proposiciones no excluye a la otra.

lgebra

Jos Montao Romero

1.6.4. Implicacin o condicional La implicacin de las proposiciones p y q, es la proposicin p q (s p, entonces q; p implica q), es una proposicin falsa, solamente cuando el antecedente es verdadero y el consecuente es falso, en todos los dems casos es verdadero. La tabla de verdad es:

p
V V F F

q
V F V F

pq
V F V V

Ejemplo 1-9. Sean las proposiciones: Ayer jugu al ftbol = p, Hoy estoy cansado = q La condicional es: Si ayer jugu al ftbol, entonces hoy estoy cansado. pq Si ayer jugu al ftbol, tambin hoy estoy cansado. pq Ayer jugu al ftbol, implica que hoy estoy cansado. pq La proposicin p ubicada antes del conectivo lgico se denomina antecedente y la proposicin q situada despus del smbolo se denomina consecuente, conclusin o tesis. 1.6.5. Doble implicacin o bicondicional La doble implicacin de las proposiciones p y q es la proposicin p q (p si y slo si q), es una proposicin verdadera solamente si p y q tienen el mismo valor de verdad, es decir, si ambas proposiciones son falsas o verdaderas simultneamente, en otro caso es falsa. Su tabla de verdad es:

p
V V F F

q
V F V F

pq
V F F V

Ejemplo 1-10. Sean las proposiciones: Lima est en Per = p, 2+2 =5 = q La doble implicacin es: Lima est en Per s, y solamente s, 2+2 = 5. pq Lima est en Per s, y slo s, 2+2 = 5. pq Lima est en Per, siempre y cuando que 2+2 = 5. pq 1.6.6. Diferencia simtrica La diferencia simtrica o disyuncin excluyente de las proposiciones p y q es la proposicin p q (p q) es verdadera solamente si los componentes tienen valores de verdad diferentes. En otro caso es falsa.

p
V V F F

q
V F V F

p q
F V V F

lgebra

Jos Montao Romero

Ejemplo 1-11. Sean las proposiciones: 2/3 es un nmero racional = p, es un nmero irracional = q La diferencia simtrica es: 2/3 es un nmero racional o es un nmero irracional: Luis es paraguayo o boliviano: Libio es hombre mujer

p q p q p q

Jerarqua de los conectivos lgicos. El conectivo lgico ms dbil es " " , mientras que el conectivo ms fuerte es " " , los conectivos lgicos que tienen la misma potencia son: , . El orden de importancia de los conectivos es: , , , , . 1.7. Construccin de tablas de verdad Para el proceso de construccin de tablas de verdad de frmulas proposicionales se sigue los siguientes pasos: 1. Se prepara una tabla con 2n filas. (n = nmero de proposiciones simples) 2. Se determinan empleando las columnas que se requieren en cada caso, los valores de verdad de las diferentes proposiciones simples, y se considera lo siguiente: a) Se empieza por los conectivos lgicos incluidos dentro de los parntesis ms internos. b) Seguidamente se hallan los valores de verdad de las operaciones con proposiciones que enlazan parntesis. c) Por ltimo, se determinan los valores de verdad de las operaciones con proposiciones. Ejemplo 1-12. Determine las tablas de verdad de las siguientes proposiciones: 1. ( p q ) q (p V V F F 1 2. [ p (q r )] [( p q ) r ] [p V V V V F F F F 1

V F F F 3

q) V F V F 1

F V V V 4

F V F V 2

q V F V F 1

V F V V V V V V 4

( F F V V F F V V 3

q V V F F V V F F 1

V F V V V F V V 2

r)] V F V F V F V F 1

V V V V V V V V 8

[ F F V V V V V V 6

(p V V V V F F F F 1

V V F F F F F F 5

q) V V F F V V F F 1

V F V V V V V V 7

r] V F V F V F V F 1

lgebra

Jos Montao Romero

3. ( p q ) (q p )

F V V V 3

(p V V F F 1

V F F F 2

q) V F V F 1

F V V V 6

F V V F 5

(q V F V F 1

V F F V 4

p) V V F F 1

1.8. Clasificacin de frmulas proposicionales 1.8.1. Tautologa Es una frmula proposicional que resulta verdadera en todos los casos, independientemente de los valores de verdad de las proposiciones simples. Ejemplo 1-13. Halle la tabla de verdad de la siguiente proposicin y clasifique: ( p q ) (q p ) (p V V F F 1

V F F F 2

q) V F V F 1

V V V V 5

(q V F V F 1

V F V V 4

F F V V 3

p) V V F F 1

Tautologa 1.8.2. Contradiccin o falsedad lgica Es una frmula proposicional, cuyo valor de verdad resulta siempre falso, independientemente de los valores de verdad de las proposiciones simples. Ejemplo 2-14. Halle la tabla de verdad de la siguiente proposicin y clasifique: [ p ( p q )] q [p V V F F 1

V F F F 3

(p V V F F 1

V F V V 2

q)] V F V F 1

F F F F 5

F V F V 4

q) V F V F 1

Contradiccin 1.8.3. Contingencia Es una frmula proposicional que no es tautologa ni contradiccin, es decir, si en la ltima columna de su tabla de verdad aparecen por lo menos una vez cada uno de los valores de verdad V y F.

lgebra

Jos Montao Romero

Ejemplo 1-15. Halle las tablas de verdad de las siguientes proposiciones y clasifique: 1. (p q ) ( p q ) ( F F V V 2 p V V F F 1

V F V V 3

q) V F V F 1

V F F V 6

(p V V F F 1

V V F V 5

F V F V 4

q) V F V F 1

Contingencia 2. {[ p (q r )] [( p q ) r ]}

{
F F F F F F F F 9

[p V V V V F F F F 1

V F V V V V V V 4

( F F V V F F V V 3

q V V F F V V F F 1

V F V V V F V V 2

r)] V F V F V F V F 1

V V V V V V V V 8

[ F F V V V V V V 6

(p V V V V F F F F 1

V V F F F F F F 5

q) V V F F V V F F 1

V F V V V V V V 7

r] } V F V F V F V F 1

Contradiccin 3. {[ p (q r )] [( p q ) r ]}

{
V V V V V V V V 9

[p V V V V F F F F 1

V F V V V V V V 4

( F F V V F F V V 3

q V V F F V V F F 1

V F V V V F V V 2

r)] V F V F V F V F 1

F F F F F F F F 8

[ F F V V V V V V 6

(p V V V V F F F F 1

V V F F F F F F 5

q) V V F F V V F F 1

V F V V V V V V 7

r] } V F V F V F V F 1

Tautologa Practique: Encuentre las tablas de verdad de las siguientes proposiciones y clasifique: 1. [ p (q r )] q ) (q r )] , 2. [ p (q r )] [(p q ) r ] [( p 3. ( p q q) ( p )

lgebra

Jos Montao Romero

1.9. Leyes lgicas Las leyes lgicas son aquellas proposiciones que tienen el carcter de ser siempre verdaderas y que al ser tratadas con el mtodo de las tablas de verdad, tomarn siempre y nicamente el valor de verdad (V). Las leyes lgicas la representamos en el siguiente cuadro:

1.- Ley de Involucin

(p ) p
p p p p p p

7.- Ley de Complemento

p p F V F p p V F V

2.- Ley de Idempotencia 8.- Ley de De Morgan

3.- Ley de Conmutatividad

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

pqq p pqq p

9.- Ley de Absorcin

4.- Ley de Asociatividad

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

10.- Ley de Equivalencia Lgica

5.- Ley de Distributividad

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

11.- Ley de Transposicin 6.- Ley de Identidad

p V p pF F

p V V pF p

12.- Ley de Exportacin

( p q) r p (q r )

1.10. Simplificacin de frmulas proposicionales Simplificar una frmula proposicional, es hallar otra frmula proposicional equivalente a la dada y tal que sus variables proposicionales (letras) y constantes lgicas (smbolos lgicos) sean respectivamente menores que las de la primera. Se emplean leyes lgicas (equivalencias lgicas) en la simplificacin de frmulas proposicionales. Ejemplo 1-16. Simplificar las siguientes proposiciones aplicando las leyes lgicas: 1. ( p q ) (p q )

( p q ) ( p q ) p ( q q ) p V p

Ley de De Morgan Ley Distributiva Ley de Complemento Ley de Identidad

lgebra

10

Jos Montao Romero

2. (p q ) ( p q ) (p q )

3.

( p q ) ( p q ) ( p q ) ( p q ) [( p q ) (p q )] ( p q ) [( p p ) q ] ( p q ) [ F q ] ( p q ) q ( p q ) ( q q ) ( p q ) F p q

Ley de Equivalencia Lgica Ley Asociativa Ley Distributiva Ley de Complemento Ley de Identidad Ley Distributiva Ley de Complemento Ley de Identidad

q p )] {[(r p) ( r} r {[(r p ) (q p )] r} r {[(r p ) (q p )] r} r {[(r p ) (q p )] r} r {[(r p) r ] (q p )} r {r (q p )} r r

Ley de Equivalencia Lgica Ley de De Morgan Ley de Equivalencia Lgica, De Morgan Ley Conmutativa, Asociativa Ley de Absorcin Ley de Absorcin

4.

q p )] p q} {[( p p) ( ( ) p {[( p p ) (q p )] (p q )} p {[(p p ) (q p )] (p q )} p {[V (q p )] (p q )} p {(q p ) (p q )} p

( p q ) p p

Ley de Equivalencia Lgica Ley de Equivalencia Lgica Ley de Complemento Ley de Identidad Ley de Idempotencia Ley de Absorcin

5. [( p q ) (q p )] (p q )

[( p q) (q p)] ( p q) [( p q) (q p)] ( p q) [( p q) (q p)] ( p q) [( p p) (q q)] ( p q) [ p F ] ( p q ) F ( p q ) p q

6. ( p ) q (p

Ley de Equivalencia Lgica Ley de Equivalencia Lgica Ley de De Morgan Ley Asociativa, Conmutativa Ley de Idempotencia, Complemento Ley de Identidad Ley de Identidad

q) ( p q ) ( p q ) ( p q ) ( p q ) F

Ley de Equivalencia Lgica Ley de De Morgan Ley de Complemento

lgebra

11

Jos Montao Romero

7. ( p (q p ) q)

[( p q ) (q p )] [ (q ( p p) [( p [( p ( p q)] p q) (q )] q ) [(p q ) (q p )] [(q p ) (p q )] [( p q ) (q p )] [(q p ) (p q )] ( p q ) ( p q ) ( p q ) ( p q) F

8. [( p q ) (p q )] q

q)]

Ley de Equivalencia Lgica Ley de Equivalencia Lgica Ley de Equivalencia Lgica Ley de De Morgan Ley de Idempotencia Ley de De Morgan Ley de Complemento

[( p q ) (p q)] q {[( p q ) (q p )] (p q )} q

Ley de Equivalencia Lgica Ley de Equivalencia Lgica

q {[( p )

p )] (q

( p q ) }

Ley de De Morgan Ley de Absorcin Ley de Equivalencia Lgica Ley de Absorcin

{( p q )} q ( p q ) q q
9.

{( p q) [(p q) (p q)]} q {( p q ) [p (q q )]} q {( p q ) [p V ]} q {( p q ) p} q {( p p ) (q p )} q {V (q p )} q {q p} q

p q

Ley Distributiva Ley de Complemento Ley de Identidad Ley Distributiva Ley de Complemento Ley de Identidad Ley de Idempotencia

10. (p q ) [( p q ) (p q )]

( p q ) [( p q) (p q )] ( p q ) [( p p) q] ( p q ) [V q ] ( p q ) q p ( q q ) p V V
1.11. Implicaciones asociadas

Ley de Equivalencia Lgica Ley Distributiva Ley de Complemento Ley de Identidad Ley Asociativa Ley de Complemento Ley de Identidad

Se denominan proposiciones asociadas a la condicional directa p q , a las tres proposiciones condicionales, obtenidas por conmutacin, negacin del antecedente o consecuente:

lgebra

12

Jos Montao Romero

1. Condicional recproca: La condicional recproca de p q es q p 2. Condicional contraria (inversa): La condicional contraria de p q es p q 3. Condicional contrarrecproca: La condicional contrarrecproca de p q es q p Esquematizando la relacin que vincula las condicionales, se tiene:

Las tablas de verdad muestran que las condicionales contrarrecprocas constituyen lgicamente equivalentes, es decir: (p V V F F

q)
V F V V V F V F

( q
V V V V F V F V V F V F

V F V V

F F V V

p) V V F F

(q V F V F

p)
V V F V V V F F

( P
V V V V F F V V V V F F

V V F V

F V F V

q) V F V F

Ejemplo 2-17. A partir de los enunciados siguientes, las condicionales representamos por: Si un nmero real es entero, entonces es racional: pq Si un nmero real es racional, entonces es entero: q p Si un nmero real no es entero, entonces no es racional: p q Si un nmero real no es racional, entonces no es entero: q p 1.12. Inferencia lgica Se llama inferencia (argumento o razonamiento), a toda aseveracin de que un conjunto finito P1 , P2 , P3 , , Pk (k 1) de proposiciones originan como consecuencia otra proposicin final Q . Las proposiciones Pi y Q se denominan premisas y conclusin. La premisa, es una proposicin o enunciado inicial que se conoce o se supone cierta y sobre el cual se basa un razonamiento. Mientras la conclusin, es la proposicin inferida. La forma de presentacin es: P1 , P2 , P3 , , Pk Q Las reglas de inferencia o transformacin de proposiciones, son todas aquellas que facilitan el paso de las premisas P , P2 , P3 , , Pk a la conclusin Q . 1 A continuacin presentamos las reglas de inferencia lgica, que permitirn inferir las distintas premisas presentadas, de manera de deducir que el razonamiento es vlido o no es vlido, aplicado correctamente las distintas reglas de inferencia; significa que el empleo de las reglas de inferencia a las premisas no debe ser forzado, es decir, aplicar las reglas que corresponden.

lgebra

13

Jos Montao Romero

1.13. Reglas de inferencia 1.- Modus Ponendo Ponens 6.- Ley del Silogismo Hipottico

pq p q

pq qr pr

Mtodo que afirma el consecuente, afirmando el Mtodo que permite inferir como conclusin, una antecedente. proposicin condicional cuyo antecedente es el antecedente de la primera y cuyo consecuente, el consecuente de la segunda. 2.- Modus Tollendo Tollens

pq q p

7.- Ley de Adicin

Mtodo que niega el antecedente, negando el Mtodo que permite inferir como conclusin, la consecuente. disyuncin de la premisa dada con otra cualquiera. 3.- Modus Tollendo Ponens (Silogismo Disyuntivo) 8.- Ley de Simplificacin Disyuntiva

p pq

pq p q

pq q p

p p p
Mtodo que infiere la disyuncin de la misma premisa, como conclusin la misma premisa.

Mtodo que afirma el consecuente, negando el antecedente o afirma el antecedente, negando el 9.- Ley del Silogismo Disyuntivo consecuente. 4.- Regla de Simplificacin

Mtodo que infiere la disyuncin, cuyas Mtodo que permite inferir cualquiera de las componentes son los consecuentes de las dos componentes de la conjuncin. condicionales. 5.- Regla de Adjuncin 10.- Regla del Dilema Destructivo

pq p

pq q

pq pr qs rs

p q pq

Mtodo que asume como premisas dos proposiciones, la conjuncin de ellas puede ser Mtodo que permite inferir como conclusin, una inferida como conclusin. disyuncin cuyas componentes son las negaciones de los antecedentes de las dos condicionales.

r s pr qs p q

lgebra

14

Jos Montao Romero

Reglas adicionales El empleo de otras reglas de inferencia permite inferir las premisas, como son las siguientes: Regla de premisa

Esta regla permite introducir una nueva premisa (proposicin simple o compuesta) en cualquier punto de la deduccin, siempre que se desee. No es posible emplear la regla de premisas para deducir una conclusin cualquiera de un conjunto de premisas dadas, porque en el momento que se agrega una premisa, cada proposicin deducida depende no slo de las premisas originales sino tambin de la premisa aadida. Demostracin condicional

La Demostracin Condicional es un mtodo muy til para demostrar la validez de un razonamiento y es aplicable slo si la conclusin es una proposicin condicional. Una estrategia a seguir en este tipo de demostraciones es como sigue: a) Mediante el uso de la regla de premisas, se agrega al conjunto de premisas originales, el antecedente de la conclusin deseada, ubicndolo varios espacios a la derecha. b) Haciendo uso de las reglas de inferencia, se deduce el consecuente de la condicional a partir del conjunto de premisas ms la premisa agregada. c) Empleando la regla de demostracin condicional, se forma la proposicin condicional; con antecedente, la premisa aadida; y el consecuente, la proposicin deducida; recorrindola a la izquierda. Ejemplo 1-18. Verificar la validez de los siguientes argumentos: 1. 1) 2) 3) 4) 5)

p q r p q p r

Demostrar: r

Modus Tollendo Tollens (1, 3) Modus Tollendo Tollens (2, 4)

El razonamiento es vlido
2. 1) 2) 3) 4) 5) Demostrar: p q

r ( p q ) ( s t ) r st Modus Ponendo Ponens (2, 3) r Modus Ponendo Ponens (1, 4) pq

El razonamiento es vlido

lgebra

15

Jos Montao Romero

3. Demostrar: e c 1) a (d e) 2) b 3) c d 4) b a Modus Tollendo Ponens (4, 2) 5) a Modus Ponendo Ponens (1, 5) 6) d e 7) c e Silogismo Hipottico (3, 6) Regla de Premisa 8) e Modus Tollendo Tollens (7, 8) 9) c Demostracin Condicional (9, 10) 10) e c

El razonamiento es vlido
4. 1) 2) 3) 4)

x =3 x =4 x = x 2 7 x + 12 = 3 0 2 x =4 x 7 x + 12 = 0 2 x 7 x + 12 = 0 x > 2 5) x 2 < 9 x > 2

Demostrar: x 2 = x 2 > 9 9

6) x 2 < 9 ( x 2 = x 2 > 9 ) 9 7) x 2 7 x + 12 = x 2 7 x + 12 = Silogismo Disyuntivo (1, 2, 3) 0 0 2 Simplificacin Disyuntiva (7) 8) x 7 x + 12 = 0 Modus Ponendo Ponens (4, 8) 9) x > 2 10) x 2 < 9 11) x = x > 9 9
2 2

Modus Tollendo Tollens (5, 9) Modus Ponendo Ponens (6, 10)

El razonamiento es vlido
5. Demostrar: n l 1) ( p q ) ( s ) r 2) (q t ) ( s m) 3) (t ) l ) n ( m 4) p r 5) p q Regla de Simplificacin (1) 6) q t Regla de Simplificacin (2) 7) t n Regla de Simplificacin (3) Silogismo Hipottico (5, 6, 7) 8) p n 9) p Regla de Simplificacin (4) 10) n Modus Ponendo Ponens (8, 9) Regla de Simplificacin (1) 11) r s 12) s m Regla de Simplificacin (2) 13) m l Regla de Simplificacin (3)

lgebra

16

Jos Montao Romero

14) 15) 16) 17)

rl r l n l

Silogismo Hipottico (11, 12, 13) Regla de Simplificacin (4) Modus Ponendo Ponens (14, 15) Regla de Adjuncin (10, 16)

El razonamiento es vlido
6. Si Londres no est en Inglaterra, entonces Pars no est en Francia. Pero Pars est en Francia. Por tanto, Londres est en Inglaterra. Simbolizando se tiene: p q , q , p Aplicando reglas de inferencia: 1) 2) 3) 4)

p q q (p ) p

Modus Tollendo Tollens (1, 2) Ley de Involucin (3)

El razonamiento es vlido
7. Mi padre me alaba nicamente, si puedo sentirme orgulloso de mi mismo. O soy un buen deportista o no puedo sentirme orgulloso de mi mismo. Si yo estudio intensamente, entonces no puedo ser un buen deportista. Por tanto, si mi padre me alaba, entonces yo no estudio intensamente. Simbolizando tenemos: p q , r q , s r p s Aplicando Reglas de inferencia 1) 2) 3) 4) 5) 6) 7) 8)

pq r q s r p q r s p s

Regla de Premisa Modus Ponendo Ponens (1, 4) Modus Tollendo Ponens (2, 5) Modus Tollendo Tollens (3, 6) Demostracin Condicional (4, 7)

El razonamiento es vlido
8. La testigo no dice la verdad o Patricia estaba en el campus universitario alrededor de las diez. Si Patricia estaba en el campus universitario alrededor de las diez, entonces ella vio a su amiga. Si vio a su amiga, entonces ella sabe quien estuvo antes. Luego, si la testigo dice la verdad, entonces Patricia no sabe quien estuvo antes. Simbolizando se tiene:

p q , q r , r s p s

Empleando las reglas de inferencia:

lgebra

17

Jos Montao Romero

1) 2) 3) 4) 5) 6) 7) 8)

p q qr rs p q r s ps

Regla de Premisa Modus Tollendo Ponens (1, 4) Modus Ponendo Ponens (2, 5) Modus Ponendo Ponens (3, 6) Demostracin Condicional (4, 7)

El razonamiento no es vlido
1.14. Lgica cuantificacional 1.14.1. Funcin proposicional Una funcin proposicional es todo enunciado abierto de la forma P(x) que tiene la propiedad de convertirse en una proposicin al ser reemplazado la variable x por una constante c que especfica. Toda funcin proposicional tiene que ser verdadera o falsa. Ejemplo 1-19. Represente las siguientes funciones proposicionales y determine su valor de verdad. 1. P ( x) : x + 5 < 10 No es una proposicin, dado que no se especifica a x , de la cual no se puede sealar nada acerca de su verdad o falsedad. Si asignamos al sujeto x , tal enunciado es una proposicin. Por ejemplo: Es verdadera P(3) : 3 + 5 < 10 Es falsa P (6 ) : 6 + 5 < 1 0 2. P ( x, y ) : x es divisor de y No es una proposicin, siendo que no se especifica a x e y , de lo cual no se puede indicar nada acerca de su verdad o falsedad. Si asignamos al sujeto x como tambin a y , tal enunciado es una proposicin. Por ejemplo: P (2, 4 ) : -2 es divisor de 4 Es verdadera P (6 , 3) : 6 es divisor de 3 Es falsa 1.14.2. Cuantificadores u operadores 1.14.2.1. Cuantificador Universal Se denomina cuantificador universal en la variable x , a la expresin para todo x , cuya notacin es x . Para todo x , P ( x) es verdadero x : P ( x) Cualquiera sea x , P ( x) es verdadero Para cada x , P ( x) es verdadero Ejemplo 1-20. Represente las siguientes funciones proposicionales y determine su valor de verdad. Dado P ( x) = x + 1 = 5

lgebra

18

Jos Montao Romero

x : x + 1 = 5 Puede leerse: Para todo x , x + 1 = 5 Cualquiera sea x , x + 1 = 5 Para cada x , x + 1 = 5 Significa que: Todo nmero sumado a 1, da como resultado 5. Cualquier nmero sumado a 1, da como resultado 5. Cada nmero sumado a 1, da como resultado 5. [ x : P ( x) ] Su valor de verdad es FALSA.
1.14.2.2 Cuantificador Existencial Se llama cuantificador existencial en la variable x , a la expresin existe x tal que, cuya notacin es: x . Existe por lo menos un x , tal que P ( x) es verdadero x / P ( x) : Para algn x , P ( x) es verdadero Hay algn x , para el cual P ( x) es verdadero Ejemplo 1-21. Represente las siguientes funciones proposicionales y determine su valor de verdad. Dado P ( x) = x es un nmero par: x / P ( x) x / x es un nmero par Puede leerse: Existe por lo menos un x , tal que x es un nmero par. Para algn x , x es un nmero par. Hay algn x , tal que x es un nmero par. [ x / P ( x) ] Su valor de verdad es VERDADERA 1.14.3. Negacin de enunciados cuantificados 1. La negacin de una proposicin cuantificada universalmente es equivalente a la negacin del esquema proposicional cuantificado por el operador existencial. [ x : P( x) ] x / P(x) 2. La negacin de una proposicin cuantificada existencialmente es equivalente a la negacin del esquema proposicional cuantificado por el operador universal. [ x / P( x) ] x : P(x) Ejemplo 1-22. Niegue los siguientes cuantificadores y aplique leyes lgicas a funciones proposicionales. 1. El cuadrado de todo nmero real es mayor que dos. ( x : x 2 > 2 ) x : x 2 > 2 x / ( x 2 > 2 )

x / x 2 2
2. Existen enteros cuyo cubo aumentado en uno es igual al cubo del siguiente. ( x / x3 + 1 = 3 ) x / x3 + 1 = 3 y y

x :

( x3 + 1 = 3 ) y

x : x 3 + 1 y 3

lgebra

19

Jos Montao Romero

PRCTICA N 1 1. Dadas las siguientes oraciones, determinar: a) b) c) d) Cules son proposiciones Cules son proposiciones simples (atmicas) Cules son proposiciones compuestas (moleculares) En caso de compuestas, qu conectivos se utilizan.

1. Cundo estar arreglada esta calle? 2. El propsito de la ley es hacer justicia, si y slo si, los abogados son honestos 3. 21 es factor de 63 y 21 es menor que 63 4. Cuidado con los perros o los ratones! 5. 3 + 5 =, entonces 7 > 5 + 3 7 6. x + 4 = 5 2. Si tomamos en cuenta las siguientes proposiciones: Bajan las ventas = p Progresa la empresa = q Aumenta la produccin = r Bajan los costos = s Escriba las siguientes proposiciones moleculares en forma simblica y construya su tabla de verdad. a) Si aumenta la produccin, bajan las ventas b) No es cierto que las ventas bajan y progresa la empresa c) Si bajan los costos, no es cierto que no progresa la empresa 3. Sean: p = los precios de las acciones son altos; q = las acciones estn subiendo

Se pide una traduccin verbal de las siguientes proposiciones compuestas: a) c)

pq p q

b) d)

p q q p

4. Determinar si las expresiones siguientes, son tautologas, contradicciones o contingencias. Utilice las tablas de verdad. 1) [( p q ) r ] [q ( p q )] 2) ( p q ) (q p ) 3) ( p q ) ( p q ) 4) ( p p ) (q q ) 5) ( p q ) (p q )

6) [( p q ) r ] [( p q ) ( p r )] 7) (p q ) ( p q )

lgebra

20

Jos Montao Romero

5. Dadas las siguientes proposiciones compuestas, efectuar la simplificacin mnima respectiva, empleando las leyes de la lgica simblica. 1) (p q ) ( p q ) 2) (p q ) (p q ) 10) {r [(r p ) r ]} ( p r ) 12) [( r p ) (p q )] r 14) {r [(r p ) r ]} p 9) {r [(q r ) r ]} q

3) [p (q q )] p 4) q ( p q ) 5) (p q ) (p p )

11) {(r r ) [(r p ) r ]} p 13) [( r p ) ( p r )] r

7) [( p q ) p ] q 8)

6) {(r r ) ( p r )} p

q {[( p )

( p )} q ) q] q ( p

15) {(p q ) [(p q ) q ]} p

16) (p q ) [( p q ) ( p q )]

6. Demostrar si los siguientes argumentos son o no razonamientos vlidos. 1) Anibal es un hombre, entonces es mortal. Anibal es un hombre. Por lo tanto, Anibal es mortal. 2) Si Kennedy fue asesinado, entonces Kennedy est muerto. Kennedy est muerto. Luego, Kennedy fue asesinado. 3) Si el reloj est adelantado, entonces Juan lleg antes de las diez y vio partir el coche de Andrs. Si Andrs dice la verdad, entonces Juan no vio partir el coche de Andrs. Andrs dice la verdad o estaba en el edificio en el momento del crimen. El reloj est adelantado. Por tanto, Andrs estaba en el edificio en el momento del crimen. 4) Si este es buen libro, vale la pena leerlo. El lgebra I es fcil o este libro no vale la pena leerlo. Pero el lgebra no es fcil. Por tanto, este no es un buen libro. 5) Si este mes es febrero, entonces el mes anterior fue enero. Si el mes anterior fue enero, entonces hace tres meses fue noviembre. Si hace tres meses fue noviembre, entonces este mes es febrero. Si el mes que viene ser marzo, entonces este mes es febrero. El mes pasado fue enero. Por tanto, este mes es febrero. 6) Si Javier gan la carrera, entonces Jos fue el segundo o Abel fue el segundo. Si Jos fue el segundo, entonces Javier no gan la carrera. Si Marcos fue el segundo, entonces Abel no fue el segundo. Javier gan la carrera. Por tanto, Marcos no fue el segundo. 7) Si el mercado de trabajo es perfecto, entonces los salarios de las personas en un cierto empleo sern iguales. Pero el caso es que siempre los salarios para tales personas no son iguales. Por tanto, el mercado de trabajo no es perfecto. 8) Melissa est en el Consejo Facultativo, y Alex ser elegido o Marlene ser elegido para el prximo periodo del Centro de Estudiantes. Si Melissa est en el Consejo Facultativo, entonces Marlene no ser elegido para el prximo periodo del Centro de Estudiantes. Si Alex fuera elegido, entonces Melissa no continuar durante todo el periodo presente en el Consejo Facultativo. 9) Guyana obtiene 75 puntos en el examen de Lgica u obtiene 80 puntos. Si Guyana obtiene 75 puntos en el examen de Lgica, entonces no logra la calificacin de sobresaliente. Si obtiene 80 puntos en el examen de Lgica, no logra la calificacin de sobresaliente. Si Guyana estudia, entonces logra la calificacin de sobresaliente en el examen de Lgica. Por tanto, Guyana no estudia.

lgebra

21

Jos Montao Romero

7. Demostrar la validez de los siguientes razonamientos simbolizados: a. Demostrar: p 1) p q 2) t 3) q t b. 1) 2) 3) 4) Demostrar: t r

q p q r s p ( s t )

c. Demostrar: x = w 1) x = y x = z 2) x = z x = w 3) x = y x = 0 4) x = 0 x + w = 1 5) x + w 1 d. 1) 2) 3) 4) 5) Demostrar: t s

p q pr r q tq s

e. Demostrar: x < 3 1) ( x + 2 > 5) x = 4 2) x = 4 ( x + 4 < 7 ) 3) x + 4 < 7 4) ( x + 2 > 5) (5 x > 2 x < 3) f. Demostrar u 1) ( p q ) ( p r ) 2) p s 3) s t 4) (q u r) ( t) 5) t g. 1) 2) 3)

s p p t t r

Demostrar: s r

lgebra

22

Jos Montao Romero

h. 1) 2) 3) 4)

Demostrar: p

rt sq (t q ) p rs
Demostrar: q

i. 1) 2) 3) 4)

p q q r rs s

j. Demostrar: x = 1 1) ( z < 3 x > y ) y = 2 2) x < y x = 1 3) x > z x > y 4) x > z x < y k. Demostrar: G H 1) 2) 3) 4)

( A B) (C D) ( B ) F ) E ( D (E G ) ( F H ) AC

8. Negar las proposiciones siguientes: 1) x /[ P ( x) Q( x)] 2) x : y / ( x = 0 y 0 ) 3) x : x / {[ P ( x) Q ( x)] P ( x)} 4) x : x / {[ M ( x) N ( x)] M ( x)} 5) x / x :[( x + 1 = 5 x + 5 = 1) x + 5 1] 9. Expresar en el lenguaje ordinario utilizando cuantificadores y negar las siguientes proposiciones: 1) Hay alumnos que estudian y trabajan. 2) Toda persona que la conoce, entonces la admira. 3) Si Linda pasa de curso, entonces viaja. 10. Expresar en el lenguaje ordinario utilizando cuantificadores y negar las siguientes proposiciones: 1) Algunos enteros positivos son nmeros primos. 2) Existen enteros pares que no son negativos