Operadores Lgicos: Conjuncin

Conjuncin
Una conjuncin lgica (comnmente simbolizada como Y o /\) es, en lgica y matemticas, un
operador lgico que resulta en verdadero si los dos operadores son verdaderos. En lgica y
matemticas una conjuncin es un enunciado con dos o ms elementos simultneos.

Es la unin de dos o ms proposiciones mediante el conectivo lgico y, pero, tambin,

sin embargo, adems, signos de puntuacin como: la coma, el punto, y el punto y coma
etc. El smbolo matemtico para la conjuncin lgica vara en la literatura.

REGLA.- Es verdadera la proposicin conjuntiva nicamente cuando las dos proposiciones son
verdaderas (p y q), en cualquier otro caso es falsa.

Ejemplo:

P: La casa est sucia.

Q: La empleada la limpia maana

P Q: La casa est sucia y la empleada la limpia maana

Ejemplo de Conjuncin

Si se tienen las proposiciones:

a: Trabajo mucho.

b: Recibo un bajo sueldo.

La conjuncin entre a y b se puede expresar como:

a^b: Trabajo mucho pero recibo un bajo sueldo.

Disyuncin exclusiva
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva.

Establece que la disyuncin exclusiva es verdadera si slo una de las dos proposiciones de las
componentes es verdadera. Cuando todas ellas son falsa, todas son verdaderas la proposicin
resultante es falsa.

Es verdadera si slo una de las variables atmicas es verdadera. Cuando las dos son falsas o las
dos son verdaderas entonces la proposicin resultante es falsa.

Ejemplos:

Sea la proposicin molecular: "O uno es el elemento neutro de la multiplicacin o 12 es un

nmero par"

p = "uno es el elemento neutro de la multiplicacin " (verdadera) , q = "12 es un nmero par"

(verdadera)

Por ser ambas verdadera la disyuncin exclusiva entre ellas es falsa.

Sea la proposicin molecular: "O la navidad se celebra en diciembre o 13 es un nmero par"

p = "La navidad se celebra en diciembre" (verdadera) , q = "13 es un nmero par" (falsa)

Por tanto, la disyuncin exclusiva entre ellas es verdadera, ya que ambas no son
simultneamente verdaderas.

Sea la proposicin molecular: "O los carnavales se celebran en agosto o 15 es un nmero par"

p = "los carnavales se celebran en agosto" (falsa) , q = "15 es un nmero par" (falsa)

Por tanto, la disyuncin exclusiva entre ellas es falsa, ya que ambas son falsas.

LA DISYUNCIN inclusiva
Smbolo gramatical: o

Smbolo lgico: v

La disyuncin inclusiva es verdadera cuando al menos una de las proposiciones sea verdadera
y es falsa cuando todas las proposiciones simples sean falsas.

Ejemplo:

"El cielo es azul o 12 es un nmero par"

p = "El cielo es azul" (verdadera) , q = "12 es un nmero par" (verdadera)

Por ser ambas verdadera la disyuncin inclusiva entre ellas es verdadera.

ejemplo

p = "El nmero 1 es el elemento neutro de la suma" (falsa) , q = "44 es un nmero par"

(verdadera)

Por tanto, la disyuncin inclusiva entre ellas es verdadera, ya que una de ellas es verdadera.

Condicional
Considera la siguiente proposicin: "Si obtienes una A en lgica, entonces te voy a comprar un
Mustang amarillo." Esta parece ser compuesta en dos oraciones ms simplemente:

p: "Obtienes una A en lgica," y

q: "Te voy a comprar un Mustang amarillo."

La proposicin original quiere decir lo siguiente: Si p es verdad, entonces q es verdad, o, ms

simple, si p, entonces q. Tambin podemos escribir la frase como p implica q, y escribimos
pq.

Ahora supongamos por el bien de la discucin de que la proposicin original: "Si obtiene una A
en lgica, entonces te voy a comprar un Mustang amarillo," es verdad. Esto no significa que tu
obtendrs una A en lgica; lo nico que quiere decir es que si tu lo haces, entonces te voy a
comprar un Mustang 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 Mustang amarillo. En
general, usamos esta idea para definir la proposicin pq.
Ejemplo

Si p y q son verdaderas, entonces pq es verdadera. Por ejemplo:

Si 1+1 = 2 entonces el sol sale por el este.

Aqu p: "1+1 = 2" y q: "El sol sale por el este."

Bicondicional

Se denomina bicondicional a la proposicin formada por dos proposiciones simples

conectadas por la expresin si y solo si
Simblicamente si p y q son proposiciones simples, la doble implicacin pq constituye
un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.
El bicondicional esta formado por las implicaciones pq y qp, las cuales deben tener el
mismo valor de verdad para formar una equivalencia entre p y q: en consecuencia, se
dice que la proposicin p es equivalente a la proposicin q y se acostumbra a escribir
pq
Las proposicin bicondicional tiene varias formas de traduccin mas no de significacin
, estas son :

o p si y solo si q.
o q si y solo si p.
o si p entonces q y recprocamente.
o Si q entonces q y recprocamente.
o p es una condicin necesaria y suficiente para q.
o q es una condicin necesaria y suficiente para p.

ejemplos

Si se toma p como: 3 + 2 = 7 y q como: 4 + 4 = 8, entonces el valor de verdad de p, es

falso, pero el valor de verdad de q es verdadero, luego entonces la bicondicional p <--> q es
falsa.

2.- Londres est en Inglaterra si, y solamente si, Pars est en Francia.

Sea p Londres est en Inglaterra y q Pars est en Francia, entonces tanto el valor de p,
como de q, son verdaderos,es decir tienen el mismo valor de verdad, luego entonces la
bicondicional p <--> q es verdadera.

LA NEGACION
Para la lgica clsica, que acepta tan slo dos posibles valores de verdad, la negacin es
una operacin mediante la cual convertimos una proposicin verdadera en falsa, y
viceversa. En el caso de la lgica intuicionista, sin embargo, se amplan las
posibilidades, exigiendo pruebas para determinar la veracidad de un enunciado; por lo
tanto, la negacin de una proposicin ser aquella que pueda probarse a travs de las
refutaciones de la primera.

Por ejemplo
Alguien dice: "Hay una computadora en mi oficina." Siguiendo la convencin lgica
nosotros podemos representar esta proposicin atmica simple arriba indicada con una
letra enunciativa nica:

C="hay computadora en mi oficina."

C afirma el hecho cierto que hay desde luego una computadora en mi oficina. Podra,
sin embargo, ser ese C falso. (Si alguien hubiera retirado la computadora de mi
oficina.) Pues bien, hay diversas maneras de decir que ese C no es cierto: (a)"no hay
computadora en mi oficina."

(b)"no es el caso que hay una computadora en mi oficina."

(a) y (b) se llaman la negacin de C.

Asi, una de las formas de negar C es: "No es el caso ese C."

Si nosotros reemplazamos 'no es el caso que' con el smbolo nico:'~' entonces la

negativa de C puede simbolizarse: ~C

Si C es cierto (hay una computadora en mi oficina),entonces ~C (no es el caso que hay

una computadora en mi oficina) es falso.

La negacin puede ser pensada como una funcin:

si C es cierto, entonces ~C es falso.

si C es falso, entonces ~C es cierto.

En Lgica,una funcin es caracterizada por una tabla de verdad: