Conectivas lógicas

lógica matemática

E.P. Ingeniería en Industrias

Alimentarias
Garcia Busich, Mathias Basilio
 Conectivas
lógicas: En lógica,
una conectiva A: Juan subió la montaña.
lógica, es un
símbolo o palabra B: Eduardo subió la montaña.
que se utiliza para C: Juan subió la
conectar dos
fórmulas bien montaña y Eduardo subió la
formadas o montaña.
sentencias, de modo
que el valor de D: Juan subió la montaña, por
verdad de la lo tanto Eduardo subió la
fórmula compuesta
depende del valor montaña.
de verdad
de las fórmulas
componentes.
 Lenguajes
formales:
En los lenguajes formales, las
funciones de verdad son
representadas por símbolos
inequívocos. Estos símbolos se
llaman "conectivos lógicos",
"operadores lógicos", "operadores
proposicionales", o, en la lógica
clásica, la "de funciones conectivos
de verdad." Viendo fórmulas bien
formadas para saber las reglas que
permiten las nuevas fórmulas bien
formadas sean construidas al juntar
otras fórmulas bien formadas
utilizando conectivos de funciones de
verdad.
 Conjunción (Y) :

La conjunci ón es una proposición compuesta que

resul ta de combi nar dos proposi ciones si mples con l a
pal abra “y”.
Ejempl o 1:
Sea p: Mercurio es un pl aneta y q: pl utón es un
pl aneta. La conjunci ón p ∧ q: Mercurio es un pl aneta
y pl utón es un pl aneta se expresa en l enguaje natural
“Mercurio y Pl utón son pl anetas”.
Ejempl o 2:
Sea l a proposición p: 2 es un número i mpar y q: 2 es
mayor que 3. La conjunci ón p ∧ q: será: 2 es un
numero i mpar y es mayor que 3. Tambi én se puede
escribir “2 es i mpar y mayor que 3”.
 Disyunción (O) :
La disyunción es una proposición compuesta que
resulta de combinar dos simples por medio de la
palabra “o”. Por ejemplo, sea p: El sodio es un
elemento alcalino y sea q: el sodio es un elemento
halógeno. Entonces la proposición p v q: El sodio
es un elemento alcalino o el sodio es un elemento
halógeno se puede escribir “el sodio es alcalino o
halógeno.
Ejemplo:
Si p es la proposición " 3 es un número primo "
y q es "12 es divisible por 3", entonces se
pueden formar dos proposiciones compuestas, la
conjunción (∧) y la disyunción (v) :
p ∧ q :"3 es un número primo y 12 es divisible
por 3"
p v q :"3 es un número primo o 12 es divisible
por 3".
 Consideremos la siguiente proposición: "Si
obtienes una A en lógica, entonces te voy a
comprar un globo amarillo." Esta parece ser

Condicional (→) :
compuesta en dos oraciones más simplemente:
p: "Obtienes una A en lógica," y
q: "Te voy a comprar un globo amarillo."
La proposición original quiere decir lo
siguiente: Si p es verdad, entonces q es
verdad, o, más simple, si p, entonces q.
También podemos escribir la frase como
p implica q, y escribimos p→q.
Ahora supongamos por el bien de la discución
de que la proposición original: "Si obtiene
una A en lógica, entonces te voy a comprar un
globo amarillo," es verdad. Esto no significa
que tu obtendrás una A en lógica; lo único
que quiere decir es que si tu lo haces,
entonces te voy a comprar un globo amarillo.
Si Pensamos en esto como una promesa, la
única manera que pueda ser rota esta
promesa es si ganas una A pero no te compro
un globo amarillo. En general, usamos esta
idea para definir la proposición p→q.
 Bicondicional (↔) :
El bicondicional p↔q, que le e mos "p s i y s olo s i q" o "p e s e quivale nte a q," s e
de fine por la s iguie nte tabla de ve rdad.
La fle cha "↔" e s e l ope rador bicondicional.
Te ngamos e n cue nta que , e n la tabla de ve rdad, ve mos que , para p↔q ser verdadera,
ambas p y q deben tener los mismos valores de verdad; sí no, es falsa la conversa.
Para la fras e "p s i y s olo s i q," re cue rde que "p s i q" s ignifica q→p mie ntras "p s olo
s i q" s ignifica p→q. Para la fras e "p e s e quivale nte a q," las propos icione s A y B s on
lógicame nte e quivale nte s s i y s olo s i la propos ición A↔B e s una tautológia
Eje mplo 10 Bicondicional
(A) Ve rdad o fals a? "1+1 = 3 s i y s olo s i M arte e s un aguje ro ne gro."
(B) Re formula la oración: "Ens e ño mate máticas s i y s olo s i me pagan una gran s uma
de dine ro."
Solución
(A) Ve rdade ra. La propos ición dada tie ne la forma p↔q, dónde p: "1+1=3" y q:
"M arte e s un aguje ro ne gro." Ya que ambas propos icione s s on fals as , e l bicondicional
p↔q e s ve rdade ra.
(B) Aquí e s tán algunas mane ras e quivale nte s de e xpre s ar e s ta oración:
"Ens e ñar mate mática e s ne ce sario y s uficie nte para que me pague n una gran s uma
de dine ro."
"M e pagan una gran s uma de dine ro s i y s olo s i e ns e ño mate máticas ."
 Ejempl o 1: si asumi mos como ci erta l a proposición, esta l l oviendo,
entonces su negaci ón no esta l l oviendo, es fal sa y sucederá l o mi smo
en caso contrario. Si mbolizado l ógicamente sera:
p: Esta l l oviendo .
-p: No esta l l oviendo.
Ejempl o 2: La pal abra no tambi én suel e encontrarse dentro de l as
proposiciones. Hoy no es domi ngo, su notaci ón es:
-p: Hoy no es domi ngo.
Ejempl o 3: A veces encontramos expresiones como: No es ci erto que
no esta l l oviendo .
Esta expresi ón se puede notar como una sol a proposición, pero
aconsejamos tratarla de l a si guiente manera:
p: Esta l l oviendo ( en forma afi rmati va)
-p: No esta l l oviendo.
- - p: No es ci erto que no esta l l oviendo
Al deci r de l a forma afi rmati va, no si gnifica que l a expresi ón sea
verdadera, porque con mi cha frecuencia afi rmamos expresiones que
son fal sas.
Ahora si suponemos que p ti ene val or de verdad verdadero ,

Negación (-) :
entonces:

-p sera fal so y - - p sera verdadero esto es:

https://youtu.be/tHy1aeXEn8k