E SCUELA P OLITÉCNICA N ACIONAL

F UNDAMENTOS DE M ATEMÁTICA • H OJA DE RESUMEN

L ÓGICA
Semestre 2018-B Departamento de Formación Básica

1. P ROPOSICIONES

D EFINICIÓN 1: Proposición
A las letras p, q, r, . . . se las denominará letras proposicionales. Se define una
forma proposicional o proposición de la siguiente manera

1. Toda letra proposicional es una proposición.

2. Si P y Q son proposiciones, entonces

¬ P, P ∧ Q, P ∨ Q, P⇒Q y P⇔Q

también son proposiciones.

3. Solo estas expresiones son proposiciones.

En el lenguaje, una proposición es cualquier oración declarativa a la cual se

! le puede asignar un valor de verdad. A cada una de las proposiciones del

lenguaje se le puede asignar una letra proposicional.

D EFINICIÓN 2: Asignación de valores de verdad

Dada una proposición P en la cual figuran las letras proposicionales p1 , . . . , pn ,
una asignación de valores de verdad para las letras de P en una secuencias
a1 , . . . , an de símbolos V o F. Se dirá que ai es la asignación de verdad de pi .
Además, se dirá que V es el símbolo contrario a F y viceversa.

D EFINICIÓN 3: Valor de verdad (función de verdad)

Dada una proposición y una asignación de valores de verdad para sus letras
proposicionales, el valor de verdad de la proposición es un símbolo V o F
definido de la siguiente manera:

1. Para una letra proposicional, su valor de verdad es el mismo que su asig-

nación de verdad.

2. Si conocemos el valor de verdad de las proposiciones P y Q, tenemos que:

1
Departamento de Formación Básica Hoja de resumen

• el valor de verdad de ¬ P es el contrario al de P;

• el valor de verdad de P ∧ Q es V únicamente cuando los valores de
verdad de P y Q son V;
• el valor de verdad de P ∧ Q es F únicamente cuando los valores de ver-
dad de P y Q son F;
• el valor de verdad de P ⇒ Q es F únicamente cuando los valores de
verdad de P es V y el de Q es F;
• el valor de verdad de P ⇔ Q es V únicamente cuando los valores de
verdad de P y Q son iguales.

D EFINICIÓN 4: Tabla de verdad

Dada una proposición P, su tabla de verdad es la relación existente entre las
asignaciones de verdad de las letras proposicionales de P y el valor de verdad
de P.

Formalmente, una función de verdad es una función

f : {V, F }n → {V, F }.
!
A esta función, escrita en su forma tabular, se la conoce como tabla de ver-
dad.

2. TABLAS DE VERDAD

Negación

• Símbolo: ¬.

• Se lee: “no” o “negación de”.

• Tabla de verdad:
p ¬p
V F
F V

2
Hoja de resumen Departamento de Formación Básica

Conjunción Condicional

• Símbolo: ∧. • Símbolo: ⇒.

• Se lee: “y”. • Se lee: “si. . . , entonces”.

• Tabla de verdad:
• Tabla de verdad:
p q p⇒q
p q p∧q
V V V
V V V
V F F
V F F
F V V
F V F
F F V
F F F

Bicondicional
Disyunción
• Símbolo: ⇔.
• Símbolo: ∨.
• Se lee: “si y sólo si”; “si y sola-
• Se lee: “o”. mente si”.

• Tabla de verdad: • Tabla de verdad:

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

D EFINICIÓN 5: Tautología
Dada una proposición P, se dice que P es una tautología si el valor de ver-
dad de P es V en cualquier asignación de valores de verdad para sus letras
proposicionales.

D EFINICIÓN 6: Contradicción
Dada una proposición P, se dice que P es una contradicción si el valor de
verdad de P es F en cualquier asignación de valores de verdad para sus letras
proposicionales.

3
Departamento de Formación Básica Hoja de resumen

3. E QUIVALENCIA L ÓGICA

D EFINICIÓN 7: Equivalencia lógica

Dadas dos proposiciones P y Q, se dice que P es lógicamente equivalente a
Q si la proposición
P⇔Q

es una tautología. Esto se representa por P ≡ Q.

3.1 Equivalencias Lógicas Fundamentales

Doble Negación Leyes de Absorción

¬(¬ p) ≡ p. p ∨ ( p ∧ q) ≡ p,
p ∨ (¬ p ∧ q) ≡ p ∨ q,
Leyes de idempotencia p ∧ ( p ∨ q) ≡ p,
p ∧ (¬ p ∨ q) ≡ p ∧ q.
p ∨ p ≡ p,
p ∧ p ≡ p. Leyes de De Morgan

Leyes Asociativas ¬( p ∨ q) ≡ ¬ p ∧ ¬q
¬( p ∧ q) ≡ ¬ p ∨ ¬q.
p ∧ (q ∧ r ) ≡ ( p ∧ q) ∧ r,
p ∨ (q ∨ r ) ≡ ( p ∨ q) ∨ r. Caracterización del Condicional

Leyes Conmutativas p ⇒ q ≡ ¬ p ∨ q.

p ∧ q ≡ q ∧ p, Caracterización del Bicondicional

p ∨ q ≡ q ∨ p.
p ⇔ q ≡ ( p ⇒ q ) ∧ ( q ⇒ p ).
Leyes Distributivas

( p ∧ q ) ∨ r ≡ ( p ∨ r ) ∧ ( q ∨ r ),
( p ∨ q ) ∧ r ≡ ( p ∧ r ) ∨ ( q ∧ r ).

4
Hoja de resumen Departamento de Formación Básica

4. I MPLICACIÓN L ÓGICA

D EFINICIÓN 8: Implicación lógica

Dadas dos proposiciones P y Q, se dice que P implica lógicamente a Q si la
proposición
P⇒Q

es una tautología. Esto se representa por P ` Q.

! A una implicación lógica se la suele llamar Regla de Inferencia

4.1 Reglas de inferencia

Deducción: Si se tiene p y se tiene q, Eliminación de la conjunción: Si se

se puede concluir p ⇒ q. tiene p ∧ q, se puede concluir p.

p, . . . , q ` p ⇒ q. ( p ∧ q) ` p.

Modus Ponens: Si se tiene p impli- Silogismo disyuntivo: Si se tiene

ca q y se tiene p, se puede concluir q. p ∨ q y se tiene ¬q, se puede concluir
p.
p ⇒ q, p ` q. ( p ∨ q), ¬q ` p.

Silogismo hipotético: Si se tiene

Modus Tollens: Si se tiene p impli-
p ⇒ q y se tiene q ⇒ r, se puede con-
ca q y se tiene ¬q, se puede concluir
cluir p ⇒ r.
¬ p.
p ⇒ q, ¬q ` ¬ p.
p ⇒ q, q ⇒ r ` p ⇒ r.

Introducción de la conjunción: Si Casos: Si se tiene p ∨ q, se tiene p ⇒

se tiene p y se tiene q, se puede con-
cluir p ∧ q.
p, q ` ( p ∧ q).
Introducción de la disyunción: Si
se tiene p, se puede concluir p ∨ q.
r y se tiene q ⇒ r, se puede concluir
r.
( p ∨ q), p ⇒ r, q ⇒ r ` r.
Reducción al absurdo: Si se tiene p,
se tiene q y se tiene ¬q, se puede con-
cluir ¬ p.

p ` ( p ∨ q ). p, . . . , q, ¬q ` ¬ p.

5
Departamento de Formación Básica Hoja de resumen

Contrarrecíproco: Si se tiene p ⇒ q,
se puede concluir ¬q ⇒ ¬ p.

p ⇒ q ` ¬q ⇒ ¬ p.

5. L ÓGICA DE PREDICADOS

D EFINICIÓN 9: Símbolos
El grupo de símbolos está compuesto por:

• variables individuales: x1 , x2 ,. . . ;

• constantes individuales: a1 , a2 ,. . . ;

• letras de predicado: A1n , A2m ,. . . ;

• letras de función: f 1n , f 2m ,. . .

D EFINICIÓN 10: Términos

Se define término de la siguiente manera:

1. las variables y constantes individuales son términos;

2. dada una letra de función f n y t1 , . . . , tn términos, entonces f n (t1 , . . . , tn )

es un término;

3. solo estas expresiones son términos.

D EFINICIÓN 11: Proposiciones

Se define predicados de la siguiente manera:

1. dada una letra de predicado An y t1 , . . . , tn términos, entonces

A n ( t1 , . . . , t n )

es una proposición (llamada fórmula atómica);

2. dados dos predicados P y Q y x una variable, entonces

¬ P, P ∧ Q, P ∨ Q, P ⇒ Q, P ⇔ Q,

6
Hoja de resumen Departamento de Formación Básica

(∀ x ) P y (∃ x ) P

también son proposiciones;

3. solo estas expresiones son proposiciones.

D EFINICIÓN 12: Interpretaciones

Dado un conjunto D, llamado dominio del discurso o dominio de la interpre-
tación, una interpretación es una asignación que relaciona:

• cada constante individual ai con un elemento de D, denominado ( ai ) D ;

• cada letra de función f i con una función de D, denominada ( f i ) D ;

• cada letra de predicado Ai con una relación de D, denominada ( Ai ) D .

D EFINICIÓN 13: Valor de verdad

Dada una interpretación con dominio D, se define el valor de verdad de una
proposición de la siguiente manera:

1. En una forma atómica An (t1 , . . . , tn ), se dice que es verdadera única-

mente cuando al reemplazar en (t1 , . . . , tn ) cada constante individual
por su interpretación y toda variable individual por cualquier elemen-
to de D, se tiene que es un elemento de ( An ) D .
Por otro lado, se dice que es falsa si al reemplazar en (t1 , . . . , tn ) cada
constante individual por su interpretación y toda variable individual
por cualquier elemento de D, se tiene que no es un elemento de ( An ) D .

2. Si las proposiciones P y Q tiene valor de verdad, tenemos que:

• el valor de verdad de

¬ P, P ∧ Q, P ∨ Q, P⇒Q y P⇔Q

se define de manera idéntica a la de lógica de proposicional;

• el valor de verdad de (∀ x ) P es el mismo que el de P;
• el valor de verdad de (∃ x ) P es el contrario al de ¬ P.

7
Departamento de Formación Básica Hoja de resumen

D EFINICIÓN 14: Validez lógica

Dada una proposición, se dice que es lógicamente válida si es verdadera para
cualquier interpretación.

D EFINICIÓN 15: Equivalencia lógica

Dadas dos proposiciones P y Q, se dice que P es lógicamente equivalente a
Q si la proposición
P⇔Q

es lógicamente válida. Esto se representa por P ≡ Q.

Negación de Cuantificadores

¬(∃z) P ≡ (∀z)¬ P,
¬(∀z) P ≡ (∃z)¬ P.

D EFINICIÓN 16: Implicación lógica

Dadas dos proposiciones P y Q, se dice que P implica lógicamente a Q si la
proposición
P⇒Q

es lógicamente válida. Esto se representa por P ` Q.

Conmutatividad de Cuantificadores

(∀ x )(∀y) P ` (∀y)(∀ x ) P
(∃ x )(∀y) P ` (∀y)(∃ x ) P
(∃ x )(∃y) P ` (∃y)(∃ x ) P

Abreviaciones de Cuantificadores

(∀z ∈ A) P significa (∀z)( x ∈ A ⇒ P),

(∃z ∈ A) P significa (∃z)( x ∈ A ∧ P).