Los operadores o conectores bsicos son:

Operador (y)
Se utiliza para conectar dos proposiciones que se deben cumplir para que se
pueda obtener un resultado verdadero. Si smbolo es: { , un punto (.), un
parntesis ()}. Se le conoce como la multiplicacin lgica:
Ejemplo.
Sea el siguiente enunciado "El coche enciende cuando tiene gasolina en el
tanque y tiene corriente la batera"
Sean:
p: El coche enciende.
q: Tiene gasolina el tanque.
r: Tiene corriente la batera.
De tal manera que la representacin del enunciado anterior usando simbologa
lgica es como sigue:
p = q r
Su tabla de verdad es como sigue:
q r p = q r
1 1 1
1 0 0
0 1 0
0 0 0
Dnde.
1 = verdadero
0 = falso
En la tabla anterior el valor de q=1 significa que el tanque tiene gasolina, r=1
significa que la batera tiene corriente y p = q r=1 significa que el coche
puede encender. Se puede notar que si q o r valen cero implica que el auto no
tiene gasolina y que por lo tanto no puede encender.
q r p = q r
1 1 1
1 0 0
0 1 0
0 0 0

Operador (o)
Con este operador se obtiene un resultado verdadero cuando alguna de las
proposiciones es verdadera. Se indica por medio de los siguientes smbolos: {
,+, }. Se conoce como la suma lgica. Ejemplo.
Sea el siguiente enunciado "Una persona puede entrar al cine si compra su
boleto u obtiene un pase". Dnde.
p: Entra al cine.
q: Compra su boleto.
r: Obtiene un pase.
q r p =q r
1 1 1
1 0 1
0 1 1
0 0 0

Operador (no)
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es
verdadera y se le aplica el operador no se obtendr su complemento o
negacin (falso). Este operador se indica por medio de los siguientes smbolos:
{, ,- }. Ejemplo.
p p
1 0
0 1
Adems de los operadores bsicos (and, or y not) existe el operador xor, cuyo
funcionamiento es semejante al operador or con la diferencia en que su
resultado es verdadero solamente si una de las proposiciones es cierta, cuando
ambas con verdad el resultado es falso.
En este momento ya se pueden representar con notacin lgica enunciados
ms complejos. Ejemplo
Sean las proposiciones:
p: Hoy es domingo.
q: Tengo que estudiar teoras del aprendizaje.
r: Aprobar el curso.
El enunciado: "Hoy es domingo y tengo que estudiar teoras de aprendizaje o
no aprobar el curso". Se puede representar simblicamente de la siguiente
manera:
p q r


Proposiciones condicionales (Si.... entonces).

Una proposicin condicional, es aquella que est formada por dos
proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente
manera:
p q Se lee "Si p entonces q"
Ejemplo.
El candidato del PRI dice "Si salgo electo presidente de la Repblica recibirn
un 50% de aumento en su sueldo el prximo ao". Una declaracin como esta
se conoce como condicional. Su tabla de verdad es la siguiente:
Sean
p: Sali electo Presidente de la Repblica.
q: Recibirn un 50% de aumento en su sueldo el prximo ao.
De tal manera que el enunciado se puede expresar de las siguiente manera.
p q
Su tabla de verdad queda de la siguiente manera:
p q p q
1 1 1
1 0 0
0 1 1
0 0 1

Proposicin bicondicional (si y solo si)
Sean p y q dos proposiciones entonces se puede indicar la proposicin
bicondicinal de la siguiente manera:
p q Se lee "p si solo si q"
Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p
es falsa si y solo si q tambin lo es. El smbolo referencial o representativo es
.
Ejemplo; el enunciado siguiente es una proposicin bicondicional
"Es buen estudiante, si y solo si; tiene promedio de diez"
Donde:
p: Es buen estudiante.
q: Tiene promedio de diez.
por lo tanto su tabla de verdad es.
p q p q
1 1 1
1 0 0
0 1 0
0 0 1
A partir de este momento, ya se est en condiciones de representar cualquier
enunciado con conectores lgicos.
Ejemplo.
Sea el siguiente enunciado "Si no pago la luz, entonces me cortarn la
corriente elctrica. Y Si pago la luz, entonces me quedar sin dineroo pedir
prestado. Y Si me quedo sin dinero y pido prestado, entonces no podr pagar
la deuda, si solo si soy desorganizado"
Donde:
p: Pago la luz.
q: Me cortarn la corriente elctrica.
r: Me quedar sin dinero.
s: Pedir prestado.
t: Pagar la deuda.
w: soy desorganizado.
(p q) [ p (r s) ] [ (r s) t ] w



Proposicin recproca

Sea la proposicin Vivo en Caracas y Vivo en Venezuela. Entonces la
proposicin directa.
La recproca, sera Si vivo en Venezuela, entonces vivo en Caracas.
Observe que en el caso de esta proposicin, su recproca no necesariamente
es verdadera, an cuando la proposicin directa lo sea.
Cualquier proposicin condicional est conformada por un antecedente y un
consecuente.

- Si estos se intercambian, (el antecedente por el consecuente y viceversa)
- Si se niegan, o
- Las dos cosas a la vez (si se intercambian y se niegan), entonces
se forma una nueva proposicin condicional.

Suponga que empezamos con la proposicin directa
Si t te quedas, entonces yo me voy.

Si intercambiamos el antecedente (t te quedas) con el consecuente (yo me
voy).
Obtenemos la nueva proposicin condicional:
Si yo me voy, entonces t te quedas.
Esta nueva condicional se llama recproca de la proposicin dada.







La inversa

Para la proposicin dada la inversa es:

Si no vivo en Caracas, entonces no vivo en Venezuela, la cual, una vez ms,
no es necesariamente verdadera.

Si se niega tanto el antecedente como el consecuente, se obtiene la inversa de
la proposicin dada:
Si t no te quedas, entonces yo no me voy.

La Contrarreciproca

La contrarreciproca sera:

Si no vivo en Venezuela, entonces no vivo en Caracas.
La contrarreciproca, al igual que la proposicin directa es verdadera.
Si el antecedente y el consecuente se intercambian y se niegan, se forma la
contrarreciproca de la proposicin dada:
Si yo no me voy, entonces t no te quedas.
Estas tres proposiciones relacionadas para la condicional, se resumen a
continuacin. (Observa que la inversa es la contrapositiva de la recproca)

TABLA DE VERDAD
Se denomina al procedimiento a travs del cual es posible determinar la
funcin o valor de verdad de una proposicin, ya sea sta atmica o molecular.
Quiere decir, que mediante las tablas de verdad ser posible definir la funcin
de verdad en cada una de las diferentes formas proposicionales compuestas
que se han visto.
La construccin de las tablas de verdad responde a la siguiente frmula:
n indica el nmero de proposiciones con las que se opera.
= indica el nmero de todas las posibles combinaciones o filas, entre los
valores de verdad, de las proposiciones que intervienen en la operacin.
2 indica los valores de verdad verdadero - falso.
El procedimiento de las tablas de verdad se lleva a cabo de la siguiente
manera:1) dada la/s proposiciones, se procede a simbolizar/las. As por
ejemplo:
Kant escribi la Crtica de la Razn Pura y la Crtica de la Razn Prctica.
P . q
correspondientes, debajo de cada letra proposicional, completando las filas que
resulten de la frmula dada. En este caso:
2= 4 filas
p . q
v v
f v
v f
f f
En la adjudicacin de los valores de verdad, conviene seguir un orden lgico
predeterminado, para que la construccin se realice de un modo organizado.
En este sentido se adjudicar a la primera proposicin p los valores de verdad
(v-f) en forma alternada de uno en uno, a la segunda proposicin q alternando
los valores de verdad de dos en dos, a la tercera proposicin r alternando los
valores de cuatro en cuatro y as sucesivamente se seguir esta secuencia, en
la medida en que se vayan incorporando ms letras proposicionales en la
operacin.