UNIVERSIDAD NACIONAL DE RO CUARTO FACULTAD DE CIENCIAS EXACTAS, FSICO-QUMICAS Y NATURALES DEPARTAMENTO DE MATEMTICA

TALLER DE INTRODUCCIN A LA LGICA

Para el ingreso a las carreras de Matemtica y Computacin. Ao 2009

Material preparado por: Etchegaray, Silvia Licera, Mabel Markiewicz, Mara Elena Peparelli, Susana Pardo, Angela

INTRODUCCIN A LA LGICA
La Lgica es la ciencia que toma como objeto de estudio los razonamientos. Desde esta ciencia se aportan herramientas muy tiles para trabajar en diversos mbitos cientficos ya que proporciona mtodos para determinar la validez de razonamientos, en particular: - En Ciencias de la Computacin contribuye en la construccin y verificacin de procesos computacionales. - En Matemtica, forma parte del contexto de demostracin de las afirmaciones matemticas. Pero, qu se entiende por razonamiento en el mbito de esta ciencia? Veamos un ejemplo: Los das viernes Ana va al Banco a hacer depsitos. Hoy es viernes. Por lo tanto hoy Ana va al Banco a hacer depsitos. Observamos que este razonamiento est compuesto por afirmaciones (o proposiciones) que se relacionan de una manera especial. La expresin Por lo tanto indica que la afirmacin hoy Ana va al Banco a hacer depsitos se desprende de las otras. En general podemos decir que: Un razonamiento es un conjunto de proposiciones de las cuales se afirma que una de ellas se deriva de las otras. La lgica centra su estudio en cmo se relacionan las proposiciones y no en el contenido particular de cada una de ellas que puede ser de cualquier contexto, cientfico o no. Para realizar dicho estudio aparece como necesario el establecimiento y uso de un lenguaje especfico que elimine la ambigedad presente en el lenguaje natural. Nos acercaremos al trabajo al interior de esta ciencia familiarizndonos con algunos elementos de su lenguaje, algunas definiciones bsicas acompaadas por ejemplos en diversos contextos y el abordaje de algunas tareas tpicas. Esto con el objetivo disponer de herramientas iniciales que les permitan abordar el estudio, a lo largo de su carrera, de los diferentes tipos de razonamientos y recursos metodolgicos que formarn parte el marco terico de referencia de su prxima actividad profesional. 1.- PROPOSICIONES 1.1. Qu es una proposicin? Hemos dicho que los razonamientos estn compuestos por proposiciones, pero A qu se considera una proposicin? Por ejemplo, la afirmacin 3 divide a 7, la cual es verdadera o falsa, pero no ambas cosas a la vez, es una proposicin. Una PROPOSICIN es una afirmacin de la cual tiene sentido preguntarse si es verdadera o falsa.
2

En el lenguaje de la lgica, las letras minsculas como p, q, r, etc. se utilizan para representar proposiciones. Ejemplo: Sean p: Ro Cuarto es la capital de la provincia de Crdoba q: La Tierra es el nico planeta del universo que tiene vida. r: Para qu respiramos? - p y q representan proposiciones; p es falsa y q puede ser verdadera o falsa, aunque nadie lo sabe hasta el momento. - r no representa una proposicin porque r no es ni verdadera ni falsa (r es un interrogante). Las oraciones interrogativas, exclamativas o imperativas, no son proposiciones dado que no tiene sentido preguntarse si son verdaderas o falsas. 1.2. Diferentes tipos de proposiciones Las proposiciones se clasifican en simples (o atmicas) y compuestas (o moleculares), veamos el origen de esta clasificacin a partir de un ejemplo: La proposicin "Esta lloviendo En cambio las proposiciones "Est lloviendo y llevar mi paraguas, Si esta lloviendo entonces llevar mi paraguas, No llevar mi paraguas, son proposiciones compuestas. Las proposiciones que se obtienen a partir de otras SIMPLES o ATMICAS reciben el nombre de COMPUESTAS O MOLECULARES. A su vez las proposiciones moleculares se distinguen segn cmo se ligan las proposiciones atmicas que en ellas intervienen. En el lenguaje de la lgica, tambin se utilizan smbolos especiales ( , , , , ) para representar nexos entre proposiciones. Comenzaremos ilustrando el significado de los tres primeros: Sean p: Est lloviendo q: Llevar mi paraguas es una proposicin simple,

No llevar mi paraguas es una negacin y se denota con q. Est lloviendo y llevar mi paraguas es una conjuncin, se denota con pq.

Est lloviendo o llevar mi paraguas es una disyuncin, se denota con pq. En general: Si p y q son proposiciones: Se denomina negacin de p, y se denota p, a la proposicin no p. Se denomina conjuncin de p y q, y se denota pq, a la proposicin p y q. Se denomina disyuncin de p y q, y se denota pq, a la proposicin p o q. Son tareas tpicas en lgica representar simblicamente proposiciones y traducir al lenguaje natural proposiciones representadas simblicamente. 1.3. Valores de verdad de las proposiciones compuestas Una proposicin compuesta va a resultar V (verdadera) o F (falsa) dependiendo de los valores de verdad de sus componentes atmicas. Esta dependencia puede describirse por medio de una tabla llamada tabla de verdad donde se consideran todas las posibles combinaciones de los valores de verdad de las componentes atmicas. Los valores de verdad de las proposiciones compuestas p, pq y pq se describen en las siguientes tablas: p V F p F V p V V F F q V F V F pq V F F F p V V F F q V F V F pq V V V F

Cmo leer estas tablas? La primera tabla dice sencillamente que cuando p es verdadera, su negacin resulta falsa (primer rengln) y cuando p es falsa, su negacin resulta verdadera (segundo rengln) Observamos que en las dos ltimas tablas hay cuatro renglones porque son cuatro las posibles combinaciones de valores de verdad de p y q. El tercer rengln de la segunda tabla nos indica que para el caso de resultar p falsa y q verdadera, la conjuncin pq resulta falsa. Podemos sintetizar la segunda tabla diciendo que la conjuncin pq slo es verdadera cuando ambas proposiciones, p y q, lo son. Podemos sintetizar la tercera tabla diciendo que la disyuncin pq slo es falsa cuando ambas proposiciones, p y q, lo son.

Otras tareas tpicas en lgica son: Determinar si una proposicin compuesta es verdadera o falsa (si se dispone de los valores de verdad de sus componentes atmicas) y confeccionar tablas de verdad de proposiciones compuestas.

Por ejemplo, representemos simblicamente y determinemos el valor de verdad de la siguiente proposicin: "Blas Pascal invent varias mquinas calculadoras y no es verdad que la primera computadora electrnica digital fue construida en el siglo XX" Si p: Blas Pascal invent varias mquinas calculadoras q: La primera computadora electrnica digital fue construida en el siglo XX La proposicin puede simbolizarse como p q, determinaremos su valor de verdad: p es verdadera y q tambin resulta verdadera.
En palabras:

p V V

q V Tenemos la conjuncin entre: una proposicin V y la negacin de una proposicin V. F Tenemos la conjuncin entre una proposicin V y una proposicin F Finalmente observamos que resulta una proposicin F.

Observacin importante: Es posible que una proposicin compuesta sea verdadera sin importar qu asignaciones de verdad se hayan hecho a las componentes atmicas. Por ejemplo construyamos la tabla de verdad de p V F p F V pp V V p p:

Observamos que la proposicin p p resulta verdadera tanto si p es V o si p es F (sin importar qu asignacin de verdad se haya hecho a p). La prxima definicin expresa en trminos precisos esta situacin, as como el caso en el cual una proposicin compuesta resulta siempre falsa. Si denotamos con A a una proposicin cualquiera, La proposicin A es una tautologa si A es verdadera cualquiera sea el valor de verdad de sus componentes atmicas. La proposicin A es una contradiccin si A es falsa cualquiera sea el valor de verdad de sus componentes atmicas. Una cuestin para analizar: Si A es una tautologa, qu podemos decir de la proposicin A? Si A es una contradiccin, qu podemos decir de la proposicin A?

TRABAJO PRCTICO N 1 1) Determinar si cada una de las siguientes afirmaciones es una proposicin: a) 1 + 8 = 10 b) La suma de dos enteros es un entero c) Ro Cuarto est en la provincia de Neuqun d) Los extraterrestres no existen e) Sumar dos nmeros naturales. f) x 2 + 4 = 5 g) Existe algn nmero real x que verifica la ecuacin: x 4 + x 2 + 7 = 0 2) Sean p , q y r las siguientes proposiciones: p : 2 es par ; q : 1 es impar ; r : 3 es par i) Formular en palabras las siguientes expresiones: a) p q b) q p c) p q d) ( r p) e) (q r)

ii)Analizar si las proposiciones obtenidas son verdaderas o falsas. 3) Considerando las proposiciones: p : 4 es mltiplo de 2 , q : 6 es divisible por 3 y r : 5 es divisible por 2 . Representar en forma simblica los enunciados dados a continuacin: a) b) c) d) 4 no es mltiplo de 2 6 es divisible por 3 6 no es divisible por 3 y 5 no es divisible por 2 No es cierto que, 6 es divisible por 3 y 5 es divisible por 2 No es verdad que, 5 no es divisible por 2 y 4 es mltiplo de 2

4) Expresar los siguientes enunciados en forma simblica: a) Mara no estudia ni trabaja b) El nmero 4 es mayor que el nmero 0 pero el nmero 4 no lo es c) Juan no estudia Matemtica sino Computacin. d) No es cierto que, 5 es un nmero primo y 10 tambin lo es. e) No es verdad que, el tringulo ABC es rectngulo o issceles. 5) Suponiendo que p es una proposicin verdadera, q es falsa y r es falsa, determinar el valor de verdad de las siguientes proposiciones: a) (p q ) r b) (p q ) r c) ( r p ) q 6) i) Confeccionar las tablas de verdad de las siguientes proposiciones: a) pp b) p q c) p q d) (pq) (pq) e) (p (p q)) f) (pq) ii) Para las proposiciones dadas, determinar cules son tautologas y cules son contradicciones. 7) Sin usar la tabla de verdad contestar: a)Qu valores de verdad deberan tener las letras enunciativas p, q y r , para que la proposicin : ( r (p q)) sea verdadera? b) En qu casos la proposicin p ( q r ) resultar falsa?

2.- PROPOSICIONES CONDICIONALES Y BICONDICIONALES 2.1. A qu se llama proposicin condicional? Sean p: Est lloviendo q: Llevar mi paraguas

La proposicin Si esta lloviendo entonces llevar mi paraguas es un ejemplo de proposicin condicional, se denota con pq. En general: Si p y q son proposiciones, la proposicin si p, entonces q se llama proposicin condicional y se denota por p q -la proposicin p se denomina antecedente y -la proposicin q, se denomina consecuente. As como en una expresin del lenguaje natural una coma (,) o un pero pueden representar una conjuncin, existen diferentes expresiones en el lenguaje natural que representan proposiciones condicionales, en las que no necesariamente el antecedente debe aparecer en primer lugar, sino que lo reconocemos por la estructura general de la proposicin y los nexos que intervienen. Veamos algunos casos:

a)

Cecilia ser una buena alumna si estudia mucho. (o, si Cecilia estudia mucho, ser una buena alumna.)

El antecedente es la proposicin que sigue a la expresin si, por lo tanto una formulacin equivalente es: Si Cecilia estudia mucho, entonces ser una buena alumna.

b) (o

Gastn puede cursar clculo slo si ha aprobado el tercer ciclo de la EGB Slo si ha aprobado el tercer ciclo de la EGB Gastn puede cursar clculo).

La proposicin que sigue a slo si es el consecuente. Una formulacin equivalente es: Si Gastn cursa Clculo, entonces ha aprobado el tercer ciclo de la EGB.

c)

Cuando t lees, Juan trabaja en la computadora. (o, Juan trabaja en la computadora cuando t lees.)

Cuando precede al antecedente de la proposicin condicional; por consiguiente, una formulacin equivalente es: Si t lees, entonces Juan trabaja en la computadora

d) Una condicin necesaria para que f sea una funcin biyectiva es que f sea inyectiva. (o, Que f sea una funcin inyectiva es condicin necesaria para que f sea biyectiva) A veces se hace referencia al consecuente como la condicin necesaria para otra proposicin; por lo que una formulacin equivalente es: Si f es una funcin biyectiva, entonces f es inyectiva.

e) Una condicin suficiente para que dos tringulos sean semejantes es que tengan dos ngulos iguales. (o, Que dos tringulos tengan dos ngulos iguales es condicin suficiente para que sean semejantes) A veces se hace referencia al antecedente como la condicin suficiente para otra proposicin; por lo que una formulacin equivalente es: Si dos tringulos tienen dos ngulos iguales, entonces son semejantes.

Analicemos ahora esta proposicin: Qu tengas ms de 16 aos no es condicin suficiente para que obtengas el carnet de conductor. Qu significar la expresin no es condicin suficiente? Cmo expresamos en smbolos esta proposicin? Podemos ayudarnos en esta tarea considerando algunas expresiones equivalentes a la proposicin inicial, tales como: No es cierto que, tener ms de 16 aos es condicin suficiente para obtener el carnet de conductor, o: No se cumple que, si tienes ms de 16 aos entonces obtienes el carnet de conductor. Ahora la tarea se reduce a formalizar esta ltima proposicin que resulta claramente la negacin de una proposicin condicional. Sean p: Tienes ms de 16 aos. q: Obtienes el carnet de conductor.

La proposicin queda simbolizada como (pq). En sntesis, las expresiones no es condicin suficiente para y no es condicin necesaria para indican la negacin de una proposicin condicional. Veremos ms ejemplos en la gua de actividades.

2.2. Valores de verdad de la proposicin condicional El valor de verdad de la proposicin condicional p q est dado por la siguiente tabla de verdad: p V V F F q V F V F pq V F V V

Esta tabla pone en evidencia que un condicional slo es falso si tiene antecedente verdadero y consecuente falso. Ejemplos: - Sean Luego, p q es verdadera. q p es falsa. p: 1 > 2 q: 4 < 8 Entonces p es falsa y q es verdadera.

- Supngamos que p es verdadera, q es falsa y r verdadera. Determinemos el valor de verdad de (p q) r : ( p q ) r (V F ) V V F F Observacin: En general, en el lenguaje ordinario cuando se utiliza una proposicin condicional, el antecedente y el consecuente tienen relacin en cuanto a la temtica a la que se refieren, situacin que en el mbito de la lgica no se tiene en cuenta (las proposiciones podran referirse a distintos temas). La razn, tal como ya se adelantara, es que interesa la forma de las proposiciones y no su contenido. Por ejemplo, la proposicin Si 2+3 = 4, entonces Leonardo Di Caprio protagoniz la pelcula Romeo y Julieta es verdadera ya que el antecedente es falso. Recordamos: La lgica se ocupa de la forma que tienen las proposiciones y de cmo se relacionan entre s y no del tema que tratan.

2.3. Recproca y contrarrecproca de una proposicin condicional Ya vimos que una proposicin de la forma p q puede ser verdadera, mientras que la proposicin q p es falsa. A la proposicin q p se la llama recproca de la proposicin p q. Por lo tanto, una proposicin condicional puede ser verdadera mientras que su recproca puede ser falsa. En cambio, la proposicin q p siempre tiene el mismo valor de verdad que p q. A la proposicin q p se la llama contrarecproca de la proposicin p q. Queda pendiente comprobar el hecho que p q y q p tienen el mismo valor de verdad sin importar los valores de verdad de p y q. Veamos los siguientes ejemplos: Expresar en forma simblica las proposiciones condicionales dadas. Escrbir las correspondientes proposiciones recproca y contrarrecproca, tanto en smbolos como verbalmente. Hallar tambin el valor de verdad de cada una de las proposiciones y de sus recprocas y contrarrecprocas. a) Si 1 < 2, entonces 3 < 6. b) Si 1 > 2, entonces 3 < 6. a) Sean p:1<2 q: 3 < 6 .

El enunciado dado puede ser escrito simblicamente como p q La recproca se expresa simblicamente como: q p en palabras: Si 3 < 6 , entonces 1 < 2. La contrarrecproca se expresa simblicamente como: q en palabras: Si 3 6 , entonces p 1 2.

Ya que p y q son ambas verdaderas, el condicional pq es verdadero su recproca qp tambin es verdadera. su contrarrecproca q p tambin es verdadera. b) Sean p: 1 > 2, q: 3 < 6.

El enunciado dado puede ser escrito simblicamente como p q . La recproca se expresa simblicamente como en palabras q p Si 3 < 6, entonces 1 > 2.

La contrarrecproca se expresa simblicamente como: q p en palabras Si 3 6, entonces 1 2.

10

Puesto que p es falsa y q es verdadera, el condicional p q la recproca q p su contrarrecproca q p 2.4. A qu se llama proposicin bicondicional? La proposicin:

es verdadero es falsa. es verdadera.

La funcin f es biyectiva si y slo si f es inyectiva y suryectiva. es ejemplo de otra proposicin compuesta de gran utilidad. Esta proposicin tiene el mismo significado que: Si la funcin f es biyectiva, entonces f es inyectiva y suryectiva inyectiva y suryectiva, entonces f es biyectiva. En general: y, si la funcin f es

Si p y q son proposiciones, la proposicin compuesta p si y slo si q se llama proposicin bicondicional y se denota por p q

2.5. Valores de verdad de la proposicin bicondicional El valor de verdad de la proposicin condicional p q est dado por la siguiente tabla de verdad: p V V F F q V F V F pq V F F V

Observemos que p q es verdadera slo en los casos en que p y q tengan el mismo valor de verdad (cuando son las dos verdaderas o cuando son las dos falsas). Una forma alternativa de enunciar p si y slo si q es: p es condicin necesaria y suficiente para q Ejemplo: Sean a, b y c las longitudes de los lados de un tringulo T siendo c la longitud mayor. El enunciado (6) T es un tringulo rectngulo si y slo si a2 + b2 = c2 . Esta resumiendo dos proposiciones condicionales: Si T es un tringulo rectngulo entonces a2 + b2 = c2.
11

y Si a2 + b2 = c2, entonces T es un tringulo rectngulo. Una forma alternativa de enunciar este hecho es: Una condicin necesaria y suficiente para que un tringulo T sea rectngulo es que sus lados satisfagan la relacin a2 + b2 = c2.

3.- EQUIVALENCIA LGICA E IMPLICACIN LGICA Hasta ac vimos cmo se representan las proposiciones en el marco de la Lgica y cmo se describen mediante sus tablas de verdad. Pero tambin hemos visto que las proposiciones estn relacionadas de un modo especial. Por ejemplo, en el apartado 2.3. dijimos que las proposiciones p q y q p tienen siempre el mismo valor de verdad. En este apartado vamos a estudiar con mayor profundidad este tipo de relaciones. 3.1. La nocin de equivalencia lgica En el contexto de la Lgica, proposiciones tales como p q y q p que tienen el mismo valor de verdad para cada combinacin posible de valores de verdad para p y q, resultan equivalentes. En general:

Las proposiciones A y B son lgicamente equivalentes y se escribe A B , siempre que A y B tengan ambas el mismo valor de verdad, cualquiera sean los valores de verdad de sus componentes atmicas.

Una cuestin para analizar: Si A B, Qu podemos decir de la proposicin bicondicional A B?

Veamos algunos ejemplos de proposiciones lgicamente equivalentes:

12

Ejemplo: Probemos que la proposicin condicional p q es lgicamente equivalente a su contrarrecproca q p: Demostracin: Si se elaboran las tablas de verdad para p q y q p se verifica que para cualesquiera valores de verdad dados a p y a q, se cumple que pq y q p son ambas verdaderas, o ambas falsas: p V V F F q V F V F pq V F V V

q p
V F V V

pq y coinciden.

q p son lgicamente equivalentes ya que las dos ltimas columnas

Ejemplo: Las siguientes equivalencias lgicas se conocen con el nombre de leyes de DeMorgan 1.- (p q) p q, 2.- (p q) p q Probaremos la primera y se dejar la segunda como ejercicio. p V V F F Consecuentemente, (pq) q V F V F (pq) F F F V pq F F F V

y pq son lgicamente equivalentes.

Ejemplo: La negacin de p q es lgicamente equivalente a p q. Debe probarse que (p q) p q. Elaborando las tablas de verdad para (p q) y p q, se puede verificar que para cualesquiera valores de verdad dados a p y q, se cumple que son ambas verdaderas o ambas falsas: p V V F F q V F V F (pq) F V F F pq F V F F
13

Ejemplo: Dijimos en el apartado 2.4. que p q significa lo mismo que (p q) (q p). Ahora esta afirmacin puede demostrarse. Veamos que p q es lgicamente equivalente a (pq) (q p): p V V F F q V F V F pq V F F V pq V F V V qp V V F V (p q) (q p) V F F V

La tabla de verdad prueba efectivamente que p q (p q) (q p).

3.1. La nocin de implicacin lgica Puede ocurrir que dos proposiciones A y B no sean lgicamente equivalentes pero que cada vez que A sea verdadera B tambin resulta verdadera, vamos a analizar esta situacin. En general: La proposicin A implica lgicamente a la proposicin B, en smbolos A B, siempre que si A es verdadera, B tambin lo es, cualquiera sean los valores de verdad de sus componentes atmicas.

Una cuestin para analizar: Si A B, Qu podemos decir de la proposicin condicional AB?

Veamos algunos ejemplos de proposiciones que se implican lgicamente: Ejemplo: Demostrar que (p q) p.

- La proposicin (p q) es verdadera justamente cuando p q es falsa. - Para que pq sea falsa, p y q deben ser falsas. - Luego, p es verdadera. Podemos ver esto a partir de construir las tablas de verdad correspondientes:
14

p V V F F

q V F V F

p F F V V

p q V V V F

(p q) F F F V

Si miramos las columnas resaltadas, vemos que cuando (p q) es verdadera, tambin lo es p. Entonces (p q) implica lgicamente a p. Podemos preguntarnos La proposicin p implica lgicamente a (p q)? Observemos que p NO implica lgicamente a (p q), ya que no es cierto que cuando p es verdadera, tambin lo es(p q), (ver el tercer rengln).

TRABAJO PRACTICO N2 1) Utilizando las proposiciones p: Hoy llueve, q: voy al cine y r: voy al teatro., formular verbalmente las expresiones simblicas que se dan a continuacin: a) p q b) p (r q) c) q r r

3) Suponiendo que a, b, y c son nmeros reales fijos y que p: a < b, q: b < c y r: a < c , expresar en forma simblica los siguientes enunciados: a) Si a<b entonces b c. b) Si a b y b < c , entonces a c. c) Si no es verdad que (a < b y b < c ) , entonces a c. 3) Escribir cada una de las siguientes proposiciones en la forma si ... entonces... de una proposicin condicional y representarlas simblicamente. a) El certificado tiene validez si est firmado por el director. b) El programa es legible solamente si est bien estructurado. c) Cuando estudies tendrs oportunidad de actualizar tus conocimientos y de aprender otros nuevos. d) Una condicin suficiente para representar una recta en una sistema de coordenadas cartesianas es conocer las coordenadas de dos de sus puntos. e) Especificar las condiciones iniciales es una condicin necesaria para que el programa no falle. f) Para que un nmero sea mltiplo de 4 es condicin suficiente que sea mltiplo de 2.

15

4) Enunciar la recproca y contrarrecproca de cada una de las proposiciones dadas en 3). 5) Formalizar las siguientes proposiciones: a) Ser mayor de 16 aos no es condicin suficiente para obtener el carnet de conductor. b) Una condicin necesaria y suficiente para que una funcin f posea funcin inversa es que f sea biyectiva. c) Que este nmero sea mltiplo de seis es condicin suficiente, pero no necesaria, para que sea mltiplo de tres. d) Que este nmero sea mltiplo de cinco no es condicin necesaria ni suficiente para que sea mltiplo de dos. 6) Hallar el valor de verdad de cada una de las siguientes proposiciones, suponiendo que p y r son falsas y que q y s son verdaderas. a) p r b) (p q) c) (p s) (q s) d) q p r

7) Elaborar las tablas de verdad para cada una de las siguientes proposiciones: a) q (p q) b) p q p q c) (p q r) (r p)

8) a) Determinar cules de las proposiciones dadas en 7) son tautologas. b) Sin utilizar la tabla de verdad, cmo se justificara que dichas proposiciones son tautologas? 9) Representar simblicamente cada una de las proposiciones dadas en los incisos siguientes. Escribir su recproca y su contrarrecproca tanto en smbolos como con palabras. Determinar tambin el valor de verdad para la proposicin condicional, para su recproca y para su contrarrecproca. a) Si 4 < 6 entonces 8 > 10. c) | 1 | < 3 si -3 < 1 < 3. b) Si 2 es par entonces 2 3 d) | 5 | > 3 si 5 > 3 5 < -3 B

10) En cada uno de los siguientes casos, decidir y justificar si A B A B A o no vale ninguna de las alternativas anteriores: a) A = p, B = p q c) A = p q , B = p q b) A = p q , B = p q d) A = p q , B = p q

16