UNIVERSIDAD SAN PEDRO

VICERRECTORADO ACADMICO REA DE CIENCIAS BSICAS

FORMALIZACION DE PROPOSICIONES
1.- Definicin

Formalizar una proposicin consiste en reemplazar cada una de las proposiciones atmicas que intervienen por una variable proposicional y cada conectivo lgico por su smbolo correspondiente. Los signos de agrupacin se utilizan para evitar ambigedades.

Cuando en una proposicin molecular aparecen varios conectivos proposiciones atmicas diferentes, es preciso representar su correspondiente a la proposicin molecular ms amplia (conjuncin, inclusiva, disyuncin exclusiva, condicional, bicondicional o negacin) lo sus diversos elementos jerrquicamente dispuestos. Para esto, tendremos en cuenta las siguientes estructuras lgicas: ( ) y ( ) A la vez ( ) y ( ) ( ) o ( ) 0( ) o ( ) O bien ( ) o bien ( ) Si ( ) entonces ( ) Si ( ) , ( ) ( ) implica ( ) ( ) si ( ) ( ) puesto que ( ) ( ) si y slo si ( ) ( no ) ) bicondicional negacin condicional disyuncin inclusiva disyuncin exclusiva Conjuncin

lgicos y estructura disyuncin mismo que

No es cierto que (

2.- Signos de Agrupacin

Igual que en la matemtica, cuando se tiene que operar con expresiones complicadas es necesario utilizar parntesis, corchetes y llaves, para evitar ambigedades.

Dr. Hernn Berrospi Espinoza

Educacin para el tercer milenio!

UNIVERSIDAD SAN PEDRO

VICERRECTORADO ACADMICO REA DE CIENCIAS BSICAS La funcin de estos smbolos es sealar el conectivo dominante que caracteriza a la proposici2n molecular, as como la jerarqua de los dems conectivos que aparecen en la proposicin. Los signos de agrupacin que utilizaremos son: parntesis corchetes llaves ( ) [ ] { }

La jerarquizacin sigue esta regla general: A mayor encierro dentro de signos de agrupacin, menor jerarqua; a menor encierro, mayor jerarqua. EJEMPLO: La expresin:

[(pq)r] [r(-pvq)]
Es una proposicin condicional.

3.- Ejemplos ilustrativos de formalizacin de proposiciones Formalizar la siguiente proposicin: Si estudias lgica, entonces amars la ciencia y comprenders mejor a tus semejantes Solucin Pasos: p: estudias lgica 1er. Ubicamos las proposiciones simples. q: amars la ciencia r; comprenders mejor a tus semejantes

2do. Ubicamos los conectivos lgicos.

Implicador Conjuntor

3ero. FF. CC. EE: Frmula correctamente estructurada. p ( q r ), esquema condicional.

Ahora desarrolla los ejercicios, siempre consulta!

Dr. Hernn Berrospi Espinoza Educacin para el tercer milenio!

UNIVERSIDAD SAN PEDRO

VICERRECTORADO ACADMICO REA DE CIENCIAS BSICAS EJERCICIOS PARA LA CLASE (I) Sean: p: Hoy es lunes q: Hay clases r: rendir examen (i) Escribir cada una de las proposiciones siguientes en forma simblica: (a) Hoy es lunes y no hay clases (b) Si hoy es lunes y hay clases, entonces rendir examen (c) Rendir examen puesto que hay clases (d) No es cierto que no es lunes o no hay clases Traducir los siguientes enunciados simblicos; (a) r q (b) ( p v q) r (c) [ r ( p q ) ]

(ii)

(II)

Formalizar las siguientes proposiciones: (a) Si estudias, colmars tus aspiraciones. Si no lo haces, el fracaso te acompaar. (b) O la matemtica es exacta si es un sistema axiomtico, o la geometra es exacta si Euclides no se equivoc. (c) Si me aumentan el sueldo y ahorro, viajar al Cuzco (d) Ral trabaja en el Ministerio, adems es un lder estudiantil si estudia en la universidad. (e) O Cubillas juega si le contrata el Alianza Lima, o habr protesta si no juega. (f) Si no es el caso que Pedro sea un comerciante o un prospero industrial, entonces es director de una compaa de teatro. (g) Las personas nadarn en el mar si la municipalidad da el permiso, si y slo si el clima no est fro. (h) y 4 y si x < y entonces x > 5. (i) Estoy equivocado, y la quinta pregunta es falsa o la sexta tambin. (j) Si ingreso a la universidad y uso el cabello largo entonces me lo cortar; o no ingreso a la universidad. (k) Maana viene Juan; luego, si no viene, viaja a Lima si consigue pasaje. (l) La sociedad est descontenta si y slo si no hay cambio social, pero si la sociedad est contenta, o hay revolucin o hay cambio social. (m) Eres sincero o no lo eres. Si eres sincero, podrs superarte; si no lo eres, no tendrs buenos amigos. (n) O estoy equivocado o he aprobado el examen de matemtica y tambin el de lenguaje.

Sigue adelante, buena suerte!

Dr. Hernn Berrospi Espinoza Educacin para el tercer milenio!