Professional Documents
Culture Documents
Lógica proposicional
12 de marzo de 2018
No son proposiciones:
• ¿Qué hora es?
• Recoge tus cosas.
• 5x > 3x.
No son proposiciones:
• ¿Qué hora es?
• Recoge tus cosas.
• 5x > 3x.
No son proposiciones:
• ¿Qué hora es?
• Recoge tus cosas.
• 5x > 3x.
Un conectivo lógico es un operador que nos permite obtener nuevas proposiciones a partir
de otras dadas.
Denotemos por p a la proposición hoy es martes y por q, a la proposición los estudiantes
de la Facultad de Ingenierı́a tienen clase de IMU.
Los conectivos básicos son cinco: negación, conjunción, disyunción, condicional y
bicondicional.
• negación: no en castellano, se representa por ∼.
La proposición hoy no es martes es la negación de p y se representa mediante ∼ p.
• conjunción: y en castellano, se representa por ∧.
La proposición hoy no es martes y los estudiantes de la Facultad de Ingenierı́a tienen
clase de IMU es la conjunción de ∼ p y q y se representa mediante ∼ p ∧ q.
• disyunción: o en castellano, se representa por ∨.
La proposición hoy es martes o los estudiantes de la Facultad de Ingenierı́a no tienen
clase de IMU es la disyunción de p y ∼ q y se representa mediante p∨ ∼ q.
Un conectivo lógico es un operador que nos permite obtener nuevas proposiciones a partir
de otras dadas.
Denotemos por p a la proposición hoy es martes y por q, a la proposición los estudiantes
de la Facultad de Ingenierı́a tienen clase de IMU.
Los conectivos básicos son cinco: negación, conjunción, disyunción, condicional y
bicondicional.
• negación: no en castellano, se representa por ∼.
La proposición hoy no es martes es la negación de p y se representa mediante ∼ p.
• conjunción: y en castellano, se representa por ∧.
La proposición hoy no es martes y los estudiantes de la Facultad de Ingenierı́a tienen
clase de IMU es la conjunción de ∼ p y q y se representa mediante ∼ p ∧ q.
• disyunción: o en castellano, se representa por ∨.
La proposición hoy es martes o los estudiantes de la Facultad de Ingenierı́a no tienen
clase de IMU es la disyunción de p y ∼ q y se representa mediante p∨ ∼ q.
Un conectivo lógico es un operador que nos permite obtener nuevas proposiciones a partir
de otras dadas.
Denotemos por p a la proposición hoy es martes y por q, a la proposición los estudiantes
de la Facultad de Ingenierı́a tienen clase de IMU.
Los conectivos básicos son cinco: negación, conjunción, disyunción, condicional y
bicondicional.
• negación: no en castellano, se representa por ∼.
La proposición hoy no es martes es la negación de p y se representa mediante ∼ p.
• conjunción: y en castellano, se representa por ∧.
La proposición hoy no es martes y los estudiantes de la Facultad de Ingenierı́a tienen
clase de IMU es la conjunción de ∼ p y q y se representa mediante ∼ p ∧ q.
• disyunción: o en castellano, se representa por ∨.
La proposición hoy es martes o los estudiantes de la Facultad de Ingenierı́a no tienen
clase de IMU es la disyunción de p y ∼ q y se representa mediante p∨ ∼ q.
Un conectivo lógico es un operador que nos permite obtener nuevas proposiciones a partir
de otras dadas.
Denotemos por p a la proposición hoy es martes y por q, a la proposición los estudiantes
de la Facultad de Ingenierı́a tienen clase de IMU.
Los conectivos básicos son cinco: negación, conjunción, disyunción, condicional y
bicondicional.
• negación: no en castellano, se representa por ∼.
La proposición hoy no es martes es la negación de p y se representa mediante ∼ p.
• conjunción: y en castellano, se representa por ∧.
La proposición hoy no es martes y los estudiantes de la Facultad de Ingenierı́a tienen
clase de IMU es la conjunción de ∼ p y q y se representa mediante ∼ p ∧ q.
• disyunción: o en castellano, se representa por ∨.
La proposición hoy es martes o los estudiantes de la Facultad de Ingenierı́a no tienen
clase de IMU es la disyunción de p y ∼ q y se representa mediante p∨ ∼ q.
p q p∨q p q p∧q
p ∼p V V V V V V
V F V F V V F F
F V F V V F V F
F F F F F F
p q p∨q p q p∧q
p ∼p V V V V V V
V F V F V V F F
F V F V V F V F
F F F F F F
p q p→q p q p↔q
V V V V V V
V F F V F F
F V V F V F
F F V F F V
p q p∧q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
p q p∧q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
p q p∧q (p ∧ q) → p
V V V V
V F F V
F V F V
F F F V
p q ∼p ∼p∨q p→q (∼ p ∨ q) ↔ (p → q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
p q ∼p ∼p∨q p→q (∼ p ∨ q) ↔ (p → q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
p q ∼p ∼p∨q p→q (∼ p ∨ q) ↔ (p → q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V
• ∼ (∼ p) ⇔ p (doble negación),
• p∧q ⇔ q∧p (conmutatividad de ∧),
• p∨q ⇔ q∨p (conmutatividad de ∨),
• p↔q ⇔ q↔p (conmutatividad de ↔),
• p ∨ (q ∨ r ) ⇔ (p ∨ q) ∨ r (asociatividad de ∨),
• p ∧ (q ∧ r ) ⇔ (p ∧ q) ∧ r (asociatividad de ∧),
• p ↔ (q ↔ r ) ⇔ (p ↔ q) ↔ r (asociatividad de ↔),
• p ∧ (q ∨ r ) ⇔ (p ∧ q) ∨ (p ∧ r ) (distributividad de ∧ con respecto a ∨),
• p ∨ (q ∧ r ) ⇔ (p ∨ q) ∧ (p ∨ r ) (distributividad de ∨ con respecto a ∧),
• ∼ (p ∧ q) ⇔ ∼p ∨∼q (Ley de De Morgan para ∧),
• ∼ (p ∨ q) ⇔ ∼p ∧∼q (Ley de De Morgan para ∨),
• p→q ⇔ ∼ p ∨ q,
• p↔q ⇔ (p → q) ∧ (q → p).
Se llama función proposicional (o enunciado abierto) a una expresión que contiene una o
más variables y que se convierte en una proposición lógica cuando se le asignan valores
especı́ficos a dichas variables.
Las funciones proposicionales las denotaremos con letras minúsculas seguidas de los
nombres de las variables de las cuales dependen separados por comas y encerrados entre
paréntesis.
Por ejemplo, 3x > 5x es una función proposicional que depende sólo de x y puede
denotarse por p(x).
x 2 + y 2 = 1 es una función proposicional que depende de x y de y y puede denotarse por
q(x, y ).
Se llama función proposicional (o enunciado abierto) a una expresión que contiene una o
más variables y que se convierte en una proposición lógica cuando se le asignan valores
especı́ficos a dichas variables.
Las funciones proposicionales las denotaremos con letras minúsculas seguidas de los
nombres de las variables de las cuales dependen separados por comas y encerrados entre
paréntesis.
Por ejemplo, 3x > 5x es una función proposicional que depende sólo de x y puede
denotarse por p(x).
x 2 + y 2 = 1 es una función proposicional que depende de x y de y y puede denotarse por
q(x, y ).
Se llama función proposicional (o enunciado abierto) a una expresión que contiene una o
más variables y que se convierte en una proposición lógica cuando se le asignan valores
especı́ficos a dichas variables.
Las funciones proposicionales las denotaremos con letras minúsculas seguidas de los
nombres de las variables de las cuales dependen separados por comas y encerrados entre
paréntesis.
Por ejemplo, 3x > 5x es una función proposicional que depende sólo de x y puede
denotarse por p(x).
x 2 + y 2 = 1 es una función proposicional que depende de x y de y y puede denotarse por
q(x, y ).
Se llama función proposicional (o enunciado abierto) a una expresión que contiene una o
más variables y que se convierte en una proposición lógica cuando se le asignan valores
especı́ficos a dichas variables.
Las funciones proposicionales las denotaremos con letras minúsculas seguidas de los
nombres de las variables de las cuales dependen separados por comas y encerrados entre
paréntesis.
Por ejemplo, 3x > 5x es una función proposicional que depende sólo de x y puede
denotarse por p(x).
x 2 + y 2 = 1 es una función proposicional que depende de x y de y y puede denotarse por
q(x, y ).
Para indicar que una función proposicional es verdadera para cualquier elemento de un
determinado conjunto U se usa el sı́mbolo ∀, el cual se llama cuantificador universal.
∀ x ∈ U : p(x) se lee para todo elemento x de U se cumple p(x).
Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
son F.
Para indicar que una función proposicional es verdadera para cualquier elemento de un
determinado conjunto U se usa el sı́mbolo ∀, el cual se llama cuantificador universal.
∀ x ∈ U : p(x) se lee para todo elemento x de U se cumple p(x).
Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
son F.
Para indicar que una función proposicional es verdadera para cualquier elemento de un
determinado conjunto U se usa el sı́mbolo ∀, el cual se llama cuantificador universal.
∀ x ∈ U : p(x) se lee para todo elemento x de U se cumple p(x).
Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
son F.
Para indicar que una función proposicional es verdadera para cualquier elemento de un
determinado conjunto U se usa el sı́mbolo ∀, el cual se llama cuantificador universal.
∀ x ∈ U : p(x) se lee para todo elemento x de U se cumple p(x).
Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
son F.
Para indicar que una función proposicional es verdadera para algunos elementos de un
determinado conjunto U se usa el sı́mbolo ∃, el cual se llama cuantificador existencial.
∃ x ∈ U : p(x) se lee existe al menos un elemento x de U para el cual se cumple
p(x). Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
∃ x ∈ ] − 1, 0[ : p(x) y ∃ x ∈ ] − 1, 0] : p(x)
son verdaderas.
Las proposiciones
son falsas.
Para indicar que una función proposicional es verdadera para algunos elementos de un
determinado conjunto U se usa el sı́mbolo ∃, el cual se llama cuantificador existencial.
∃ x ∈ U : p(x) se lee existe al menos un elemento x de U para el cual se cumple
p(x). Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
∃ x ∈ ] − 1, 0[ : p(x) y ∃ x ∈ ] − 1, 0] : p(x)
son verdaderas.
Las proposiciones
son falsas.
Para indicar que una función proposicional es verdadera para algunos elementos de un
determinado conjunto U se usa el sı́mbolo ∃, el cual se llama cuantificador existencial.
∃ x ∈ U : p(x) se lee existe al menos un elemento x de U para el cual se cumple
p(x). Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
∃ x ∈ ] − 1, 0[ : p(x) y ∃ x ∈ ] − 1, 0] : p(x)
son verdaderas.
Las proposiciones
son falsas.
Para indicar que una función proposicional es verdadera para algunos elementos de un
determinado conjunto U se usa el sı́mbolo ∃, el cual se llama cuantificador existencial.
∃ x ∈ U : p(x) se lee existe al menos un elemento x de U para el cual se cumple
p(x). Por ejemplo, si p(x) es la función proposicional 3x > 5x las proposiciones
∃ x ∈ ] − 1, 0[ : p(x) y ∃ x ∈ ] − 1, 0] : p(x)
son verdaderas.
Las proposiciones
son falsas.
La negación de
es
Es decir,
∼ (∀ x ∈ U : p(x)) ⇔ ∃ x ∈ U : ∼ p(x).
La negación de
es
Es decir,
∼ (∃ x ∈ U : p(x)) ⇔ ∀ x ∈ U : ∼ p(x).
se cumple que
∼ (∃ ! x ∈ U : p(x)) ⇔ ∼ (s) .
s es una conjunción y, según la ley de Morgan para ∧,
Por tanto,