Cls 2 PDF

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

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.

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.

Enunciado
Enunciado
Ejemplo

Enunciado
Enunciado
Ejemplo
1. “Recoge ese papel”

Enunciado
Enunciado
Ejemplo
2. “ Buenos días”

Enunciado
Enunciado
Ejemplo
3. ¿ Por qué estoy estudiando Medicina Humana?

Enunciado
Enunciado
Ejemplo
4. ¡ No fume!

Enunciado
Enunciado
Ejemplo
4. ¡ No fume!
5. “Hace mucha calor”

Enunciado
Enunciado
Ejemplo
4. ¡ No fume!
5. “Hace mucha calor”
6. Carlos es Doctor.

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

Enunciado Abierto
Enunciado Abierto
Ejemplo

Enunciado Abierto
Enunciado Abierto
Ejemplo
1. x − y = 5

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

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

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

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.

Proposición
Proposición
Ejemplo

Proposición
Proposición
Ejemplo
1. 6 + 4 < 15.

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

Proposición
Proposición
Ejemplo
1. 6 + 4 < 15.
3. Si estudio matemática, entonces aprobaré el examen.

Proposición
Proposición
Ejemplo
1. 6 + 4 < 15.
4. No vi la película pero leí la novela.

Proposición
Proposición
Ejemplo
1. 6 + 4 < 15.
5. 11 es un número primo.

Proposición
Proposición
Ejemplo
1. 6 + 4 < 15.
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.
Proposición
Valor de Verdad
La veracidad o falsedad de una proposición es lo que se llama su valor
de verdad.

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.

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.

un solo predicado.
Ejemplo

un solo predicado.
Ejemplo
1. Todos los hombres son mortales.

un solo predicado.
Ejemplo
2. Ariana tiene 15 años.

un solo predicado.
Ejemplo
3. Tres es un número impar.

un solo predicado.
Ejemplo
4. El sol brilla todo el día.

un solo predicado.
Ejemplo
5. Lima es capital del Perú.

un solo predicado.
Ejemplo
5. Lima es capital del Perú.
6. Ramón Castilla fue Presidente del Perú.

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

Ejemplo

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

Ejemplo
2. Si estudio matemática, entonces aprobaré el examen

Ejemplo
3. Luis esta en Lima estudiando y trabajando.

Ejemplo
4. 4 es mayor que 2, entonces 42 es mayor que 22 .

Ejemplo
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.

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.

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 ∼

Tablas de Verdad
La validez de estos conectivos pueden representarse en tablas de

verdad.

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.

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 ∧.
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 “ ∨ ”

valores.
p q p∨q
V V V
V F V
F V V
F F F

Ejemplo

valores.
p q p∨q
V V V
V F V
F V V
F F F

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

valores.
p q p∨q
V V V
V F V
F V V
F F F

Ejemplo
1. Carlos estudió alemán en un instituto o vivió en Alemania.
2. Vendrá Marcos o vendrá Luciana.
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

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

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.

p q p∆q
V V F
V F V
F V V
F F F
Ejemplo
2. Viajamos a Lima o viajamos a chiclayo.

p q p∆q
V V F
V F V
F V V
F F F
Ejemplo
2. Viajamos a Lima o viajamos a chiclayo.
3. O hoy es lunes o hoy es miércoles.

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.

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

Ejemplo

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

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

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

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.
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.

Condicional
Condicional
Ejemplo

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

Condicional
Condicional
Ejemplo
2. Arturo no viajó a Europa por que perdió sus documentos.

Condicional
Condicional
Ejemplo
3. Si ahorro mucho dinero entonces podré comprar un Auto.

Condicional
Condicional
Ejemplo
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.

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
p q p↔q
V V V
V F F
F V F
F F V

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
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.
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.

Negación
Negación
p ∼p
V F
F V

verdadera.
Ejemplo

Negación
Negación
p ∼p
V F
F V

verdadera.
Ejemplo
1. Carlos estudia matemáticas.

Negación
Negación
p ∼p
V F
F V

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

Negación
Negación
p ∼p
V F
F V

verdadera.
Ejemplo
3. Es falso que carlos estudia matemáticas.
Negación
Negación
p ∼p
V F
F V

verdadera.
Ejemplo
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

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

PROCEDIMIENTO
2. Se construyen las columnas de referencia al margen izquierdo del
esquema con todas las posibilidades de V y F .

PROCEDIMIENTO
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.

Esquema Molecular es una:
Tautología
Si todos los valores de verdad del conectivo de mayor jerarquía son
verdaderos.

Tautología
verdaderos.
Contradiccíon
falsos.

Tautología
verdaderos.
Contradiccíon
falsos.
Contingencia
Cuando su resultado hay por lo menos una verdad y una falsedad.

Tautología
verdaderos.
Contradiccíon
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
Ejemplo
Estable si el esquema molecular dado es una Tautología,
contradicción o contingencia.
∼ (p ∧ q) ↔ (∼ p∨ ∼ q)

Ejemplo
∼ (p ∧ q) ↔ (∼ p∨ ∼ q)
Solución:

Ejemplo
∼ (p ∧ q) ↔ (∼ p∨ ∼ q)
Solución:
Números de valores de verdad 22 = 4

Ejemplo
∼ (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.

CUANTIFICADORES

CUANTIFICADORES
Función Proposicional

CUANTIFICADORES
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.

CUANTIFICADORES
Ejemplo

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

CUANTIFICADORES
Ejemplo
p(4) : 4 + 7 > 12, es una proposición falsa.

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

Cuantificadores

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.

Cuantificadores
Cuantificador Universal

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

Cuantificadores
De:∀x ∈ A : “se lee: Para todo x que pertenece al conjunto A se
cumple que”

Cuantificadores
cumple que”
Cuantificador Existencial

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

Cuantificadores
cumple que”
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”
Negación de los Cuantificadores

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

da un universal”


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

un existencial”


da un universal”

un existencial”
Observación


da un universal”

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 ).


da un universal”

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 ).
EJERCICIOS
1. Simbolizar las siguientes proposiciones

EJERCICIOS

1. Mario es Ingeniero o no es comerciante.

EJERCICIOS

2. Luis sabe operar bien, sin embargo no es matemático.

EJERCICIOS

3. O Carlos va a trabajar en moto o en auto.

EJERCICIOS

4. Si trabajas entonces tendrás dinero.

EJERCICIOS

5. Martin es peruano pero no conoce lima.

EJERCICIOS

6. Einstein era Peruano o Judío.

EJERCICIOS

7. Serás profesional si y solo si estudias.

EJERCICIOS

2. Si el esquema molecular (P →∼ q) ∨ (∼ r → s) es falso,
determine el valor de verdad de:

EJERCICIOS

1. (∼ p∧ ∼ q)∨ ∼ q

EJERCICIOS

1. (∼ p∧ ∼ q)∨ ∼ q
2. [(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r ) ∧ s]

EJERCICIOS

1. (∼ p∧ ∼ q)∨ ∼ q
2. [(∼ r ∨ q) ∧ q] ↔ [(∼ q ∨ r ) ∧ s]
3. (p → r ) → [(p ∨ q)∧ ∼ q]

EJERCICIOS

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


EJERCICIOS

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

EJERCICIOS

∼ (∼ 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.

EJERCICIOS

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

contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)

EJERCICIOS

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

contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)

EJERCICIOS

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

contingencia.
1) [(p ∧ q)∨ ∼ p] → (p ∨ q)
2) [(p∨ ∼ q)∧ ∼ p]∆ ∼ (∼ p∨ ∼ q)
3) [(p ∨ q) ∧ r ] → (∼ q ∧ p)

EJERCICIOS

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

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)]

EJERCICIOS

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

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

EJERCICIOS

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

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

EJERCICIOS

su respuesta.
1. ∃x ∈ A/x + 2 ∈ A

EJERCICIOS

su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V

EJERCICIOS

su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9.

EJERCICIOS

su respuesta.
1. ∃x ∈ A/x + 2 ∈ A Rta:V
2. ∀x ∈ A : x 2 + 2 > 9. Rta:F

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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.

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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.
EJERCICIOS

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
EJERCICIOS

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
EJERCICIOS

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
EJERCICIOS

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
EJERCICIOS

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
EJERCICIOS

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.

EJERCICIOS

1) ∀x ∈ A : x 2 + 5 > 14

EJERCICIOS

1) ∀x ∈ A : x 2 + 5 > 14
∼ [∀x ∈ A : x 2 + 5 > 14] ≡ ∃x ∈ A/x 2 + 5 ≤ 14 Rta:V

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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

EJERCICIOS

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
EJERCICIOS

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.


Cls 2 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Cls 2 PDF

Uploaded by

Copyright:

Available Formats

Lógica Proposicional

Juan Carlos Damián Sandoval

13 Marzo del 2017

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

La validez de estos conectivos pueden representarse en tablas de

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

La validez de estos conectivos pueden representarse en tablas de

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

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

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

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

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

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

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

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

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

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

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

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

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

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