7.

PRELIMINARES SOBRE L6GICA MATEMATICA

23

(4) Division de polinomios

Realice las divisiones que se indican:

(a) (x2 - 7x - 78) -;- (x + 6)

(b) (2x3+x2-3x+1)-;-(x2+x-1)

(c) (5a3 + 7a2 - 2a - 9) -:- (a2 + 3a - 4) (d) (2n4 + 3n3 - 2n2 + 3n - 4) -:-- (n2 + 1) (e) (x5 + 1) -:- (x + 1)

(f) (x5 - 1) -;- (x - 1)

(5) Ecuaciones con radicales

Resuelva las ecuaciones

(a) JXTI = 7 -- Jx + 9 (b) J x2 + 13x + 37 = 1

(c) v'x+19-Jx+28=-1 (d) {Ix + 1 = 4

(e) {l3x - 1 = -4

(f) {l3x - 1 = V2 - 5x

7. Preliminares sobre L6gica Matematlca

7.1. Contenidos.

( 1) Proposiciones

(2) Conectivos

(3) Tablas de verdad

(4) Eqnivalcncia Logica

(5) Implicacion L6gica

(6) Cuantificadores

(7) Demostraciones

24

1. MATEMATICA BAsICA

7.2. Proposiciones.

Para dcinostrar que una situaciou cs corrects 0 iucorrcctu, deben ocurrir algunas cuestiones que de tan naturales que aparentemente son, ni siquiera nos damos cuenta de su existencia.

En efecto

• Para demostrar la veracidad 0 falsedad de :' algo", debe existir una sitnacion, la cual debe ser decidida de acuerdo a ciertas claves enmarcadas en un sistema comprensiblellogico) para los que estan involucrados en el suceso.

• Dicha situacion para ser iufalible en su decision, debe poseer dos y solo UOS "opciones de v i. Inicio del periodo de presentacion de antecedentes de parte de los academicos ?erdad",es decir,verdadera 0 falsa [crefble 0 no crefble).

• La argumentacion total debe estar compuesta de una sucesion de estas situaciones las cuales interactuan armoniosamente, ya sea para obtener un valor de verdad verdadero o un valor de verdad falso.

Definicion 7.2.1.

Llamaremos proposici6n 16gica a una oracion declarative que es verdadera 0 falsa, peru nunca ambas.

Ejemplo 7.2.2.

P: Algebra cs una asiguatura anual de Ingonicria Civil en la Usach.

r: Colo Colo es el mejor equipo de futbol de Chile

Obviamente, p y q son proposiciones y aunque me pese r no es una proposicion, pues lID hincha de la "u", par ejemplo no cornparte mi idea.

7.3. Generaci6n de Proposiciones y Tablas de Verdad.

Si p y q son proposiciones entonces

(1) A cada una por scparado lo podcmos asociar una oxpresion grafica 0 "tabla de vordad" de la forma:

(34)

donde, 0 represent-a el valor de verdad falso( apagado) y 1 represent a el valor de verdad verdadero( encendido).

7. PRELIMINARES SOBRE L6GICA MATEMATICA

25

(2) La proposicion negacion de p se obtiene con la tabla de verdad:

(35)

(3) A partir de p y q podemos obtener las siguientes proposiciones:

• Conjuncion 0 producto logico de p y q

(36)

p q pl\q
0 0 0
0 1 0
1 a 0
1 1 1 Sintetiza el concepto de mterseccion ell €I sentido que: p 1\ q sera verdadera s610 si p y q 10 !;011 siinultaucarncntc.

• Disyunci6n 0 suma logica de p y q

(37)

p q pVq
a 0 0
0 1 1
1 0 1
1 1 1 Sintetiza el coneepto de union en el sentido que: Para que p V q sea verdadera basta que una de ellas 10 sea.

• Implicacion logica de p y q

(38)

p q p=}q
0 0 1
0 1 1
1 0 0
1 1 1 Sintetiza el concepto de relacion causal, en el sentido que p =} q sera falsa solo cuando la hipotesis p es verdadera y la conclusion q es falsa. Caso contrario la nueva proposici6n es verdadera.

• Bicoudieional logico de p y q

(39)

p q p -{=} q
0 0 1
0 1 0
1 0 0
1 1 1 Sintetiza el concepto de equivalencia, concepto central en cl prOCCRO de clasificacion y p -{=} q sera verdadera s610 cuando ambas tengan el mismo valor de verdad.

r

7

T

26

1. MATEMATICA BAsICA

7.4. Tautologias y Contradicciones.

(1) Una proposicion se dice compuesta si es formada por mas de una proposicion.

Ejemplo 7.4.l.

Si p, q y r son proposiciones entonces al : P 1\ (q 1\ r) es una proposicion compuesta

(2) Una proposicion.compuesta se llama una Tautologia si su valor de verdad es siempre verdadero independiente del valor de verdad de las proposiciones que la componen.

Ejemplo 7.4.2. Tautologia

En eJecto

p "'p '" ("-' p) {::::::} p
0 1 0 1 0
1 0 1 1 1 t tt t

T

(3) Una proposicion compuesta se llama una Contradicci6n si su valor de verdad es siempre falso independiente del valor de verdad de las proposiciones que la componen.

Ejemplo 7.4.3. Contradicci6n

a: p rc-e p

En efecio

p rvp p 1\ rvp
0 1 0 0 1
1 0 1 0 0 7.5. Ejercicios Resueltos.

(1) Demuestre que son equivalentes p 1\ (q 1\ r) y (p 1\ q) f\. r (asociatividad de la conjuncton)

En efecto

7. PRELIMINARES SOBRE L6cICA MATEMATICA

27

p q r ql\r pl\(ql\r) {:=::} pl\q (pl\q)l\r
0 0 0 0 0 1 0 0
0 0 1 0 0 1 0 0
0 1 0 0 0 1 0 0
0 1 1 1 0 1 0 0
1 0 0 0 0 1 0 0
1 0 1 0 0 1 0 0
1 1 0 0 0 1 1 0
1 1 1 1 1 1 1 1 (2) Demuestre que son equivalentes p 1\ (q V r) y (p 1\ q) V (p 1\ r) (distributividad de la conjuncion respecto de disyunci6n)

En efecto

p q r qVr pl\(qvr) {:=::} pl\q pl\r (PAq) V (pAr)
0 0 0 0 0 1 0 0 0
0 0 1 1 0 1 0 0 0
0 1 0 1 0 1 0 0 0
0 1 1 1 0 1 0 0 0
1 0 0 0 0 1 0 0 0
1 0 1 1 1 1 0 1 1
1 1 0 1 1 1 1 0 1
1 1 1 1 1 1 1 1 1 (3) Demuestre que son equivalentes ,....., (p V q) Y ("-' P A '" q) (ley de De Morgan para la disyuncion)

En efecto

p q ~p ~q pVq '" (pVq) {:=::} ~pl\~q
0 0 1 1 0 1 1 1
0 1 1 0 1 0 1 0
1 0 0 1 1 0 1 0
1 1 0 0 1 0 1 0 7.6. Ejercicios Propuestos. ciones:

Dcmnrstro que Ron tantologfas las signientcs proposi-

28 1. MATEMATICA BAsICA
1. tv (p 1\ q) -¢=} (rvpV"-'q) Ley de De Morgan de la conjunci6n
Gl\q _------
2. -¢=} ql\p Conrnutatividad de la conjuncion
3. pVq -¢=} qVp Conmutatividad de la disyuncion
4. pl\(ql\r) <===} (p 1\ q) 1\ r Asociatividad de la conjuncion
5. pl\(qVr) <===} (p/\q)V(p/\r) Distributividad de Ia disyuncion
6. pl\p -¢=} P Idempotencia de 1a disyuncion •
7. pVp -¢=} P Idempotencia de la conjuncion .
8. p r. C -¢=} p Neutro de la disyuncion; C contradiccion
9. kA] {=} p N eutro de la conjuncion; T tautologia
10. pV"'p <===} T Inverse de la disynncion; T tautologia
1l. p/\"'p <===} C Inverso de la conjunci6n; C contradiccion
12. pl\T {=} T Dotniuacion de la disyuucion; T tautologia
13. pvC {=} C Dominacion de la conjunci6n; C contradiccion
14. pV(pl\q) {=} P Absorcion de la disyuncion
15. p /\ (p V q) {=} p Absorcion de la conjuncion
16. r=r « <===} '" q ~"-' P Contrapositiva de p ~ q 7.7. Reglas de Inferencia.

Motivacion 7.7.1.

El problema puede ser enunciado como sigue:

Si PI, P2, ... ,Pn Y q sou proposicioucs logicas cntonccs l,cuauuo

(40)

Es una tautologia?

Existen varies e importantes formas de resolver 0 demostrar el problema, y dada la importancia de estas 1eyes las enunciaremos como teoremas

Teorema 7.7.2. Modus Ponens 0 Metodo de Afirmaci6n

7. PRELIMINARE8 808RE L6GICA MATEMATICA

29

Si p y q son proposiciones enionces

(41)

[p /\ (p =? q)) =? q

es una tautologia

En efecto

p q v=r» p/\p=?q [p/\ (p =? q)l =} q
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1 (42)

[(p ===} q) /\ (q =} r») =} p ===} r

Teorema 7.7.3. Implicaci6n L6gica 0 Ley del Silogismo

Si p, q y r son proposiciones enionces

es una tautologia

En efecto

p q r p ===}.q q ===} r (p ===} q) 1\ (q ===} r) ===} p ===} r
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 1 0
0 1 1 1 1 1 1 1
1 0 0 0 1 0 1 0
1 0 1 0 1 0 1 1
1 1 0 1 0 0 1 0
1 1 1 1 1 1 1 1 Teorema 7.7.4. Modus Tollens 0 Metodo de Negaci6n

(43)

[(p ===} q)/\ '" qj =}'" P

Si p y q son proposiciones entonces

es una tautologia

30

1. MATEMATICA BAsICA

En efecto

p q p~q "-'q (p ~ q)/\ '" q ~ "'p
0 0 1 1 1 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 0
1 1 1 0 0 1 0 Teorema 7.7.5. Metodo de Contradicci6n 0 Reducci6n al Absurdo

Si p es una proposici6n y C una contmdicci6n etiionces

(44)

es una tauioloqia

En efecto

P ,...p C '" p ==:!;;- F (""p~F) ~p
0 1 0 0 1
1 0 0 1 1 Corolario 7.7.6.

(45)

En ejecta

Si hacemos P = (PI /\ P2 /I. ... /I. Pn) enionces

p=*q ~ p/l."'q~q/\"'q

~ p/\"'q~C

1.S. Ejercicios Resueltos.

(1) [(p ~ r) /\ ('" p ~ q) /\ (q ~ s)) ~ ('" r ~ s) cs una iufcrcucia logic a

En efecto

(p =* r) /I. ('" p =} q) /\ (q =} s) ~ ('" r =}'" p) /\(......, P =} q) /\ (q =} s) '-v-'

contrapositiva

=} ("'r~q)/I.(q~s) ____...

silogismo

~ ""r=}s

'-'-"

ailogisrno

7. PRELIMINARES SOBRE L6cICA MATEMATICA

31

(2) [(p ~ q) /\ (q ~ (r /\ s) /\ ("" r V ("" t V u) /\ (p /\ t)] ~ u

En efecto

Si hacemos w = l(p ~ q) /\ (q ~ (r /\ s)) /\ (rv r V (""' t V u)) /\ (p /\ t)] entonces

w ~ (p ~ (r /\ s» /\ ("" r V ('" tv u» /\ (p /\ t) silogismo
==} (p ==} r) /\ ("-' r V ("" t V u» /\p [(a /\ b) ~ a)tautologia
==? p /\ (p ~ r) /\ ("" r V ('" tv u» conmutatividad de /\
==? r/\(""rV(""tVu») Modus ponens
~ r /\ « "'" rV "" t) V u) Asociatividad de V
==} r/\(rv (r/\t) Vu) De Morgan
==? r/\("-'rvu) [(a /\ b) ~ a]tautologia
==} (r/\ '" r) V (r /\ u) distributividad de /\ en V
~ Cv(r/\u) ley del inverso
==? r/\u ley del neutro
==} u [(a /\ b) ~ bltantologia 7.9. Ejercicios Propuestos,

(1) Demuestre usando tablas de verdad que son validas (tautologias) las proposiciones siguientes:

(a) [p /\ (p ==? q) /\ r) ~ [(p V q) ==? rJ

(b) [(p /\ q) ==? r)/\ "'" q /\ (p ==?"" r)] ==? (rv p v"" q) (c) [[p V {q V r)]/\ ~ q] =* (p V r)

(d) [(p ==? q)/\ "" q] =}"" P

(e) [(p V q)/\ "" p] =} q

(f) [(p =} r) /\ (q ==} r)] ==} [(p V q) =} r] (g) (p/\q) ~ P

(h) p => (p V q)

(i) [(p ==? q) /\ (r =} 8) /\ (p V r)] ==? (q V s)

(j) [(p =} q) /\ (r =* s) /\ ("" q V "-' s)] ~ ("" p V '" r)

(2) Demuestre justificando paso a paso, (usando propiedades no tables de verdad)las siguientes proposiciones:

(a) [p /\ (q /\ r)] ==?'" [p V (q /\ r)]

(b) [( ('" p V q) =} r) /\ (r =} (s V t» /\ ('" s /\ "" u) /\ ("" u ==?"-' t)] =} P

(46)

1 = {x E N I p(x) verdadera} =

o {x EN I p(x) falsa}

{4, 5, 6, ... } {1,2,3}

32

1. MATEMATICA BAsICA

(c) [(p => q) 1\ (,.... r V s) 1\ (p V r)] => ("-' q => s) (d) [(p 1\ rv q) 1\ r] => [(p 1\ r) V q]

(e) lPl\(p=>q)I\(,,-,qVr)]=>r

(f) [(P => (q => r)) 1\ (rv q =>rv p) I\p] => r

7.10. Uso de Cuantificadores.

Una forma natural de generar proposiciones es a traves de formulas para haeer proposiciones,

como por ejemplo:

(1) p(x): x es un natural mayor que 3

En este caso

Si notamos par 1 el conjunto de naturales x para los cuales p(x) es verdadera y par 0 el conjunto de naturales x para los cuales p(x) es falsa entonces

En este casu

I es como veremos mas tarde es un circulo con centro en (0,0) y radio 1 y 0 es el resto del plano cartesiano ]R2

Definicion 7.10.1.

p(X1, X2, ... ,xn) se llama una formula proposicional definida en un conjunto A si:

• Cada Xi para 1 = 1,2, ... , n son variables en A, es decir pueden to mar valores en el conjunto A .

• Pam cada sustituciou de las variables ell A la formula sc trausfonna cu una proposicion logica.

Ejemplo 7.10.2.

(1) Ya observamos que [P(x) : x es un natural mayor que 3], es una formula proposicional y en particular tenemos:

(a) p(l) es falsa (b) p(2) es falsa (c) p(3) es falsa

7. PRELIMINARES SOBRE L6GICA MATEMATICA

33

(d) p(x)es verdadera para cada x E N y x ;;:: 4

As! p(x) es verdadera para algunos numeros naturales y tambien p(x) es falsa para algunos mimeros naturales.

Definicion 7.10.3.

Si p(x) es una formula proposicional entonces

• " Para algtin x; p(x)" es una proposicion y la notaremos por [3x;p(x)].

• " Para un iinico Xi p(x)" cs lUW proposicion y la notarcmos por [.:11 x;p(x)].

• " Para todo Xi p(x)" es una proposicion y la notaremos por [VXiP(X)]

Ejemplo 7.10.4.

Definamos en lR las proposiciones:

(1) p( x) : x ;;:: 0 (2) q(x): x2 zO

(3) rex) : x2 - 3x - 4 = 0 (4) s(x):x2-3>0

entonces

(a) ::Ix; (p(x)Ar(x)) es verdadera, pues existe 4 E lR tal que p( 4) y r(4) son verdaderas.

(b) 'Ix ; (p(x) ==> q(x)) es verdadera, pues para cualquier valor real a, q(a) es verdadera.

(c) 'Ix: (q(x) =} sex)) es falsa, pues por ejemplo q(l) es verdadera y s(l) es falsa,

La siguiente tabla especifica el comportarniento de los cuantificadores (3) y (V)

Proposicion Verdadera Falsa
:Jx ; p(x) Para al menos un a, p( a) es verdadera Para cada a, p( a) es falsa
'Ix: p(x) Para cada a, pea) es verdadera Existe a tal que pea) es falsa
:.Jx:~ p(x) Existe a tal que pea) es falsa Para cada a, p( a) es verdadera
Vx:~ p(x) Para cada a, p( a) es falsa Existe a tal que pea) es verdadera