Escuela Profesional de

Lingüística y Literatura

Especialidad: Lingüística
Curso: Semántica II
Ciclo: VIII
Sesión: 25
Tema:

El lenguaje de la lógica proposicional

La construcción de fórmulas bien formadas
Mg. Julio Rodolfo Martínez Quisñay
Cercado de Lima, jueves siete de noviembre de 2019, 15:30 horas.
 Cuando el lenguaje falla…
Una oración puede ser defectuosa a 3 niveles:

1. SINTÁCTICO

- A esta oración del castellano les falla algo.

- A este otra oración le fallar todavía más cosa.

- Última es esta galimatías un oración puro.

 Cuando el lenguaje falla…
Una oración puede ser defectuosa a 3 niveles:

2. SEMÁNTICO
- Esta pitufa del castellano tiene una palabra un poco rara.

- Las ideas verdes incoloras duermen furiosamente

- Confucio es impar.

- La existencia es el devenir del karma cuántico.

 Cuando el lenguaje falla…
Una oración puede ser defectuosa a 3 niveles:

3. PRAGMÁTICO
- Él ha dicho que le dé la medicina.
- «Declaro abierta la sesión» (dicho por un conserje del Parlamento).
- ¿Me da un libro sobre cómo hacer amigos, carahuevo?
 3 niveles de análisis del lenguaje
1. SINTAXIS: Centrada en la estructura formal de las oraciones
2. SEMÁNTICA: Centrada en las condiciones de verdad de las
oraciones
3. PRAGMÁTICA: Centrada en los efectos del contexto sobre las
oraciones
 3 niveles de análisis del lenguaje

En lógica sólo nos va a interesar la sintaxis y la semántica.

Dentro de la semántica sólo nos va a interesar la parte formal: el modo
en que la disposición formal de los elementos afecta a los valores de
verdad.
 El alfabeto lógico
• Todo lenguaje necesita de:
1. Un alfabeto, i.e., un conjunto de elementos primitivos desde
los que construimos sus expresiones.
El alfabeto latino no resulta ser el mismo que el ruso
 El alfabeto lógico

• Todo lenguaje necesita de:

2. Reglas de combinación de los elementos primitivos.
Inglés y español comparten alfabeto, pero no admiten las mismas
combinaciones:
«THR» no es una combinación de letras admisible en español.
 Alfabeto de la lógica proposicional
• El lenguaje de la lógica proposicional (L0) necesita tres tipos
distintos de símbolos:

1. CONSTANTES PROPOSICIONALES
2. CONECTIVAS LÓGICAS
3. SÍMBOLOS AUXILIARES
 Alfabeto de la lógica proposicional
1. CONSTANTES PROPOSICIONALES

- Simbolizan oraciones o proposiciones, i.e., unidades que tienen un

valor de verdad.
Son los equivalentes
- lógicos de ‘llueve’, ‘yo soy Pepe’, ‘mañana es
viernes, ‘el universo es una sucesión infinita de transmigraciones
cósmicas.
 Alfabeto de la lógica proposicional
1. CONSTANTES PROPOSICIONALES
- Utilizaremos las siguientes letras minúsculas:

p, q, r, s, t, u
- Si necesitamos simbolizar más oraciones (un número infinito de ellas),
recurrimos a subíndices numéricos:

p1, p2, p3, p4, p5 …

 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- Las oraciones pueden conectarse entre sí por medio de
partículas con valor lógico
- Las principales partículas son cinco, que equivalen a las
siguientes:
Y, O, SI…(ENTONCES), SI Y SÓLO SI, NO
 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- Estas partículas caen en dos grupos:
a) Binarias: Las que conectan dos oraciones: ‘Hume canta Y Kant
humea.
‘Platón tiene razón O la tiene Aristóteles’.
‘SI Dios no existe, todo está permitido’ ‘Aprobaré lógica SI Y
SÓLO SI estudio’.
 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- Estas partículas caen en dos grupos:
b) Monarias: Las que se aplican a una sola oración:
‘NO hay vida más allá de Marte’, ‘NO todos los filósofos están
locos’, ‘Los filosófos NO están locos’.
 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- En lógica estas partículas reciben nombres y símbolos especiales:
No = NEGADOR

¬, ~
 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- En lógica estas partículas reciben nombres y símbolos especiales:

Y = CONYUNTOR


 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- En lógica estas partículas reciben nombres y símbolos especiales:
O = DISYUNTOR


 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- En lógica estas partículas reciben nombres y símbolos especiales:
SI…(ENTONCES) = CONDICIONAL


 Alfabeto de la lógica proposicional
2. CONECTIVAS LÓGICAS
- En lógica estas partículas reciben nombres y símbolos especiales:
SI Y SÓLO SI = BICONDICIONAL


 Alfabeto de la lógica proposicional
3. SÍMBOLOS AUXILIARES
- , ; :
Son paréntesis, corchetes, signos de puntuación (‘ ’ ‘ ’ ‘ ’) que
sirven para agrupar los otros símbolos de manera que se puedan
evitar ambigüedades y para dar jerarquía:

( ) [ ] ‘,’ ‘;’ ‘:’

 Alfabeto de la lógica proposicional
He aquí todo de una vez:

CONSTANTES: p, q, r, s, t, u, p1,p2,p3 …
CONECTIVAS: ¬, , , , 
AUXILIARES: ( ) [ ] ‘,’ ‘;’ ‘:’
 Recursividad
• La mayoría de los lenguajes son recursivos: empleando un
número finito de elementos es posible construir un número
infinito de oraciones.

La mosca a la que persigue la araña a la que persigue el ratón al

que persigue el gato al que persigue el perro es de color negro.
 Recursividad
• Una fuente de recursividad es la posibilidad de unir oraciones
simples para formar compuestas.

• Las partículas lógicas desempeñan en esto un papel fundamental.

 Recursividad
La recursividad comienza por tomar algunos elementos básicos y definir cómo se
construyen los elementos complejos a partir de ellos:
Dadas las oraciones ‘Hume canta’, ‘Kant baila’, también son oraciones las siguientes:

- Hume canta y Kant baila Hume canta o Kant baila

- Si Hume canta, Kant baila Hume no canta

- Kant no baila

- Hume canta si y sólo si Kant baila, ETC.

 Recursividad
• Podemos seguir aplicando esto en general: dadas las oraciones O y O’, son
también oraciones las siguientes:
O y O’, O o O’, Si O entonces O’, no O, etc.

• Podemos aplicar la regla cuantas veces queramos: dado que ‘Hume canta y Kant
baila’ y ‘Hegel da palmas’ son oraciones, también lo será ‘Si Hume canta y
Kant baila, Hegel da palmas’.
 Recursividad
-Hume canta o Kant baila o Hegel da palmas

-Hume canta y Kant baila y Hegel da palmas

-Hume canta, o Kant baila y Hegel da palmas

-Hume canta o Kant baila, y Hegel da palmas

-Si Hume canta y Hegel da palmas, Kant baila

-Hegel da palmas si y sólo si Kant baila

-Si Hume canta, entonces si Kant baila, Hegel da palmas

 Recursividad
● La recursividad permite construir algunas oraciones peculiares:

-Hume canta y Kant baila y Hume canta y Kant baila y Hume canta y Kant baila…
-Si Hegel da palmas, Hegel da palmas

-Hume canta o Hume canta o Hume canta o Hume canta o Hume canta o Hume canta o

Hume canta o Hume canta o Hume canta o Hume canta o Hume canta o Hume canta

Son peculiares desde el punto de vista pragmático, pero sintáctica y semánticamente

están bien construidas
 Recursividad
• Nuestro lenguaje lógico también va a ser recursivo.

• Las oraciones en nuestro lenguaje se van a llamar FÓRMULAS.

• Comenzaremos por definir cuáles son las oraciones simples o fórmulas

atómicas.

• A continuación daremos un método de combinación de fórmulas atómicas para

obtener oraciones compuestas o fórmulas moleculares.
 Fórmulas atómicas
• Serán las que correspondan a las oraciones simples del castellano:
sin ninguna partícula lógica.
• Se trata por tanto de las constantes proposicionales:
p
q son (algunas) fórmulas atómicas
r
….
 Fórmulas moleculares
• Las formaremos a partir de las atómicas, empleando las
conectivas lógicas:
pq
pr
qp son (algunas) fórmulas moleculares
rq
q
 Ambigüedad
• En el lenguaje natural con frecuencia aparecen posibles
ambigüedades:
-Hume canta o Kant baila y Hegel da palmas ¿Da o no da palmas Hegel?
- Ahora sí: Hume canta o Kant baila, y Hegel da palmas.
- Ahora no se sabe: Hume canta, o Kant baila y Hegel da palmas.
 Ambigüedad
• En lógica queremos construir fórmulas que excluyan toda
ambigüedad.

• En el lenguaje natural usamos diversos elementos para evitar la

ambigüedad, como:
1)pausas prosódicas, 2) signos de puntuación y, 3) el
contexto.

• Pero en lógica sólo tenemos un recurso (parecido a 2): construir las

fórmulas con reglas muy precisas.
 Ambigüedad
- Nuestro principal recurso contra la ambigüedad son los PARÉNTESIS.
- Sea: p  Hume canta ; q  Kant baila; r  Hegel da palmas
- p  q  r es AMBIGUA; equivale a:

a. Hume canta o Kant baila y Hegel da palmas

b. p  (q  r)  H canta, o K baila y Heg da palmas
c. (p  q)  r  H canta o K baila, y Heg da palmas
 Metavariables
- Si la lógica es nuestro lenguaje objeto, el castellano es su
metalenguaje.
- Pero necesitamos ampliar nuestro metalenguaje con algunos
símbolos que hacen las veces de abreviaturas.
- Para referirnos a fórmulas en general usaremos letras griegas:
   …
- Las llamaremos METAVARIABLES.
 Metavariables
- Una constante, como p, representa aquello que la hace verdadera o falsa (llueve; las
rosas son rojas, etc.).
- Una metavariable, como , representa cualquier fórmula:
p ; ¬q ; pr ; p  (q  r) ; p (p p)
…
- Vamos a definir nuestras reglas de formación de fórmulas de manera más precisa.
 Reglas de formación
• (i) Toda constante proposicional sola es una fórmula (atómica).

• (ii) Si  es fórmula, entonces ¬ es fórmula.

• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son

fórmulas.

• (iv) Sólo son fórmulas las secuencias que satisfacen (i), (ii) o (iii).
 Reglas de formación
• (i) Toda constante proposicional sola es una fórmula
- De este modo obtenemos nuestras fórmulas atómicas:
p q r s t u p1 p2 p3 …
 Reglas de formación
• (ii) Si  es fórmula, entonces ¬ es fórmula
- Dadas las anteriores, también son fórmulas:
¬p ¬q ¬r ¬s ¬t

¬u ¬p1 ¬p2 ¬p3 …

-Podemos aplicar recursivamente (ii) sobre las fórmulas recién obtenidas: ¬¬p ¬¬q …
¬¬¬p
Todas estas también son fórmulas
 Reglas de formación
• (iii) Si ,  son fórmulas, (  ), (  ), ( ), (  ) son fórmulas
-Dadas (i) y (iii), serán fórmulas:

(p  q) (p  s) (p  r) … (q p ) …
(p  q) (p  s) (p  r) … (q  p) …
(p  q) (p  r) …
(p  q) (p  r) …
 Reglas de formación
• (iii) Si ,  son fórmulas, (  ), (  ), (  ), (  ) son fórmulas
-Si además tenemos en cuenta (ii), son fórmulas:

(p  ¬q) (¬p  s) (p  ¬r) … (q  ¬p ) …

(¬p  q) (p  ¬s) (¬p  ¬r) … (¬q  p) …
(p  ¬q) (¬p  r) (¬p  ¬r) …
(¬p  q) (p  ¬r) (¬p  r) …
 Reglas de formación
• (iii) Si ,  son fórmulas, (  ), (  ), ( 
), (  ) son fórmulas
-Y podemos aplicar otra vez (ii) sobre las últimas fórmulas :

¬(p  ¬q) ¬(¬p  s) ¬(p  ¬r) … ¬(q  ¬p ) …

¬(¬p  q) ¬(p  ¬s) ¬(¬p  ¬r) …¬ (¬q  p) …
¬(p  ¬q) ¬(¬p  r) ¬(¬p  ¬r) …
¬(¬p  q) ¬(p  ¬r) ¬(¬p  r) …
¬¬(p  q) … ¬¬(¬p  ¬q) … ¬(p  ¬¬q) …
 Reglas de formación
- Y podemos seguir aplicando (ii) y (iii) cuanto queramos:
(p  (p  q))
(¬p  (q  ¬s)) (p  ¬r)  (q  ¬p )
(p  ((¬p  q)  (p  ¬s)))
((¬p  ¬r)  (¬q  p))  (p  ¬q)
…
 Reglas de formación
(iv) Sólo son fórmulas las secuencias que satisfacen (i), (ii) o (iii)
- Esta es una cláusula de cierre, que limita nuestras fórmulas
exclusivamente a las formadas por las reglas anteriores.
 Reglas de simplificación
• Pueden suprimirse siempre:
(a) Los dos paréntesis externos: (p  (q  ¬r))  p  (q  ¬r)

(Nota: El símbolo  se lee como ‘es equivalente a’)

 Reglas de simplificación
• Pueden suprimirse siempre:
(b) Los paréntesis internos no precedidos de negador en secuencias compuestas
totalmente por conyuntores o totalmente por disyuntores:
(p  (q  r))  (p  q  r)
pero (p  ¬(q  r))  (p  ¬q  r) !!
(p  (¬q  r))  (p  ¬q  r)
pero (p  ¬(q  r))  (p  ¬q  r) !!
 Conectiva dominante
• Consideremos cómo se forman las fórmulas moleculares:

- La última regla de formación que hayamos usado ha tenido que ser (ii) o (iii),
i.e., la última regla ha introducido el negador o una conectiva binaria:

¬p lo último introducido es el negador ¬

q  ¬r lo último introducido es el conyuntor 
p  (q  r) lo último introducido es el disyuntor 
¬(p  q)  (¬p  ¬q) lo último introducido es 
 Conectiva dominante
• La última conectiva introducida será la CONECTIVA DOMINANTE
de la fórmula.
• Es importante distinguirla, porque es a la que habrá que atender para
determinar el valor de verdad de la fórmula.

p  (r  s) 
¬(p  (q  r)) ¬
¬p  (p  (p  p)) 
¬((p  q)  ¬(p  q)) el primer ¬
(((p  q)  p)  q)  p el segundo 
¬(p  ¬(q  r  ¬(p  q))) no es fórmula
 Ejercicio: ¿cuáles son fórmulas?
(¬(p  ¬q) NO
(p  q)  ¬p  q NO
((q  (r  ¬s))  (¬¬p  q))  ¬r SÍ
¬(s  (p  q¬)) NO
¬(p  (¬q  ¬(r (¬s  t)))) SÍ
¬¬¬¬¬¬ ¬¬¬¬¬¬¬¬¬¬¬¬p NO
(¬q  (r  (¬p  q)))  (q  (¬r  (p  ¬q))) SÍ
 Ejercicio: ¿cuáles son fórmulas?
((¬q  r)  ¬(p  q))  ¬(q  r)  ((p  ¬q)  q) NO
¬(p  ¬q)  ¬r) ¬s)  t)))) NO
(((p  q  ¬r)  (¬q  ¬p))  (p  ¬s))  (¬p  q  r) SÍ
(p  (q  ¬p  r))  (p  q) NO
(((p  (q  ¬r))  (¬q  s))  (s  ¬p))  (p  q) NO
(p  q  ¬r)  (p  ¬q  ¬r)  (¬p  q  r) SÍ
(p  q)  (¬p  q)  (p  ¬q)  (¬p  ¬q) SÍ
 Ejercicio: conectiva dominante
¬(p  ¬q) el primer ¬
(p  q)  (¬p  q) 
((q  (r  ¬s))  (¬¬p  q))  ¬r 
¬(s  (p  q)) ¬
¬(p  (¬q  ¬(r (¬s  t)))) el primer ¬
¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬p el primer ¬
(¬q  (r  (¬p  q)))  (q  (¬r  (p  ¬q))) 2º 
 Ejercicio: conectiva dominante
(((¬q  r)  ¬(p  q))  ¬(q  r))  ((p  ¬q)  q) 2º 
¬((((p  ¬q)  ¬r) ¬s)  t) el primer ¬
(((p  q  ¬r)  (¬q  ¬p))  (p  ¬s))  (¬p  q  r) 2º
(p  (q  (¬p  r)))  (p  q) 
(((p  (q  ¬r))  (¬q  s))  (s  ¬p))  (p  q) 3er 
(p  q  ¬r)  (p  ¬q  ¬r)  (¬p  q  r) cualquier 
(p  q)  (¬p  q)  (p  ¬q)  (¬p  ¬q) cualquier 
 Lógica proposicional
Área que trata de las proposiciones y el razonamiento lógico.

La lógica son reglas que…

• Dan significado a enunciados y sentencias.
• Distinguen argumentos validos y no validos.
• Se aplican en la construcción de programas y
circuitos de computadores.
 Proposición
Puede ser
Oración declarativa
Simple Compuesta
Tiene un único valor lógico
Sin Con
conectivos conectivos
Verdadero Falso lógicos lógicos

Ejemplo: Ejemplo:
Pero El Sol es una El Sol es una
estrella estrella y la Tierra
gira alrededor del
No ambos a la vez Sol
Las oraciones que no son falsas ni verdaderas, las que son
falsas y verdaderas al mismo tiempo, o las que carecen de
sentido (o presentan algún tipo de imprecisión) no son
consideradas proposiciones.

Las proposiciones se denotan con letras minúsculas: p, q, r, s.

Ejemplos:
• Maracaibo es la capital del Zulia.
• La Tierra gira alrededor del Sol.
• El Zulia es la capital de Venezuela.
• 1 + 1 =2
• 2 + 2 =3

No son proposiciones:
• ¿Qué hora es?
• ¡Siéntate!
• Lee esto con atención.
• X + 1=2
• X+Y=Z
 Valor de verdad
Llamaremos valor verdadero o valor de verdad de una
proposición a su veracidad o falsedad. El valor de verdad de
una proposición verdadera es verdad (1) y el de una
proposición falsa es falso (0).
Ejemplo: Diga cuáles de las siguientes afirmaciones son proposicionesy determinarel valorde
verdadde aquellas que lo sean.
• p: Existe el premio Nobel de Informática.
• q: Teclee ESC para salir de la aplicación.
• r: Cinco más siete es grande.

Respuestas:
• p es Proposición. Su valor es «Falso».
• q no es proposición. No es Verdadera ni Falsa.
• r no es proposición. Carece de contexto, es ambiguo.
 Tabla de verdad
Es una tabla que muestra el valor de verdad de una proposición
compuesta, para cada combinación de verdad que se pueda asignar.

La tabla de verdad de una proposición compuesta P enumera

todas las posibles combinaciones de los valores de verdad para las
proposiciones p, q, r, s,…
 Tabla de verdad
Por ejemplo, si P es una proposición compuesta por las proposiciones
simples p, q y r, entonces la tabla de verdad de P deberá recoger los siguientes
valores de verdad.

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
 Proposición compuesta
Si las proposiciones p, q, r, s, … se combinan para formar la proposición P,
diremos que P es una proposición compuesta de p, q, r, s, …

Ejemplo: Sean los enunciados

p: Estructuras Discretas es mi asignatura preferida.

q: Mozart fue un gran compositor.
r: Él es inteligente.
s: Él estudia todos los días.
Ejemplos de Proposiciones compuestas:

«Estructuras discretas es mi asignatura preferida y

Mozart fue un gran compositor»

«Él es inteligente o estudia todos

los días»
 Proposición compuesta
La propiedad fundamental de una proposición
compuesta es que su valor de verdad está completamente
determinado por los valores de verdad de las proposiciones
que la componen junto con la forma en la que están
conectadas.
 Operadores y Conectivos
Lógicos
OPERADORES:
Se aplican a las proposiciones para
generar proposiciones nuevas.

CONECTIVOS LÓGICOS:
Operadores lógicos que se usan para
formar nuevas proposiciones a partir de dos
o más proposiciones existentes.
TIPOS DE OPERADORESLÓGICOS
 NEGACIÓN
Sea p una proposición, el enunciado <<no se cumple p>> es otra
proposición llamada “Negación de p”. Se denota: ¬p y se lee
<<no p>>. Su tabla de verdad es:

p ¬p
1 0
0 1
 NEGACIÓN.
Ejemplo:
p: «El Pentium es un microprocesador.»
¬p: «El Pentium no es un microprocesador.»
¬p: «Es falso que el Pentium sea un microprocesador.»

q: « 2 + 2 = 5 »
¬q: «Es falso que 2 + 2 = 5»
¬q: « 2 + 2 ≠ 5 »
 CONJUNCIÓ
Sean p y q N
proposiciones. La proposición << p y q >>, denotada por p  q,
es la proposición que es verdadera cuando tanto p como q son verdaderas
y falsa en cualquier otro caso. Su tabla de verdad es:

p q pq
0 0 0
0 1 0
1 0 0
1 1 1
 CONJUNCIÓN
Ejemplo:
p: «Hoy es viernes.»
q: «Hoy llueve.»
p  q: «Hoy es viernes y hoy llueve.»

VERDADERA: Los viernes con lluvia. FALSA: Cualquier día

diferente de viernes y los viernes que no llueve.
 DISYUNCIÓN
Sean p y q proposiciones. La proposición << p o q>>, denotada por p  q, es la
proposición que es falsa cuando tanto p como q son falsas y verdadera en
cualquier otro caso. Su tabla de verdad es:

p q pq
0 0 0
0 1 1
1 0 1
1 1 1
 DISYUNCIÓN.
Ejemplo:
p: «Hoy es viernes.»
q: «Hoy llueve.»
p  q: «Hoy es viernes u hoy llueve.»

VERDADERA: Cualquier día que sea viernes o llueva, incluyendo

los viernes con lluvia.
FALSA: Los días que ni son viernes, ni
llueve.
 DISYUNCIÓN EXCLUYENTE
Sean p y q proposiciones. La proposición << p o q (pero no ambas) >>,
denotada por p Δ q, es la proposición que es verdadera cuando solo una de
las dos proposiciones p y q es verdadera; y es falsa cuando ambas son
verdaderas o ambas son falsas.
Su tabla de verdad es:

p q pΔq
0 0 0
0 1 1
1 0 1
1 1 0
 DISYUNCIÓN EXCLUYENTE.
Ejemplo: Un ascensor en movimiento
p: «El ascensor sube.»
q: «El ascensor sube.»
p Δ q: «O el ascensor sube o el ascensor baja»
VERDADERA: Cuando sube o cuando baja, pero no ambos.
FALSA: Cuando está detenido (ni sube ni baja) o cuando sube
y baja simultáneamente.
 IMPLICACIÓN O CONDICIONAL
Sean p y q proposiciones. La implicación pq es la proposición que es falsa
cuando p es verdadera y q es falsa; y es verdadera en cualquier otro caso.
pq
(Antecedente, Hipótesis o Causa) (Consecuente, Conclusión o Consecuencia)

p q pq
0 0 1
0 1 1
1 0 0
1 1 1
 IMPLICACIÓN O
CONDICIONAL
FORMAS DE EXPRESAR EL CONDICIONAL
EN LENGUAJE NATURAL:
• «Si p, entonces q»
• «p implica q»
• «q si p»
• «p solo si q»
• «p siempre que q»
 IMPLICACIÓN O
CONDICIONAL.
Ejemplo:
p: «Soy elegido como Presidente.»
q: «Bajaré los impuestos.»
p  q: «Si soy elegido como Presidente, entonces bajaré los
impuestos.»

Si el político es elegido (p es verdadera) y no baja los impuestos

(q es falsa), las expectativas son falsas.
 BICONDICIONAL O DOBLE
IMPLICACIÓN
Sean p y q proposiciones, el Bicondicional o Doble Implicación, p  q es
la proposición que es verdadera cuando p y q tienen los mismos valores
de verdad y falsa en los otros casos.
Su tabla de verdad es:

p q pq
0 0 1
0 1 0
1 0 0
1 1 1
BICONDICIONAL O DOBLE
IMPLICACIÓN
FORMAS DE EXPRESAR EL BICONDICIONAL
EN LENGUAJE NATURAL:
• «p si, y solo si q»
• «p es necesario y suficiente para q»
• «p sii q»
BICONDICIONAL O DOBLE IMPLICACIÓN.
Ejemplo:
p: «Puedes tomar el vuelo.»
q: «Compras un pasaje.»
p  q: «Puedes tomar el vuelo si, y
solo si, compras un pasaje»

Esta expresión es verdadera si p y q son

ambas verdaderas o ambas falsas.
Precedencia de Operadores Lógicos
Orden Operador Nombre
1 ¬ Negación
2  Conjunción
3  Disyunción
4  Implicación
5  Bicondicional
 Formalización
Consiste en pasar del lenguaje natural al
lenguaje formal.
Ejemplo:
p
«Puedes acceder a internet desde el LC1
solo si estudias Computación o no eres
q alumno del primer período.»
r

p  q  ¬r)
Equivalencias Proposicionales
Dos formulas son lógicamente
equivalentes si tienen los mismos
valores de verdad en todos los
casos. También se dice que p y q
son lógicamente equivalentes si p
 q es una tautología y se denota
por p  q.
 Tautologías y Contradicciones
Sea P una proposición compuesta de las proposiciones simples p, q, r,…
P es una Tautología si es verdadera para todos los valores de verdad que se
asignen a p, q, r, …
P es una Contradicción si es falsa para todos los valores de verdad que se
asignen a p, q, r,…
Una proposición P que no es tautología ni contradicción se llama,
usualmente, Contingencia.
Tautologías y Contradicciones

Tautología Contradicción
p ¬p p¬p p¬p

1 0 1 0
0 1 1 0
 Ejercicios:
• ¿Cuál es la negación de cada uno de los siguientes enunciados?
a) Hoy es martes.
b) No hay contaminación en Ciudad Ojeda.
c) 2 + 1 = 3.
d) El clima en Mérida es cálido y soleado.

• Sean los enunciados p: «Tienes fiebre», q: «Suspendes el examen final» y r: «Apruebas el

curso». Expresa cada una de las siguientes fórmulas en lenguaje natural.
a) p  q
b) ¬p  r
c) q  ¬r
d) p  q  r
e) (p  ¬r)  q  ¬r)
• Sean p y q los enunciados «Conduces a mas de 100 Km. por hora» y «Te multan por exceso de velocidad»,
respectivamente. Escribe los siguientes enunciados usando p, q y conectivos lógicos:
a) No conduces a más de 100 Km. por hora.
b) Conduces a más de 100 Km. por hora, pero no te multan por exceso de velocidad.
c) Te multaran por exceso de velocidad si conduces a más de 100 Km. Por hora.
d) Si no conduces a mas de 100 Km. por hora no te multarán por exceso de velocidad.
• Determina si las siguientes implicaciones son verdaderas o falsas:
a) Si 1 + 1 = 2, entonces 2 + 2 = 5.
b) Si 1 + 1 = 3, entonces 2 + 2 = 4.
c) Si 1 + 1 = 3, entonces 2 + 2 = 5.
d) Si los cerdos vuelan, entonces 1 + 1 = 3.
• Sean las proposiciones p: «Tienes fiebre», q: «No suspendes el examen final» y
r: «Apruebas la asignatura», expresa en lenguaje natural la expresión:
((p q)  (p r))

• Simboliza las siguientes proposiciones:

a) No vi la película pero leí la novela.
b) Ni vi la película ni leí la novela.
c) No es cierto que viese la película y leyese la novela.
d) Vi la película aunque no leí la novela.
• Sean p, q y r las proposiciones «El número N es par», «La salida va a la pantalla» y «Los resultados
se dirigen a la impresora», respectivamente. Enunciar en Lenguaje Natural las siguientes
proposiciones:
a) q  p
b) ¬ q  r
c) r  p  q)
• Tomando en cuenta las proposiciones del ejercicio anterior, escribir, usando conectivos lógicos, una
proposición que simbolice cada una de las siguientes afirmaciones:
a) Si el número N es par, los resultados se dirigen a la impresora y la salida va a la pantalla.
b) La salida va a la pantalla si, y solo si, los resultados se dirigen a la impresora.
c) No es cierto que el número N sea par o la salida no va a la
pantalla.
d) Si el número N es par, la salida va a la pantalla y los resultados se dirigen a la impresora, pero no ambas
cosas a la vez.
CUANTIFICADORES EXISTENCIAL Y UNIVERSAL
 CUANTIFICADORES
En esta sesión virtual trataremos:
• Proposiciones abiertas
• Cuantificador Universal
• Cuantificador Existencial
• Negación de cuantificadores
 PROPOSICIONES
• Considera los siguientes enunciados:
a) “ X es un profesor de matemáticas”
b) “Paolo es un profesor de matemáticas”.
c) “ X es un divisor de 8”
d) “X es un divisor de Y”.
e) “2 es un divisor de Y”.
f) “3 es un divisor de 8”.

• ¿Qué diferencias observas entre unas y otras?

• ¿Cuáles son proposiciones?
• ¿Se te ocurre alguna manera de convertir en proposiciones las que no lo son? ...

Se dan enunciados que no son proposiciones pero que pueden convertirse en proposiciones
si se da un valor a las variables X ó Y.
 PROPOSICIONES ABIERTAS
• Una proposición abierta es un enunciado declarativo que depende de una o más variables
dentro de un universo de discurso, de modo que se convierte en una proposición para cada
valor o reemplazo de la variable.
Ejemplo:
Supongamos que el universo de discurso está formado por los números naturales. Son proposiciones
abiertas:

• P(X): “ X es un divisor de 8”
Observa P(2) es cierta, P(5) es falsa, P(32) es falsa.

• Q(X,Y): “X es un divisor de Y”.

Q(2,5) es falsa pero Q(5, 100) es verdadera.
 EJERCICIO
• Decide cuáles enunciados son proposiciones abiertas y propón un
universo de discurso.
a) (2n+3)2 es un número impar.
b) 1 + 3 = 5
c) Existe un x tal que x < .
d) x es un número real.

Observa bien la forma del enunciado en c) Piensa, antes de responder.

Respuestas:
a) Es proposición abierta. b) Es proposición.
c) Es proposición. d) Es proposición abierta.
 CUANTIFICADORES
Las expresiones
“Existe un x”, “Para algún x”, “Para cualquier x”, “Para todo x”, cuantifican las proposiciones
abiertas, lo que hace posible asignarles un valor de verdad, convirtiéndolas en
proposiciones.

Son proposiciones cuantificadas

“Para alguna x se cumple P(x)”
“ Para algunos x y algunos y, se verifica Q(x,y)” “ Para todo x se satisface R(x)”.

Como se observa en las proposiciones anteriores hay dos tipos de cuantificadores.

¿Puedes distinguirlos?
 CUANTIFICADORES
• El cuantificador existencial,
“Para algún x se verifica p(x)” “Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)” son proposiciones que se escriben como “x p(x) ”

• El cuantificador universal,
“Para todo x se verifica p(x)”
“Para cualquier x tal que se cumple p(x)” “Para cada x se satisface p(x)” son proposiciones
que se escriben como “ x p(x) ”
 CUANTIFICADORES
Ejemplo 01:
Escribe simbólicamente las proposiciones:
a) r: “Para cada entero n, si n es par entonces n2 + 19 es primo”
b) s: “Existe un número real x tal que x/(x2 + 1) = 2/5”

a) Universo: los números enteros,

p(n): “ n es par” y q(n): “n2 + 19 es primo”

r : n [p(n)  q(n)]

b) Universo: los números reales, t(x): “ x/(x2 + 1) = 2/5 ” s: x t(x)

Observa: Es importante especificar el Universo de discurso.

 CUANTIFICADORES
Ejemplo 02:
En el Universo es los números reales, considere las proposiciones abiertas p(x): “ x > 2”, q(x): “ x2 > 4”
Expresa en lenguaje coloquial y decide el valor de verdad de las siguientes proposiciones.
)  x p(x)
) x [p(x)  q(x)]
c) x [q(x)  p(x)]

a) “Todos los números reales son mayores a 2”

b) “ Todo número real mayor que 2 tiene cuadrado mayor a 4”
c) “Cualquier número real con cuadrado mayor a 4 es mayor que 2”
 Ejercicio
Escribe en forma simbólica las siguientes proposiciones y
decida el valor de verdad de las mismas.

p: “Todo número real mayor que 2 tiene un cuadrado

mayor que él mismo”

q: “Algunos números reales con cuadrado mayor que 4 son

menores que 2”

r : “Cualquier número satisface x2 - x  0 o no es mayor que 2”

 VERACIDAD Y FALSEDAD
•Con cuantificador existencial: x p(x)
“ Existe un número real con cuadrado mayor a 12”
- Es verdadera pues se verifica para al menos un ejemplar del universo.
“ Existen números reales con cuadrado negativo”
- Es falsa pues todo ejemplar del universo no la satisface

•Con cuantificador universal: x p(x) “Para cualquier número real x, x2  0”

-Es verdadera, pues se verifica para todos y cada uno de los ejemplares del universo

“Cualquier número natural mayor a 1, divide a 8”

-Es falsa, pues no se satisface para al menos un ejemplar del universo
 ... VERACIDAD Y FALSEDAD CON CUANTIFICADORES

Ejemplo
En el universo de los números enteros, considere las proposiciones
abiertas
p(x): x2 – 8x + 15 = 0
q(x): x es impar.
r(x): x > 0.

-Determina si son verdaderas o falsas las siguientes proposiciones.

a) x [ p(x)  q(x)] a) V; q(x) es V para todo x que
b)  x [ q(x)  p(x)] satisface p(x).
c)  x [ r(x)  p(x)] b) V
d)  x [ p(x)   r(x)] c) F
d) F
Toma unos minutos para responder
 …VERACIDAD Y FALSEDAD CON CUANTIFICADORES

Ejercicio 4
Traduce a lenguaje simbólico y determina los valores de verdad de las
proposiciones cuantificadas, si supones que el universo son los
números enteros:

a) “ Al menos un entero es par ”

b) “ Si x es par entonces no es divisible entre 5”
c) “ Ningún entero par es divisible entre 5”
d) “ Cualquier par es divisible entre 4 ”
 NEGACIÓNDE PROPOSICIONES
CUANTIFICADAS
- Con cuantificador existencial:

La negación de  x p(x) : “Existe x que satisfacep(x)”

Es
[ x p(x)]  “No es cierto que exista x,que verifique p(x)”

 “Ningún x satisface p(x)”

 “Todo x satisface p(x)”
 x p(x)

[ x p(x)]  x p(x)
 NEGACIÓNDE
Con cuantificador universal: La negación de:
o
PROPOSICIONES
x p(x) : “Para todo x se satisface p(x)”
CUANTIFICADAS
es
[x p(x)]  “NO es cierto que
todo x verifique p(x)”

 “Algún x satisface p(x)”

  x  p(x)

 [ x p(x)]  x p(x)
NEGACIÓN DE PROPOSICIONES CUANTIFICADAS

Ejemplos: Exhiba la negación de las proposiciones

1) r : “ Cualquier número real cuyo cuadrado es mayor que 1, es mayor que 1” equivale a
r: “ Para todo x real, si x2 > 1 entonces x > 1”

La negación es
 r : Existe algún x real tal que x2 > 1 y x  1

2) p : “ Existen números enteros pares que son divisibles entre 3” equivale a

p: “Existen x enteros tales que x es par y x es divisible entre 3”

La negación es
 p : Para todo entero x se cumple que x es imparo x no es divisible entre 3
Ejercicio:
• Determina si B, que la negación propuesta de A, es correcta.
• Determina cual de las proposiciones A o B es verdadera.
• Si la negación propuesta es incorrecta, escribe la correcta y determina su valor de verdad

a) A: “Todos los números reales x que satisfacen que x + 3 sea impar son impares”.
B: “Existen números reales x tales que si x + 3 es par entonces x es par”.

b) A: “Existen números impares cuyo producto con 17 es impar”.

B: “Cualquier número impar multiplicado por 17 es par”.