CONECTIVAS LOGICAS

CONECTIVAS LOGICAS
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dos valores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectivalógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva para cada combinación de valores de verdad. 
La Negación
La operación unitaria denegación, no es cierto que se representa por “¬” y tiene la siguiente tabla de verdad de verdad
p
¬p
V
F
F
V

Ejemplo. Encuentre la negación de las expresiones siguientes:
) Algún elefante es de color rosa
v)Ningún pez respira fuera del agua
vi) Todos los leones son feroces
Solución:
) Ningún elefante es de color rosa
v) Algún pez respira fuera del agua
vi) Algún león no es feroz
La conjunción de lasproposiciones p, q es la operación binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es:
p
q
p^q

V
V
V
V
F
F
F
V
F
F
F
F

La conjunción nos sirve para indicar que secumplen dos condiciones simultánea mente, así por ejemplo si tenemos:
La función es creciente y está definida para los números positivos, utilizamos
p ^ q, donde
p: la función es creciente
q: la funciónestá definida para los números positivos
Así también: p ^ q, donde
p: el número es divisible por 3
q: el número está representado  en base 2
Se lee: El número es divisible entre 3 y está representadoen base 2.
Nota: Observamos que para la conjunción p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y sólo en ese caso como se indica por su tabla de verdad.La disyunción 
Disyunción Inclusiva
Dadas dos proposiciones p y q, se denomina disyunción inclusiva de estas proposiciones a la proposición:







Disyunción exclusiva.
Dadas dos proposiciones p y q, se denominadisyunción exclusiva de estas proposiciones a la proposición:





La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de...