You are on page 1of 170

Lógica Proposicional

Juan Carlos Damián Sandoval


Universidad San Martin de Porres

13 Marzo del 2017

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 1 / 29


Contenido

1 Lógica Proposicional

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 2 / 29


Lógica
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. El tema que nos ocupa es el de la lógica
usada en matemática. Aquí trabajamos con elementos básicos
llamados proposiciones.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”
2. “ Buenos días”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”
2. “ Buenos días”
3. ¿ Por qué estoy estudiando Medicina Humana?

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”
2. “ Buenos días”
3. ¿ Por qué estoy estudiando Medicina Humana?
4. ¡ No fume!

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”
2. “ Buenos días”
3. ¿ Por qué estoy estudiando Medicina Humana?
4. ¡ No fume!
5. “Hace mucha calor”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado

Enunciado
Es toda frase u oración que se emite.
Algunos enunciados indican expresiones imperativas, exclamativas,
interrogativas, otros en cambio pueden ser verdaderos o falsos.

Ejemplo
1. “Recoge ese papel”
2. “ Buenos días”
3. ¿ Por qué estoy estudiando Medicina Humana?
4. ¡ No fume!
5. “Hace mucha calor”
6. Carlos es Doctor.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 3 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo
1. x − y = 5

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo
1. x − y = 5
2. x + y > 9

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo
1. x − y = 5
2. x + y > 9
3. x + 3 = 12

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Enunciado Abierto

Enunciado Abierto
Son expresiones que contienen variables y que no tienen la propiedad
de ser verdaderos o falsos.

Ejemplo
1. x −y =5
2. x +y >9
3. x + 3 = 12
4. El estudia en la USMP.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 4 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.
2. Carlos estudia Medicina en la USMP.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.
2. Carlos estudia Medicina en la USMP.
3. Si estudio matemática, entonces aprobaré el examen.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.
2. Carlos estudia Medicina en la USMP.
3. Si estudio matemática, entonces aprobaré el examen.
4. No vi la película pero leí la novela.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.
2. Carlos estudia Medicina en la USMP.
3. Si estudio matemática, entonces aprobaré el examen.
4. No vi la película pero leí la novela.
5. 11 es un número primo.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29


Proposición

Proposición
Una proposición es un enunciado u oración declarativa de la cual se
puede afirmar que es falsa o verdadera, pero no ambas cosas a la vez.

Ejemplo
1. 6 + 4 < 15.
2. Carlos estudia Medicina en la USMP.
3. Si estudio matemática, entonces aprobaré el examen.
4. No vi la película pero leí la novela.
5. 11 es un número primo.

Notación
Generalmente a las proposiciones se les denota con las letras
minúsculas tales como p,q,r,s,t. . . alas que les denomina variables
proposicionales.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 5 / 29
Proposición

Valor de Verdad
La veracidad o falsedad de una proposición es lo que se llama su valor
de verdad.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 6 / 29


Proposición

Valor de Verdad
La veracidad o falsedad de una proposición es lo que se llama su valor
de verdad.

Ejemplo
La expresión 2 + 5 = 7 que se lee dos mas cinco es igual a siete, es
una proposición con valor de verdad verdadero, ya que en el sistema
numérico decimal (que usa el número 10 como referencia) se conoce
con certeza que 2 + 5 = 7.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 6 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.
2. Ariana tiene 15 años.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.
2. Ariana tiene 15 años.
3. Tres es un número impar.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.
2. Ariana tiene 15 años.
3. Tres es un número impar.
4. El sol brilla todo el día.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.
2. Ariana tiene 15 años.
3. Tres es un número impar.
4. El sol brilla todo el día.
5. Lima es capital del Perú.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Simples
Las proposiciones simples, llamadas también proposiciones atómicas
o elementales, son aquellas expresiones que tiene un solo sujeto y
un solo predicado.

Ejemplo
1. Todos los hombres son mortales.
2. Ariana tiene 15 años.
3. Tres es un número impar.
4. El sol brilla todo el día.
5. Lima es capital del Perú.
6. Ramón Castilla fue Presidente del Perú.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 7 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo
1. Si está lloviendo, entonces hay nubes en el cielo.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo
1. Si está lloviendo, entonces hay nubes en el cielo.
2. Si estudio matemática, entonces aprobaré el examen

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo
1. Si está lloviendo, entonces hay nubes en el cielo.
2. Si estudio matemática, entonces aprobaré el examen
3. Luis esta en Lima estudiando y trabajando.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo
1. Si está lloviendo, entonces hay nubes en el cielo.
2. Si estudio matemática, entonces aprobaré el examen
3. Luis esta en Lima estudiando y trabajando.
4. 4 es mayor que 2, entonces 42 es mayor que 22 .

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Clases de Proposiciones

Proposiciones Compuestas
Las proposiciones compuestas llamadas también proposiciones
moleculares son aquella que están constituidas por dos o mas
proposiciones simples.

Ejemplo
1. Si está lloviendo, entonces hay nubes en el cielo.
2. Si estudio matemática, entonces aprobaré el examen
3. Luis esta en Lima estudiando y trabajando.
4. 4 es mayor que 2, entonces 42 es mayor que 22 .
5. Si tengo sueño de día, entonces estoy cansado o me faltan
vitaminas.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 8 / 29


Conectivos Lógicos

Conectivos Lógicos
Son expresiones que enlazan dos o mas proposiciones. Entre estas, se
tiene: “y ”, “o”,“si...entonces”,“si y solo si”,“no”,etc.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 9 / 29


Conectivos Lógicos

Conectivos Lógicos
Son expresiones que enlazan dos o mas proposiciones. Entre estas, se
tiene: “y ”, “o”,“si...entonces”,“si y solo si”,“no”,etc.

Tabulación
DENOMINACÓN SIGNIFICADO OPERADOR
Conjunción y ∧
Disyunción Débil o Inclusiva o ∨
Disyunción Fuerte o Exclusiva o. . . o Y o por ∆
Condicional Si,. . . ,entonces →
Bicondicional Si y solo si ↔
Negación No; no es cierto ∼

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 9 / 29


Tablas de Verdad

La validez de estos conectivos pueden representarse en tablas de


verdad.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 10 / 29


Tablas de Verdad

La validez de estos conectivos pueden representarse en tablas de


verdad.

Observación
Si tenemos k−proposiciones p1 , p2 , p3 , . . . , pk habrán 2k
combinaciones de valores.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 10 / 29


OPERACIONES PROPOSICIONALES

Conjunción
La conjunción de las proposiciones p y q, denotada por p ∧ q, que se
lee “p y q” es la proposición definida por la siguiente tabla de
valores.

p q p∧q
V V V
V F F
F V F
F F F

Es importante tener presente que en el lenguaje común se utilizan las


palabras “pero”, “sin embargo”, “mas aún”, “además”,etc. con
significado equivalente al de la palabra ∧.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 11 / 29
Disyunción Inclusiva
La disyunción de las proposiciones p y q, denotada por p ∨ q, que se
lee “p o q” es la proposición definida por la siguiente tabla de
valores.

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

Relaciona dos o más proposiciones con la palabra “O”; que es


denotada por “ ∨ ”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 12 / 29


Disyunción Inclusiva
La disyunción de las proposiciones p y q, denotada por p ∨ q, que se
lee “p o q” es la proposición definida por la siguiente tabla de
valores.

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

Relaciona dos o más proposiciones con la palabra “O”; que es


denotada por “ ∨ ”

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 12 / 29


Disyunción Inclusiva
La disyunción de las proposiciones p y q, denotada por p ∨ q, que se
lee “p o q” es la proposición definida por la siguiente tabla de
valores.

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

Relaciona dos o más proposiciones con la palabra “O”; que es


denotada por “ ∨ ”

Ejemplo
1. Carlos estudió alemán en un instituto o vivió en Alemania.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 12 / 29


Disyunción Inclusiva
La disyunción de las proposiciones p y q, denotada por p ∨ q, que se
lee “p o q” es la proposición definida por la siguiente tabla de
valores.

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

Relaciona dos o más proposiciones con la palabra “O”; que es


denotada por “ ∨ ”

Ejemplo
1. Carlos estudió alemán en un instituto o vivió en Alemania.
2. Vendrá Marcos o vendrá Luciana.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 12 / 29
Disyunción Exclusiva
La disyunción exclusiva o fuerte de las proposiciones p y q, denotada
por p∆q, que se lee “p o q pero no ambos” es la proposición
definida por la siguiente tabla de valores.

p q p∆q
V V F
V F V
F V V
F F F

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 13 / 29


Disyunción Exclusiva
La disyunción exclusiva o fuerte de las proposiciones p y q, denotada
por p∆q, que se lee “p o q pero no ambos” es la proposición
definida por la siguiente tabla de valores.

p q p∆q
V V F
V F V
F V V
F F F

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 13 / 29


Disyunción Exclusiva
La disyunción exclusiva o fuerte de las proposiciones p y q, denotada
por p∆q, que se lee “p o q pero no ambos” es la proposición
definida por la siguiente tabla de valores.

p q p∆q
V V F
V F V
F V V
F F F

Ejemplo
1. cinco en un número par o impar.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 13 / 29


Disyunción Exclusiva
La disyunción exclusiva o fuerte de las proposiciones p y q, denotada
por p∆q, que se lee “p o q pero no ambos” es la proposición
definida por la siguiente tabla de valores.

p q p∆q
V V F
V F V
F V V
F F F

Ejemplo
1. cinco en un número par o impar.
2. Viajamos a Lima o viajamos a chiclayo.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 13 / 29


Disyunción Exclusiva
La disyunción exclusiva o fuerte de las proposiciones p y q, denotada
por p∆q, que se lee “p o q pero no ambos” es la proposición
definida por la siguiente tabla de valores.

p q p∆q
V V F
V F V
F V V
F F F

Ejemplo
1. cinco en un número par o impar.
2. Viajamos a Lima o viajamos a chiclayo.
3. O hoy es lunes o hoy es miércoles.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 13 / 29


Condicional
La condicional de las proposiciones p y q, denotada por p → q, que
se lee “Si p, entonces q” es la proposición definida por la
siguiente tabla de valores.

p q p→q
V V V
V F F
F V V
F F V

En toda proposición condicional, p → q, la proposición p se denomina


antecedente y la proposición q, consecuente de la condición.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 14 / 29


Condicional
La condicional de las proposiciones p y q, denotada por p → q, que
se lee “Si p, entonces q” es la proposición definida por la
siguiente tabla de valores.

p q p→q
V V V
V F F
F V V
F F V

En toda proposición condicional, p → q, la proposición p se denomina


antecedente y la proposición q, consecuente de la condición.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 14 / 29


Condicional
La condicional de las proposiciones p y q, denotada por p → q, que
se lee “Si p, entonces q” es la proposición definida por la
siguiente tabla de valores.

p q p→q
V V V
V F F
F V V
F F V

En toda proposición condicional, p → q, la proposición p se denomina


antecedente y la proposición q, consecuente de la condición.

Ejemplo
1. Si no hay nubes en el cielo, entonces el Sol esta brillando.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 14 / 29


Condicional
La condicional de las proposiciones p y q, denotada por p → q, que
se lee “Si p, entonces q” es la proposición definida por la
siguiente tabla de valores.

p q p→q
V V V
V F F
F V V
F F V

En toda proposición condicional, p → q, la proposición p se denomina


antecedente y la proposición q, consecuente de la condición.

Ejemplo
1. Si no hay nubes en el cielo, entonces el Sol esta brillando.
2. Si n es un número entero, entonces 2n es un número par.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 14 / 29
Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

Ejemplo
1. El triángulo ABC es isósceles, si es equilátero.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

Ejemplo
1. El triángulo ABC es isósceles, si es equilátero.
2. Arturo no viajó a Europa por que perdió sus documentos.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

Ejemplo
1. El triángulo ABC es isósceles, si es equilátero.
2. Arturo no viajó a Europa por que perdió sus documentos.
3. Si ahorro mucho dinero entonces podré comprar un Auto.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Condicional

Condicional
También son conectivos condicionales los
términos:“por que ",“puesto que”,“ya que”,“Si”,“cuando”,“cada
vez que”,“siempre que” etc.Todas se caracterizan por que después
de cada uno de estos conectivos está el antecedente.

Ejemplo
1. El triángulo ABC es isósceles, si es equilátero.
2. Arturo no viajó a Europa por que perdió sus documentos.
3. Si ahorro mucho dinero entonces podré comprar un Auto.
4. 15 es múltiplo de 3 puesto que 15 es un número impar.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 15 / 29


Bicondicional

Bicondicional
La bicondicional de las proposiciones p y q, denotada por p ↔ q, que
se lee “p si y sólo si q” es la proposición definida por la
siguiente tabla de valores.

p q p↔q
V V V
V F F
F V F
F F V

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 16 / 29


Bicondicional

Bicondicional
La bicondicional de las proposiciones p y q, denotada por p ↔ q, que
se lee “p si y sólo si q” es la proposición definida por la
siguiente tabla de valores.

p q p↔q
V V V
V F F
F V F
F F V

Ejemplo
Fernando comprará un automóvil si y sólo si obtiene un préstamo del
Banco.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 16 / 29
Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 17 / 29


Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 17 / 29


Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

Ejemplo
1. Carlos estudia matemáticas.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 17 / 29


Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

Ejemplo
1. Carlos estudia matemáticas.
2. Carlos no estudia matemáticas.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 17 / 29


Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

Ejemplo
1. Carlos estudia matemáticas.
2. Carlos no estudia matemáticas.
3. Es falso que carlos estudia matemáticas.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 17 / 29
Negación

Negación
La negación de una proposición p, denotada por ∼ p, que se lee
“no p” “no es cierto que p” se define mediante la tabla de valores.
p ∼p
V F
F V

Es decir si p es verdadero,entonces ∼ p es falsa; si p es falsa, ∼ p es


verdadera.

Ejemplo
1. Carlos estudia matemáticas.
2. Carlos no estudia matemáticas.
3. Es falso que carlos estudia matemáticas.
4.J.C.Damián
No es. Scierto
(USMP) que Carlos no
Lógicaestudia
Proposicionalmatemáticas. 13 Marzo del 2017 17 / 29
EVALUACIÓN DE ESQUEMAS MOLECULARES

PROCEDIMIENTO

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 18 / 29


EVALUACIÓN DE ESQUEMAS MOLECULARES

PROCEDIMIENTO
1. Se asigna a cada variable el número de valores de verdad
aplicando la fórmula; 2n donde n es el número de proposiciones

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 18 / 29


EVALUACIÓN DE ESQUEMAS MOLECULARES

PROCEDIMIENTO
1. Se asigna a cada variable el número de valores de verdad
aplicando la fórmula; 2n donde n es el número de proposiciones
2. Se construyen las columnas de referencia al margen izquierdo del
esquema con todas las posibilidades de V y F .

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 18 / 29


EVALUACIÓN DE ESQUEMAS MOLECULARES

PROCEDIMIENTO
1. Se asigna a cada variable el número de valores de verdad
aplicando la fórmula; 2n donde n es el número de proposiciones
2. Se construyen las columnas de referencia al margen izquierdo del
esquema con todas las posibilidades de V y F .
3. Se procede al aplicar la regla de cada uno de los operadores,
empezando por el de menor alcance y terminando con el de
mayor jerarquía.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 18 / 29


Esquema Molecular es una:

Tautología
Si todos los valores de verdad del conectivo de mayor jerarquía son
verdaderos.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 19 / 29


Esquema Molecular es una:

Tautología
Si todos los valores de verdad del conectivo de mayor jerarquía son
verdaderos.

Contradiccíon
Si todos los valores de verdad del conectivo de mayor jerarquía son
falsos.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 19 / 29


Esquema Molecular es una:

Tautología
Si todos los valores de verdad del conectivo de mayor jerarquía son
verdaderos.

Contradiccíon
Si todos los valores de verdad del conectivo de mayor jerarquía son
falsos.

Contingencia
Cuando su resultado hay por lo menos una verdad y una falsedad.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 19 / 29


Esquema Molecular es una:

Tautología
Si todos los valores de verdad del conectivo de mayor jerarquía son
verdaderos.

Contradiccíon
Si todos los valores de verdad del conectivo de mayor jerarquía son
falsos.

Contingencia
Cuando su resultado hay por lo menos una verdad y una falsedad.

Ejemplo
a) p → (p ∨ q) b) (p ∧ q)∧ ∼ q c) (p ∨ q) →∼ p
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 19 / 29
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 20 / 29
Ejemplo
Estable si el esquema molecular dado es una Tautología,
contradicción o contingencia.

∼ (p ∧ q) ↔ (∼ p∨ ∼ q)

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 20 / 29


Ejemplo
Estable si el esquema molecular dado es una Tautología,
contradicción o contingencia.

∼ (p ∧ q) ↔ (∼ p∨ ∼ q)

Solución:

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 20 / 29


Ejemplo
Estable si el esquema molecular dado es una Tautología,
contradicción o contingencia.

∼ (p ∧ q) ↔ (∼ p∨ ∼ q)

Solución:
Números de valores de verdad 22 = 4

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 20 / 29


Ejemplo
Estable si el esquema molecular dado es una Tautología,
contradicción o contingencia.

∼ (p ∧ q) ↔ (∼ p∨ ∼ q)

Solución:
Números de valores de verdad 22 = 4

p q ∼ (p ∧ q) ↔ (∼ p∨ ∼ q)
V V F V V F F F
V F V F V F V V
F V V F V V V F
F F V F V V V V
Notamos que el esquema molecular es una Tautología.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 20 / 29


CUANTIFICADORES

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional
La función proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresión que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposición.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional
La función proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresión que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposición.

Ejemplo

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional
La función proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresión que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposición.

Ejemplo
p(x ) : x + 7 > 12, es un enunciado abierto

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional
La función proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresión que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposición.

Ejemplo
p(x ) : x + 7 > 12, es un enunciado abierto
p(4) : 4 + 7 > 12, es una proposición falsa.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


CUANTIFICADORES

Función Proposicional
La función proposicional es un enunciado abierto de la forma p(x ), es
decir, se trata de una expresión que contiene alguna variable que al
ser sustituida por un valor particular se convierte en proposición.

Ejemplo
p(x ) : x + 7 > 12, es un enunciado abierto
p(4) : 4 + 7 > 12, es una proposición falsa.
p(6) : 6 + 7 > 12, es una proposición verdadera.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 21 / 29


J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29
Cuantificadores

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal
Representado por ∀ se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada función proposicional.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal
Representado por ∀ se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada función proposicional.
De:∀x ∈ A : “se lee: Para todo x que pertenece al conjunto A se
cumple que”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal
Representado por ∀ se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada función proposicional.
De:∀x ∈ A : “se lee: Para todo x que pertenece al conjunto A se
cumple que”

Cuantificador Existencial

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal
Representado por ∀ se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada función proposicional.
De:∀x ∈ A : “se lee: Para todo x que pertenece al conjunto A se
cumple que”

Cuantificador Existencial
Representado por ∃, se usa para indicar que al menos un elemento de
un conjunto cumple con determinada función proposicional.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29


Cuantificadores
Los cuantificadores sirven para transformar un enunciado abierto o
función proposicional en una proposición para lo cual su misión es
indicar cuantos elementos de un conjunto dado, cumplen con cierta
función proposicional.

Cuantificador Universal
Representado por ∀ se emplea para afirmar que todos los elementos
de un conjunto dado, cumplen con determinada función proposicional.
De:∀x ∈ A : “se lee: Para todo x que pertenece al conjunto A se
cumple que”

Cuantificador Existencial
Representado por ∃, se usa para indicar que al menos un elemento de
un conjunto cumple con determinada función proposicional.
De:∃x ∈ A/ “se lee: Existe algún x que pertenece al conjunto A tal
que se cumple que”
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 22 / 29
Negación de los Cuantificadores

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29


Negación de los Cuantificadores

∼ [∃x ∈ A/p(x )] ≡ ∀x ∈ A :∼ p(x ) “la negación de una existencia


da un universal”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29


Negación de los Cuantificadores

∼ [∃x ∈ A/p(x )] ≡ ∀x ∈ A :∼ p(x ) “la negación de una existencia


da un universal”

∼ [∀x ∈ A : p(x )] ≡ ∃x ∈ A/ ∼ p(x ) “la negación de un universal da


un existencial”

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29


Negación de los Cuantificadores

∼ [∃x ∈ A/p(x )] ≡ ∀x ∈ A :∼ p(x ) “la negación de una existencia


da un universal”

∼ [∀x ∈ A : p(x )] ≡ ∃x ∈ A/ ∼ p(x ) “la negación de un universal da


un existencial”

Observación

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29


Negación de los Cuantificadores

∼ [∃x ∈ A/p(x )] ≡ ∀x ∈ A :∼ p(x ) “la negación de una existencia


da un universal”

∼ [∀x ∈ A : p(x )] ≡ ∃x ∈ A/ ∼ p(x ) “la negación de un universal da


un existencial”

Observación
En general, la proposición universal ∀x ∈ A : p(x ) es verdadera si la
propiedad p(x ) lo es, es decir, si cumple con cada uno de los
elementos A y es falso si hay al menos un elemento de A que no
cumple la propiedad p(x ).

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29


Negación de los Cuantificadores

∼ [∃x ∈ A/p(x )] ≡ ∀x ∈ A :∼ p(x ) “la negación de una existencia


da un universal”

∼ [∀x ∈ A : p(x )] ≡ ∃x ∈ A/ ∼ p(x ) “la negación de un universal da


un existencial”

Observación
En general, la proposición universal ∀x ∈ A : p(x ) es verdadera si la
propiedad p(x ) lo es, es decir, si cumple con cada uno de los
elementos A y es falso si hay al menos un elemento de A que no
cumple la propiedad p(x ).
En general, la proposición existencial ∃x ∈ A : p(x ) es verdadera si
en A hay al menos un elemento x que cumple p(x ), y es falsa si
ningún elemento de A cumple con p(x ), esto es todo elemento de A
no cumple p(x ).
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 23 / 29
EJERCICIOS

1. Simbolizar las siguientes proposiciones

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.
7. Serás profesional si y solo si estudias.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.
7. Serás profesional si y solo si estudias.
2. Si el esquema molecular (P →∼ q) ∨ (∼ r → s) es falso,
determine el valor de verdad de:

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.
7. Serás profesional si y solo si estudias.
2. Si el esquema molecular (P →∼ q) ∨ (∼ r → s) es falso,
determine el valor de verdad de:
1. (∼ p∧ ∼ q)∨ ∼ q

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.
7. Serás profesional si y solo si estudias.
2. Si el esquema molecular (P →∼ q) ∨ (∼ r → s) es falso,
determine el valor de verdad de:
1. (∼ p∧ ∼ q)∨ ∼ q
2. [(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r ) ∧ s]

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

1. Simbolizar las siguientes proposiciones


1. Mario es Ingeniero o no es comerciante.
2. Luis sabe operar bien, sin embargo no es matemático.
3. O Carlos va a trabajar en moto o en auto.
4. Si trabajas entonces tendrás dinero.
5. Martin es peruano pero no conoce lima.
6. Einstein era Peruano o Judío.
7. Serás profesional si y solo si estudias.
2. Si el esquema molecular (P →∼ q) ∨ (∼ r → s) es falso,
determine el valor de verdad de:
1. (∼ p∧ ∼ q)∨ ∼ q
2. [(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r ) ∧ s]
3. (p → r ) → [(p ∨ q)∧ ∼ q]

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 24 / 29


EJERCICIOS

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)
3) [(p ∨ q) ∧ r ] → (∼ q ∧ p)

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)
3) [(p ∨ q) ∧ r ] → (∼ q ∧ p)
4) [(∼ p ∧ q) →∼ r ] ↔ [r ∧ ∼ (p∨ ∼ q)]

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

3. Si el esquema molecular (∼ p ∧ q) → (∼ s ∨ r ) es falso,


determine el valor de verdad de:

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

3. Evaluar los siguientes esquemas moleculares, especificando su


resultado y decir si es una tautología, contradicción o
contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)
3) [(p ∨ q) ∧ r ] → (∼ q ∧ p)
4) [(∼ p ∧ q) →∼ r ] ↔ [r ∧ ∼ (p∨ ∼ q)]
5) [(p ∨ q) ↔ (∼ q∧ ∼ p)] ∨ p

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 25 / 29


EJERCICIOS

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥0
3

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1
x +1

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2.
x +2

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29


EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7.
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7. Rta:F
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7. Rta:F
10. ∃x ∈ A/(x − 2)(x 2 + 1) = 0
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7. Rta:F
10. ∃x ∈ A/(x − 2)(x 2 + 1) = 0 Rta:V
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7. Rta:F
10. ∃x ∈ A/(x − 2)(x 2 + 1) = 0 Rta:V
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

1. Consideremos el conjunto A = {x ∈ N/ − 2 ≤ x ≤ 3},diga si


son verdaderos o falsas las siguientes proposiciones, justificando
su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F
3. ∀x ∈ A : 2x − 3 < 3 Rta:F
x −2
4. ∃x ∈ A/ ≥ 0 Rta:V
3
5. ∃x ∈ A/x 2 + 2x − 3 = 0. Rta:V
x −3
6. ∃x ∈ A/ = −1 Rta:V
x +1
3x + 2
7. ∀x ∈ A : = 2. Rta:F
x +2
8. ∃x ∈ A/2x − 3 > 2 Rta:V
9. ∀x ∈ A : x 2 − 2 > 7. Rta:F
10. ∃x ∈ A/(x − 2)(x 2 + 1) = 0 Rta:V
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 26 / 29
EJERCICIOS

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0
7) ∀x ∈ A : 2x − 3 = 26

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0
7) ∀x ∈ A : 2x − 3 = 26
8) ∃x ∈ A/5x + 3 6= 10

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0
7) ∀x ∈ A : 2x − 3 = 26
8) ∃x ∈ A/5x + 3 6= 10
9) ∀x ∈ A : 2x − 1 = 25

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29


EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0
7) ∀x ∈ A : 2x − 3 = 26
8) ∃x ∈ A/5x + 3 6= 10
9) ∀x ∈ A : 2x − 1 = 25
10) ∃x ∈ A/5x − 1 > 14
J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 27 / 29
EJERCICIOS

2. Dado el conjunto A = {−2, −1, 0, 1, 3, 4, 5, 7} negar cada una de


las siguientes proposiciones y dar su valor de verdad.
1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V
2) ∀x ∈ A : x 2 − 3 ≤ 46
3) ∃x ∈ A/3x − 1 = 8
2x − 3
4) ∃x ∈ A/ > 10
2
4x + 1
5) ∀x ∈ A : <5
5
6) ∃x ∈ A/(x − 6)(x + 9) = 0
7) ∀x ∈ A : 2x − 3 = 26
8) ∃x ∈ A/5x + 3 6= 10
9) ∀x ∈ A : 2x − 1 = 25
10) ∃x ∈ A/5x − 1 > 14
J.C.Damián . S (USMP)
x −2 Lógica Proposicional 13 Marzo del 2017 27 / 29
Bibliografía
1. FIGUEROA ROBERTO,(2004). Matemática Básica.Lima:
Editorial San Marcos.
2. VENERO B. ARMANDO,(2006) Matemática Básica.Lima:
Editorial Gemar.

J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 28 / 29


J.C.Damián . S (USMP) Lógica Proposicional 13 Marzo del 2017 29 / 29