Lógica elemental

John H. Castillo

sites.google.com/site/jhcastillo
E-mail: jhcastillo@udenar.edu.co

Departamento de Matemáticas y Estadı́stica

Universidad de Nariño

Agosto de 2017

JOHN H. CASTILLO Lógica elemental 2017 1 / 14

Decimos que la acción de una persona es “lógica” o bien de una
solución “lógica”para un problema.
Un comportamiento “lógico” es un comportamiento “razonable”.
Razonamiento lógico
Cuando una persona se empeña en una “reflexión clara” o en una
“reflexión rigurosa”, está empleando la disciplina del razonamiento
lógico.

JOHN H. CASTILLO Lógica elemental 2017 2 / 14

Definición.
Una proposición es una oración que es verdadera o falsa, pero no
ambas a la vez.
Toda proposición es una oración; pero no toda oración es una
proposición.

V → es verdadera
F → es falsa

JOHN H. CASTILLO Lógica elemental 2017 3 / 14

Definición.
Una proposición es una oración que es verdadera o falsa, pero no
ambas a la vez.
Toda proposición es una oración; pero no toda oración es una
proposición.

V → es verdadera
F → es falsa

Ejemplo.

JOHN H. CASTILLO Lógica elemental 2017 3 / 14

Definición.
Una proposición es una oración que es verdadera o falsa, pero no
ambas a la vez.
Toda proposición es una oración; pero no toda oración es una
proposición.

V → es verdadera
F → es falsa

Ejemplo.
El volcán galeras está en el Departamento de Nariño. (V)

JOHN H. CASTILLO Lógica elemental 2017 3 / 14

Definición.
Una proposición es una oración que es verdadera o falsa, pero no
ambas a la vez.
Toda proposición es una oración; pero no toda oración es una
proposición.

V → es verdadera
F → es falsa

Ejemplo.
El volcán galeras está en el Departamento de Nariño. (V)
Todo número es impar. (F)

JOHN H. CASTILLO Lógica elemental 2017 3 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

Ejemplo.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

Ejemplo.
1. Todo número natural es impar o bien par.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

Ejemplo.
1. Todo número natural es impar o bien par.
2. Voy a cambiar este cheque y a comprarme un traje nuevo.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

Ejemplo.
1. Todo número natural es impar o bien par.
2. Voy a cambiar este cheque y a comprarme un traje nuevo.
3. Iré al partido si no llueve.

JOHN H. CASTILLO Lógica elemental 2017 4 / 14

Todas las proposiciones son oraciones simples o bien compuestas.
Oración simple
La oración simple contiene una proposición gramaticalmente
independiente. No contiene conjunciones tales como: y, o y pero.

Oración compuesta
La oración compuesta se forma mediante dos o más oraciones
independientes las cuales se unen con palabras tales como: y, o,pero,
si ... entonces, si y solo si, ... o bien y ... ni.

Ejemplo.
1. Todo número natural es impar o bien par.
2. Voy a cambiar este cheque y a comprarme un traje nuevo.
3. Iré al partido si no llueve.
4. La gente que no trabaja, deberı́a estudiar.
JOHN H. CASTILLO Lógica elemental 2017 4 / 14
Se acostumbra a representar las oraciones simples mediante letras
como p, q r, etc.

p : Voy a cambiar este cheque.

q : Voy a comprarme un traje nuevo

Entonces: Voy a cambiar este cheque y a comprarme un traje nuevo se

puede representar mediante
p y q.

JOHN H. CASTILLO Lógica elemental 2017 5 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.
7. Ella tiene hambre.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.
7. Ella tiene hambre.
8. La señora Gómez está enferma.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.
7. Ella tiene hambre.
8. La señora Gómez está enferma.
9. El es el muchacho más popular de la escuela.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.
7. Ella tiene hambre.
8. La señora Gómez está enferma.
9. El es el muchacho más popular de la escuela.
10. Si no estudio, perderé este curso.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

Considérense las siguientes oraciones. ¿Cuáles son proposiciones?
1. ¿Cuántos hay?
2. 3 más 2 igual a 5.
3. 3 × 2 igual a 5.
4. Deme el texto.
5. Tomás es mayor que Guillermo.
6. Todos los ángulos rectos tienen la misma medida.
7. Ella tiene hambre.
8. La señora Gómez está enferma.
9. El es el muchacho más popular de la escuela.
10. Si no estudio, perderé este curso.
11. 3 × 2 no es igual a 5.

JOHN H. CASTILLO Lógica elemental 2017 6 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Existen muchas otras palabras en el lenguaje ordinario, junto con “y”

que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.

Existen muchas otras palabras en el lenguaje ordinario, junto con “y”

que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.

Existen muchas otras palabras en el lenguaje ordinario, junto con “y”

que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.
2. Algunas rosas son rojas y algunas rosas son azules.

Existen muchas otras palabras en el lenguaje ordinario, junto con “y”

que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.
2. Algunas rosas son rojas y algunas rosas son azules.
3. Algunas rosas son rojas y hoy es martes.
Existen muchas otras palabras en el lenguaje ordinario, junto con “y”
que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.
2. Algunas rosas son rojas y algunas rosas son azules.
3. Algunas rosas son rojas y hoy es martes.
Existen muchas otras palabras en el lenguaje ordinario, junto con “y”
que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.
Ejemplo.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.
2. Algunas rosas son rojas y algunas rosas son azules.
3. Algunas rosas son rojas y hoy es martes.
Existen muchas otras palabras en el lenguaje ordinario, junto con “y”
que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.
Ejemplo.
1. Es de dı́a; sin embargo, no puedo ver el Sol.

JOHN H. CASTILLO Lógica elemental 2017 7 / 14

 Conjunción

Definición.
Si p y q son proposiciones, la proposición de la forma p y q se llama
conjunción de p y q. Se escribe p ∧ q.

Ejemplo.
1. Marı́a va con Jorge y Susana va con Guillermo.
2. Algunas rosas son rojas y algunas rosas son azules.
3. Algunas rosas son rojas y hoy es martes.
Existen muchas otras palabras en el lenguaje ordinario, junto con “y”
que se usan como conjunciones; por ejemplo “pero”, “aunque”, “sin
embargo”, “no obstante”.
Ejemplo.
1. Es de dı́a; sin embargo, no puedo ver el Sol.
2. Me estoy muriendo de hambre, pero debo seguir estudiando.
JOHN H. CASTILLO Lógica elemental 2017 7 / 14
 Conjunción

Comprobar cuales de las siguientes conjunciones son verdaderas y

cuáles son falsas.
1. 2 + 3 = 5 y 2 × 3 = 5.

JOHN H. CASTILLO Lógica elemental 2017 8 / 14

 Conjunción

Comprobar cuales de las siguientes conjunciones son verdaderas y

cuáles son falsas.
1. 2 + 3 = 5 y 2 × 3 = 5.
2. 2 es un número par y 3 es un número impar.

JOHN H. CASTILLO Lógica elemental 2017 8 / 14

 Conjunción

Comprobar cuales de las siguientes conjunciones son verdaderas y

cuáles son falsas.
1. 2 + 3 = 5 y 2 × 3 = 5.
2. 2 es un número par y 3 es un número impar.
3. 2 es un número impar y 4 es un número impar.

JOHN H. CASTILLO Lógica elemental 2017 8 / 14

 Conjunción

Comprobar cuales de las siguientes conjunciones son verdaderas y

cuáles son falsas.
1. 2 + 3 = 5 y 2 × 3 = 5.
2. 2 es un número par y 3 es un número impar.
3. 2 es un número impar y 4 es un número impar.
4. Un cı́rculo tiene diez lados y un triángulo tiene tres lados.

JOHN H. CASTILLO Lógica elemental 2017 8 / 14

 Conjunción

Comprobar cuales de las siguientes conjunciones son verdaderas y

cuáles son falsas.
1. 2 + 3 = 5 y 2 × 3 = 5.
2. 2 es un número par y 3 es un número impar.
3. 2 es un número impar y 4 es un número impar.
4. Un cı́rculo tiene diez lados y un triángulo tiene tres lados.
‘ −→ 
5. AB ∪{A} = AB y AB ∪ {A, B} = AB.

JOHN H. CASTILLO Lógica elemental 2017 8 / 14

 Conjunción

p q p∧q
V V V
V F F
F V F
F F F
Tabla: Tabla de verdad de la conjunción.

La conjunción es verdadera cuando p y q son verdaderas.

La conjunción es falsa cuando una de las dos ( o ambas) sea falsa.

JOHN H. CASTILLO Lógica elemental 2017 9 / 14

 Disyunción

Definición.
La disyunción de dos proposiciones p y q es la oración compuesta “p o
q”. Es falsa cuando tanto p como q son falsas y verdadera en todos los
otros casos. El sı́mbolo para “p o q” es “p ∨ q”.

p q p∨q
V V V
V F V
F V V
F F F
Tabla: Tabla de verdad de la disyunción.

JOHN H. CASTILLO Lógica elemental 2017 10 / 14

 Disyunción

Ejemplo.
1. Planeo ir al juego o al teatro.
2. Espero ver a Juan o a Tomás en la fiesta.
3. El profesor de música le dijo a mi hijo que podrı́a ser un buen
estudiante de plano o de flauta.

JOHN H. CASTILLO Lógica elemental 2017 11 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.
2. La proposición es verdadera. La proposición es falsa.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.
2. La proposición es verdadera. La proposición es falsa.
3. Las dos rectas se intersectan. Las rectas son paralelas.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.
2. La proposición es verdadera. La proposición es falsa.
3. Las dos rectas se intersectan. Las rectas son paralelas.
4. Un rayo es una semirrecta. Un rayo contiene un extremo.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.
2. La proposición es verdadera. La proposición es falsa.
3. Las dos rectas se intersectan. Las rectas son paralelas.
4. Un rayo es una semirrecta. Un rayo contiene un extremo.
5. 4ABC ∩ ∠ ABC = ∠ ABC. 4ABC ∪ ∠ ABC = 4ABC.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Disyunción

En cada uno de los siguientes ejercicios se tienen dos proposiciones.

Una estas proposiciones primero para formar una conjunción y
después para para formar una disyunción. Determinar la verdad o la
falsedad de cada una de las oraciones compuestas.
1. El diamante es duro. La masilla es suave.
2. La proposición es verdadera. La proposición es falsa.
3. Las dos rectas se intersectan. Las rectas son paralelas.
4. Un rayo es una semirrecta. Un rayo contiene un extremo.
5. 4ABC ∩ ∠ ABC = ∠ ABC. 4ABC ∪ ∠ ABC = 4ABC.
6. A está en el interior de ∠ ABC. El punto C está sobre el lado AB
de ∠ABC.

JOHN H. CASTILLO Lógica elemental 2017 12 / 14

 Negación

Definición.
La negación de una proposición “p” es la proposición “no p”.
Significa que “p es falsa” o bien “p no es verdadera”. El sı́mbolo para
“no p” es “¬p”.

p ¬p
V F
F V
Tabla: Tabla de verdad de la negación.

JOHN H. CASTILLO Lógica elemental 2017 13 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.
5. Es falso que un triángulo tenga cuatro lados.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.
5. Es falso que un triángulo tenga cuatro lados.
6. Todos los cuadrados son rectángulos.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.
5. Es falso que un triángulo tenga cuatro lados.
6. Todos los cuadrados son rectángulos.
7. Hay por lo menos una muchacha en la clase.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.
5. Es falso que un triángulo tenga cuatro lados.
6. Todos los cuadrados son rectángulos.
7. Hay por lo menos una muchacha en la clase.
8. Algunos cojines son verdes.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14

 Negación

En cada uno de los ejercicios siguientes formar la negación de la

proposición.
1. El oro no es pesado.
2. Fido nunca ladra.
3. La aspirina alivia el dolor.
4. Un hexágono tiene siete lados.
5. Es falso que un triángulo tenga cuatro lados.
6. Todos los cuadrados son rectángulos.
7. Hay por lo menos una muchacha en la clase.
8. Algunos cojines son verdes.
9. No todo ángulo es agudo.

JOHN H. CASTILLO Lógica elemental 2017 14 / 14