Clculo proposicional. se define como la ciencia que trata de los principios vlidos del razonamiento y la argumentacin.

El estudio de lgica es el esfuerzo por determinar las condiciones que justifican a una persona para pasar de una proposicin dada, llamadas premisas, a una conclusin que se deriva de aquellas.

Es la ms antigua y simple de las formas de lgica, permite representar y manipular aserciones sobre el mundo que nos rodea, a travs del razonamiento, primeramente evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales.

Alfabeto del clculo proposicional

El clculo proposicional se encarga del estudio de las proposiciones como objetos matemticos, para ello lo primero que se define es un alfabeto compuesto por smbolos de constantes, variables, operaciones y agrupacin. Los smbolos de constantes proposicionales son solo dos (0 y 1) pues solo dos son los valores veritativos, el cero representa el valor falso, mientras el uno representa el valor verdadero. Las variables proposicionales identifican proposiciones de valor desconocido, para representarlas se utilizan letras finales del alfabeto latino (p, q, r, s...), con subndices en los casos que sea necesario. Los smbolos de operaciones del clculo proposicional son: 1.Negacin (). Representa el no del lenguaje natural, tambin expresiones como es falso que, no se cumple que, etc. 2.Conjuncin (). Representa expresiones como: y, pero, aunque, sin embargo, etc. 3.Disyuncin (V). Representa expresiones como: o, al menos uno, etc. 4.Condicional (). Representa expresiones como: si A entonces B, cuando A, B, B, siempre que A, etc. 5.Bicondicional (). Representa expresiones mas complejas, donde se expresa que dos proposiciones tienen la misma veracidad. Los smbolos de agrupacin tales como parntesis, llaves, corchetes, tambin forman parte de este alfabeto.

Simbolizacin de proposiciones. Cada proposicin tiene una forma lgica a la cual se le d un nombre. Se distinguen dos tipos de proposiciones: simples y compuestas. Una proposicin se denomina simple cuando en ella no interviene ninguna conectiva lgica o trmino de enlace (y, o, no, si...entonces..., si y slo si). Si se juntan una o varias proposiciones simples con un trmino de enlace, se forma una proposicin compuesta.

INFERENCIA LOGICA: La inferencia lgica es la forma en la que se obtienen conclusiones a partir de datos y observaciones. DEMOSTRACION LOGICA: Es el proceso por el cual encontramos la validez o no de razonamientos, mediante la utilizacin de reglas de inferencia.

 El gerente de una empresa es el encargado de muchas de las labores ms importantes. Si es as, entonces ser gerente es un cargo difcil de manejar. La gente dice que, o los gerentes son personas de las que depende la empresa, o que slo se dedican a despedir y contratar trabajadores. Pero si ellos slo se dedican a contratar y despedir trabajadores, entonces ser gerente no es un cargo difcil de manejar. Adems, si la gerencia no es un cargo que slo quienes se han preparado para ello lo merecen, entonces sera falso que la gente diga que los gerentes son personas de las que depende la empresa y que el gerente es el encargado de muchas de las labores ms importantes. Por lo tanto, la gerencia es un cargo que slo quienes se han preparado para ello lo merecen.

P= El gerente de una empresa es el encargado de muchas de las labores ms importantes. Q= Ser gerente es un cargo difcil de manejar. R= La gente dice que los gerentes son personas de las que depende la empresa. S= La gente dice que los gerentes slo se dedican a contratar y despedir trabajadores. T= La gerencia es un cargo que slo quienes se han preparado para ello lo merecen. Conclusin= La gerencia es un cargo que slo quienes se han preparado para ello lo merecen (T)

1. P 2. P Q 3. R V S 4. S ~Q 5. T (R P) 6. Q 7. ~S 8. R 9. R P 10. ~ (~T) 11. T (MPP 1-2) (MTT 4-6) (MTP 3-7) (Ad. 1-8) (MTT 5-9) (DN 10)

 Si pablo fue visto saliendo de la casa de la usurera o dejo algn indicio all, entonces ramiro le sequia el rastro y lo acusara de asesinato. Si ramiro le seque el rastro y lo acusa de asesinato, pablo no tendr ninguna cuartada. Pablo fue visto saliendo de la casa de la usurera o dejo algn indicio all.

P) Q) R) S) T)

pablo fue visto saliendo de la casa de la usurera dejo algn indicio all ramiro le seque el rastro lo acusara de asesinato pablo tendr ninguna cuartada pablo no tendr ninguna cuartada (T)

Conclusin)

1. (P v Q) (R S) 2. (R S) T 3. P v Q________________ 4. R S 5. T MPP(1,3) MPP(2,4)

 Voy al estadio o me quedo en casa. Si voy al estadio entonces dormir en casa de mi hermano. No me quede en casa.

P) Q) R)

Voy al estadio me quedo en casa dormir en casa de mi hermano Dormir en casa de mi hermano (S)

Conclusin:

1. 2. 3.

PvQ P R Q______ MTP(1,3) MPP(2,4)

4. P 5. S

Tambin se saca Por Adicin a la suma 1. P v Q 2. P R 3. Q 4. S 5. P 6. Q 7. Q R se agrega la negacin de la conclusin. MTT(2,4) MTP(1,5) ADJ (3,6)

 La lgica es fcil o le gusta a los estudiantes. Si las matemticas son difciles entonces la lgica no es fcil. Por lo tanto, si a los estudiantes no les gusta lo lgica, las matemticas no son difciles.

P) Q) R)

La lgica es fcil le gusta a los estudiantes las matemticas son difciles

Conclusin: si a los estudiantes no les gusta lo lgica, las matemticas no son difciles ( R S)

1. P v Q 2. R P____ 3. P R 4. S R 5. R S IM (1) Implicacin matemtica SH (2,3) regla de la contraposicin (contraria)