REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA

EDUCACIÓN UNIVERSITARIA, CIENCIA Y
TECNOLOGÍA

INSTITUTO UNIVERSITARIO DE TECNOLOGÍA

“ANTONIO
Í JOSÉ DE SUCRE”

GUARENAS-ESTADO MIRANDA

PROPOSICIÓN Y CONECTIVOS
LOGICOS

PROFESOR: ALUMNO:

JOSÉ FARIÑA DIEGOTORTOZA

C.I. 19821712
ELECTRÓNICA (80)

GUARENAS, JUNIO DE 2020

1
 ÍNDICE

INTRODUCCIÓN ........................................................................................... 3

PROPOSICIÓN LÓGICA ............................................................................... 4

Operaciones proposicionales ........................................................................ 6

CONECTORES LÓGICOS ........................................................................... 7

Lenguaje natural ........................................................................................... 7

Los lenguajes formales ................................................................................ 10

Lista de conectores lógicos comunes .......................................................... 11

Negación ..................................................................................................... 12

Conjunción ................................................................................................... 13

Disyunción .................................................................................................. 13

Disyunción exclusiva ................................................................................... 13

Implicación ................................................................................................... 14

Bidicondicional ............................................................................................. 14

TAUTOLOGÍA ............................................................................................. 15

CONTRADICCIONES ................................................................................. 16

CONTINGENCIAS ..................................................................................... 16

CONCLUSIÓN ............................................................................................. 18

ANEXO ........................................................................................................ 19

BIBLIOGRAFÍA ........................................................................................... 20

2
 INTRODUCCIÓN

Una proposición lógica es cualquier enunciado lógico al que se le pueda

asignar un valor de verdad.

En la lógica proposicional, las conectivas lógicas se tratan como funciones

de verdad. Es decir, como funciones que toman conjuntos de valores de
verdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica «no»
es una función que si toma el valor de verdad V, devuelve F, y si toma el
valor de verdad F, devuelve V. Por lo tanto, si se aplica la función «no» a una
letra que represente una proposición falsa, el resultado será algo verdadero.
Si es falso que «está lloviendo», entonces será verdadero que «no está
lloviendo».

El significado de las conectivas lógicas no es nada más que su

comportamiento como funciones de verdad. Cada conectiva lógica se
distingue de las otras por los valores de verdad que devuelve frente a las
distintas combinaciones de valores de verdad que puede recibir. Esto quiere
decir que el significado de cada conectiva lógica puede ilustrarse mediante
una tabla que despliegue los valores de verdad que la función devuelve
frente a todas las combinaciones posibles de valores de verdad que puede
recibir.

Estos conectivos lógicos son:

 Negación.
 Disyunción.
 Conjunción.
 Implicación o condicional.
 Bicondicional o doble implicación.

3
 PROPOSICIÓN LÓGICA

Una proposición lógica es cualquier expresión que puede ser verdadera o

falsa, pero no las dos al mismo tiempo. Algunos ejemplos de proposiciones
son:

El año empieza con el mes de enero.

Cuando esta soleado se siente calor.

En invierno no es agradable sentir el frio.

1+1=2

Marte está lleno de marcianitos

5 * 9 = 59

Las primeras cuatro proposiciones son verdaderas y se dice que su valor

es V, mientras que las últimas dos son falsas y su valor es F. Dentro de las
proposiciones verdaderas, la última (1+1=2) no representa ninguna palabra o
frase, sin embargo es una expresión matemática y se sabe que es cierta, y lo
mismo pasa con la proposición (5*9=59) cuyo valor lógico se sabe es falso.
No es necesario que una proposición sea una expresión verbal, simplemente
necesitamos poder determinar el valor de verdadero o falso.

Por otro lado, expresiones que no cumplen esta propiedad no son

proposiciones lógicas, por ejemplo:

El próximo viernes caerá un meteorito en mi casa.

Ven a verme.

¡Viva la libertad!

4
 ¿Está lloviendo?

Él está triste.

En la primera frase, se podría decir que la proposición es falsa, sin

embargo es imposible con toda seguridad que eso no sucederá por lo que
también podría ser cierto, haciendo que a esta proposición no se le pueda
asignar un valor y que no sea lógica. La segunda y tercera frase tampoco
son proposiciones lógicas porque no están afirmando nada y no podemos
asignarles un valor de cierto o falso. La cuarta es una pregunta y aunque se
pueda responder con un cierto o falso, la pregunta en si no tiene un valor de
verdad por lo que tampoco cuenta como proposición lógica. La quinta podría
ser una proposición lógica pero "él está" es una afirmación muy ambigua y
cualquier persona podría ocupar la posición de "él", por lo que la proposición
tendría el valor de cierto o falso dependiendo de la persona a la que se
aplicara, debido a esto no puede tener un valor de verdad absoluto y no
puede ser una proposición lógica

Representación

Las proposiciones lógicas se suelen representar por las letras p, q y r, de

tal forma que se puede dice: La proposición q y la proposición r son
diferentes a la proposición p.

La proposición p puede representar, por ejemplo:

p = Mi perro es negro.

p = La tierra es una esfera.

p(x) = x es una marca de autos.

En esta última proposición se puede observar que se representa p(x). En

estas proposiciones se puede cambiar x por cualquier cosa que se quiera y
observar el valor toma. Un caso donde la proposición es verdadera es

5
p(ferrari) donde se obtiene: Ferrari es una marca de autos; y un caso donde
es falsa es p(naranja) donde obtenemos: Naranja es una marca de autos.

Las proposiciones genéricas se denotan con las letras pp, qq, rr, etc.

Estas proposiciones son simples y con estas se puede operar para generar
otras proposiciones, ya sea simple o compuesta, y según sean las
operaciones se utilizan ciertos símbolos, llamados conectores o conectivos
lógicos.

Conecti
Operación asociada Significado
vo

¬¬ Negación no pp o no es cierto que pp

Conjunción o producto
∨∨ pp y qq
lógico

∧∧ Disyunción o suma lógica pp o qq en sentido excluyente

pp implica qq o si pp,
→→ Implicación
entonces qq

↔↔ Doble implicación pp si y sólo si qq

Operaciones proposicionales

Las operaciones entre proposiciones se definen como: dadas una o dos

proposiciones, cuyos valores de verdad se conocen, se trata de caracterizar
la proposición resultante a través de su valor de verdad. Se supone que en la
elección de estos valores se tiene en cuenta el buen sentido.

Por ejemplo, si se tiene una proposición pp, su negación se denota

como ¬p¬p. Si pp es "todo hombre es honesto", entonces ¬p¬p es, "no todo
hombre es honesto" o "no es cierto que todo hombre es honesto" o "hay
hombres que no son honestos", etc.

6
 Para entender de mejor forma cómo funcionan las operaciones
proposicionales, se utilizan las tablas de verdad, las cuales se mostrarán a
continuación.

CONECTORES LÓGICOS

En lógica, un conector lógico (también llamado un operador lógico ,

conectivo oracional , o el operador oracional ) es un símbolo o palabra se
utiliza para conectar dos o más oraciones (ya sea de un oficial o de un
lenguaje natural ) en una gramaticalmente válida manera, de tal manera que
el valor de la frase compuesto producido depende sólo de la de las frases
originales y sobre el sentido de la conectivo.

Los conectores lógicos más comunes son binarios conectivas (también

llamados diádicas conectivas ) que unen dos frases que pueden ser
consideradas como de la función de operando. También comúnmente,
negación se considera que es un unario conectivo.

Conectivos lógicos junto con cuantificadores son los dos principales tipos
de constantes lógicas utilizadas en los sistemas formales tales como la lógica
de proposiciones y lógica de predicados. Semántica de un conector lógico es
a menudo, pero no siempre, presentados como una función de verdad.

Un conector lógico es similar pero no es equivalente a un operador

condicional.

Lenguaje natural

En la gramática de las lenguas naturales dos frases se pueden unir por

una conjunción gramatical para formar una gramaticalmente oración
compuesta . Algunas, pero no todas estas conjunciones gramaticales
son verdad funcional . Por ejemplo, considere las siguientes frases:

A. Jack subió a la colina.

7
 B. Jill fueron encima de la colina.

C. Jack subió la colina y Jill fueron encima de la colina.

D. Jack subió a la colina por lo que Jill fueron encima de la colina.

Las palabras y y así son gramaticales conjunciones que unen las frases

(A) y (B) para formar las oraciones compuestas (C) y (D). El y en (C) es
un lógico conectivo, ya que la verdad de (C) está completamente
determinada por (A) y (B): no tendría sentido afirmar (A) y (B) pero negar (C).
Sin embargo, por lo que en (D) no es un conector lógico, ya que sería
bastante razonable afirmar (A) y (B), pero negar (D): quizás, después de
todo, Jill fueron encima de la colina en busca de un cubo de agua , no porque
Jack había subido la colina en absoluto.

Varias palabras en inglés y pares de palabras expresan conectores

lógicos, y algunos de ellos son sinónimos. Los ejemplos son:

Símb puerta
Palabra Conectivo
olo lógica

y conjunción "∧" Y

y entonces conjunción "∧" Y

y luego dentro
conjunción "∧" Y
de

o disyunción "∨" O

Cualquiera o disyunción exclusiva "⊻" XOR

o bien, pero no
disyunción exclusiva "⊻" XOR
tanto

implica la implicación material "→"

8
 está implícito en implicación inversa "←"

si ... entonces la implicación material "→"

...Si implicación inversa "←"

si y solo si bicondicional "↔" XNOR

sólo si implicación inversa "←"

por si acaso bicondicional "↔" XNOR

pero conjunción "∧" Y

sin embargo conjunción "∧" Y

no ambos negación alternativa "↑" NAND

ni ni negación conjunta "↓" NI

no negación "¬" NO

es falso que negación "¬" NO

no es el caso de
negación "¬" NO
que

a pesar de que conjunción "∧" Y

aunque conjunción "∧" Y

por lo tanto la implicación material "→"

asi que la implicación material "→"

es decir bicondicional "↔" XNOR

además conjunción "∧" Y

9
 nonimplication
pero no "↛"
materiales

no pero nonimplication inversa "↚"

sin ... sin la implicación material "→"

sin ... allí no está implicación inversa "←"

Los lenguajes formales

En los lenguajes formales, funciones de verdad están representadas por

símbolos inequívocos. Estos símbolos se denominan conectores
lógicos, operadores lógicos, operadores proposicionales , o, en la lógica
clásica , la verdad-funcional conectivas . Ver fórmula bien formada por las
reglas que permiten nuevas fórmulas bien formadas que se construye
uniendo otras fórmulas bien formadas utilizando conectivas veritativo-
funcionales.

Conectivos lógicos se pueden usar para enlazar más de dos estados, por
lo que se puede hablar de n ary conectivo lógico .

Lista de conectores lógicos comunes

Conectivos lógicos usados comúnmente incluyen:

 La negación (no) : ¬, N (prefijo), ~

 Conjunción (y) : ∧, K (prefijo), y, ∙
 Disyunción (o) : ∨, A (prefijo)
 La implicación material (si ... entonces) : →, C (prefijo), ⇒, ⊃
 Bicondicional (si y sólo si) : ↔, E (prefijo), ≡, =

10
 Los nombres alternativos para bicondicional son si y sólo si, 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 conectores lógicos.
Para la declaración de P = Está lloviendo y Q = yo soy en el interior:

 Es no lloviendo ( P )\ neg
 Está lloviendo y yo soy el interior ( )P \ wedge Q
 Está lloviendo o yo soy el interior ( )P \ lor Q
 Si está lloviendo, entonces yo soy el interior ( )P \ rightarrow Q
 Si estoy en el interior, a continuación, está lloviendo ( )Q \
rightarrow P
 Estoy en interiores si y sólo si está lloviendo ( )P \ leftrightarrow Q.
 También es común para considerar la siempre verdad fórmula y la
siempre falsa fórmula para ser conectivo:
 La verdadera fórmula (⊤, 1, V [prefix], o T)
 False fórmula (⊥, 0, O [prefijo], o F)

Negación

No existe acuerdo en cuanto a la posibilidad de definir la negación, ni en

cuanto a su estatus lógico, función y significado, ni tampoco a su ámbito de
aplicación..., y en cuanto a la interpretación de la sentencia negativa, (FH
Heinemann 1944).

La negación es una operación sobre el valor de verdad (generalmente, el

valor de una proposición), que produce un valor de verdadero cuando
su operando es falso, y un valor de falso cuando su operando es verdadero.
Por tanto, si el enunciado A es verdadero, entonces ¬A (pronunciado "no A")
sería consecuentemente falso; y lo contrario: si ¬A es verdadero,
entonces A sería consecuentemente falso.

11
 La tabla de verdad de ¬p es la siguiente:

Tabla de verdad de
¬p

p ¬p

Verdad
Falso
ero

Verdad
Falso
ero

La negación clásica se puede definir en términos de otras operaciones

lógicas. Por ejemplo, ¬p se puede definir como p → F, donde "→" es
una implicación lógica y F es una falsedad absoluta. Por el contrario, se
puede definir F como p & ¬p para cualquier proposición p, donde "&" es
una conjunción lógica. La idea aquí es que cualquier contradicción es falsa.
Aunque estas ideas funcionan tanto en la lógica clásica como en la
intuicionista, no funcionan en cambio en la lógica para-consistente, donde las
contradicciones no son necesariamente falsas.

En la lógica clásica, se tiene una identidad adicional: p → q se puede

definir como ¬p ∨ q, donde "∨" es la disyunción lógica: "no p, o q".

Algebraicamente, la negación clásica corresponde con el complemento en

un álgebra booleana, y la negación intuicionista con la seudo-
complementación en un álgebra de Heyting. Estas álgebras ofrecen
una semántica para las lógicas clásicas e intuicionista, respectivamente.}

Conjunción

En razonamiento formal, una conjunción lógica entre dos proposiciones es

un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas
proposiciones son ciertas, y en falso de cualquier otra forma.

12
 La conjunción de dos proposiciones simples p q es verdadera si ambas
proposiciones son verdaderas. A la conectiva lógica conjunción se le
denomina el operador lógico AND y representa el producto lógico.

Disyunción

La disyunción lógica es el enunciado que resulta verdadero cuando

cualquiera de los operadores es verdadero.

Una disyunción lógica (en específico, una disyunción inclusiva) entre dos
proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso
solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.
Una puerta OR es una puerta lógica que implementa la disyunción lógica.

Disyunción exclusiva

La disyunción exclusiva (también llamada "o" exclusivo, o desigualdad

material en lógica proposicional) es un operador lógico simbolizado como
XOR, EOR, EXOR, ⊻, ⊕ o es un tipo de disyunción lógica de dos operando.
Esta se puede determinar que se define por el hecho de que está formada
por dos operando y de que será verdad si sólo uno de estos dos es cierto.

Implicación

El condicional material o implicación, conocido como condicional,

condicional funcional de verdad, o imprecisamente confundido con la
implicación material, es una conectiva lógica que conecta dos proposiciones,
representado usualmente A→B. En lógica proposicional, el condicional
material es una función de verdad binaria, que se vuelve falso cuando B es
falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

Bidicondicional

Un bicondicional, (también llamado equivalencia o doble implicación, en

ocasiones abreviado en español como ssi) es un operador lógico binario, es

13
decir, una función , siendo B cualquier conjunto con |B|=2, aunque es común
que se considere a B como B={V,F} o B={0,1}. El bicondicional también funge
como conectivo lógico, permitiendo formular expresiones de la forma «P si y
solo si Q», que es verdadera en el caso de que ambos componentes tengan
el mismo valor de verdad. En otro contexto el bicondicional representa la
equivalencia lógica entre dos proposiciones.

El valor de verdad de un bicondicional «p si y solo si q» es verdadero

cuando ambas proposiciones (p y q) tienen el mismo valor de verdad, es
decir, ambas son verdaderas o falsas simultáneamente; de lo contrario, es
falso.

Se tiene así que la afirmación «p si y solo si q» es lógicamente

equivalente al par de afirmaciones «Si p, entonces q», y «si q, entonces p».

TAUTOLOGÍA

Una tautología es una fórmula bien formada que resulta verdadera para
cualquier interpretación; es decir, para cualquier asignación de valores de
verdad que se haga a sus fórmulas atómicas. La construcción de una tabla
de verdad es un método efectivo para determinar si una fórmula cualquiera
es una tautología o no.

En un sistema de lógica proposicional, una interpretación no es más que

una función que asigna un único valor de verdad a todas las fórmulas
atómicas bajo consideración. Diferentes interpretaciones, por lo tanto,
difieren sólo en las asignaciones de valores de verdad que hacen. Una
tautología es una fórmula bien formada que bajo cualquier interpretación de
sus componentes atómicos, tiene valor de verdad 1 (verdadero). Por lo tanto,
para determinar si una fórmula cualquiera es una tautología, basta con
considerar todas las posibles interpretaciones de las fórmulas atómicas, y
calcular el valor de verdad del todo. Esto se logra mediante una tabla de

14
verdad. Por ejemplo, considérese la fórmula p ∧ q. Como a cada fórmula
atómica puede asignársele uno de dos posibles valores de verdad, hay en
total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro
interpretaciones posibles: o ambas son verdaderas; o p es verdadera
y q falsa; o p es falsa y q verdadera; o ambas son falsas. Esto puede
presentarse mediante una simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de

verdad de la fórmula p ∧ q. Los resultados pueden presentarse nuevamente
mediante una tabla:

CONTRADICCIONES

Contradicción es una proposición que siempre es falsa para todos los

valores de verdad. Para cualquier valor de verdad de las proposiciones, sea
cual sea, el resultado de la fórmula lógica estudiada siempre va a ser falso.

Una de las más usadas y menos compleja es P ∧ ¬P (se lee: P y no P). Su
tabla de verdad es la siguiente.

P ¬P P ∧ ¬P

15
 V F V

F V V

CONTINGENCIAS

La contingencia es el modo de ser de lo que no es necesario ni imposible,

sino que puede ser o no ser el caso. En general la contingencia se predica
de los estados de cosas, los hechos, los eventos o las proposiciones. Existe
un debate sobre si es aceptable hablar de entidades contingentes (o
entidades necesarias o imposibles), conocido como el debate en torno a las
modalidades de dicto (de la palabra) y de res (de la cosa).

La relación entre necesidad, posibilidad y contingencia es fácil de

malentender. Todo lo que es contingente es posible, pero no todo lo que es
posible es contingente, pues aquello que es necesario también es posible,
pero no es contingente. Por otra parte, no todo lo que no es necesario es
contingente, pues lo que es imposible no es ni necesario ni contingente.

En lógica modal, se dice que una fórmula es contingente cuando es

verdadera en al menos un mundo posible y falsa en otro.

16
 CONCLUSIÓN

La lógica proposicional es la rama de la lógica matemática que estudia

proposiciones, afirmaciones u oraciones, los métodos de vincularlas
mediante conectores lógicos y las relaciones y propiedades que se derivan
de esos procedimientos. Es una herramienta útil para razonar, pero no puede
resolver problemas que requieren analizar la estructura interna de las
proposiciones o de las relaciones entre ellas. Este tipo de lógica considera
las proposiciones como elementos atómicos y no tiene cuantificadores o
variables de entidad. Esta es también utilizada en la construcción de circuitos
lógicos y la electrónica, ya que es representada mediante compuertas lógicas
y tablas de la verdad.

Así pues, la lógica proposicional es utilizada en sistemas lógicos para

analizar las funciones que han de cumplir los circuitos utilizando los
conectores lógicos como negación, conjunción, disyunción, implicación; que
pueden ser representadas con las compuertas NOT, AND, OR, XOR,
utilizando las tablas de la verdad (tautología) del comportamiento de las
compuertas y aplicándolo a circuitos electrónicos, informática y otras ciencias
que trabajan mediante sistemas lógicos digitales.

17
ANEXO

18
Conectivos lógicos con sus tablas de la verdad

BIBLIOGRAFÍA

19
 Fuente: Wikiversidad https://sites.google.com/a/upao.edu.pe/logica-
proposicional-sistemas/logica-proposicional/proposiciones-logicas.
 Centro de escritura y comprensión lectora Universidad Externado
Colombiana.https://www.uexternado.edu.co/wp-
content/uploads/2017/03/3.-Conectores-l%C3%B3gicos..pdf.
 Fuente:wikipedia https://es.wikipedia.org/wiki/Negaci%C3%B3n_l
%C3%B3gica.
 Julián Pérez Porto y María Merino. Publicado: 2011.
https://definicion.de/disyuncion/
 Fuente: wikipedia. https://es.wikipedia.org/wiki/Bicondicional.
 Fuente: wikipedia. https://es.wikipedia.org/wiki/Condicional_material
 Fuente:MATEDISC11211515.
https://sites.google.com/site/matedisc11211515/unidad-3-logica-
proposicional/tabla-de-verdad/tautologia#:~:text=En%20l%C3%B3gica
%2C%20una%20tautolog%C3%ADa%20(del,haga%20a%20sus%20f
%C3%B3rmulas%20at%C3%B3micas.
 Fuente:wikipedia. https://es.wikipedia.org/wiki/Disyunci
%C3%B3n_exclusiva.

20