CONECTIVOS LÓGICOS

Los conectivos lógicos (o símbolos coligativos) son símbolos que enlazan proposiciones simples, sin formar
parte de ellas. Dichos símbolos también toman el nombre de operadores.
Los conectivos lógicos que usaremos en matemáticas son:

1. La conjunción: 
2. La disyunción inclusiva: 
3. LA disyunción exclusiva:
4. La condicional: 
5. La bicondicional: 
6. La negación:

VALIDEZ DE UNA PROPOSICIÓN

La verdad o falsedad de una proposición se denomina su validez (o su valor de verdad).
La validez de la conjunción, de la disyunción, de la condicional, de la bicondicional y de la negación pueden
representarse en tablas.
TABLAS DE VERDAD

 Para una proposición p le corresponde 21  2 posibles valores.

El conectivo negación es el único operador singular, prefijando la proposición, se tiene:
p p
V F
F V

 Para dos proposiciones p y q le corresponden 22  4 combinaciones de valores.

p q
V V
V F
F V
F F

 Para tres proposiciones p,q y r le corresponden 23  8 combinaciones de valores.

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

 Para “n” proposiciones p1 , p 2 , p3 , , p n habrán 2n combinaciones de valores.

Las tablas de verdad de la conjunción, disyunción inclusiva, disyunción exclusiva, condicional y bicondicional
son operadores binarios porque requieren como mínimo dos proposiciones para ser usados, se muestra en la
siguiente tabla:
p q pq pq p q pq pq
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

1. LA CONJUNCIÓN. – Dados dos proposiciones p y q , la conjunción es el resultado de reunir estas

proposiciones con el conectivo “y”.

NOTACIÓN: La conjunción de denota de la forma:

p  q se lee “p y q”

Principio lógico o regla de la conjunción p  q , afirma que: la CONJUNCIÓN es V (verdadero) sólo

cuando “p es V” y “q es V”.

NOTA. – En todo párrafo, las palabras: “pero”, “sin embargo”, “además”, “no obstante”,
“aunque”, “a la vez”, etc. Equivalen al conectivo lógico “  ”.

2. LA DISYUNCIÓN. – La disyunción de dos proposiciones p y q , es la proposición compuesta que

resulta de unir p y q por el conectivo “o”. como el sentido del conectivo “o” es excluyente, se
puede interpretar de dos maneras: débil o inclusiva y fuerte o exclusiva.
a. LA DISYUNCIÓN INCLUSIVA O DEBIL. – La disyunción inclusiva o débil de p y q se denota por
“ p  q ” y se lee “p o q”.
El principio lógico de la disyunción inclusiva es: la DISYUNCIÓN INCLUSIVA es verdadera,
cuando por lo menos una de las proposiciones componentes es verdadera.
b. LA DISYUNCION EXCLUSIVA O FUERTE. – se denota por “ p q ” y se lee de dos maneras:
“o p, o q”
p q:
“p o q, pero no ambos”
El principio lógico de la disyunción exclusiva es: La DISYUNCIÓN EXCLUSIVA es verdadera
sólo cuando una de sus componentes es verdadera.

3. LA CONDICIONAL. – Es la combinación de dos proposiciones por el conectivo "si entonces ".

El conectivo "si entonces " se denota por el símbolo "  " .
NOTACIÓN: La condicional se denota por:
"p  q" : se lee “si p, entonces q”
La proposición p se llama antecedente (hipótesis)
La proposición q se llama consecuente (tesis o conclusión)
El principio lógico de la condicional es: la CONDICIONAL es falsa, sólo si el antecedente es
verdadero y el consecuente es falso.
NOTA. – Cuando en un párrafo, se encuentran los términos: “porque, puesto que, ya que,
siempre que, cuando, sí, cada vez que, dado que”, estos términos, también, son conectivos
 condicionales, se caracterizan por que después de cada uno de estos términos está el
ANTECEDENTE.
4. LA BICONDICIONAL. – Cuando dos proposiciones están unidas por el conectivo “sí y sólo sí” se
llama bicondicional.
NOTACIÓN: La bicondicional se denota por:
“ p  q ”: se lee “p, sí y solo sí q”
El principio lógico o regla de la bicondicional es: La BICONDICIONAL es verdadera si ambas
componentes son verdaderas o son falsas.
5. LA NEGACIÓN. – Dada una proposición “p”, la negación de p es otra proposición que se denota
por " p" y se lee “no p” o “no es cierto que p”.
La negación “no”, cumple la función de negar una afirmación y de afirmar una negación.

EJEMPLOS:

1. Las laptops son caras, pero útiles.

2.