Capítulo 1

L ÓGICA

1.1. Proposición.
Una proposición o proposición lógica es toda expresión que es calificado como verdadero (V ) o
bien como falso (F).

Nota 1.1.1.

1. Las proposiciones lógicas se denotan con las letras minúsculas, tales como p, q, r, s,t, .......,
llamadas variables proposiconales.

2. El valor de una proposición p, se denota por V (p); ésta puede ser verdadera o falsa.
Esto es:
V (p) = V ; V (p) = F

Ejemplo 1.1.2. Son proposiciones las siguientes expresiones:

1. Lima es la Capital del Pe- 3. La semana tiene 8 días y 14 ÷ 2 = 3

rú. el año, 12 meses.
2. 3 es divisor de 24. 4. Si 4 × 5 = 3, entonces

Ejemplo 1.1.3. No son proposiciones las siguientes expresiones:

1. Preguntas: ¿Qué fecha es hoy? 5. Enunciados que tienen una variable:

x + 5 = 7 , 2x + 4 > 5,
2. Órdenes: ¡Cállate! P(x) : x es número primo

3. Deseos: "Quisiera ser millonario" 6. Enunciados que tienen dos o mas variables:
F(x, y) : x + y = 4,
4. Exclamaciones: ¡¡Qué sorpresa!! N(x, y, z) : x2 + y2 + z2 = 9

Práctica 1

En los siguientes ejercicios identifique quienes de las siguientes expresiones son proposiciones utili-
zando si o no

1. Perú es la sede de los juegos panamericanos año 2019 (. . . . . . )

2. G(x) = x + logx (. . . . . . )

5
6 CAPÍTULO 1. LÓGICA

3. El Hospital Antonio Lorena de la ciudad del Cusco tiene una infraestructura de primer nivel
(. . . . . . )

4. ¿Tienes el grado académico de maestría? (. . . . . . )

5. La Neuropsicología es el estudio de la relación cerebro y conducta humana (. . . . . . )

1
6. = 0, 1 (. . . . . . )
10
7. ¡¡Qué dolor ciento en la cintura!!(. . . . . . )

8. ”Deseo casarme con un Ingeniero Civil” (. . . . . . )

∂U ∂ 2U
9. La ecuación del calor es = k 2 (. . . . . . )
∂t ∂x
10. Auditoría y Tributación son especialidades de la contabilidad (. . . . . . )
√
11. Si x = −3, y = 2, entonces i = x + y (. . . . . . )

12. ¡No me molestes! (. . . . . . )

Las proposiciones se clásifican en:

1.1.1. Proposiciones simples o atómicas

Son aquellas que no contiene ningún conectivo lógico, es decir presentan un sujeto y predicado;
se expresan afirmativamente.

Ejemplo 1.1.4. Son proposiciones simples o atómicas los siguientes enunciados:

1. p : Maribel es Psicologa 2. q : 6 × 5 = 67

1.1.2. Proposiciones compuestas o meleculares

Es la proposición que utiliza uno o mas conectivos lógicos para combinar cualquier numero
finito de proposiciones atómicas, donde sus valores veritativos pueden ser conocidos utilizando la
construcción de sus tablas de verdad . Es decir se realiza todas las posibles combinaciones de valores
de las proposiciones componentes.

Nota 1.1.5.

Una proposición negativa también es molecular porque está compuesta por una proposición
simple (. . . . . . ) y una negación.

Ejemplo 1.1.6. Los siguientes enunciados son proposiciones compuestas o moleculares

1. Raúl es Ingeniero y Camilo es Matemático. 2. Hace frio si y solo si es invierno

Practica 2

En los siguientes ejercicios identifique quienes de las siguientes expresiones son proposiciones ató-
micas (A) o moleculares (M)
1.2. CONJUNTO DE LAS PROPOSICIONES LÓGICAS. 7

1. La música clásica es la más antigua del mundo. (. . . . . . )

2. Si Samuel gana la lotería, entonces estudiará su Doctorado. (. . . . . . )

3. La matemática es fácil y el semestre académico fue bueno. (. . . . . . )

4. El 9 y el 27 son factores del 81. (. . . . . . )

5. Las células son procariotas o eucariotas. (. . . . . . )

6. Francisca tiene la especialidad de Cardiologia y Juan su esposo es Ingeniero de Mecatronico.

(. . . . . . )

7. Esa chica es mi amiga. (. . . . . . )

8. En el Perú se fabrican computadoras. (. . . . . . )

9. 36 es múltiplo de 9. (. . . . . . )

10. La Ley del Servicio Civil, se basa en la aptitud, actitud, desempeño, capacidad y evaluación
permanente para el puesto de los postulantes y servidores civiles. (. . . . . . )

11. 7 es divisor de 10. (. . . . . . )

12. El presidente del peru es una mujer. (. . . . . . )

13. Si la información no es completa para oferentes y demandantes, hay una falla de mercado.
(. . . . . . )

14. El 9 es divisor del 45, y el 3 es divisor del 9 y del 45. (. . . . . . )

15. Traumatología es una de las especialidades del Médico. (. . . . . . )

16. Sarai trabaja o estudia, (. . . . . . )

1.2. Conjunto de las proposiciones lógicas.

Al conjunto de las proposiciones lógicas se le denota por

P = {p : p es una proposicion}

1.3. Conectivos lógicos.

Los conectivos lógicos se clasifican en:
8 CAPÍTULO 1. LÓGICA

1.3.1. La disyunción debil o inclusiva .

Es la proposición compuesto por la relación de dos proposiciones simples a través del conectivo
lógico o, simbolizado por ∨. Para mayor formalidad presentamos la siguiente definición.

Definición 1.3.1. Dado P el conjunto de las proposiciones. Se llama operador lógico disyunción a
∨ : P × P −→ P si, y solo si para cada par de elementos (p, q) le hace corresponder la proposición
p ∨ q, siempre que p, q ∈ P. Tal que presenta la siguiente tabla de verdad.

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

Tabla 1

1.3.2. Disyunción fuerte o exclusiva

La disyunción fuerte es verdadera en los casos en que ambas componentes tengan valores de
verdad opuestos, y es falsa si, ambas componentes tienen el mismo valor de verdad.

Definición 1.3.2. Considérese a P el conjunto de las proposiciones. Se llama operador lógico

disyunción fuerte a Y, ∆ : P × P −→ P si, para cada par de elementos (p, q) le hace corresponder
la proposición p Y q ó p∆q, siempre que p, q ∈ P. Tal que presenta la siguiente tabla de verdad.

p q pYq
V V F
V F V
F V V
F F F

Tabla 1

Escolio Se lee a p∆q como:

O poq

1.3.3. La conjunción.
Es una nueva proposición que se define por la relación de dos proposiciones simples a través del
conectivo lógico ∧.

Definición 1.3.3. Sea P, el conjunto de todas las proposiciones. Un operador lógico conjunción
es ∧ : P × P −→ P si es necesario y suficiente que para cada par de elementos (p, q) le hace
corresponder la proposición p ∧ q, siempre que p, q ∈ P. Tal que presenta la siguiente tabla de
verdad.
1.3. CONECTIVOS LÓGICOS. 9

p q p∧q
V V V
V F F
F V F
F F F
Tabla 2

1.3.4. La negación.
Es el opuesto de una proposición, es decir es la frase negada de una oración ya sea de característica
verdadera o falsa.
Definición 1.3.4. consideremos el conjunto de todas las proposiciones P. La negación es un
operador lógico denotado por ∼: P −→ P, tal que a cada proposición le asigna su negación.
Este operador lógico tiene la siguiente tabla de verdad.
p ∼p
V F
F V
Tabla 3

1.3.5. Condicional.
Es aquella proposición que es falsa únicamente cuando la proposición antecedente es verdadera
y la proposición consecuente es falsa.
Definición 1.3.5. Sea P el conjunto de todas las proposiciones. Se denomina operador lógico
condicional, denotado por →: P × P −→ P si y solamente si a cada par de proposiciones (p, q)
le hace corresponder la proposición p → q para todo p, q ∈ P. Cuya tabla de verdad es la siguiente.
p q p→q
V V V
V F F
F V V
F F V
Tabla 4
Escolio A la siguiente proposicion p → q se lee:
Si p, entonces q.
p solamente si q.
p es una condicion suficiente para q.
q es una condicion necesaria para p.
q a menos que ∼ p.
Es suficiente que p para que q.
Es necesario que q para que p
10 CAPÍTULO 1. LÓGICA

1.3.6. La bicondicional.
Esta proposición es verdadera siempre que dos proposiciones tengan el mismo valor, es decir
ambas verdaderas o ambas falsas.

Definición 1.3.6. Un operador lógico bicondicional tiene la forma ←→: P × P −→ P si y

solamente si a, cada par de proposiciones (p, q) le hace corresponder la proposicion p ←→ q para
todo p, q ∈ P. Su tabla de verdad correspondiente es como sigue:

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

Tabla 5

Escolio La siguiente proposición p ←→ q tiene la siguiente lectura:

p si y solamente si q.

p es una condición necesaria y suficiente para q.

p si y solo si q.

1.3.7. Jerarquía de los conectivos lógicos

Es el orden en el que se resolverá una expresión compuesta. Y el orden es el siguiente:
Primero las llaves, los corchetes y los paréntesis, seguidamente de los operadores unarios y binarios

Practica 3

Mostrar la tabla de verdad de las siguientes proposiciones

1. (∼ q ∨ p) → r 6. p ← (∼ p∧ ∼ q)

2. (p ∨ q) → [∼ (q ∧ p) ←→ q] 7. (p ∨ q) ∧ (p∧ ∼ q)

3. (rY ∼ p) ← {[p →∼ r] ∨ q} 8. p → (∼ q ∨ p)

4. {[p → q] Y p} ←→∼ q 9. {[r ←→ (q∧ ∼ p)] ←∼ r} ∨ q

5. (p ∨ q) ∧ (∼ p → q) 10. (∼ p Y q) ← r