Lgica

Proposicin: Frase, oracin con sujeto definido, a la que se le puede asignar el valor de V o F, pero no ambos. Variable proposicional: proposicin cualquiera, no definida o especificada previamente. Proposicin Primitiva: es aquella que no se puede descomponer. Proposicin Compuesta: Proposicin generada utilizando las siguientes reglas:

Si una expresin combina negacin, conjuncin y disyuncin, negacin se ejecuta primero sobre los otros operadores. Se utiliza parntesis para especificar el orden de las operaciones.

A partir de las siguientes proposiciones primitivas:

p p r (p p -(p

q : Pedro tiene escala real y Pedro tiene tres reyes. r : Pedro tiene escala real o Juan tiene dos ases. - q : Juan tiene dos ases o Pedro no tiene tres reyes. q) -s : Pedro tiene escala real o tres reyes, pero no tiene el rey de corazn. (q -s) : Pedro tiene escala real, o bien tiene tres reyes y no tiene el rey de corazones. r) : no es posible que Pedro tenga escala real o que Juan tenga tres ases.

p q : p y q son lgicamente equivalentes, significa que tiene el mismo valor de verdad para cada posible combinacin de valores de verdad de sus componentes. Tabla de Verdad: describen el valor de verdad de una proposicin compuesta en funcin de verdad de sus componentes primitivos (variables proposicionales).

O-EXCLUYENTE (p q) -( p q): Pedro tiene escala real o el rey de corazones, pero no ambos.

Ej.: Carne o pescado? (p pq q) -( p q) p q

Verdadero: solo uno de los componentes primitivos es Verdadero Falso: ambos componentes verdadero o ambos componentes falsos. -(p r) (-p

-r):

ni Pedro tiene escala real ni Juan tiene dos ases.

Lgicamente equivalentes

Tautologa: Proposicin que siempre es VERDADERA independiente del valor de verdad de sus componentes primitivos. Contradiccin: Proposicin que siempre es FALSA independiente del valor de verdad de sus componentes primitivos.

Contradiccin

Tautologa

Leyes o equivalencias lgicas

p, q, r, proposiciones cualesquiera c: contradiccin t: tautologa.

Proposiciones Condicionales
: Proposicin compuesta denominada IMPLICANCIA o CONDICIONAL p a q. Se lee si p, entonces q p implica q si ocurre p, entonces debe ocurrir q p es suficiente para q q es necesario para p p si solo q p: hiptesis o condicin. q: conclusin o consecuencia. Falsa: p verdadera y q falsa. Verdadera: cualquier otro caso. El operador Equivalencias lgicas. se ejecuta al ltimo.

Contrapositivo, converso e inverso de una proposicin condicional

Proposicin condicional :

Una proposicin condicional es lgicamente equivalente a su Contrapositivo

El converso y el inverso de una proposicin condicional son lgicamente equivalentes.

Doble Implicancia
: Proposicin compuesta denominada doble implicancia o bicondicional de p a q. Se lee p si y solo si q p ssi q p es necesario y suficiente para q Verdadero: p y q mismo valor de verdad. Falso: caso contrario. Operador se ejecuta despus de los otros operadores.