TEMA N° 2

LÓGICA FORMAL Y SIMBÓLICA

2.1. LA DEFINICIÓN DE LÓGICA
Definimos a la lógica como ciencia formal que tiene como
objetivo el estudio de los distintos principios de
demostración que permiten comprobar que una afirmación que
pueda ser considerado como válida.
La lógica estudia también los procedimientos lógicos
generales utilizados para el conocimiento de la realidad.
2.2. PROPOSICIÓN LÓGICA
Consideremos las siguientes oraciones:
1. ¿Quién viene?
2. Deténgase
3. El calor dilata los cuerpos
4. 4 es un número impar
5. Juan ama la música, la música es amada por Juan
6. Los hombres están felices con sus chelas
7. La mamá siempre sabe lo que nosotros tramamos
8. El amigo de mi hermana tiene que ver con el problema
de ayer.

Se trata de 8 oraciones diferentes, una interrogativa, una

orden y 6 declarativas. De las dos primeras no podemos
decir que sean verdaderas ni falsas; una pregunta puede
formularse o no, y una orden puede ser cumplida o no.

Es toda oración respecto de la cual puede decirse si es

verdadero (V) o falso (F)

Las proposiciones genéricas son denotadas con las letras p,

q, r, etc. A partir de las proposiciones simples es posible
generar otras simples o compuestas.

2.3. PROPOSICIONES SIMPLES Y COMPUESTAS.

A las proposiciones simples o genéricas (llamadas también
atómicas) se acostumbran denotar con la letra minúscula p,
q, r, etc.
Ejemplo.
p: “21 es divisible por 7”: V
q: “𝟑𝟐 − 𝟏 = 𝟐𝟑 ”
r: “El hombre es el arquitecto de su propio destino”
A partir de estas podemos generar otras proposiciones
simples o compuestas utilizando ciertas constantes
proporcionales llamados conectivos lógicos, tales como:
Las personas que se vacunaron tuvieron que realizar una
fila y posteriormente la entrega de sus fotocopias de
carnet.
El conectivo “no” se denota “~”
El conectivo “y” se denota “л”
El conectivo “o” se denota “v”
El conectivo “si… entonces” se denota “→”
El conectivo “si y solo si” se denota “↔”
El conectivo “o” excluyente, se denota “v”
En resumen:
CONECTIVO OPERACIÓN ASOCIADA SIGNIFICADO
No p o no es
~ Negación
cierto que p
Conjunción o
Л p y q
producto lógico
Disyunción o suma p o q (en sentido
V
lógica incluyente)
p implica q o sí
→ Implicación
que p, entonces q
↔ Doble implicación p si y solo si q
Diferencia p o q (en sentido
V
simétrica excluyente)

Ejemplo.-
Identificar las proposiciones del siguiente texto y
oraciones:
1. Las ballenas y los peces viven en el lago
p: Las ballenas
q: los peces viven en el lago
p л q
2. En los polos el frío es intenso únicamente si los
planetas giran en torno al sol.
Convenciones simbólicas:
p: en los polos el frío es intenso
q: los planetas giran en torno al sol
Formalización:
p → q
3. Siempre que los herbívoros corren o el frío en los
polos es intenso, los planetas giran en torno al sol.
Convenciones simbólicas:
p: los herbívoros corren
q: el frío en los polos es intenso
r: los planetas giran en torno al sol
Formalización:
p ∨ q → r
4. Los niños de segundo grado y los de tercer grado
tienen la salida a sus casas si y solo si cumplen el
examen.
p: Los niños de segundo grado
q: los de tercer grado tienen la salida a sus casas
r: cumplen el examen.
Formalización:
(p Λ q)↔ r
5. En esta etapa de pandemia no permiten realizar
actividades nocturnas si y solo si ellas tienen
permiso de la Gobernación.
P: En esta etapa de pandemia
q: permiten realizar actividades nocturnas
 r: ellas tienen permiso de la Gobernación.
Conectivos: no, si y solo si
P ~q ↔r
6. Los parques y plazas tienen bastante basura debido
a las golosinas y comidas que traen los niños desde
sus casas, esto sería deferente siempre que los papás
les dieran bolsitas para sus basuras.
Conectivos: 3
Proposiciones:
p: Los parques
q: plazas tienen bastante basura debido a las
golosinas
r: comidas que traen los niños desde sus casas, esto
sería deferente
s: los papás les dieran bolsitas para sus basuras.
(P Λ q Λ r) → s
2.4. LÓGICA SIMBÓLICA Y VALORES DE VERDAD
2.4.1. NEGACIÓN.
La negación de la proposición ~p (no p) cuya tabla de

verdad es.
p ~p
V F
F V

Se trata de una operación unitaria, pues a partir

de una proposición se obtiene otra, que es su
negación.
Ejemplos:
La negación de
p: todo hombre es honesto
~p: no todo hombre es honesto
~p: no es cierto que todo hombre es honesto
 ~𝒑: hay hombres que no son honestos
~p: existen hombres deshonestos
La cual es V, ya que la primera es F.
2.4.2. CONJUNCIÓN
Conjunción de las proposiciones p y q es la proposición p Λ
q (p y q), cuya tabla de valores de verdad es:

P q pΛq
V V V
V F F
F V F
F F F

La tabla que define la operación estable que la conjunción

sólo es verdadera si la son las dos proposiciones
componentes. En todo otro caso es falsa.
Ejemplo.-
Si declaramos
3 es el número impar y 2 es un número primo se trata de la
conjunción de las proposiciones.
p: 3 es un número impar
q: 2 es un número primo
Esta conjunción es F, ya que no coexisten las verdaderas de
p y q.
EJERCICIOS.-
1. p Λ ~q
P Q p ~q p Λ ~q
V V V F F
V F V V V
F V F F F
F F F V F
2. ~p Λ ~q
p Q ~p ~p Λ ~q ~q
V V F F F
V F F F V
F V V F F
F F V V V
3. (~p Λ q)
P Q ~p ~p Λ q q
V V F F V
V F F F F
F V V V V
F F V F F

4. (~p Λ q) Λ ~q
P q ~p (~p Λ q) q (~p Λ q) Λ ~q ~q

V V F F V F F
V F F F F F V
F V V V V F F
F F V F F F V

2.4.2. DISYUNCIÓN

Existen dos tipos de disyunción:

a) Disyunción inclusiva p v q, donde tiene como significado
p o q o ambas.
Ejemplo.
p: “El lunes fui al cine”
q: “El lunes fui a la piscina”
p v q = “El lunes fui al cine o a la piscina”
b) Disyunción exclusiva p v q, donde tiene como
significado p o q NO ambas.
Ejemplo.
p: “El lunes fui al cine”
q: “El lunes fui a la piscina”
p v q = “El lunes fui o al cine o a la piscina”
Ejercicios.
p: “Ayer estudie matemáticas”
q:”Ayer estudie lenguaje”
r: “Ayer jugué todo el día”
p v q= Ayer estudie matemáticas O lenguaje
r v q= Ayer o jugué todo el día o estudie lenguaje.
p v q= Ayer o estudie matemáticas o lenguaje.
p v r= Ayer o estudie matemática o jugué todo el día.
Conjunción de las proposiciones p o q es la proposición p
V q (p o q) cuya tabla de valores de verdad es:
P q pVq
V V V
V F V
F V V
F F F

La conjunción o es utilizada en sentido incluyente, ya que

la verdad de la disyunción se da en el caso de que al menos
una de las proposiciones sea V. en el lenguaje ordinario
la palabra “o” es utilizada en sentido excluyente o
incluyente.
En matemática se utiliza la disyunción definida por la
tabla procedente, de la cual sean falsas.
Ejemplo.-
i) (p л q) v q
p q p л q q (p л q) v q

V V V V V
V F F F F
F V F V V
F F F F F

ii) (~p л q) v q
p q (~p л q) q (~p л q) v q

V V F F V V
V F F F F F
F V V V V V
F F V F F F

iii) (~p л q) v p

p q (~p л q) p (~p л q) v p

V V F F V V
V F F F V V
F V V V F V
F F V F F F

2.4.3. IMPLICACIÓN O CONDICIONAL

Implicación de las proposiciones p y q es la proposición p
→ q (p implica q, si p entonces q) cuya tabla de valores
es:
p q p→q
V V V
V F F
F V V
F F V
Las proposiciones p y q se llaman consecuentes y
antecedentes de la implicación o condiciona. La implicación
usual en matemática es formal en el sentido de que no es
necesario que el consecuente se derive lógicamente del
antecedente; cuando este ocurre, la implicación se llama
material y queda incluida en la primera.
Las tablas de valores se definen arbitrariamente, pero
respetando el sentido común. Enunciamos la siguiente
proposición:
“Si apruebo el examen ENTONCES te presto el apunte”.
Se trata de implicación de las proposiciones
p: apruebo el examen
q: te presto el apunte
p →q
Ejemplos:
“Si apruebas el examen yo te compro un helado”
p q p→q
V V V

“Si apruebas el examen NO te compro un helado”

p q p→q
V F F
“Si NO apruebas el examen yo te compro un helado”
P: apruebas el examen
Q: te compro un helado
P q p→q
F V V
“Si NO apruebas el examen NO yo te compro un helado”
P q p→q
F F V

EJERCICIOS
 1. Con las siguientes proposiciones realiza la tabla de
verdades:
a) p: hoy es martes
q: mañana es miércoles
SI hoy es lunes ENTONCES mañana es martes
-cuando es p: V y q: V, entonces p → q es V
Si hoy es martes ENTONCES mañana no es miércoles
-cuando es p: V y q: F, entonces p → q es F
Si hoy no es martes ENTONCES mañana es miércoles
-cuando es p: F y q: V, entonces p → q es V
Si hoy no es martes ENTONCES mañana no es miércoles
-cuando es p: F y q: F, entonces p → q es V
b) p: el próximo mes me pagan
q: me compraré un nuevo pantalón
P: P: Q: Q: P →q
SI el próximo V ENTONCES me V V
mes me pagan compraré un
nuevo pantalón

SI el próximo V ENTONCES NO me F F
mes me pagan compraré un
nuevo pantalón

SI EL próximo F ENTONCES me V V
mes NO me pagan compraré un
nuevo pantalón

SI el próximo F ENTONCES NO me F V
mes NO me pagan compraré un
nuevo pantalón

Práctica hasta el sábado 17- 06

c) p: Es su cumpleaños
q: Le compro un reloj
2. Realiza los siguientes ejercicios armando las tablas de
verdades.

p q
V V
V F
F V
F F

 (p v q)→~p
p q pvq ~p (p v q)→~p

V V V F F
V F V F F
F V V V V
F F F V V
PRÁCTICA
d) p: Es su cumpleaño
q: Le compro un reloj

p q
V V
V F
F V
F F
Práctica hasta el sábado
 ~p → ( p Λ ~q)
 ~ q → ( p Λ ~q)
TAREA PARA EL MARTES 22 DE JUNIO, PRESENTAR SUS TABLAS
DE VERDAD

2.4.4. DOBLE IMPLICACIÓN O BICONDICIONAL

Doble implicación de las proposiciones p y q es la
proposición p ↔ q (p si y solo si q), cuya tabla de verdad
es.

p q p↔q
V V V
V F F
F V F
F F V
EJEMPLO.-

1. Compro un helado SI Y SOLO SI apruebas el examen de

matemática

P: Compro un helado V

Q: apruebas el examen V

Si p= V y q= V p ↔ q = V

Compro un helado SI Y SOLO SI NO apruebas el examen de

matemática

Si p= V y q= F p ↔ q = F

NO te compro un helado SI Y SOLO SI apruebas el examen de

matemática

Si p= F y q= V p ↔ q = F

NO TE Compro un helado SI Y SOLO SI NO apruebas el examen

de matemática

Si p= F y q= F p ↔ q = V

2. p: 4 es un número par

Q: 5 es un número impar

4 es un número par SI Y SOLO SI 5 es un número impar

Donde p= v y q= V entonces p ↔ q = v

4 es un número par SI Y SOLO SI 5 NO es un número impar

Donde p= V y q= F entonces p ↔ q = F

4 NO es un número par SI Y SOLO SI 5 es un número impar

Donde p= F y q= V entonces p ↔ q = F

4 NO es un número par SI Y SOLO SI 5 NO es un número impar

Donde p= F y q= F entonces p ↔ q = V

PRÁCTICA N°4

1. p: yo te compro un reloj

Q: si llevas a tú hermana

La doble implicación o bicondicional sólo es verdadero si

ambas proposiciones tienen el mismo valor de verdad.

La doble implicación puede definirse como la conjunción de

una implicación y su recíproca. De este modo, la tabla de
valores de verdad de (p → q) Λ (q → p), como sigue

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

q p q→p
V V V
F V V
V F F
F F V
 p→q q→p (p → q) Λ (q → p)
V V V
F V F
V F F
V V V

EJERCICIOS.-
1. (q Λ ~p) ↔ (q Λ ~q)
p q ~p ~q (q Λ ~p) (q Λ ~q) (q Λ ~p) ↔ (q Λ ~q)

V V F F F F V
V F F V F F V
F V V F V F F
F F V V F F V
V V F F F F V
V F F V F F V
F V V F V F F
F F V V F F V
2. (p Λ ~p) ↔ (q Λ p)
p q ~p (p Λ ~p) (q Λ p) (p Λ ~p) ↔ (q Λ p)

V V F F V F
V F F F F V
F V V F F V
F F V F F V
V V F F V F
V F F F F V
F V V F F V
F F V F F V

LEYES LÓGICAS
Consideramos la proposición
 [(p →q) Λ p] →q ……… (1)

Cuya tabla de valores de verdad es:

p q p →q (p →q) Λ p [(p →q) Λ p] →q

V V V V V
V F F F V
F V V F V
F F V F V

A) INVOLUCIÓN

~ p (~ p ↔ p)

Modo de leer: no, no p entonces p

B) IDEMPOTENCIA

(p Λ p) ↔ p

(p V p) ↔ p

C) CONMUTATIVA

a) de la disyunción p V q ↔ q V p

b) de la conjunción p Λ q ↔ q Λ p

D) ASOCIATIVIDAD

a) de la disyunción

(p V q) V r ↔ p V (q V r)

b) de la conjunción

(p Λ q) Λ r ↔ p Λ (q Λ r)

E) DISTRIBUTIVA

a) de la conjunción respecto de la disyunción

 (p V q) Λ r ↔ (p Λ r) V (q Λ r)

b) de la disyunción respecto de la conjunción

(p Λ q) V r ↔ (p V r) Λ (q V r)

6. LEY DE MORGAN

Las reglas pueden ser expresadas en lenguaje formal con dos

proposiciones P y Q, de esta forma:

PRÁCTICA N ° 5

REALIZAR LOS SIGUIENTES EJERCICIOS

1. (~p V q) → (r Λ p)

Se tiene 3 proposiciones: p, q y r

𝟐𝒏

𝑫𝑶𝑵𝑫𝑬:

𝒏 = 𝑵Ú𝑴𝑬𝑹𝑶𝑺 𝑫𝑬 𝑷𝑹𝑶𝑷𝑶𝑺𝑰𝑪𝑰𝑶𝑵𝑬𝑺

ENTONCES SERÍA
𝟐𝟑 = 𝟐 ∗ 𝟐 ∗ 𝟐 = 𝟖
 1V
2V
1F
4V
1V
2F
1F
8 FILAS
1V
2V
1F
4F
1V
2F
1F

P Q R
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F

2. (~p V ~q) ↔ (r Λ ~p)

3. (p V ~q) → (~r Λ p)

SIMPLIFICAR LAS SIGUENTES LEYES LÓGICAS Y REALICE LA TABLA

DE VALORES DE VERDAD

1. ~ [~ (~p V q) →p] V q