CONECTORES LGICOS

CONECTIVOS LGICOS

CONJUNCIN
La conjuncin es una proposicin compuesta que resulta de unir las proposiciones
simples con el enlace y. Smbolo:
Enunciado compuesto:

pq

Significado: y,pero.,aunque
Ejemplo:
El automvil enciende cuando tiene gasolina y tiene corriente la batera
p: El automvil enciende cuando tiene gasolina.
q: El automvil enciende cuando tiene corriente.
Se representa p q
La tabla de verdad es:
p

pq

Segn esto:
p: V Significa que el auto tiene gasolina en el tanque.

q: V Significa que la batera tiene corriente.

p q = V Representa que el auto puede encender.

Si p o q tiene como valor de verdad F implica que no tiene gasolina en el tanque o no

tiene energa la batera y que por lo tanto no puede encender.

Conclusin:
Una conjuncin es verdadera cuando las proposiciones simples que la forman son
verdaderas.

DISYUNCIN
La disyuncin es una proposicin compuesta que resulta de unir las proposiciones
simples con el enlace o. Se clasifica en: disyuncin inclusiva y disyuncin exclusiva.

DISYUNCIN INCLUSIVA
La disyuncin Inclusiva es una proposicin compuesta que resulta de unir las
proposiciones simples con el enlace o. Su smbolo:
Enunciado compuesto: p q
Significado o , u.
Con este conector se obtiene un valor de verdad V cuando alguna de las dos
proposiciones es verdadera.

Ejemplo:
Una persona puede entrar al teatro si compra el boleto u obtiene una invitacin gratuita.

p: Una persona entra al teatro si compra el boleto.

q: Una persona entra al teatro si obtiene una invitacin gratuita.

Se representa p q .

La tabla de verdad es:

p

pq

La nica forma en la que no puede ingresar al teatro ( p q =F), es que no compre su

boleta (p=F) y que no obtenga una invitacin gratuita (q =F)

Conclusin:
La disyuncin inclusiva implica que puede verificarse una de las dos proposiciones
simples, o ambas a la vez; ya que uno no excluye a la otra.

DISYUNCIN EXCLUSIVA

La disyuncin exclusiva es una proposicin compuesta que resulta de unir las

proposiciones simples con el enlace o. Su smbolo:
Enunciado compuesto: p q
Su significado: o bien...
Con este conector se presenta que al menos una de las opciones es verdadera, pero solo
una, si p=V y q =V entonces p q =F

Ejemplo:
o Juan es cristiano o musulmn
p: Juan es cristiano
q: Juan es musulmn
Se representa p q

La tabla de verdad es:

p

pq

En este conector si se plantea (p=V) y (q =V) el resultado de p q es falso porque Juan es

cristiano o musulmn y no las dos.

Conclusin:
La disyuncin exclusiva implica que se verifica una de las dos proposiciones, pero no
ambas a la vez.

NEGACIN

La negacin es una proposicin simple, que resulta de contradecir el sentido de verdad de

dicha proposicin. Su smbolo: , ~

Su enunciado compuesto: p , ~p

Su significado: No, no es cierto que, ni

Su funcin es negar los enunciados o proposiciones, esto significa que si alguna

proposicin es Verdadera y se aplica el operador su negacin es Falso.

Ejemplo:
p: Hoy est lloviendo.

Su negacin: ~p: Hoy no est lloviendo

La tabla de verdad es:

p

~p

CONDICIONAL O IMPLICACIN
Una condicional es una proposicin de la forma Si p entonces q, donde p es una
condicin suficiente para que q se cumpla.
Su smbolo: o

Su enunciado compuesto: P Q o P Q .
Su significado: Si entonces

Una proposicin condicional est compuesta por dos proposiciones simples: que se
llaman pantecedent e o Hiptesis y qcon sec uente o Tesis.
P Q

Antecedent e
Ejemplo:
Un candidato a la alcalda dice:

Consec uente

Si salgo elegido alcalde, los nios recibirn alimentacin gratuita.

p:

Sali elegido alcalde.

q:

Los nios recibirn alimentacin gratuita.

Se representa: p q

Su tabla de verdad es:

p

pq

Cuando p=V significa que sali elegido, y q =V significa que los nios recibirn
alimentacin gratuita, por tanto p q =V y el candidato cumpli su palabra.

Cuando p=V y q =F significa que p q =F, el candidato no cumpli por que fue elegido y
no le dio alimentacin gratuita a los nios.

Cuando p=F y q =V significa que aunque el candidato no fue elegido le dio alimentacin
gratuita a los nios, por tanto p q =V

Conclusin:
La condicional es una proposicin compuesta falsa, si el antecedente es verdadero y el
consecuente es falso, en los dems casos la proposicin es verdadera.

BICONDICIONAL O DOBLE IMPLICACIN

Una bicondicional es una proposicin donde p es una condicin necesaria y suficiente

para q. Su smbolo: o .
Su enunciado compuesto: P Q
Su significado:

si y slo si

Sea proposicin bicondicional p q Y se puede expresar: p q q p . Esto

significa que p es verdadera si y solo si q es verdadera. O bien p es falsa si y solo si q
tambin lo es.

Ejemplo:
Apruebas la asignatura, si y solo si entrega las actividades escolares.
p: Apruebas la asignatura.
q: Entrega las actividades escolares.
Se representa: p q

Su tabla de verdad es:

p

pq

Conclusin:
Las proposiciones condicionales solamente son verdaderas si tanto p como q son falsas o
verdaderas.