República Bolivariana de Venezuela

Universidad Experimental Rómulo Gallegos

Área: Ingeniería en Informática

Sección: 4

Asignatura: Lógica Matemática

Alumno C.I: 30.043.657

Tutor: Alumno:

Simón Torrealba Daniel Ortiz

30 de octubre de 2020
 Conectores Lógicos:

En lógica, una conectiva lógica, o también conectiva, (también

llamado operador lógico o conectores lógicos) es un símbolo o
palabra que se utiliza para conectar dos fórmulas bien formadas o
sentencias (atómicas o moleculares), de modo que el valor de
verdad de la fórmula compuesta depende del valor de verdad de las
fórmulas componentes.

Los conectivos lógicos más comunes son los conectivos

binarios (también llamados conectivos diádicos) que unen dos
frases, que pueden ser consideradas los operandos de la función.
También es común considerar a la negación como un conectivo
monódico.
Las conectivas lógicas son, junto con los cuantificadores, las
principales constantes lógicas de muchos sistemas lógicos,
principalmente la lógica proposicional y la lógica de predicados.
En programación se utilizan para combinar valores de verdad y
obtener nuevos valores que determinen el flujo de control de
un algoritmo o programa.

Lenguajes naturales:
En la gramática de los lenguajes naturales, dos frases pueden unirse
mediante una conjunción gramatical para formar una oración
gramaticalmente compuesta. Algunas de estas conjunciones
gramaticales, pero no todas, son funciones de verdad. Por ejemplo,
considere las siguientes frases:

A: Juan subió la montaña.

B: Eduardo subió la montaña.
C: Juan subió la montaña y Eduardo subió la montaña.
D: Juan subió la montaña, por lo tanto Eduardo subió la
montaña.

Las expresiones y y por lo tanto son

conjunciones gramaticales que unen las oraciones (A) y (B) para
formar las oraciones compuestas (C) y (D). La y de (C) es un
conector lógico, ya que da el valor de verdad de (C) está
completamente determinado por el valor de (A) y (B), tiene
sentido para el estado (A) y (B) con el resultado(C). Del mismo
modo, por lo tanto en (D) es conector lógico, ya que para (A) y
(B) con el resultado (D).

Lenguajes formales:
En los lenguajes formales, las funciones de verdad son representadas
por símbolos inequívocos. Estos símbolos se llaman "conectivos
lógicos", "operadores lógicos", "operadores proposicionales", o, en la
lógica clásica, la "de funciones conectivos de verdad."

Lista de conectivos lógicos comunes:

Conectivos lógicos comúnmente usados:

Negación (no): ¬, ~

Conjunción lógica (y): ∧, y, ∙

Disyunción lógica (o): ∨

En el caso de la disyunción 'o', tiene dos significados diferentes:
"Inclusivo" y "Exclusivo". Inclusivo: En este caso, para que la
 proposición sea cierta, tiene que ser verdadero uno o todos los
elementos de la premisa.
Exclusivo: El 'o' exclusivo o Xor. En una premisa, p o q es
verdadero, pero no ambos pueden serlo.

Condicional material (Si.. entonces): →, ⇒, ⊃

 Bicondicional (si y solo si): ↔, ≡, =
Nombres alternativos para bicondicional son "sii", "xnor" y "bi-
implicación."
Por ejemplo, el significado de los estados está lloviendo y
estoy en el interior se transforma cuando los dos se
combinan con conectivos lógicos:

No está lloviendo

 Está lloviendo y estoy dentro de casa (P ∧ Q)
 Está lloviendo o estoy dentro de casa (P ∨ Q)
 Si está lloviendo, entonces estoy en casa. (P → Q)
 Si estoy en casa, entonces está lloviendo. (P ← Q)
 Estoy dentro si y solo si está lloviendo (P ↔ Q)
 No está lloviendo (¬ P)

Por declaración P = Está lloviendo; Q = Estoy dentro de

casa.
También es común considerar la fórmula siempre
verdadera y la fórmula siempre falsa como conectivos

 Verdadero (⊤, 1 o T)
 Falso (⊥, 0 o F)

Recíproca, contrarrecíproca e inversa:

La contrarrecíproca ¬q→¬p de una implicación p→q tiene la misma
tabla de verdad que p→q. La contrarrecíproca es falsa solo cuando ¬p
es falsa y ¬q es verdadera, esto es, solo cuando p es verdadera y q es
falsa. Por otra parte, ni la recíproca, q→p , ni la inversa, ¬p→¬q,
tienen los mismos valores de verdad que p→q para todos los posibles
valores de p y q. Cuando dos fórmulas tienen siempre los mismos
valores de verdad, las llamamos equivalentes, de tal forma que una
implicación y su contrarrecíproca son equivalentes. La recíproca y la
inversa de una implicación también son equivalentes.

 q→p es la recíproca de p→q

 ¬q→¬p es la contrarrecíproca de p→q
 ¬p→¬q es la inversa de p→q

Ejemplo: Recíproca, contrarrecíproca e inversa de "Sí viene Juan, no

iré de acampada".

 Recíproca: Si no voy de acampada, entonces viene Juan.

 Contrarrecíproca: Si voy de acampada, entonces no viene Juan.
 Inversa: Si no viene Juan, entonces iré de acampada.

Propiedades:

Algunos conectivos lógicos tienen propiedades que se pueden

expresar en teoremas que contienen el conectivo. Algunas de estas
propiedades que una conectiva lógica puede tener son:

 Asociatividad: En una expresión que contiene dos o más del

mismo conectivo asociativo en una línea, el orden de las
operaciones, no importa, siempre y cuando la secuencia de los
operandos no cambia.
 Conmutatividad: Los operandos del conectivo pueden ser
intercambiados (uno por el otro), mientras que la preservación de
equivalencia lógica de la expresión original.
 Distributividad: Un conectivo denotado por • distribuye sobre otra
que conecta denotado por el signo +, • si a • (b + c) = (a • b) +
(a • c) para todos los operandos a, b, c.
 Idempotencia: Cuando los operandos de una operación son
iguales, el compuesto es lógicamente equivalente al operando.

 Absorción: Un par de conectivos , satisface la ley de

absorción si para todos los operandos a, b.
 Monotonicidad: Si f(a1,..., an) ≤ f(b1,..., bn) para
todo a1,..., an, b1,..., bn ∈ {0,1} tal que a1 ≤ b1, a2 ≤ b2,..., an ≤ bn.
Ej., , , , .
 Afinidad: Cada variable siempre hace una diferencia en el valor de
verdad de la operación o nunca hace una diferencia. Ej., ,
, , , .
 Dualidad: Para leer las asignaciones de valores de verdad para la
operación desde arriba hacia abajo en su tabla de verdad es lo
mismo que tomar el complemento de lectura de la tabla de la
misma u otra conectiva desde abajo hacia arriba. Sin recurrir a
tablas de verdad esto se puede formular como (¬a1, ..., ¬an) =
¬g(a1, ..., an). Ej., .
 Preservación de la verdad: El compuesto todos los argumentos
son tautologías es una tautología en sí. Ej., , , , , ⊂. (ver validez)
 Falsedad de preservación: El compuesto de todos los argumentos
son contradicciones es una contradicción en sí. Por ejemplo ⊄, ⊅.
(ver validez)
 Involutividad (para conectivos unarios): f (f(a)) = a. Por ejemplo
negación en la lógica clásica.
El planteamiento funcional a la verdad a los operadores lógicos se implementa
como puertas lógicas en circuitos digitales. Prácticamente todos los circuitos
digitales (la principal excepción es DRAM) se construye a partir
de NAND, NOR, NOT y puertas de transmisión; ver más detalles en función
de verdad en informática. Los operadores lógicos más de vectores de bits
(correspondientes a finita álgebra de Boole) son operaciones bit a bit.

Pero no todo uso de un conector lógico en programación informática tiene una

semántica de Boole. Por ejemplo, a veces se implementa evaluación
perezosa para P ∧ Q y P ∨ Q, de modo que estos conectores no son
conmutativo si algunas de las expresiones P, Q tiene efecto secundario.
También, un condicional, que en cierto sentido corresponde al
conectivo condicional material, es esencialmente no-booleano porque para si
(P) entonces Q; la consiguiente Q no se ejecuta si el antecedente P es
falso (aunque un compuesto como un todo es exitosa ≈ "verdadera" en tal
caso). Esto se acerca más a las ópticas intuicionistas y constructivistas sobre el
condicional material, más que a las de la lógica clásica.

Ejemplo Análogo Ejemplo de uso en Tabla de

Conectiva Notación
de uso natural el lenguaje natural verdad

Negación no No está lloviendo.

Está lloviendo y la calle está

Conjunción y
mojada.

Está lloviendo o la calle está

Disyunción o
mojada.

Condicional si... Si está lloviendo, entonces la

material entonces calle está mojada.

Está lloviendo si y solo si la

Bicondicional si y solo si
calle está mojada.
Negación Ni está lloviendo ni la calle
ni... ni
conjunta está mojada.

Disyunción o bien... o O bien está lloviendo, o

excluyente bien bien la calle está mojada.