Curso de Especialización Programación y

Desarrollo de Software

Asignatura Lógica y Programación

Mag. Dorio Salvatierra Velarde
- 2023 -
 Sesión 2

Operadores Lógicos
-Conectivos u operadores lógicos.
-Lógicos Proposicionales
-Simbolización de conectores.
-Proposición Negativa. Función.
-Tabla de verdad. Conectores equivalentes
-Proposición Conjuntiva. Función.
-Tabla de verdad. Conectores equivalentes
-Proposiciones Condicionales. Función. Tabla de verdad.
-Conectores equivalentes
Recojo de saberes previos
 Conectivos u operadores lógicos
Los conectores lógicos son palabras o expresiones que sirven para relacionar las ideas dentro de un texto.
En ese sentido, su presencia es fundamental para que un texto sea mucho más que un conjunto de
oraciones independientes y autónomas. La claridad de la argumentación de un texto depende
principalmente del uso adecuado de los conectores; un conector lógico mal utilizado puede cambiar
completamente el sentido del texto.

CONECTOR LÓGICO OPERACION LÓGICA ESQUEMA SIGNIFICADO

SÍMBOLO LÓGICO
Negacion p no p

Conjuncion pq pyq

Disyuncion pq poq

Condicional o pq si p entonces q
 Implicacion
Bicondicional pq p si y solo si q

 Negación (~)
• La negación tiene el efecto de revertir el valor de verdad.
• Se ejecuta sobre un único valor de verdad. p ~p
• Entonces si p es verdadero; p es falsa o viceversa.
V F
Su valor de verdad esta dado por la tabla:
F V

Ejemplo
p: estamos en clase p: no estamos en clase
Términos gramaticales:
”no”, “ni”, “no es verdad que” “no es cierto que”, “es falso que”, “no es el
caso que”.
 Conjunción ()
• La conjunción opera sobre dos valores de verdad de
una proposición compuesta, en la cual la nueva
proposición será verdadera solamente cuando el valor
de verdad de ambas proposiciones es verdadero.
• Su valor de verdad esta dado por la siguiente tabla:

Ejemplo
p: Tengo un buen sueldo
p  q: Tengo un buen sueldo y compro un carro
q: Compro un carro
Términos gramaticales: ”y”, “pero”, “mas” “(,)”, “(;)”, “(.)”.
También equivalen al conectivo conjunción las palabras:
“sin embargo”, “aunque”, “además”, ”no obstante” etc.
 Disyunción ()

• La disyunción opera sobre dos valores de verdad de dos

proposiciones simples, que están formando una proposición
compuesta en la cual la proposición resultante será falsa
solamente cuando el valor de verdad de ambas proposiciones es
falso.
• Su valor de verdad esta dado por la siguiente tabla:

Ejemplo
p: Juan tiene un libro de Lógica
q: Juan tiene un libro de Filosofía
p  q: Juan tiene un libro de Lógica o un libro de Filosofía
Como se nota en el ejemplo existe la posibilidad de que Juan tenga los dos libros, por esta
razón esta disyunción recibe el nombre de DISYUNCION INCLUSIVA
Termino gramatical ’’o’’
 Condicional ()
Se dice que una proposición compuesta es condicional si esta formada por dos proposiciones
simples enlazadas por la expresión "si….entonces".

p  q se lee p implica q

La proposición precedida por la expresión ‘’si’’ se llama antecedente o hipótesis.

La proposición precedida por la expresión ‘’entonces’’ se llama consecuente o conclusión.

En la expression :

p  q, el antecedente es p y el consecuente es q.
 Condicional ()
La proposición resultante será falsa solamente cuando el
valor de verdad del antecedente sea verdadero y el valor
de verdad del consecuente sea falso.
Su valor de verdad esta dado por la siguiente tabla:

Ejemplo
p: Juan esta en clase
q: Juan esta en el aula

p  q: si Juan esta en clase entonces esta en el aula

Termino gramatical ’’Si….entonces….’’

 Bicondicional ()

Este operador lógico también se denomina doble implicación,

la nueva proposición será verdadera cuando los valores de
verdad de ambas proposiciones son iguales.
También se puede observar que la proposición compuesta
será falsa cuando los valores de verdad de ambas
proposiciones sean diferentes.
Su valor de verdad esta dado por la siguiente tabla

Ejemplo
p: Juan compra un auto
q: Juan tiene dinero
p  q: Juan compra un auto si y solo si tiene dinero
Termino gramatical ’’….si y solo si….’’
 Evaluación de Operadores
Los operadores lógicos tienen un orden preestablecido de evaluación determinados por los signos
de agrupación que debe ser tenido en cuenta.
Los estados lógicos, o mejor dicho, el resultado que dan los operadores lógicos pueden tratarse
también como numero booleanos, siendo verdadero equivalente a 1 y falso equivalente a 0

p q p q
V V 1 1 Siendo:
Verdadero equivalente a 1,
V F 1 0 y Falso equivalente a 0
F V 0 1
F F 0 0
VALORES DE VERDAD DE LOS OPERADORES

p q p pq pq pq pq

V V F V V V V
V F F F V F F
F V V F V V F
F F V F F V V
VALORES BOOLEANOS DE LOS OPERADORES

p q p pq pq pq pq

1 1 0 1 1 1 1
1 0 0 0 1 0 0
0 1 1 0 1 1 0
0 0 1 0 0 1 1

Siendo:
verdadero equivalente a 1, y
falso equivalente a 0
 TABLAS DE VALORES DE VERDAD
Una proposición compuesta por dos proposiciones simples p y q supone 4 estados
posibles de líneas de la tabla.
p q
1 V V
2 V F
3 F V
4 F F

El numero de ‘’n’’ oraciones simples genera 2n casos de estados

posibles de líneas de la tabla.
1 oración simple genera 21 líneas de la tabla es decir 2 líneas
2 oraciones simples generan 22 líneas de la tabla es decir 4 líneas
3 oraciones simples generan 23 líneas de la tabla es decir 8 líneas
4 oraciones simples generan 24 líneas de la tabla es decir 16 líneas
 Construir la tabla de valores de verdad de
la siguiente proposición (p𝑞)
p q  (p  q)
Procesos Descripción
V V F
PASO 1 se hace un recorrido de izquierda a derecha teniendo en cuenta los V
paréntesis.
V F V
PASO 2 se identifica el conectivo que aparece dentro del paréntesis, en este F
caso la conjunción. F V V
PASO 3 se precisa el conectivo de mayor jerarquía, en este caso la F
negación F F V
PASO 4 se elabora la tabla con el numero de columnas determinado por: 2n F
en este caso 22 =4 p q  (p  q)
PASO 5
1 1 0
se fija los valores de verdad en las columnas de las variables
proposicionales p y q
1
PASO 6
1 0 1
se completa la tabla por columnas, teniendo en cuenta el conectivo
0
y los valores de verdad de cada proposición simple, obteniendo el
resultado final de la tabla de valores de verdad. 0 1 1
0
0 0 1
0
 ORDEN DE LOS OPERADORES

[(p ~t)(st)][q(~s~q)]
2 1
2 1

3 3

4
 Ejercicio
~{ [ ( p  ( q  r ))  ( s  t ) ]  [ q  ( ~ s  ~ q ) ] }
 𝐄𝐣𝐞𝐦𝐩𝐥
𝐨: 1
Hallar la tabla de valores de verdad de la siguiente fórmula lógica

q  p  r

𝐒𝐨𝐥𝐮𝐜𝐢𝐨𝐧:
p q r ( q  p)  r
V V V V V V F FV
q  p  r V V F V V V V VF
3 oraciones simples generan 23 V F V F V V F FV
líneas de la tabla es decir 8 líneas
V F F F V V V VF
F V V V V F F FV
F V F V V F V VF
F F V F F F V FV
F F F F F F V VF
 𝐄𝐣𝐞𝐦𝐩𝐥
𝐨: 2
Formalizar el siguiente enunciado

Si obtengo una beca o gano el concurso de lógica, entonces viajare al

𝐒𝐨𝐥𝐮𝐜𝐢𝐨𝐧:
extranjero

Primeramente identificamos las proposiciones

simples

p: obtengo una beca

q: gano el concurso de logica
r: viajare al extranjero

Formalizando el enunciado tenemos

 Elaborar tabla de verdad con valores Booleanos

 p  q  r
𝐄𝐣𝐞𝐦𝐩𝐥
𝐨: 3 el siguiente enunciado
Formalizar

Las leyes de la mecánica son exactas si Newton dice la verdad, si y

𝐒𝐨𝐥𝐮𝐜𝐢𝐨𝐧:
solo si el movimiento no es relativo.

Primeramente identificamos las proposiciones

simples

p: las leyes de la mecanica son exactas

q: Newton dice la verdad
r: el movimiento es relativo

Formalizando el enunciado tenemos

 q  p  r
 Elaborar tabla de verdad con valores Booleanos

q  p ~ r
𝐄𝐣𝐞𝐦𝐩𝐥
𝐨: 4
Formalizar el siguiente enunciado

Si la seguridad privada es efectiva, disminuyen los índices de asaltos en

la ciudad y el turismo se desarrolla. Los índices de asalto no disminuyen,
pero la seguridad privada es efectiva. Entonces el turismo no se

𝐒𝐨𝐥𝐮𝐜𝐢𝐨𝐧:Primeramente identificamos las proposiciones

desarrolla.

simples

p: la Seguridad privada es efectiva

q: los indices de asalto disminuyen en la ciudad
r: el turismo se desarrolla
Formalizando el enunciado

⇒{[ p  ( q  r)]  ( ~ q 
tenemos

p)}∼ 𝒓
 Elaborar tabla de verdad con valores Booleanos
⇒{[ p  ( q  r)]  ( ~ q 
p)}∼ 𝒓