CONECTORES LGICOS.

CONECTIVOS LOGICOS CONJUNCION La conjuncin es una proposicin compuesta que resulta de unir las proposiciones simples con el enlace y. Smbolo: pq Enunciado compuesto: 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 V V F F q V F V F

pq
V F F F

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.

DISYUNCION 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 V V F F q V F V F

pq
V V V F

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.

DISYUNCION 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 V V F F q V F V F

pq
F V V F

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. NEGACION 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 esta lloviendo. La tabla de verdad es: p V F CONDICIONAL O IMPLICACION 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 esta compuesta por dos proposiciones simples: que se llaman p ( antecedente ) o Hiptesis y q ( con sec uente ) o Tesis.
P Q

, ~

Su negacin: ~p : Hoy no esta lloviendo ~p F V

Antecedente Con sec uente Ejemplo: Un candidato a la alcalda dice: Si salgo elegido alcalde, los nios recibirn alimentacin gratuita.
p : Salio elegido alcalde. q : Los nios recibirn alimentacin gratuita. Se representa: p q Su tabla de verdad es: p V V F F Q V F V F

p q
V F V V

Cuando p=V significa que salio 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 IMPLICACION 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 V V F F

Q V F V F

pq
V F F V

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

RESUMEN Recuerde que: Una proposicin es un enunciado del que se puede decir que es verdadero o falso. El valor de verdad de una proposicin es la veracidad o falsedad de est. Una proposicin compuesta, son dos proposiciones unidas mediante unos smbolos denominados conectivos lgicos. La siguiente tabla muestra los diferentes conectivos de la lgica proposicional con su respectivo nombre, smbolo, notacin y lectura.
NOMBRE SMBOLO NOTACN LECTURA

CONJUNCIN DISYUNCIN DISYUNCIN EXCLUSIVA IMPLICACIN CONDICIONAL DOBLE IMPLICACIN EQUIVALENCIA BICONDICIONAL NEGACIN

pq pq pq

p y q p o q p o q , pero no ambas p implica q Si p entonces q p si y slo si q p es equivalente a q No p; es falso que p

pq
pq

La siguiente tabla muestra los valores de verdad de las proposiciones compuestas para cada uno de los diferentes conectivos. p V V F F q pq V V F F V F F F

pq pq pq
V V V F F V V F V F V V

pq V F F V

p
F F V V

q
F V F V

1.4.

TABLAS DE VERDAD.

Teniendo en cuenta que la forma correcta de escribir una variable proposicional es la sintaxis y la semntica es lo que significa. En la lgica una variable proposicional une solamente dos valores de verdad V o F. Para determinar de una Variable Proposicional, debemos seguir las reglas que se dieron en el tema conectores. Esto se hace mediante interpretacin que son un conjunto de valores que se asignan a sus proposiciones simples o atmicas. Al realizar la interpretacin de Variable Proposicional se obtiene un valor de verdad V o F. Cada tabla tiene un nmero de interpretaciones que aparezcan en la familia. El criterio para determinar cuntas interpretaciones posibles hay, tiene una formula

2 n donde n es el numero de proposiciones simples.

2 As la tabla de verdad de una frmula que tenga 2 variables tendr 2 = 4 filas, una 3 que tenga 3, 2 = 8 , etc.

Luego de calcular el nmero de filas se procede de la siguiente manera: La columna 1 corresponde a la asignacin de todas las combinaciones de valores de verdad posibles de las V o F que aparecen en la formula. Calculo del valor de verdad de la negacin de las V o F. Calculo de los conectores binarios que afectan a los resultados del paso anterior o a negaciones. Se calculan todos los conectivos binarios hasta llegar al conector principal. El resultado de la tabla aparece reflejado en la ultima columna donde este el conector principal. Ejemplo 1: Construccin de tabla de verdad

( P q ) ( p q )

2 Esta proposicin compuesta tiene 2 proposiciones simples, por tanto 2 = 4

p
V V F F

q
V F V F

p
F F V V

q
F V F V

p q
V F V V

p q
V V F V

( p q ) ( p q )
V F F V

Ejemplo 2: [ ( p q) ( q p) ] r
3 La proposicin compuesta tiene las proposiciones simples P, Q, R por tanto 2 = 8

p
V V V V F F F F

q
V V F F V V F F

r
V F V F V F V F

q
F F V V F F V V

( p q )
F F V V V V V V

q p
V V F F F F F F

[ ( p q ) ( q p ) ]
F F F F F F F F

r
V V V V V V V V

El resultado de la tabla de verdad de una formula es la ltima columna. En este resultado pueden ocurrir tres casos: Que el resultado final de la tabla solo arroja signos V. El resultado final de la tabla solo arroja signos F. El resultado final presenta signos de V y signos de F indistintamente.

Se dice que es: TAUTOLOGA: Si y solo si su valor de verdad es siempre V, para toda interpretacin posible. Esto significa que el resultado de la tabla arroja solo V en su columna final. CONTRADICCIN: Si la tabla de verdad arroja solamente F. CONTINGENCIA: Si y solo si su valor de verdad es falso para al menos una interpretacin y V para al menos otra. La cual se divide en: Consistencia: Cuando la tabla de verdad arroja mayor cantidad de valores verdaderos que falsos. Inconsistencia: Cuando la tabla de verdad arroja mayor cantidad de valores falsos que verdaderos.