Está en la página 1de 47

March 21, 2021 1 / 38

Tema Nº1: Lógica Proposicional


Primera Parte

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 2 / 38


Motivación

Consideremos el siguiente argumento:

1. Mañana es martes o mañana es miércoles


2. Mañana no es miércoles
3. Por lo tanto, mañana es martes

¿De qué depende que el argumento sea válido?

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 3 / 38


Motivación

Consideremos verdaderas las siguientes afirmaciones:

1. Alex y Elizabeth ven siempre TV juntos.


2. Alex no está viendo la TV.
3. Elizabeth está viendo TV o la tı́a Carolina está en la cocina.
4. La tı́a Carolina está en la cocina o en su dormitorio.

¿La tı́a Carolina está o no en su dormitorio?

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 4 / 38


Lógica

Definición: La lógica es la rama del conocimiento que trata los


métodos de razonamiento mediante reglas y técnicas, con el fin de
determinar si un argumento es válido.

Cuando se plantea cualquier idea o teorı́a, cientı́fica o no, se hacen


afirmaciones en forma de frases y que tienen un sentido. Tales
afirmaciones, verbales o escritas, las denominaremos enunciados o
proposiciones.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 5 / 38


Lógica

Definición: Una proposición es un enunciado u oración declarativa


de la cual se puede afirmar que es verdadera o falsa, pero no ambas
cosas a la vez.

Definición: La veracidad o falsedad de una proposición es lo que se


llama su valor de verdad.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 6 / 38


Ejemplos:

1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38


Ejemplos:

1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .
5. a2 + b2 6= (a − b)2

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38


Ejemplos:

1. Hoy es lunes.
2. 3 + 5 = 8.
3. ¿Me puedes prestar un lápiz?
4. 1 es un número natural, pero −2 no lo es. .
5. a2 + b2 6= (a − b)2
6. 2x + 1 = x, con x ∈ R

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 7 / 38


Observación:
Las proposiciones se denotan con las letras minúsculas, p, q, r, t,
...

Ejemplos:

. p : 6 es un número primo.
. q : Si x es un número par, entonces 2x también lo es.
. r : A las 19:00 hrs iré al cine y a jugar LoL.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 8 / 38


Tipos de Proposiciones

Proposición Simple: son aquellas que no se pueden descomponer


en otras proposiciones mas sencillas.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 9 / 38


Tipos de Proposiciones

Proposición Compuesta: es la combinación de proposiciones


simples, las cuales se unen para formar una proposición.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 10 / 38


Conectivos Lógicos
Observación:
Cuando las proposiciones simples se unen para formar una
compuesta lo hacen a través de conectivos lógicos

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 11 / 38


Negación
La negación de una proposición es una nueva proposición que tiene
valor de verdad opuesto, es decir, si p es verdadera, la negación de
p es falsa. Se denota con ∼ p o ¬p y se lee “no p”. Ejemplos:

. p : Todas las rosas son rojas. La negación de esta proposición


es:
∼ p: No es verdad que todas las rosas sean rojas.
o simplemente:
∼ p: No todas las rosas son rojas.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 12 / 38


Conjunción

La conjunción es la proposición compuesta que resulta de conectar


dos proposiciones p y q mediante la conjunción (∧). Se denota con
p ∧ q y se lee “p y q”.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 13 / 38


Conjunción

La conjunción es la proposición compuesta que resulta de conectar


dos proposiciones p y q mediante la conjunción (∧). Se denota con
p ∧ q y se lee “p y q”.
Ejemplo: Consideremos las siguientes proposiciones:

p : Mañana es viernes
t : Hoy es jueves

La conjunción entre ambas proposiciones es:

p ∧ t : Mañana es viernes y hoy es jueves

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 13 / 38


Disyunción Inclusiva

La disyunción inclusiva es la proposición compuesta que resulta


de conectar dos proposiciones p y q mediante la disyunción inclusiva
(∨). Se denota con p ∨ q y se lee “p o q”.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 14 / 38


Disyunción Exclusiva
La disyunción exclusiva es la proposición compuesta que resulta
de conectar dos proposiciones p y q mediante la disyunción exclusiva
(Y). Se denota con p Y q y se lee “o p o q”, o “p o bien q”.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 15 / 38


Disyunción Exclusiva
La disyunción exclusiva es la proposición compuesta que resulta
de conectar dos proposiciones p y q mediante la disyunción exclusiva
(Y). Se denota con p Y q y se lee “o p o q”, o “p o bien q”.
Ejemplo: Consideremos las siguientes proposiciones:

t : Carlos va al cine
s : Luisa va a la fiesta en la playa

La disyunción exclusiva entre ambas proposiciones es:

t Y s: O Carlos va al cine o Luisa va a la fiesta en la playa


o también:
t Y s: Carlos va al cine, o bien Luisa va a la fiesta en la playa
Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 15 / 38
Condicional

La condicional es la proposición compuesta que resulta de


conectar dos proposiciones p y q mediante (→). Se denota por
p → q y se lee “si p, entonces q”

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 16 / 38


Condicional

Observación: En la condicional p → q, a p se le denomina


antecedente y a q consecuente. Además, existen otras formas de
leer esta condicional, por ejemplo:

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 17 / 38


Bicondicional

La bicondicional es la proposición compuesta que resulta de


conectar dos proposiciones p y q mediante la bicondicional (↔).
Se denota por p ↔ q y se lee “p si y sólo si q”

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 18 / 38


Bicondicional

La bicondicional es la proposición compuesta que resulta de


conectar dos proposiciones p y q mediante la bicondicional (↔).
Se denota por p ↔ q y se lee “p si y sólo si q”
Ejemplo: Consideremos las siguientes proposiciones:

q : El triángulo es equilátero
r : El triángulo es equiángulo

La bicondicional entre ambas proposiciones es:

q ↔ r: El triángulo es equilátero si y sólo si es equiángulo

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 18 / 38


Ejercicios

Determine el valor de verdad de cada una de las siguientes


proposiciones:
p : 5 + 4 = 9 o 6 − 7 = −4
q : No es verdad que 2 + 2 6= 4 y 3 + 3 = 6
t : Si 2 + 2 = 4, entonces no es verdad que 2 + 1 = 5 y 5 + 5 = 10

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 19 / 38


Tablas de Verdad

Definición: Se denomina tabla de verdad al arreglo que


nos permite tener todos los posibles valores de verdad de una
proposición compuesta a partir de los valores de verdad de las
proposiciones componentes.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 20 / 38


Tabla de Verdad de la Negación

La caracterı́stica fundamental de la negación es que es una


proposición cuyo valor de verdad es contrario al valor de verdad
de la proposición dada.

Sea p una proposición simple arbitraria, la tabla de verdad de la


negación está dada por:
p ∼p

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 21 / 38


Tabla de Verdad de la Conjunción

La caracterı́stica fundamental de la conjunción es que su valor de


verdad es verdadero sólo en el caso en que las proposiciones simples
que la forman tengan valor de verdad verdadero.

Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad


de la conjunción está dada por:
p q p∧q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 22 / 38


Tabla de Verdad de la Disyunción Inclusiva

La caracterı́stica fundamental de la disyunción inclusiva es que su


valor de verdad es falso sólo en el caso en que las dos proposiciones
simples que la forman tengan valor de verdad falso.

Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad


de la disyunción inclusiva está dada por:
p q p∨q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 23 / 38


Tabla de Verdad de la Disyunción Exclusiva

La caracterı́stica fundamental de la disyunción exclusiva es que su


valor de verdad es verdadero sólo cuando las proposiciones que la
componen tienen valores de verdad contrarios.

Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad


de la disyunción exclusiva está dada por:
p q pYq

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 24 / 38


Tabla de Verdad de la Condicional

La caracterı́stica fundamental de la condicional es que su valor de


verdad es falso sólo cuando el consecuente es falso y el antecedente
es verdadero.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 25 / 38


Tabla de Verdad de la Condicional

La caracterı́stica fundamental de la condicional es que su valor de


verdad es falso sólo cuando el consecuente es falso y el antecedente
es verdadero.

Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad


de la condicional está dada por:
p q p→q
V V V
V F F
F V V
F F V

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 25 / 38


Tabla de Verdad de la Bicondicional

La caracterı́stica fundamental de la bicondicional es que su valor de


verdad es verdadero sólo en los casos en que ambas proposiciones
simples tienen iguales valores de verdad.

Sean p y q dos proposiciones simples arbitrarias, la tabla de verdad


de la bicondicional está dada por:
p q p↔q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 26 / 38


Ejemplo:
1. Determine la tabla de verdad de la proposición (p ∧ q) ∧ r.
Luego, contesta las siguientes preguntas:
a. ¿En qué caso la proposición es verdadera?
b. ¿Qué sucede con el valor de verdad de la proposición
compuesta cuando cada una de las proposiciones simples
tienen diferentes valores de verdad?
2. Considere verdaderas cada una de las siguientes afirmaciones:
a. Pedro va al cine, o bien Lucia va al parque.
b. Pedro no va a ir al cine.
c. Lucia va al cine y Andrés está cursando Álgebra y
Trigonometrı́a.
d. Si Andrés no está cursando Álgebra y Trigonometrı́a, entonces
está en primer año.
¿Andrés está en primer año?

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 27 / 38


Ejercicios
1. Construya la tabla de verdad de cada una de las proposiciones
dadas.
a. ∼ (p ∧ q)
b. ∼ p ∨ ∼ q
c. (p → q) → [(p ∨ ∼ q) → (p ∧ q)]
2. Considere la siguiente proposición:

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

Indique cuál es el valor de verdad de esta proposición para


cada uno de los casos dados:
a. p es falso, q es falso y r es falso.
b. p es falso, q es falso y r es verdadero.
c. p es verdadero, q es verdadero y r es falso.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 28 / 38


Implicancias y Equivalencias Lógicas

Definición: Una tautologı́a es una proposición cuyo valor de


verdad es verdadero, independientemente de los valores de verdad
de las proposiciones que la componen.

Ejemplo: Considere la proposición compuesta (p ∧ q) ↔ (q ∧ p)

p q p∧q q∧p (p ∧ q) ↔ (q ∧ p)

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 29 / 38


Implicancias y Equivalencias Lógicas

Definición: Una contradicción es una proposición cuyo valor de


verdad es falso, independientemente de los valores de verdad de las
proposiciones que la forman.

Ejemplo: Considere la proposición compuesta (p∧q)∧(∼ p∧ ∼ q)

p q p∧q ∼p∧∼q (p ∧ q) ∧ (∼ p ∧ ∼ q)

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 30 / 38


Implicancias y Equivalencias Lógicas

Definición: Una contingencia es una proposición que toma valores


de verdad verdaderos en unos casos y falsos en otros, según los
valores de verdad de las proposiciones que la forman.

Ejemplo: Considere la proposición compuesta ∼ p ∨ q


p q ∼p ∼p∨q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 31 / 38


Implicancias y Equivalencias Lógicas

Sean p y q dos proposiciones cualesquiera,

I Diremos que p implica lógicamente q si la condicional p → q


es una tautologı́a y escribiremos p ⇒ q.
I Diremos que p y q son lógicamente equivalentes si la
bicondicional p ↔ q es una tautologı́a y escribiremos p ⇔ q.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 32 / 38


Propiedades
1. Doble negación: ∼ (∼ p) ⇔ p

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 33 / 38


Propiedades
1. Doble negación: ∼ (∼ p) ⇔ p
2. Conmutatividad de la conjunción: p ∧ q ⇔ q ∧ p
3. Conmutatividad de la disyunción: p ∨ q ⇔ q ∨ p
4. Asociatividad de la conjunción: (p ∧ q) ∧ t ⇔ p ∧ (q ∧ t)
5. Asociatividad de la disyunción: (p ∨ q) ∨ t ⇔ p ∨ (q ∨ t)
6. Asociatividad del bicondicional: (p ↔ q) ↔ t ⇔ p ↔ (q ↔ t)
7. Distributividad de la conjunción con respecto a la disyunción:

p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (p ∧ r)

8. Distributividad de la disyunción con respecto a la conjunción:

p ∨ (q ∧ r) ⇔ (p ∨ q) ∧ (p ∨ r)

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 33 / 38


Propiedades

9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38


Propiedades

9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q

10.1. p ∨ p ⇔ p
10. Idempotencia:
10.2. p ∧ p ⇔ p
11. p → q ⇔ ∼ p ∨ q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38


Propiedades

9.1. ∼ (p ∧ q) ⇔ ∼ p ∨ ∼ q
9. Leyes de De Morgan:
9.2. ∼ (p ∨ q) ⇔ ∼ p ∧ ∼ q

10.1. p ∨ p ⇔ p
10. Idempotencia:
10.2. p ∧ p ⇔ p
11. p → q ⇔ ∼ p ∨ q
12. p ↔ q ⇔ (p → q) ∧ (q → p)
13. p → q ⇔ ∼ q → ∼ p
14. p ⇒ p ∨ q
15. q ⇒ p ∨ q
16. p ∧ q ⇒ p
17. p ∧ q ⇒ q

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 34 / 38


Ejercicios

Demuestre utilizando las propiedades las siguientes equivalencias


lógicas
a. ∼ (p → q) ⇔ p ∧ ∼ q
b. ∼ (p ↔ q) ⇔ (p ∧ ∼ q) ∨ (q ∧ ∼ p)

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 35 / 38


Observación:
Si consideramos dos proposiciones p y q cualesquiera y hacemos
la condicional p → q podemos escribir tres condicionales más, las
cuales se denominan como sigue:

. Recı́proca: q → p
. Contrarrecı́proca: ∼ q → ∼ p
. Contraria: ∼ p → ∼ q

Podemos notar que la condicional original es lógicamente


equivalente a condicional contrarrecı́proca. Además, ocurre lo
mismo con las condicionales recı́proca y contraria.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 36 / 38


Función Proposicional y Cuantificadores
Definición: Una función proposicional es una expresión descrita
en función de algún o algunas variables que satisfacen lo siguiente:
cada vez que se reemplazan valores de las variables en la función
esta se transforma en una proposición.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 37 / 38


Función Proposicional y Cuantificadores
Definición: El conjunto de validez de una función proposicional
al conjunto de todos los valores de las variables para los cuales la
función es verdadera. Este se denota por:

Vp = {x, y, ... ∈ U : p(x, y, ..)}

donde U es el conjunto al cual pertenecen la o las variables.

Prof. Vı́ctor Aros Q. Lógica Proposicional March 21, 2021 38 / 38

También podría gustarte