9

PERSONA, FAMILIA Y RELACIONES HUMANAS

GUA DIDCTICA 3 QUINTO DE SECUNDARIA
SACRS COEURS, 2012

LGICA PROPOSICIONAL
LA LGICA
La lgica estudia las estructuras formales de los razonamientos. Los razonamientos
constan de proposiciones o enunciados.
La lgica proposicional o lgica de los enunciados es la parte ms sencilla de la
lgica, pues en ella no se analizan las proposiciones en forma individual sino en
bloque, mejor dicho, como si fueran un conjunto.
Se le llama tambin lgica de las proposiciones sin analizar, y se encarga del estudio
de las relaciones y funciones de las proposiciones y los conectivos lgicos.

PROPOSICIN
Es el conjunto de oraciones o sentencias aseverativas o declarativas (enunciados). Ya
sabemos que una oracin declarativa se caracteriza por ser verdadera o falsa. Las
dems clases de oraciones no son proposiciones, ya que ninguna de ellas es verdadera
o falsa.
Las proposiciones son los elementos fundamentales del razonamiento o inferencia.

CLASES DE PROPOSICIONES
Pueden ser simples o compuestas.
1. Proposiciones simples.- Para la lgica son aquellas que no tienen conjuncin o
conectivo entre sus trminos. Son las proposiciones que se limitan a unir o componer
el sujeto con el predicado por medio de un verbo. Adems, no deben poseer el
adverbio "no" en su estructura.
En la lgica matemtica se les conoce como proposiciones atmicas, pues no se
puede dividir o descomponer.
Tambin toman el nombre de bsicas o elementales.
Ejemplos:
El horscopo fue una invencin de los asirios.

2. Proposiciones compuestas.- Estn formadas por varias proposiciones simples unidas
por un conectivo lgico, pero no un verbo.

Las proposiciones simples que contienen el adverbio "no" se tornan proposiciones
moleculares, pues basta un conectivo lgico o el adverbio negativo, para ser una
proposicin compuesta.

En la lgica matemtica se les conoce como proposiciones moleculares, ya que estn
compuestas por proposiciones atmicas.
Tambin toman el nombre de coligativas (viene del verbo unir, juntar, ligar), pues sus
proposiciones estn unidas unas a otras por conjunciones, que toman el nombre de
conectivos lgicos.

Las proposiciones compuestas tienen un valor de verdad o falsedad que depende de la
verdad o falsedad de las proposiciones simples y del tipo de conectivo lgico que los
une.
Ejemplos:
No est enamorado de ella.
El Per es un pas austral y occidental.
Para comer y amar no hay que pensar.
10

CLASIFICACIN DE PROPOSICIONES MOLECULARES
Las proposiciones compuestas, moleculares o coligativas pueden ser:
1. Conjuntivas o cojuntores.- Aquellas proposiciones simples que estn unidas
por la conjuncin copulativa "y". Adems de la conjuncin "y", que es la ms comn,
pueden aparecer sus equivalentes: "e", "ni", "tanto ... como ...", "como", "pero",
"aunque", sin embargo", "adems".
Ejemplo: Diego grita y Gonzalo llora.
2. Disyuntivas.- Estas proposiciones estn unidas por la conjuncin disyuntiva
"o". Indica que la verdad de una de las proposiciones componentes no excluye que la
otra sea tambin verdadera.
Admite la posibilidad de las dos alternativas. Adems de la disyuncin "o", pueden
aparecer: "u", "ya", "bien", "ora".
Ejemplo: Lee un peridico o una revista.
3. Condicionales, implicativas o hipotticas- Estn unidas por medio de la
conjuncin "si ... entonces" o sus equivalentes: "si", "siempre que", "con tal que",
"puesto que", "ya que".
Ellas deben contener dos elementos y un nexo entre el primero o antecedente ("si") y el
segundo o consecuente ("entonces").
Ejemplos:
Iremos a la playa siempre que el celo est despejado.
Hablaremos siempre y cuando guardes compostura.
4. Bicondicionales o coimplicadores- Sus proposiciones simples estn
implicadas mutuamente. Si el antecedente es verdadero, entonces el consecuente debe
ser verdadero, y viceversa. Se utiliza la conjuncin compuesta "si y slo si". Adems
hallamos las siguientes expresiones: "si y slo si ... entonces", "si... entonces y
solamente entonces", "cuando y slo cuando", "ni... ni".
Ejemplo: Si ustedes se callan entonces y slo entonces explicar el tema.
5. Negativas- Son las proposiciones que contienen el adverbio de negacin
"no" o las frases negativas "es falso que", "no es verdad que", "no es el caso que".
Ejemplo: Es falso que el hombre sea propiedad de alguien.

SIMBOLIZACIN
La simbolizacin o formalizacin de las proposiciones consiste en traducir o abstraer
cada proposicin por sus variables proposicionales y sus conectivos lgicos
correspondientes. Como el pensamiento es una cadena de inferencias, puede haber
proposiciones compuestas de tres, cuatro, cinco o ms variables.

VARIABLES PROPOSICIONALES
Para simbolizar las proposiciones simples se recurre a las letras minsculas del
alfabeto a partir de la "p", "q", "r", "s", sucesivamente. Estas letras son
denominadas variables proposicionales porque se utilizan para simbolizar o
representar a cualquier proposicin.
EJEMPLO: Las variables proposicionales pueden ser sustituidas por cualquier
proposicin.
Si el alumno estudia y el profesor escribe o los empleados dibujan, entonces todos
trabajan.
p = el alumno trabaja
q = el profesor escribe
r = los empleados dibujan
s = todos trabajan
Los trminos si, y, o, entonces son conectivos lgicos.

CONECTIVOS LGICOS
Tambin llamados operadores, conectores, constantes o juntores lgicos. Son
signos especiales que tienen por funcin unir, conectar las proposiciones simples,
componiendo proposiciones moleculares y estableciendo operaciones entre ellas.

Los conectivos de la conjuncin, disyuncin, el condicional y bicondicional son
didicos o binarios, porque tienen dominio sobre las dos proposiciones que enlazan.
11


El conectivo negativo es mondico o unitario porque slo tiene el dominio de la
derecha.

Los conectivos lgicos son los siguientes:
1. Conjuntivos.- Su smbolo es " ^ ", aunque algunos autores utilizan el siguiente: "".
Algunas mujeres sufren de anorexia y bulimia
p ^ q
Su simbolizacin sera:
p ^ q Se lee: p y q

2. Disyuntivos.- Se simboliza de la siguiente manera: v
Vargas Llosa es escritor o poltico
p v q
Su simbolizacin sera:
p v q Se lee: p o q

3. Condicionales, implicativos o hipotticos.- Se simbolizan con " ", aunque
tambin puede ser " c ".
Si Sebastin se esfuerza entonces lograr alcanzar sus metas
p q
Su simbolizacin sera:
p q Se lee: si p entonces q

4. Bicondicionales.- Su signo caracterstico es " ". Otros autores usan los
siguientes smbolos: ", ".
Es vegetariano si y slo si se alimenta de vegetales
p q
Su simbolizacin sera:
p q Se lee: p si y slo si q

5. Negativos.- Se simbolizan con el signo" ~ ". Algunos autores lo simbolizan con el
signo " ".
No es verdad que la Tierra sea el centro del Universo
~ p
Su simbolizacin sera:
~ p Se lee: no p / no es el caso que p

SMBOLOS DE JERARQUA
La lgica, al igual que la matemtica, recurre a los parntesis "( )", corchetes [ ]" y
llaves"{ }" para evitar confusiones acerca del modo en que se agrupan los elementos de
una frmula y para dejar en claro la jerarqua o dominio de los conectivos lgicos. La
jerarqua ser la siguiente:
Los parntesis"( )" tendrn menor jerarqua con respecto a los corchetes y las llaves.
Los corchetes "[ ]" tendrn mayor jerarqua que los parntesis, pero menor jerarqua
que las llaves.
Las llaves "{ }" son las dominantes, tienen mayor jerarqua que los parntesis y los
corchetes.

Sin la presencia de estos signos las frmulas careceran de sentido. Sin embargo, si
hubiese ausencia de los smbolos de jerarqua se considerar por convencionalismo
que el conectivo lgico de mayor jerarqua ser el bicondicional, luego, el condicional,
en tercer lugar la disyuncin, en cuarto lugar la conjuncin y, por ltimo, la negacin.
Ejemplo:
Tenemos la siguiente frmula sin smbolo de jerarqua:
p ^ q r r p v q
Ser: { [ ( p ^ q) r ] [ r ( p v q ) ] }

12

A C T I V I D A D E S
Responde las preguntas
1. De qu constan los razonamientos o inferencias?
2. De qu dependen los valores de verdad de las proposiciones moleculares?
3. Por qu una oracin aseverativa es proposicin?
4. En qu se diferencian las proposiciones simples y las compuestas?
5. Por qu se les llama atmicas a las proposiciones simples?.
6. Qu son las variables preposicionales?
7. Qu son los conectivos lgicos?
8. Establece la diferencia entre conectivo lgico didico y mondico


Identifica el tipo de proposicin, coloca "S" si es simple y "C" si es compuesta:
1. Julio C. Tello descubri Chavn y Walter Alva al Seor de Sipn. ( )
2. Los vdeos no son pruebas judiciales. ( )
3. Andrmeda y la Va Lctea son galaxias.
4. Los montes Urales separan Europa de Asia y frica se separa de Asia por el
canal de Suez. ( )
5. No es cierto que Urano sea un satlite. ( )
6. Algunos cientficos consideran que Plutn no es un planeta. ( )


Identifica el tipo de proposiciones moleculares:
1. Es falso que la clonacin d como resultado seres culturalmente iguales.
2. Can fue filicida y Edipo parricida.
3. El hombre perdurar en este mundo si y slo si demuestra ser solidario y
tolerante.
4. Lucy y el Australopithecus afarensis son el mismo fsil.
5. Scrates o Platn escribi los Dilogos.
6. Nosotros somos limeos o peruanos.


Identifica las proposiciones con sus respectivas variables proposicionales y
conectivos lgicos:
1. La contaminacin favoreci la aparicin de seres complejos, pero es perjudicial
para ellos.
2. Can fue filicida y Edipo parricida.
3. El hombre perdurar en este mundo si y slo si demuestra ser solidario y
tolerante.
4. El hombre de Piltdown no fue aceptado por la comunidad cientfica.
5. Si Windows fue un xito comercial entonces Bill Gates es multimillonario.
6. Nos adaptamos al mundo o desaparecemos.


SS.CC. Aqp. C. Prez Q. Octubre 2012 clperezq@hotmail.com