Sei sulla pagina 1di 8

Universidad de Chile

Facultad de Economía y Negocio


Programa de Apoyo Académico
Algebra 1
Margarita
Pedreros_____________________________________________________________

UNIDAD 1 Lógica Formal

1. Introducción
La lógica matemática es la disciplina que trata de métodos de razonamiento. En un
nivel elemental la lógica proporciona reglas y técnicas para determinar si es o no
válido un argumento dado.

2. Proposiciones y operaciones lógicas


Se llamará proposición a todo aquello a lo cual pueda asociarse sin ambigüedad uno y
solo uno de los caracteres Verdadero o Falso.

Ejemplos:
P : hoy es Lunes
Q: está lloviendo
R : -20+20 =0
Los incisos P y Q No son proposiciones porque su valor veritativo verdadero o falso
depende del momento en que son enunciadas. El inciso R si es una proposición y es
de carácter verdadero.

3. Operaciones básicas

3.1Disyunción :(v)
Dadas dos proposiciones cualesquiera p y q, se define la disyunción entre p y q como
una nueva proposición que es falsa sólo cuando p y q son ambas falsas.
El conectivo empleado para esta operación es “v”. Y la expresión p v q, se lee “p ó q”
Su tabla de verdad es la siguiente:

p q p v
q
V V V
V F V
F V V
F F F

3.2Conjunción :(∧)
Dadas dos proposiciones cualesquiera p y q, se define la disyunción entre p y q como
una nueva proposición que es verdadera solo cuando p y q son ambas verdaderas.
El conectivo empleado para esta operación es ∧. Y la expresión p ∧q, se lee “p y q”
Su tabla de verdad es la siguiente:

p q p ∧q
V V V
V F F
F V F
F F F
3.3Negación :(~)
Dada una proposición cualquiera p, se define la negación de p como aquella
proposición que es verdadera sólo cuando p es falsa.
El conectivo de la negación es ~ y la expresión ~p se lee “no p”
Su tabla de verdad es la siguiente:

P ~P
V F
F V

4. Axioma
Se garantiza la existencia de una proposición falsa que llamaremos Contradicción, la
cual será denotada por C.
Se garantiza la existencia de una proposición verdadera que llamaremos Tautología, la
cual será denotada por T.

5. Otras operaciones

5.1Implicancia :(⇒)
Sean p y q dos proposiciones cualesquiera, se llamará implicancia de p a q a la
proposición que denotamos por p⇒q, la cual se lee “p implica q”, dada por la
expresión:

(p ⇒q) = ((∼ p) ∨q)

Su tabla de verdad es la siguiente:

p q p⇒
q
V V V
V F F
F V V
F F V

Equivalencia :(⇔)
Sean p y q dos proposiciones cualesquiera, se llamará equivalencia entre p y q a la
proposición que denotaremos por p ⇔q, la cual se lee “p equivalente con q”, dada por
la expresión:

(p ⇔q) ⇔ [(p⇒q)∧(q⇒p)]

Su tabla de verdad es la siguiente:


p q p ⇔
q
V V V
V F F
F V F
F F V
5.2Disyunción exclusiva :(∨)
Sean p y q dos proposiciones cualesquiera, se llamará disyunción exclusiva entre p y q
a la proposición que denotaremos por p ∨ q, el cual se lee “p ó exclusivo q”, dada por
la expresión:
(p ∨q) ⇔ [(p∨q)∧∼ (p∧q)]

Su tabla de verdad es la siguiente:

p q p ∨q
V V F
V F V
F V V
F F F

6. Cálculo proposicional

Rama de la lógica formal que se preocupa de la determinación del valor veritativo de


las proposiciones. Su mayor aplicación se encuentra al determinar el valor de una
proposición obtenida mediante operaciones sucesivas en las que intervienen varias
proposiciones.

7. Propiedades de las operaciones

1.- Doble Negación : ∼ (∼ p) ⇔ p

2.- Reflexividad de ⇒ : p ⇒p

3.- Reflexividad de ⇔ : p ⇔p

4.- a) Conmutatividad de ∧ : (p∧q) ⇔(q∧p)

b) Conmutatividad de ∨ : (p∨q) ⇔(q∨p)

5.- a) Asociatividad de ∧ : [p∧(q∧r)] ⇔[( p∧q)∧r]

b) Asociatividad de ∨ : [p∨(q∨r)] ⇔[( p∨q) ∨r]

6.- Doble distributividad de ∧c/r ∨

a) Por la izquierda : [p∧(q∨r)] ⇔[(p∧q) ∨(p∧r)]

b) Por la derecha : [(p∨q) ∧r] ⇔ [(p∧r) ∨(q∧r)]

7.- Doble distributividad de ∨c/r ∧

a) Por la izquierda : [p∨(q∧r)] ⇔[(p∨q) ∧(p∨r)]

b) Por la derecha : [(p∧q) ∨r] ⇔ [(p∨r) ∧(q∨r)]

8.- Idempotencia

a) De ∧ : (p∧p) ⇔p
b) De ∨ : (p∨p) ⇔p

9.- Leyes de De Morgan :

a) De ∧ : ∼ (p∧q) ⇔(∼ p∨∼q)

b) De ∨ : ∼ (p∨q) ⇔(∼ p∧∼q)

10.- a) Transitividad de ⇒ : [(p⇒q) ∧(q⇒r)] ⇒ (p⇒r)

b) Transitividad de ⇔ : [(p ⇔q) ∧(q ⇔r)] ⇒ (p ⇔r)

11.- Leyes de absorbencia :

a) p⇒(p∨q) b) (p∧T) ⇔ p c) (p∨C) ⇔ p d) (p∨∼p) ⇔ T

e) (p∧q) ⇒ p f) (p∨T) ⇔ T g) (∼ C) ⇔ T h) (p∧∼p) ⇔ C

i) (p∧q) ⇒ q j) (p∧C) ⇔ C k) (∼ T) ⇔ C

12.- Teorema Contrarreciproco : (p⇒q) ⇔ (∼ q⇒∼p)

13.- Reducción al Absurdo : (p⇒q) ⇔ [(∼ q∧p) ⇒C]

14.- Principios de demostración por casos :

a) [p⇒(q∧r)] ⇔ [(p⇒q) ∧(p ⇒r)]


b) [(p∨r) ⇒q] ⇔ [(p⇒q) ∧(r⇒q)]

15.- Leyes de composición del ⇒ :

a) [(p⇒q) ∧(r⇒s)] ⇒ [(p∨r) ⇒ (q∨s)]


b) [(p⇒q) ∧(r⇒s)] ⇒ [(p∧r) ⇒ (q∧s)]

16.- Modus ponens : [p∧(p⇒q)] ⇒ q

17.- Teoremas de reemplazo :

a) [(p⇔q) ∧(r⇔s)] ⇒ [(p⇒r) ⇔(q⇒s)]


b) [(p⇔q) ∧(r⇔s)] ⇒ [(p⇔r) ⇔(q⇔s)]
Ejercicios

1. Usando tabla de verdad, demuestre que

(p∧T) ⇔p; (p∨T) ⇔ T


Solución :

p T (p∧T) (p∨T) (p∧T) ⇔p (p∨T) ⇔ T

V V V V V V

F V F V V V

2. Usando tabla de verdad, demuestre que

(p⇔q) ⇔ (∼ p⇔∼ q)
Solución : Sea [(p⇔q) ⇔ (∼ p⇔∼ q)]= β

p q ∼p ∼q p⇔q (∼ p⇔∼ q β
)

V V F F V V V

V F F V F F V

F V V F F F V

F F V V V V V
3. Usando tabla de verdad, demuestre que

[ ( q ∨ r ) ∧ p] ⇔ [ ( q ∧ p ) ∨ ( r ∧ p ) ] , es tautología

Solución :

p q r ( q ∨ r) [ ( q ∨ r ) ∧ p] ( q ∧ p) ( r ∧ p) A∨ B C⇔D
C A B D

V V V V V V V V V
V V F V V V F V V
V F V V V F V V V
V F F F F F F F V
F V V V F F F F V
F V F V F F F F V
F F V V F F F F V
F F F F F F F F V

4. Utilice álgebra proposicional para determinar la veracidad o falsedad de


los siguientes argumentos:

a) “Por un lado, si 4 es par, entonces 3 no es divisor de 7. Por lo tanto, 5 no


es primo o 3 es divisor de 7. Además, 5 es primo. En consecuencia, 4 es
impar”

Solución:

Sean: p= “4 es par”
q= “3 es divisor de 7”
r= “5 es primo”

Por lo tanto el argumento será el siguiente:

[(p⇒∼q) ∧(∼ r ∨q) ∧r] ⇒∼ p

EE: [(p⇒∼q) ∧(∼ r ∨q) ∧r]


⇔ [((p⇒∼q) ∧(r ⇒q)) ∧r] /Def(⇒) , Asoc. ∧
⇔ [((p⇒∼q) ∧(∼ q ⇒∼r)) ∧r] /Contrarreciproco
⇔ [(p⇒∼r) ∧r] /Transitividad ⇒
⇔ [(r⇒∼p) ∧r] /Contrarreciproco
⇔ [r ∧(r⇒∼p)] /Conmutatividad ∧
⇔ ∼p /Modus Ponens

Por lo tanto, el argumento es válido.


b) “Juan se quedó en casa. Por otro lado, salir de casa es suficiente para
no recibir invitación al cine. Además, es necesario que Juan salga para
salvar su pololeo. Se deduce entonces que Juan terminó su pololeo”

Solución:

Sean: p= “Juan se quedó en casa”


q= “Recibir invitación al cine”
r= “Juan salva su pololeo”

Por lo tanto el argumento será el siguiente:

[p∧(∼ p ⇒∼q) ∧(r⇒∼p) ] ⇒∼ r

EE: [p∧(∼ p⇒∼q) ∧(r ⇒∼p)]


⇔ [p∧(r⇒∼p)] /Abs. p∧q ⇒p
⇔ [p∧(p⇒∼r)] /Contrarreciproco
⇔ ∼r /Modus Ponens

Q.E.D.

c) “Si a Priscila le gusta Alberto, entonces a Alberto no le gusta Luis. Además, a


Luis no le gusta Gabriel o a Alberto le gusta Luis. Pero además a Luis le gusta
Gabriel. Entonces a Priscilla no le gusta Alberto”

Solución:

Sean: p= “a Priscilla le gusta Alberto”


q= “a Alberto le gusta Luis”
r= “a Luis le gusta Gabriel”

Por lo tanto el argumento será el siguiente:

[(p ⇒∼q) ∧(∼ r∨q) ∧r] ⇒∼ p

EE: [(p ⇒∼q) ∧(∼ r∨q) ∧r]

⇔ [(p ⇒∼q) ∧(r ⇒q) ∧r] / Def(⇒)


⇔ [(p ⇒∼q) ∧(∼ q ⇒∼r) ∧r] /Contrarreciproco
⇔ [(p⇒∼r) ∧r] /Transitividad ⇒
⇔ [(∼ p∨∼r) ∧r] /Def(⇒)
⇔ [(∼ p∧r)∨(∼ r∧r) ] /Distri. ∧c/r a ∨por la derecha
⇔ [(∼ p∧r)∨C] /Abs. p∧∼p⇔C
⇔ (∼ p∧r) / Abs. p∨C ⇔p
⇔ ∼p / Abs. p∧q ⇔p

Q.E.D.
d) Analice la factibilidad de que las3 premisas siguientes ocurran
simultáneamente. Proceda por álgebra proposicional.
1) Si se hace ejercicio, entonces se debe comer mucho
2) Si se come mucho, entonces se engorda
3) Es posible hacer ejercicio y no engordar

Solución:

Sean: p= “Si se hace ejercicio”


q= “Si se come mucho”
r= “persona engorda”

Entonces Premisa 1: (p ⇒q)


Premisa 2: (q ⇒r)
Premisa 3: (p∧∼r)

Por lo cual, la proposición propuesta será la siguiente:

[(p ⇒q) ∧(q ⇒r) ∧(p∧∼r)]

⇔[(∼ p∨q) ∧(∼ q ∨r) ∧(p∧∼r)] /Def( ⇒)

⇔[(∼ p∨q) ∧((∼ q∧(p∧∼r))∨(r∧(p∧∼r))] /Asociatividad de ∧,


Distri. ∧c/r a ∨por la derecha

⇔[(∼ p∨q) ∧((∼ q∧(p∧∼r))∨C] /Conmut.∧, Asoc.∧,


Abs. p∧∼p⇔C,Abs. (p∧C) ⇔ C

⇔[(∼ p∨q) ∧(∼ q∧(p∧∼r)] /Abs. (p∨C) ⇔ p

⇔[∼ p∧((p∧∼r) ∧∼q ]∨[q ∧(∼ q∧(p∧∼r))] /Conmut.∧,


Distri. ∧c/r a ∨por la derecha

⇔[(∼ p∧p)∧(∼ r ∧∼q)]∨[(q ∧∼q)∧(p∧∼r)] /Asoc.∧

⇔[C∧(∼ r ∧∼q)]∨[C∧(p∧∼r)] /Abs. (p∧C) ⇔ C

⇔[C∨C] /Abs.

⇔C / Abs.

Por lo tanto, no es posible que las 3 premisas ocurran simultáneamente.