Está en la página 1de 14

REPUBLICA BOLIVARIANA DE VENEZUELA

SERVICIO DESCONCENTRADO ESCUELA DE POLICIA


GENERAL DE DIV. JUAN JACINTO LARA
EL CUJI-ESTADO LARA

CONECTIVOS Y OPERADORES LOGICOS

INTEGRANTES:
MARIELBA RODRIGUEZ CI:22.275.319
YHONNEL RODRIGUEZ CI:22.268.605
DAYERLIN RUIZ CI:22.270.592
ANTONY RODRIGUEZ CI: 22.198.298
JOSE RIVERO CI: 19.591.989
SECCION: C
MATEMATICA BASICA
ING. EDUARDO ALMEIDA

INDICE
Pag.
INDICE.2
INTRODUCCION....3
Conectivos y operadores logicos. Definicion4
Negacion4
Conjuncion.5
Disyuncion inclusiva.6
Disyuncion exclusiva.7
Condicional8
Bicondicional.9
CONCLUSION11
ANEXOS.12
BIBLIOGRAFIA.14

INTRODUCCION

Los conectivos 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 conectivo lgico puede ser definido mediante una tabla de valores
de verdad que indique qu valor devuelve el conectivo para cada combinacin de
valores de verdad.
Las operaciones lgicas posibles en lgica proposicional son: negacin,
conjuncin (o producto lgico), disyuncin (o suma lgica), implicacin (o
condicional), doble implicacin (o bicondicional) y disyuncin excluyente (o
diferencia simtrica).
En el trabajo que a continuacin se presenta se explica de manera clara y
concisa cada uno de los conectivos lgicos con sus respectivos ejemplos.

CONECTIVOS Y OPERADORES LOGICOS

Definicin: En lgica, un conectivo lgico, o simplemente conectivo, es un smbolo


que se utiliza para conectar dos frmulas, de modo que el valor de verdad de la
frmula compuesta dependa del valor de verdad de las frmulas componentes.
En programacin se utilizan para combinar valores de verdad y obtener
nuevos valores que determinen el flujo de control de un algoritmo o programa.
Los conectivos lgicos son, junto con los cuantificadores, las principales
constantes lgicas de muchos sistemas lgicos, principalmente la lgica proposicional
y la lgica de predicados.
A partir de los conectores u operadores lgicos, es posible formar
proposiciones compuestas (formadas por varias proposiciones simples y conectadas
entre s por los conectores lgicos), sin embargo los criterios de verdad resultantes de
los operadores lgicos estn regidos por determinadas reglas de la lgica booleana.
Conectivos:
Negacin: La negacin se simboliza, generalmente por el signo "~". Este signo
puede ser traducido en palabras, as: "no es el caso que" o, ms brevemente, "no".
A partir de la teora de conjuntos, establecimos si un elemento pertenece o no
a un conjunto y se seal que si no es elemento del conjunto, entonces es elemento
del conjunto complemento. Por tanto la negacin se refiere al conjunto complemento.
Se establece el siguiente principio para la negacin lgica: la negacin de un
enunciado verdadero es falsa; la negacin de un enunciado falso es verdadero. Lo que
equivale a decir que la negacin de la negacin de una proposicin verdadera es
verdadera; y la negacin de la negacin de una proposicin falsa es falsa. Adems la
conectiva no es la nica de tipo singular del listado de conectores lgicos sealado
anteriormente.
p

~p

V F
F

Ejemplo:
p: Mrida es un estado andino
~p: Mrida no es un estado andino
En este ejemplo, como p es verdadera, ~p es falsa.
Conjuncin: La conjuncin es el operador correspondiente al trmino "y", siendo su
smbolo ms corriente el siguiente, "^", se le conoce como la multiplicacin lgica.
Expresado en el lenguaje matemtico, la conjuncin est regida por la ley asociativa,
"(pq) r" equivale a decir "pqr". Pero tambin es de carcter conmutativo: "pq" y "qp"
son irrelevantes en su orden.
La regla para establecer los criterios de verdad de la conectiva lgica
conjuncin es la siguiente:

Una conjuncin de enunciados en los cuales todos son verdaderos, es


verdadera
Una conjuncin de enunciados en donde no todos son verdaderos es falsa.
Lo que equivale a decir que basta que uno de sus componentes sea falsa para
que toda la proposicin sea falsa y slo ser verdadera en el caso de que ambos
componentes lo sean.

Lo expresado anteriormente se resume simblicamente en la siguiente tabla:


p

p^q

Ejemplo:
Sea el siguiente enunciado "el auto enciende cuando tiene gasolina en el
tanque y tiene corriente en la batera"
Sean:

p= tiene gasolina el tanque


q = tiene corriente la batera
r = el auto enciende = p ^ q
La conclusin resultante es que para que el auto encienda se debe tener
gasolina en el tanque y corriente en la batera, sino se tiene una de estas dos
condiciones el auto no arrancar.
Disyuncin inclusiva: La disyuncin inclusiva, llamada tambin, alternacin,
expresada ordinariamente mediante la palabra "o", simblicamente se le representa
por medio de la letra "v", colocada entre dos proposiciones. Sin embargo, la "o" en
este caso no tiene carcter de encrucijada o de dilema, y se puede interpretar como " o
uno u otro o ambos". Por ciertas analogas con el lgebra se le llama tambin suma
lgica. La alternacin posee, igualmente, la propiedad asociativa que consiste en la no
importancia de la agrupacin en relacin con la verdad o la falsedad de una
proposicin dada. Tambin es afectada por la ley conmutativa de que el orden de las
alternativas no afecta a la alternacin.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

Una disyuncin inclusiva es verdadera cuando por lo menos una de sus


alternativas es verdadera; solamente ser falsa si las dos lo son.

La tabla de verdad del enunciado anterior es como sigue:


p

pvq

Ejemplo:
Sea el siguiente enunciado "Una persona puede entrar al cine si compra boleto u
obtiene un pase"
Sean:
p= compra boleto

q = obtiene un pase
r = una persona entra al cine = p v q
La conclusin resultante es obvia, puesto que para entrar al cine es necesario tener
por lo menos una de las dos condiciones: comprar un boleto o tener un pase, si se
tiene ambas tambin se puede entrar, si no tengo ninguna de las dos alternativas
entonces no se puede entrar al cine.

Disyuncin exclusiva: La disyuncin exclusiva se simboliza por el signo "v",


corresponde a la expresin " o uno u otro, pero no ambos a la vez". Una de las
propiedades de esta conectiva es la de ser conmutativa y la de poseer el carcter
asociativo. Se puede mostrar la equivalencia de los esquemas proposicionales as
como establecer que es inesencial la agrupacin por la cual optemos. Ejemplos de
expresiones afines a esta conectiva son " a menos que" o "salvo que"
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

Una disyuncin exclusiva es verdadera cuando una de sus alternativas es


verdadera; y ser falsa si las dos alternativas son falsas o verdaderas.

La tabla de verdad del enunciado anterior es como sigue:


p

pvq

Ejemplo:
Si,
p: 7 es un nmero primo
q: 7 es un nmero par
r: 7 es mayor que 2

Entonces,
p v q: O 7 es un nmero primo 7 es un nmero par.
Esta proposicin es verdadera ya que p es verdadera.
p v r: O 7 es un nmero primo 7 es mayor que 2.
Esta proposicin es falsa ya que p y r son verdaderas.

Condicional: La condicional, expresada por la frase "si, entonces", se simboliza


mediante el signo "" colocado entre las dos proposiciones. La primera proposicin
lleva el nombre de antecedente y la segunda proposicin la de consecuente. Algunos
lgicos la denominan "proposicin hipottica" o "proposicin implicativa". La
importancia de esta clase de proposiciones es la de que la utiliza frecuentemente en el
lenguaje de las ciencias, particularmente en la ciencia de la fsica y en la matemtica.
El condicional, segn veremos, es una conectiva para la cual importa el orden de las
clusulas, esto es, se trata de un conector no conmutativo. En este caso el antecedente
es una condicin suficiente respecto del consecuente y el consecuente es una
condicin necesaria respecto del antecedente.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

La condicional ser falsa slo cuando el antecedente es verdadero y el


consecuente es falso, en los dems caso ser verdadera.

La tabla de verdad del enunciado anterior es como sigue:


p

pq

Ejemplo:
p: Apruebo el curso de matemtica

q: te llevo a Margarita.
p q: Si apruebas el curso de matemtica te llevo a Margarita
En cualquiera de los tres casos siguientes la promesa no ha sido rota.
1. Aprobaste matemtica y te llevaron a Margarita
2. No aprobaste matemtica y te llevaron a Margarita.
3. No aprobaste matemtica y no te llevaron a Margarita.
En cambio, no podemos decir lo mismo en el siguiente caso
1. Aprobaste matemtica y no te llevaron a Margarita.

Bicondicional: La bicondicional, expresada por la frase "si y solo s", denotada por
el signo"", significa una relacin bidireccional en donde ambas proposiciones se
necesitan entre s.
La regla de la tabla de verdad para esta conectiva lgica es la siguiente:

La conectiva bicondicional ser verdadera solamente si y solo si las dos


sentencias que la componen son a la vez verdaderas o si son ambas falsas.

Lo expresado anteriormente se resume simblicamente de la siguiente manera:


p

pq

Ejemplo.
Si,
a. 2+1=3 2<3
b. 2+1=3 2>3
c. 2+1=4 2>3

d. 2+1=4 2<3

Solo a y c son verdaderas ya que en a el antecedente y el consecuente son verdaderos


y en c el antecedente y el consecuente son falsos.

CONCLUSION

La Lgica tiene un campo de aplicacin en la vida diaria. De hecho, las


distintas operaciones lgicas son practicadas por el hombre sin que sea indispensable
el conocimiento riguroso, exacto de los principios involucrados all. Por lo que
llegamos a esta otra verdad; el hombre aprende a razonar, no en los tratados o textos
de la lgica, sino en las distintas ciencias especiales que se sirven de la lgica. Y as
ocurre que la Lgica no ensea a razonar, de la misma manera como la fisiologa no
nos ensea ni el conocimiento; ni el conocimiento de la fsica a ser buenos
corredores. De hecho, la Lgica se aprende en la vida comn y corriente, sucediendo
con ella algo semejante a lo que ocurre con la gramtica, la cual no nos ensea a
hablar, pero si nos ensea las reglas para ser ms correctos, precisos y exactos en la
expresin escrita y hablada.
La lgica es pues muy importante; ya que permite resolver incluso problemas
a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos
inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o
no valido un argumento dado. El razonamiento lgico se emplea en matemticas para
demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos
los programas; en las ciencias fsica y naturales, para sacar conclusiones de
experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una
multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico
para realizar cualquier actividad.

ANEXOS

BIBLIOGRAFIA

JORGE SAENZ. Fundamentos de matematica. Segunda edicion.


Curso bsico de matemticas. Unidad II
McGraw-Hill. 1971
Jimnez Murillo Lgica Matemtica. Ilustrados.com
Jos Alfredo y otra autora.