LGICA PROPOSICIONAL

La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un mecanismo que primero evala sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivas proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman. La lgica proposicional, permite la asignacin de un valor verdadero o falso para la sentencia completa, no puede analizar las palabras individuales que componen la sentencia.

PROPOSICIN LGICA
Agrupacin de trminos de la que se puede afirmar si su contenido es cierto o falso.

Una proposicin es una sentencia simple que tiene un valor asociado ya sea de verdadero (V), o falso (F).

LGICA PROPOSICIONAL

La lgica proposicional, permite la asignacin de un valor verdadero o falso para la sentencia completa.

Variables proposicionales o letras enunciativas

Smbolos auxiliares Constantes lgicas, operadores o conectores

ELEMENTOS DEL CLCULO PROPOSICIONAL

Variables proposicionales o letras enunciativas: Para simbolizar las proposiciones atmicas se recurre a las letras minsculas del alfabeto a partir de la m o de la p: m, n, o, p, q, r, s, etc. Cada letra simboliza una proposicin atmica cualquiera. Cuando se hace un uso metalingstico (por ejemplo, al expresar las reglas lgicas) se usan las primeras letras del abecedario en maysculas: A, B, C, etc.

Constantes lgicas, operadores o conectores: Son smbolos que denotan relaciones y

operaciones lgicas. Sirven para establecer conexiones entre los enunciados, por lo que se denominan conectores o conectivas. En las lenguas naturales esta funcin conectiva es desempeada por las conjunciones. Puesto que el tipo de relacin que cada partcula conectiva establece es fijo, los smbolos correspondientes son denominados constantes lgicas.

CONSTANTES LGICAS MS USUALES

El negador (~): Es la nica constante que se aplica a un solo enunciado cambindole su valor veritativo, y equivale a la negacin del lenguaje natural. As, si A es verdadera, A es falsa, y viceversa. Se lee: no, no es el caso que. El conjuntor (): Corresponde a la conjuncin y del lenguaje natural y lo que hace es dar lugar a una proposicin molecular que es verdadera solamente cuando son verdaderas las proposiciones atmicas que la componen. El disyuntor (V): Corresponde a la conjuncin o del lenguaje natural y lo que hace es dar lugar a una proposicin molecular que es verdadera cuando una de las proposiciones atmicas que la componen o ambas son verdaderas.

El implicador o condicional (): Corresponde a la expresin si... entonces del lenguaje natural y lo que hace es afirmar que si el primero de los enunciados (antecedente) es verdadero, el segundo (consecuente) necesariamente tambin lo es (es decir, lo que no puede darse es el caso de que el antecedente sea verdadero y el consecuente falso). La frmula a que da lugar ser verdadera siempre que no ocurra que el antecedente sea verdadero y el consecuente falso. El coimplicador o bicondicional (): Corresponde a la expresin si, y slo si... entonces del lenguaje natural y lo que hace es afirmar que si el primero de los enunciados es verdadero, el segundo tambin lo es, y que si el primero de los enunciados es falso, el segundo tambin lo es. La frmula a que da lugar slo ser verdadera siempre que las proposiciones que la componen tengan el mismo valor de verdad (ambas verdaderas, ambas falsas).

SMBOLOS AUXILIARES:
Parntesis, corchetes, llaves, etc., para determinar el alcance de los conectores. Si no hay parntesis, hay una jerarqua para determinar el signo dominante (1, 2 , 3 V). Ejemplo: p r V q es lo mismo que p (r V q).

CONECTORES PROPOSICIONALES
Trminos que se utilizan para modificar o enlazar proposiciones. Signo conectivo o constante lgica. Smbolo que sustituye a un conector proposicional.

OPERACIONES LGICAS Y TABLAS DE VERDAD

OPERACIONES LGICAS Y TABLAS DE VERDAD

EJEMPLOS

TAUTOLOGAS, CONTRADICCIONES Y CONTINGENCIAS

DETERMINAR SI ES TAUTOLOGA, CONTRADICCIN O CONTINGENCIA

DETERMINAR SI ES TAUTOLOGA, CONTRADICCIN O CONTINGENCIA

DETERMINAR SI ES TAUTOLOGA, CONTRADICCIN O CONTINGENCIA

p 1 1 0 0

q 1 0 1 0

(p^q ~ <=> ~p v ~q )

DETERMINAR SI ES TAUTOLOGA, CONTRADICCIN O CONTINGENCIA

P 1 1 0 0

q 1 0 1 0

(p^q <=> ~p v ~q )

DETERMINAR SI ES TAUTOLOGA, CONTRADICCIN O CONTINGENCIA

P 1 1 0 0

q 1 0 1 0

p^q

=>

~p v ~q

EQUIVALENCIAS

EQUIVALENCIA SEMNTICA

REPASO
p
0 0 0 0

q 0 0 1 1 0 0 1 1

~p

~q

p^q

pvq

pq

pq

pq

1 1 1 1

RESOLVER
p q ((p q) (~q v ~ p))

1
1 1 1 0 0 0

1
1 0 0 1 1 0

RESOLVER
p 1 1 1 q 1 1 0 ((p (q v r) v ((q v r) p)

1
0 0 0 0

0
1 1 0 0

RESOLVER
p 1 1 q 1 1 (p ^ ~ r) [q v ~ (~ r p)]

1
1 0 0 0 0

0
0 1 1 0 0

RESOLVER
p
0 0

q 0 0

r 0 1
0
1 0 1 0 1

(q r)

p ^ (q r)

0
0

1
1 0 0 1 1

1 1 1 1

RESOLVER
p
0 0 0 0

q 0 0 1

r 0 1
0 1 0 1 0 1

p v (p q)

p ^ (q r)

~ (p v

(p q))

1
0 0 1 1

1 1 1 1

TAUTOLOGAS IMPORTANTES

LEYES LGICAS 1. INVOLUCIN.

La negacin de la negacin de una proposicin es equivalente a la misma proposicin.

p 1 1 0 0

(~p)

LA IDEMPOTENCIA
La disyuncin de una misma proposicin, es equivalente a la misma proposicin.

p 1 1 0 0

(p v p)

LA IDEMPOTENCIA
La conjuncin de una misma proposicin, es equivalente a la misma proposicin.

p 1 1 0 0

(p ^ p)

ASOCIATIVIDAD
La disyuncin y conjuncin son asociativas.

p 1 1 1 1 0 0 0 0

q 1 1 0 0 1 1 0 0

(p v q)

vr

pv

(q v r)

ASOCIATIVIDAD
La disyuncin y conjuncin son asociativas.

p 1 1

q 1 1

(p ^ q)

^r

p^

(q ^ r)

1
1 0 0 0 0

0
0 1 1 0 0

CONMUTATIVIDAD
La disyuncin y la conjuncin son conmutativas.

p 1 1

q 1 1

pvq

qvp

1
1 0 0 0 0

0
0 1 1 0 0

CONMUTATIVIDAD
p
1 1 1 1 0 0

q
1 1 0 0 1 1

p^q

q^p

0
0

0
0

DISTRIBUTIVIDAD
De la conjuncin con respecto a la disyuncin: la conjuncin es distributiva con respecto a la disyuncin.

(p v q)

^r

(p ^ r)

q^r

1
1 1 1 0 0 0 0

1
1 0 0 1 1 0 0

DISTRIBUTIVIDAD
De la conjuncin con respecto a la disyuncin: la conjuncin es distributiva con respecto a la disyuncin.

p
1 1 1 1 0 0 0 0

q
1 1 0 0 1 1 0 0

(p ^ q)

vr

(p v r)

qvr

LA DOBLE IMPLICACIN Y LA IMPLICACIN

La doble implicacin es equivalente a la conjuncin de la implicacin y su recproca.

p 1 1 1 1 0 0 0

q 1 1 0 0 1 1 0

(p q)

(p q)

(q p)

LA DISYUNCIN EXCLUSIVA (DIFERENCIA SIMTRICA) Y LA DOBLE IMPLICACIN

La diferencia simtrica es equivalente a la negacin de la doble implicacin.

p 1

q 1

(p q)

(p q)

1
1 1 0

1
0 0 1

0
0 0

1
0 0

LEYES DE DE MORGAN
De la conjuncin: la negacin de una conjuncin, es equivalente a la disyuncin de las negaciones. O sea que:

p 1 1 1 1 0

q 1 1 0 0 1

(p ^ q)

~p

~q

0
0 0

1
0 0

LEYES DE DE MORGAN
De la disyuncin: la negacin de la disyuncin, es equivalente a la conjuncin de las negaciones. O sea que:

p 1 1 1 1 0

q 1 1 0 0 1

(p v q)

~p

~q

0
0 0

1
0 0

NEGACIN DE LA IMPLICACIN.
La negacin de una implicacin es equivalente a la negacin de la disyuncin de la negacin del antecedente y el consecuente. O sea:

p 1 1 1

q 1 1 0

(p q)

(~p

v q)

1
0 0 0

0
1 1 0

RESOLVER
p q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 ~p ~q (~p) v q [((~p) v q) ^ ~q] ~p

0 0

RESOLVER
p q 1 1 1 1 1 0 1 0 0 1 0 1 0 0 ~q p^q (p ^ q) v q [(p ^ q) v q] ^ ~q

0 0