CALCULO PROPOSICIONAL PROPOSICIN: Enunciado que toma uno de dos valores: Verdadero o falso, en donde uno excluye al otro;

es decir si una proposicin es verdadera, no puede ser falsa. PROPOSICIN SIMPLE O ATMICA: Es aquella proposicin que no contiene conectivos lgicos. Ejemplo: 1) p. 2) q. 3) r. 4) s. 5) t. CONECTIVOS LGICOS O PROPOSICIONALES: Son los smbolos que se utilizan para combinar proposiciones. Los conectivos lgicos son: CONECTIVO Disyuncin Conjuncin Implicacin Doble implicacin SMBOLO SIGNIFICADO o y entonces si y slo si

PROPOSICIN COMPUESTA: Estas son proposiciones simples o atmicas que estn afectadas por conectivos lgicos. Ejemplo: 1) p q. 2) r s. 3) t u. 4) q r.

A la proposicin que esta a la izquierda del conectivo lgico se le llama antecedente, y a la proposicin que esta a la derecha del conectivo lgico se le llama consecuente. TABLA DE VERDAD: Son los valores que puede tomar una proposicin compuesta. Para saber cuantas filas se van a evaluar se utiliza la siguiente frmula: 2n Donde n es igual al nmero de proposiciones. Ejemplo: 1) Si se tiene 1 proposicin, el nmero de filas a evaluar son 21 = 2 filas. 2) Si se tienen 2 proposiciones, el nmero de filas a evaluar son 22 = 4 filas. 3) Si se tienen 3 proposiciones, el nmero de filas a evaluar son 23 = 8 filas. 4) Si se tienen 4 proposiciones, el nmero de filas a evaluar son 24 = 16 filas. 5) Si se tienen 5 proposiciones, el nmero de filas a evaluar son 25 = 32 filas. 6) Si se tienen 6 proposiciones, el nmero de filas a evaluar son 26 = 64 filas. 7) Si se tienen 7 proposiciones, el nmero de filas a evaluar son 27 = 128 filas. En este escrito se empezara poniendo el valor falso y seguidamente el verdadero, aunque tambin es posible empezar al contrario. DISYUNCIN: Sean dos proposiciones simples p y q, la tabla de verdad para la proposicin compuesta p q est dada por: p F F V V q F V F V pq F V V V

Como son dos proposiciones se evalan 4 filas. Por comodidad utilizaremos en lugar de falso F y en lugar de verdadero V. En el antecedente se pondrn dos casillas falsas y las otras dos verdaderas, mientras que en el consecuente se ponen una falsa y la otra verdadera, hasta terminar las cuatro casillas. La disyuncin en espaol es la letra o.

CONJUNCIN: Sean dos proposiciones simples p y q, la tabla de verdad para la proposicin compuesta p q est dada por: p F F V V En espaol la conjuncin es la letra y. IMPLICACIN: Sean dos proposiciones simples p y q, la tabla de verdad para la proposicin compuesta por: p q pp F F V F V V V F F V V V DOBLE IMPLICACIN O EQUIVALENCIA: Sean dos proposiciones simples p y q, la tabla de verdad para la proposicin compuesta por: p q pq F F V F V F V F F V V V p q est dada q F V F V pq F F F V

p q est dada

NEGACIN: La negacin de una proposicin es el valor de verdad opuesto. El smbolo de la negacin es y se le antepone a la proposicin que se ha de negar. Ejemplo: La proposicin p, como es una proposicin, se van a evaluar dos filas.

p F V
Ahora p su tabla de verdad es la opuesta a la de p. p V F

Ejemplo:

1) Evaluar la siguiente proposicin compuesta por medio de una tabla de verdad. (p q) (p q) En este caso son 2 proposiciones, por lo que se evaluarn cuatro filas: p F F V V q F V F V pq F V V V F V F V pq V V F V

2) (p q) (p q) p F F V V q F V F V pq F V V V (p q) V F F F V V F F p V V F F q V F V F (p q) V F V V

DEFINICIONES: TAUTOLOGA: Es toda proposicin compuesta que siempre da verdadero como resultado, independientemente de los valores de verdad de las proposiciones que la forman. Ejemplo: (p q) (p q) p F F V V q F V F V p V V F F q V F V F (p q) V V V F V V V V pq F F F V (p q) V V V F

Tautologa La anterior tabla dio como resultado en todas las casillas verdadero, por lo tanto la proposicin compuesta (p q) (p q) es una tautologa.

CONTRADICCIN: Es toda proposicin compuesta que siempre da falso como resultado, independientemente de los valores de verdad de las proposiciones que la forman. Ejemplo: (p q) (p q) p F F V V q F V F V p V V F F q V F V F (p q) F F F V F F F F (p q) V F F F

Contradiccin La anterior tabla dio como resultado en todas las casillas falso, por lo tanto la proposicin compuesta (p q) (p q) es una contradiccin.

CONTINGENCIA: Es toda proposicin compuesta que siempre da falso y verdadero como resultado, independientemente de los valores de verdad de las proposiciones que la forman. Ejemplo: (p q) (p q) p F F V V q F V F V pq F V V V F V F V pq V V F V

Contingencia La anterior tabla dio como resultado en todas las casillas falso y verdadero, por lo tanto la proposicin compuesta (p q) (p q) es una contingencia.

Ejercicios: Al examinar las tablas de verdad, determine si cada una de las siguientes es una tautologa, una contradiccin o una contingencia.

1) 2) 3) 4) 5) 6) 7) 8)

11) 12) 13) 14) 15) 16) {(p)} ~{~q~p} 17) { 18) { } }

9)
10)

19)
20) ~{{
Respuestas 1) Contingencia. 2) Tautologa. 3) Tautologa. 4) Tautologa. 5) Tautologa. 6) Contingencia. 7) Contradiccin. 8) Contingencia. 9) Contingencia. 10) Tautologa.

}}

11) Tautologa. 12) Tautologa. 13) Contingencia. 14) Contingencia. 15) Contingencia. 16) Tautologa. 17) Tautologa. 18) Tautologa. 19) Tautologa. 20) Tautologa.