Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
4 de septiembre de 2010
ii
ii
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
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
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
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
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
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.
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.
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.
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
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.
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
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
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
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:
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
Sa
pq V V V F
lom
n Ch ing Br ice
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
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
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
Ejemplo 1.9 Simbolizar la proposici on: No es el caso de que 10 sea m ultiplo de 3 o que 5 + 2 < 10.
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.
cia
Lic
Soluci on.
en
do en M
ate m tic
as
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 ( ).
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
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
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
p V V F F
q V F V F
(p q ) V F V V
(q p) V V F V
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.
cia
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
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
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
11
(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)
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
Sa
lom
a) VFV
b) FFF
c) VVV
cia
Lic
en
v ( p q ) = F v ( p) = V , v ( q ) = V ; v ( r s) = F v (r) = F , v (s) = F
Entonces:
11
n Ch ing Br ice
C = (p q ) [(p q ) q ] d) FFV
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
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
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
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:
Sa
lom
B = (p q ) ( r q ) y
n Ch ing Br ice
b) son proposiciones d) son proposiciones
o
13
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
15
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.
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.
cia
ate m tic
1.7.1.
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
( 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.
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
17
1.7.2.
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.
do en M
entonces:
cia
ate m tic
Lic
en
V V F F
as
Sa
pasos
Dado que el resultado de la tabla es una tautolog a, las proposiciones P y Q son equivalentes.
17
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
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
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
cia
Sa
lom
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 ,
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
21
1.11.
Inferencia L ogica
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
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
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
as
Sa
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
1.12.
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
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
Lic
4 de septiembre de 2010
en
continuar a...
cia
do en M
ate m tic
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
24
1. L ogica Proposicional
24
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