Está en la página 1de 69

Lgica I

Lgica
20 de marzo
Lgica
Matemtica
Guas 2012
Terico
Prcticas
En el presente documento se desarrollan las guas de actividades tericas
prcticas destinadas a los ingresantes de las carreras de LSI, PI, LM, PM.
Para su resolucin se sugiere la consulta a la bibliografa sugerida.
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO Ao 2012


FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGAS
CARRERAS: LICENCIATURA EN SISTEMAS DE INFORMACIN
PROFESORADO EN INFORMTICA.
PROGRAMADOR UNIVERSITARIO EN INFORMATICA
LICENCIATURA EN MATEMATICA.

ASIGNATURAS: LGICA I -- LGICA LGICA MATEMTICA

PROGRAMACIN ANALTICA DEL CAPTULO N 1

CLCULO PROPOSICIONAL
Proposiciones y valores de verdad:
Proposicin. Definicin. Concepto. Clasificacin. Proposiciones Simples y Compuestas
Representacin simblica. Componentes de una proposicin. Relacin entre representacin
simblica, significado de una proposicin y valores de verdad. Proposiciones compuestas.
Representacin simblica. Frmulas lgicas. Reglas de buena formacin de frmulas
lgicas. Conectivas: Negacin, Conjuncin, disyuncin inclusiva y exclusiva, Condicional,
Condicional contrario, recproco, contrarrecproco. Condicin necesaria y suficiente.
Bicondicional. Definicin por tablas de verdad y representacin simblica. Signos de
puntuacin y jerarquas de conectivas. Reglas sintcticas de buena representacin de
frmulas. Algebra de Boole en el Clculo proposicional.
Clasificacin de frmulas lgicas por su significado: Tautologas, contradicciones y
contingencias. Tautologas y Leyes del clculo proposicional. Implicacin y equivalencia
lgica. Formas Normales.
Propiedad de las Proposiciones:
Idempotencia. Conmutativa. Asociativa. Absorcin. Distributividad de la disyuncin con
respecto a la conjuncin. Leyes de De Morgan.
Razonamientos Deductivos:
Definicin. Componentes: premisas, conclusin y expresiones derivativas. Forma lgica de
un razonamiento. Validez de un razonamiento. Razonamiento vlido y forma vlida de un
razonamiento. Relacin entre la conclusin y las premisas en una forma de razonamiento
vlido. Mtodos para decidir la validez de un razonamiento: condicional asociado,
condicional asociado reducido y mtodo del rbol, mtodo demostrativo. Formas de
razonamientos vlidos elementales.

2
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

BIBLIOGRAFA:
Tarsky, Albert 1990 Introduccin a la Lgica Edit. Kapeluz Bs. As.
Salama, Alicia G. 2002 Lgica Simblica y Elementos de Metodologa de las Ciencias
Ediciones Corporativas Bs. As.
Copi I. 1996 Lgica Simblica Edit. Continental Mxico.
Copi, Irving 2010 Introduccin a la Lgica Eudeba Bs. As.
Trejo, J 1994 Matemtica Elemental Moderna. Estructura y Mtodo Eudeba Bs. As.
Gamut, L.T.F. 2009 Lgica, lenguaje y significado, Vol I Eudeba Bs. As.

GUA DE TRABAJO TERICOPRCTICO N 1

TEMA: CLCULO PROPOSICIONAL

1 PROPOSICIONES
El lenguaje constituye un sistema de signos muy complejo. Los signos o combinaciones
de signos lingsticos forman expresiones lingsticas, como lo son por ejemplo, las
palabras, las frases y las oraciones.
Las oraciones, en particular, cumplen diversas funciones. Las denominadas
proposiciones o enunciados, son aqullas que tienen una funcin informativa, las
cuales se caracterizan porque afirman o niegan algo, como por ejemplo, Hoy es martes
o Seis es un nmero primo. Se caracterizan porque de ellas tiene sentido decir que son
verdaderas o falsas. Del primer ejemplo se puede decir que es verdadero; del ltimo,
en cambio, que es falso. La LGICA denomina proposicin a las expresiones
lingsticas que tienen una funcin informativa. De ellas tiene sentido decir si son
verdaderas (V) o falsas (F). Las expresiones verdadera o falsa se denominan valores
de verdad de las proposiciones.
Ejemplo: Consideremos las siguientes oraciones:
- Comprenden el concepto? - No dialoguen
- Hace calor - Hoy es lunes
- Estamos en clase de Lgica
Se trata de cinco oraciones diferentes: una interrogativa, una imperativa y tres
declarativas. Una pregunta puede formularse o no, una orden puede ser cumplida o no.
En cambio, de las tres ltimas, que son declarativas, tiene sentido decir si son V F.

3
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 1: Escriba ejemplos de oraciones que representen proposiciones.


Actividad 2: Indique cules de las siguientes expresiones son proposiciones y cules no.
Fundamente cada respuesta.
Ejemplo: Escuchen !
Respuesta: No es una proposicin por ser orden.
2.1. Saldremos al cine esta noche?
2.2. Mxico est en Amrica Central.
2.3. Llueve.
2.4. Deseo que las vacaciones no terminen.
2.5. Hoy saldr a correr al parque.
2.6. Entiendes lo que te estoy explicando?
2.7. Estoy desorientado.
2.8. Hoy es martes.
2.9. El 3 de abril de 1970 fue domingo.
2.10. Quisiera estar lejos de aqu.
2.11. Esta materia se dicta en el primer cuatrimestre.
2.12. Si aquella chica me mirara
2.13. Qu aburrido estoy!
2.14. x es un nmero primo.
2.15.Esta oracin es una proposicin
2.16. A qu hora finaliza esta clase?
2.17. x es la novia de y.
2.18..Ser 2 un nmero primo?
2.19. 2 es un nmero primo.

2 CLASIFICACIN DE LAS PROPOSICIONES


Clasificaremos las proposiciones en: simples o atmicas (PA) y compuestas o
moleculares (PM).
Una proposicin simple o atmica (PA) es una proposicin que no contiene dentro de
s ninguna otra proposicin.
Ejemplos: -Tres es un nmero primo. -Suena el timbre
Una proposicin compuesta o molecular (PM) es aquella que contiene dentro de s
otras proposiciones (por lo menos una) llamadas componentes
Ejemplos: Hoy no llueve. (contiene la proposicin hoy llueve)
Hoy llueve y hace fro.
Hoy llueve o hace fro.

4
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Si hoy llueve entonces hace fro.


Hoy llueve si y slosi hace fro.
Estas proposiciones moleculares se han construido con una o dos proposiciones
atmicas y trminos de enlace.
Los trminos de enlace "no", "y", "o", "si . . . entonces" y "si y slo si" no forman
parte de las proposiciones atmicas. Se han aadido a ellas para construir una
proposicin molecular.

Actividad 3: Indique cules de las siguientes proposiciones son moleculares y cules son
las proposiciones componentes:
3.1. Juan gana la lotera santiaguea.
3.2. No ha llovido el sbado a la maana.
3.3. O resuelvo el ejercicio, o copio la respuesta.
3.4. Boca gana si River pierde.
3.5. Si la proposicin es atmica, entonces no contiene conectivas.
3.6. La derivada de una constante es igual a cero.
3.7. Aprobar esta materia si y solo si le dedico el tiempo suficiente.
3.8. Converso pero resuelvo los ejercicios.
3.9. Una pregunta no es una proposicin.
3.10. La Lgica ensea a pensar clara, concisa y correctamente.

Actividad 4: Teniendo en cuenta la bibliografa sugerida:


4.1. Defina el concepto de proposicin.
4.2. Analice los componentes que intervienen en la misma.
4.3. Seale las caractersticas respecto de las formas de las proposiciones.
4.4. Seale la relacin que puede establecer entre la forma de una proposicin, su
representacin simblica, el significado de ellas y los valores de verdad.
4.5. Determine una definicin para "significado de una proposicin.

3 SINTAXIS DE LAS FRMULAS PROPOSICIONALES


Las proposiciones se encuentran en lenguaje coloquial. La Lgica tiene su propio
lenguaje para simbolizar las proposiciones y los conectivos: lenguaje simblico. Las
proposiciones se representan con las letras: p, q, r, . . . que se denominan variables
proposicionales, y los conectivos, con los signos: , , , , , u otros, segn
las convenciones adoptadas por cada autor.

5
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

La sintaxis describe como escribir las proposiciones en el lenguaje simblico. Es preciso


definir unas reglas de escritura correcta de estas FRMULAS, a partir de las reglas
usualmente admitidas para construir frases en el lenguaje real.
Una frmula sintcticamente correcta se define de acuerdo con las siguientes reglas:
a) Las variables proposicionales p, q, r, s, ... son frmulas correctamente formadas.
b) Si A y B son frmulas correctas, tambin son frmulas correctas:A , B , A B ,
A B , A B , A B
c) Slo son frmulas correctas las que cumplen con la condicin a) y b).
A efectos de interpretacin de la relacin entre conectivos y variables
proposicionales, cuando hay ms de una conectiva se definen las reglas siguientes:
d) Una conectiva afecta a las letras proposicionales inmediatas o a algn conjunto de
letras
y smbolos inmediatos a ellos entre parntesis.
e) Para evitar el exceso de parntesis se define jerarqua entre conectivas
NIVEL1:
NIVEL2: ,
NIVEL3:
NIVEL 4:

Actividad 5: Determine si estn bien construidas las siguientes expresiones:


1. (p r) q 6. ( p q r )
2. ( p r ) ( p q p r ) 7. p q r
3. ( p r ) ( p q)(p r ) 8. r q
4. ( p r ) ( p q p r ) 9. p q
5. p q r 10. p r q

4 DEFINICION SEMNTICA DE CONECTIVAS


Intuitivamente podemos afirmar que la semntica nos informa el significado de las
proposiciones en el mundo real. Las conectivas generan un significado de las frases
compuestas a partir de las proposiciones componentes que conectan. Para ello se
utilizarn tablas de relacin entre significados de las proposiciones componentes y de
la compuesta por cada conectiva, estas tablas se denominan TABLAS DE VERDAD.
Se denomina interpretacin de una frmula a una asignacin de significados a sus
frmulas componentes bsicas. Una interpretacin es una lnea de la tabla de verdad de
la frmula.

6
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

5 TABLAS DE VERDAD DE LAS OPERACIONES LGICAS: DEFINICIONES

5.1 NEGACIN
La negacin de una proposicin sustituida por la variable p es la proposicin no p, p
cuya tabla de valores de verdad es :
p p
V F
F V
Se trata de una operacin unitaria o mondica, pues a partir de una proposicin se
obtiene otra, que es su negacin.
Ejemplo: La negacin de Hoy es martes, se puede escribir:
Hoy no es martes.
Es falso que hoy es martes.
No es cierto que hoy es martes.
No ocurre que hoy es martes.

5.2 CONJUNCIN
La conjuncin de las proposiciones p y q, es la proposicin "p q". Las proposiciones
atmicas que la forman se denominan conjuntivos. Es una operacin binaria o didica
porque a partir de dos proposiciones atmicas, obtenemos una molecular.
p q pq
V V V
V F F
F V F
F F F

La conjuncin de dos proposiciones es verdadera si ambos conjuntivos son


verdaderos; en todo otro caso es falsa.
Ejemplo: Sea p : llueve, q : sale el sol
p q : Llueve y sale el sol
p q : A la vez llueve y sale el sol
p q : Llueve pero sale el sol
p q : Llueve aunque sale el sol
p q : Llueve sin embargo sale el sol

7
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

5.3 DISYUNCIN
Una disyuncin es una proposicin molecular que se obtiene uniendo dos proposiciones
atmicas con el trmino de enlace "o". Las proposiciones simples que forman una
disyuncin se denominan disyuntivos. Consideraremos la disyuncin en sentido
incluyente. Esto significa que en cualquier disyuncin, por lo menos una de las dos
proposiciones es cierta y quizs ambas. Hay cuatro combinaciones posibles de valores
de certeza:
p q pq
V V V
V F V
F V V
F F F

La disyuncin es falsa slo cuando los dos disyuntivos son falsos. Es una operacin
binaria o didica, porque a partir de dos proposiciones atmicas se obtiene una
molecular.
Ejemplo: Sea p: la lgica es difcil ; q: la profesora explica mal
p q : La lgica es difcil o la profesora explica mal.
p q : La lgica es difcil a menos que la profesora explica mal.
p q :O bien, la lgica es difcil o bien, la profesora explica mal.

5.4 CONDICIONAL
Los elementos del condicional p q se denominan antecedente (p) y consecuente
(q). La tabla de valores de verdad es:

p q pq
V V V
V F F
F V V
F F V

El condicional es falso cuando su antecedente es verdadero y su consecuente es


falso; en todo otro caso es verdadero.

8
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplo: Sean p: Curso la Licenciatura en Sistemas de Informacin


q : Estoy entusiasmado
p q: Si curso la Licenciatura en Sistemas de Informacin entonces estoy entusiasmado
p q: Si curso la Licenciatura en Sistemas de Informacin, estoy entusiasmado.
p q: Cursar la Licenciatura en Sistemas de Informacin implica estar entusiasmado.
p q: Curso la Licenciatura en Sistemas de Informacin slo si estoy entusiasmado.
p q: Estoy entusiasmado si curso la Licenciatura en Sistemas de Informacin.
p q: Para estar entusiasmado, es suficiente cursar la Licenciatura en Sistemas de
Informacin.
p q: Es suficiente cursar la Licenciatura en Sistemas de Informacin para estar
entusiasmado.

p q: Estar entusiasmado es necesario para cursar la Licenciatura en Sistemas de


Informacin.
p q: Cuando curso la Licenciatura en Sistemas de Informacin, entusiasmado.

Cabe destacar que en la definicin del condicional slo se considera la forma de la


proposicin, el valor de verdad del antecedente y del consecuente, pero nada se dice de
la vinculacin entre el significado de uno y de otro.
Se considera a continuacin el caso en el que:
*) el condicional es verdadero y
*) el antecedente es verdadero y
*) los significados de ambos estn relacionados.
Bajo estas condiciones:
a) El significado del consecuente ser necesariamente verdadero.
b) La verdad del consecuente esta expresada en la verdad del antecedente.
c) No puede ocurrir que el antecedente se verifique sin que se verifique el consecuente.
Por ejemplo, en la oracin Si la luz se enciende entonces el foco funciona, el
antecedente la luz se enciende no puede ser verdadero si el foco no funcionara o
estara quemado. Es decir, que el consecuente obligatoriamente debe ser verdadero. En
este caso se establecen relaciones denominadas condicin necesaria y condicin
suficiente para el condicional. En el sentido de:
El antecedente es condicin suficiente para el consecuente; esto dice que la
ocurrencia del primero es informacin suficiente para que se produzca el segundo.
El consecuente es condicin necesaria para el antecedente; esto dice que el
antecedente no puede ocurrir sin que tambin ocurra el consecuente.

9
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplos:
Es necesario que el resultado de la tabla sea todo verdadero para que la frmula sea
tautolgica.
Para aprobar el examen final, es necesario estudiar la teora
Es suficiente que las frmulas lgicas tengan las mismas tablas de valores para que
sean equivalentes.

5.5 BICONDICIONAL
Un bicondicional es una proposicin molecular obtenida al unir dos proposiciones
moleculares con el trmino de enlace "si y slo si". Se simboliza p q, y su tabla de
verdad es:
p q pq
V V V
V F F
F V F
F F V

El bicondicional es verdadero si ambas proposiciones atmicas tienen el mismo valor


de verdad.
El bicondicional puede definirse como la conjuncin de una implicacin y su recproca.
De este modo la tabla de valores de verdad de p q, puede obtenerse mediante la
tabla de ( p q ) ( q p ).

p q pq qp (p q) (q p)
V V V V V
V F F V F
F V V F F
F F V V V

Ejemplos: " Usted puede votar s y solo si figura en los padrones"


"T es un tringulo equiltero cuando y slo cuando T es equingulo"

10
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 6: D distintos ejemplos del lenguaje corriente que ilustren: el bicondicional, la


disyuncin, la negacin, y el condicional.

Actividad 7: Con las proposiciones: "esta materia es entretenida" y "resuelvo las


actividades de teora" forme de cinco maneras distintas, proposiciones que representen
conjuncin, disyuncin y condicional.

Actividad 8: Analice los conceptos de proposicin y variable proposicional:


8.1. Establezca el vnculo que existe entre proposicin y variable proposicional.
8.2. Defina el concepto de proposicin compuesta y de frmula lgica.
8.3. Transcriba las reglas sintcticas para el uso del parntesis.

Actividad 9: Coloque parntesis (si fuera necesario) para que la frmula lgica corresponda
a la proposicin que se indica en cada caso:
9.1. Condicional: ~p q r s
9.2. Negacin: ~p q r s
9.3 Conjuncin: ~ p q r
9.4. Negacin: ~p q r
9.5. Bicondicional: p r q r
9.6. Negacin: ~ p q
9.7. Conjuncin: p q r
9.8.: Disyuncin p q r
9.9. Disyuncin: p~p
9.10. Condicional: p q r q r

Actividad 10: Considere que: p: trabajo en grupo, q: estoy aburrido,


r: paso al pizarrn, s: discuto los resultados, para traducir al lenguaje corriente cada
una de las siguientes frmulas lgicas:
10.1. (pr)~q
10.2. ~pr~q
10.3. ~(pr~q)
10.4. q(pr)
10.5. (p~r)(qs)
10.6. ~pqr
10.7. ~ ( p ~ q ~ s)
10.8. ( p r ) ( ~ q ~ s )

11
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 11: Simbolizar las siguientes proposiciones, usando parntesis cuando sea
necesario:
11.1. No es cierto que, apruebo el parcial aunque no estudio
11.2. No apruebo el parcial aunque estudio.
11.3. O me quedo a estudiar o salgo con mis amigos y falto a la clase.
11.4. No es cierto que, escucho las explicaciones y soy alumno de lgica.
11.5. Analizo el nmero y, si es mltiplo de dos, es par.
11.6. Si la funcin es continua entonces tiene lmite finito y existe la imagen en el punto.
11.7. Para ser alumno de lgica es necesario escuchar las explicaciones y estar
entusiasmado.
11.8. Solo si resuelvo correctamente este ejercicio, paso al pizarrn.
11.9. O, resuelvo los ejercicios de teora o, consulto la bibliografa y apruebo el examen final.
11.10. No ocurre que, o si resuelvo los ejercicios de teora o si bajo del Rincn del Vago, no
apruebo el examen final.
11.11. Un conjunto est incluido en otro si y solo todo elemento del primero pertenece al
segundo.

Actividad 12: Considere las definiciones de frmula lgica y de proposicin compuesta:


12.1. Determine para una frmula lgica qu significados puede asignarse.
12.2. Dada una frmula lgica den variables proposicionales distintas (n finito) determine de
qu depende la cantidad de alternativas de combinacin de valores de verdad que pueden
considerarse para evaluar la frmula.
12.3. Dado un significado correspondiente a una frmula lgica, qu nexo puede establecer
entre el mismo y la tabla de verdad de dicha frmula.

Actividad 13: Proponga un cuadro de doble entrada que resuma los conectivos lgicos, la
operacin que representa cada uno de ellos, su correspondiente significado y la tabla de
valores de verdad correspondiente.

Actividad 14: Determine el valor de verdad de cada frmula, con datos de entrada:
p y q simbolizan enunciados verdaderos, r y s simbolizan enunciados falsos
14.1. p r q
14.2. ( p q ) r
14.3. ( p q p )
14.4. ( q r ) ( r s)
14.5. ( ( p r ) r ) ( q s)

12
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 15: Escriba los conceptos de: TAUTOLOGA, CONTRADICCIN y


CONTINGENCIA. (Vea Pag. 43 del libro de Salama).

Actividad 16: Utilice tablas de verdad para determinar si las expresiones siguientes son
tautologas, contradicciones o contingencias:
16.1. p p
16.2. q q
16.3. (pq)pq
16.4. (pq)(pq)
16.5. ( p q ) p q

6 EQUIVALENCIA LGICA
Dos proposiciones son equivalentes cuando tienen las mismas tablas de valores de
verdad; bien, cuando al componerlas con el bicondicional, da una tautologa. Por
ejemplo, en la actividad 16.3. ( p q ) ( p q ) el bicondicionaldi por resultado una
tautologa; luego, podemos afirmar que las frmulas ( p q ) y ( p q ) son
equivalentes. Para denotar esta relacin escribimos ( p q ) ( p q ). Esta
equivalencia recibe el nombre de DEFINICIN DEL CONDICIONAL.
De la misma manera, ( p q ) ( p q ) (ley de De Morgan)

Actividad 17: Escriba ejemplos de frmulas equivalentes.

13
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

7 LEYES LGICAS

Las leyes lgicas son frmulas cuyos casos de sustitucin son siempre proposiciones
verdaderas. Las tautologas son las leyes de la lgica proposicional.
Algunas tautologas reciben nombres especiales, por ser de uso frecuente (Ver listado en
pag. 24).
Veamos algunas de ellas:
1. Involutiva: ~ ( ~ p ) p
2. Idem Potencia: p p p ; p p p
3. Trasposicin: (pq)(~q~p)
4. Conmutatividad: p q q p ; p q q p
5. Asociatividad: p ( q r ) ( p q ) r
p(qr) (pq)r
6. Distributividad de la conjuncin con respecto a la disyuncin:
p(qr) (pq)(pr)
7. Distributividad de la disyuncin respecto de la conjuncin:
p(qr) (pq)(pr)
8. Distributividad del condicional con respecto de la conjuncin:
p q r ( p q ) ( p r )
9. Distributividad del condicional con respecto de la disyuncin:
p q v r ( p q ) ( p r )
10. De Morgan: ~(pq) ~p~q; ~(pq) ~p~q
11. Exportacin: p q r p ( q r )
12. Absorcin: pp(pq) ; pp(pq)
13. Definicin de condicional: p q p q
14. Negacin del condicional: ( p q ) p q
15. Definicin del bicondicional: p q ( p q ) ( q p )
pq (pq)(pq)
16. Negacin del bicondicional: ( p q ) ( p q ) ( q p )
( p q ) ( p q ) ( p q )
17. Expansiones Booleanas: pp(q~q)
pp(q ~q)
pp(q ~qr)
pp(q ~qr)

14
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 18: Verifique las leyes lgicas. (Para resolver esta actividad, reemplace el signo
de equivalencia por el de bicondicional, y luego se construye la tabla de verdad resultante
y debe dar una tautologa).

Actividad 19: Aplique las leyes lgicas para encontrar proposiciones equivalentes
19.1 No es cierto que, si me entretengo, entonces apruebo el parcial.
19.2 si t no sabes msica, no podrs entrar al grupo
19.3 Canto y bailo en las fiestas.
19.3.1 No ocurre que, hoy es lunes o, vengo a la clase de Lgica y trabajo activamente en
clase
19.4 No ocurre que, si desapruebo el parcial, promociono esta asignatura o la regularizo.
19.5 No es cierto que, si cuatro es compuesto, entonces es primo.

Actividad 20: Para cada una de las proposiciones moleculares que se dan a continuacin,
realizar lo siguiente:
a) Abstraer la frmula lgica.
b) Negar la expresin obtenida.
c) Retraducir al lenguaje ordinario.
Ejemplo: Si las vacas argentinas tienen aftosa, no son requeridas en el mercado europeo.
Respuesta: a) p: las vacas argentinas tienen aftosa
q: las vacas argentinas son requeridas en el mercado europeo.
p~q
b) ~ ( p ~ q ) p q
c) Las vacas argentinas tienen aftosa y son requeridas en el mercado
europeo.
20.1. Mi meta es aprobar los parciales o sus recuperatorios, y regularizar esta asignatura.
20.2. Si mis clculos no me fallan, maana podremos ver un eclipse y mi hermano se habr
equivocado.
20.3. Chile convocar a una reunin con los pases latinoamericanos slo si Argentina se
moviliza y Brasil protesta ante la ONU.
20.4. Para regularizar Lgica, es necesario aprobar los dos parciales o sus recuperatorios.
20.5. Slo si obtengo sesenta puntos, apruebo el examen y paso de curso.
20.6. Para asistir a la prxima clase y participar en las actividades, es necesario traer la gua
20.7. Si el condicional es verdadero, entonces no es cierto que el antecedente es verdadero
y el consecuente es falso.
20.8. Regularizo la asignatura, solo si apruebo los dos parciales o sus recuperatorios.

15
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

8 CONDICIONALES ASOCIADOS
A partir del condicional p q, que llamaremos directo, se pueden obtener otros
tres, mediante permutaciones o negaciones del antecedentes y consecuente.
Directo:p q
Recproco: qp
Contrario: p q
Contrarrecproco: q p

pq Recproco qp

p q Recproco q p

Importante: Construir las tablas de verdad de cada condicional asociado a p q y


determinar si existe alguna equivalencia entre ellos.

Actividad 21: Formule simblicamente y en lenguaje corriente los condicionales


asociados a los ejercicios de la Actividad 20.

Actividad 22: Dadas las siguientes frmulas proposicionales, encontrar otras dos
lgicamente equivalentes a cada una de ellas. El ejercicio N 1 ejemplifica el procedimiento

Frmula Equivalencia 1 Equivalencia 2


pq p q ( p q)
p q
pq
p q
( p q)
( p q )

Actividad 23: sabiendo que el valor de verdad de r p q es falso, encontrar el valor de:
23.1. p r q
23.2. ( p r q ) ( p r )
23.3. ( p ( q r p ) ( p r ))

16
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividades de autoevaluacin

Actividad 1: Para cada una de las siguientes proposiciones moleculares que se da a

continuacin realizar lo siguiente:

a) Abstraer la frmula

b) Negar la expresin obtenida

c) Retraducir al lenguaje ordinario

d) escribir, usando las leyes lgicas, proposiciones equivalentes a las dadas

e) construir la tabla de verdad a cada frmula lgica abstrada y clasificarla

1.1. Si comienza el verano los pjaros no se vern obligados a emigrar

Respuesta:

a) p ~ q

b) ~ ( p ~ q ) p q

c) Comienza el verano y los pjaros se vern obligados a emigrar.

1.2. Todos se encuentran entorpecidos en el desarrollo de su vida y no pueden ejercer sus

derechos fundamentales.

1.3. Es suficiente que Madonna, Sting y Guerra participen en San Remo para que yo asista

al festival.

1.4. Si el condicional entre p y q es verdadero, entonces no es ocurre que, p es verdadero y

q es falso.

Actividad 2: Elegir entre estas palabras: antecedente, atmica, proposicin

molecular, condicional, bicondicional, conjuncin, consecuente,

disyuncin, negacin,la que permita completar las siguientes expresiones:

2.1.-En Lgica, una proposicin completa que no tiene trminos de enlace se

denomina...............................................

2.2.-La combinacin de una o ms proposiciones atmicas con un trmino de enlace de

proposiciones se denomina..................

2.3.-La proposicin molecular que utiliza el trmino de enlace "y"es

una........................................................

17
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

2.4.-La proposicin molecular que utiliza el trmino de enlace "no" es

una......................................................

2.5.-La proposicin molecular que utiliza el trmino de enlace "si...entonces" se

denomina......................................

2.6.-La proposicin situada antes del conectivo en una proposicin condicional se

denomina.....................................

2.7.-La proposicin situada despus del conectivo en una proposicin condicional se

denomina.....................................

2.8.-La proposicin molecular que utiliza el trmino "o" es una..

1.9.-La proposicin molecular que utiliza el trmino "si y slo si" se

denomina..................................................

Actividad 3: Considere las siguientes proposiciones atmicas:


p: Las computadoras ms grandes son las ms capaces.
q: La unidad de control es el corazn del sistema.
r: Este es un ejercicio lgico.
y use esa notacin para simbolizar las siguientes proposiciones moleculares:
3.1.-Si las computadoras ms grandes son las ms capaces, entonces este es un ejercicio
lgico y la unidad de control es el corazn del sistema.
3.2.-O este es un ejercicio lgico y las computadoras ms grandes son las ms capaces, o
este no es un ejercicio lgico.
3.3.-A la vez, si este es un ejercicio lgico entonces las computadoras ms grandes no son
las ms capaces y la unidad de control es el corazn del sistema.
3.4.-No ocurre que a la vez las computadoras ms grandes son las ms capaces y este es
un ejercicio lgico.
3.5.-Las computadoras ms grandes no son las ms capaces y este es un ejercicio lgico.
3.6.-No ocurre que si este es un ejercicio lgico, entonces las computadoras ms grandes
son las capaces.
3.7.-No es cierto que, o la unidad de control es el corazn del sistema o este es un ejercicio
lgico.

18
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

GUA DE TRABAJO TERICOPRCTICO N 2

TEMA: RAZONAMIENTO DEDUCTIVO

1 CONCEPTO
La lgica deductiva es la ciencia que estudia los mtodos y principios usados para
distinguir el razonamiento correcto del incorrecto.
UN RAZONAMIENTO SE DEFINE COMO UN CONJUNTO DE PROPOSICIONES,
EN EL CUAL, UNA DE ELLAS SE PRETENDE QUE ESTE FUNDADA SOBRE LA
BASE O A PARTIR DE LAS DEMS.
Ejemplo: Si llueve, llevo el paraguas.
Llueve
Por lo tanto, llevo el paraguas.
Todo razonamiento tiene una estructura cuyos componentes son:
*) Las proposiciones, una o ms, de las que se parte, denominadas PREMISAS.
Las premisas estn encabezadas por expresiones como: "puesto que, porque",
"pues" , "ya que" , "como" , "pero" , etc.
*) La proposicin a la que se arriba, denominada CONCLUSIN.
La conclusin est encabezada por expresiones como: "luego, "por lo tanto,
"en consecuencia" , "por ende" , "as" , "podemos inferir" , etc.
*) Las expresiones que encabezan premisa o conclusin, llamadas EXPRESIONES
DERIVATIVAS.
La conclusin puede estar al final, o al comienzo o en el medio del razonamiento.
Ejemplo: No atiendo, puesto que, si atiendo entonces comprendo, y yo no
comprendo.
En este ejemplo, la conclusin encabeza el razonamiento.
Para obtener una estructura lgica necesitamos un conjunto de proposiciones y una
relacin o nexo que las vincule. Un tipo de nexo lgico son las inferencias. La
inferencia es un proceso por el cual a partir de uno o varios conocimientos dados,
obtenemos un nuevo conocimiento. En este proceso se llega a una proposicin y se la
afirma sobre la base de otra u otras proposiciones aceptadas como punto de partida.
A cada inferencia posible, corresponde un razonamiento y de estos razonamientos
trata la lgica, primordialmente.
Los trminos inferencia y razonamiento tienen notables diferencias: los
razonamientos son estructuras lgicas integradas por proposiciones, mientras que
las inferencias no son estructuras sino nexos lgicos que permiten obtener
razonamientos.

19
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Entre los razonamientos distinguimos los deductivos y los no deductivos.


Los DEDUCTIVOS pueden caracterizarse como aquellos razonamientos en los que se
pretende que la conclusin se infiera en forma NECESARIA de las premisas. En los NO
DEDUCTIVOS, en cambio la conclusin se infiere con cierto grado de PROBABILIDAD,
no con necesidad.
NOTA: En este curso estudiaremos los razonamientos deductivos.
Ejemplo: En la fiesta bailo o canto.
Yo no bailo en la fiesta.
Por consiguiente, en la fiesta canto.
Se observa que: de las premisas se infiere necesariamente la Conclusin.
En cambio, la conclusin se da con cierta probabilidad, en el siguiente razonamiento:
Ayer, el agua del termo estuvo fra.
Hoy, el agua del termo est fra.
Es posible que maana el agua del termo est fra.

Actividad 1: Defina los siguientes conceptos:


1.1. Razonamiento
1.2. Razonamiento deductivo

Actividad 2: Considere el concepto de razonamiento deductivo, y:


2.1. Determine las partes o componentes del mismo.
2.2. Defina la forma lgica de un razonamiento.

Actividad 3: Proponga ejemplos de razonamientos deductivos y no deductivos. Determine


en cada caso sus componentes.

2 RAZONAMIENTOS Y FORMAS DE RAZONAMIENTOS


Para obtener la estructura de un razonamiento deductivo, necesitamos abstraer su
forma lgica sin considerar el contenido informativo de sus proposiciones y de sus
conectivos. La forma lgica de un razonamiento debe abstraerse de acuerdo con las
reglas de la lgica proposicional: usamos letras minsculas de la parte media del
alfabeto, como variables proposicionales y cada trmino de conectivo por el
correspondiente signo lgico que lo abstrae. Cada premisa est separada por un
punto.

20
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplo: Razonamiento Forma lgica


Si canto, entonces desafino. pq
Si desafino, entonces pierdo el concurso. qr
Luego, si canto, pierdo el concurso. pr
Donde p:canto ,q:desafino y r: pierdo el concurso.
Esta forma lgica tiene la estructura de una regla lgica, llamada "regla del silogismo
hipottico".

Otro ejemplo: Forma lgica


En la fiesta bailo o canto. pq
Yo no bailo en la fiesta. p
Por consiguiente, en la fiesta canto. q
Esta forma lgica tiene la estructura de una regla lgica, llamada "regla del silogismo
disyuntivo".

Mientras que en el ejemplo: Forma lgica


Si llueve, llevo el paraguas. pq
Llueve. p
Por lo tanto, llevo el paraguas. q
La regla de inferencia, se denomina "regla del Modus Ponens".

Nota: Al final de esta gua se presenta un listado de nueve formas de razonamientos


vlidos elementales, que, entre otras, constituyen reglas de inferencias.

3 RAZONAMIENTOS DEDUCTIVOS VLIDOS


Los razonamientos deductivos pueden ser vlidos o no.
Decir que un razonamiento es vlido o correcto no equivale a decir que la Conclusin
sea verdadera, ni que todas la Premisas tambin sean verdaderas.
Luego, la validez de un razonamiento no depende del contenido sino de su forma
lgica, de su estructura, de la forma en que se interrelacionan las Premisas de manera
tal que formen una estructura slida sobre la que se apoye la Conclusin.
Definicin: Un razonamiento es vlido o correcto cuando su forma lgica es vlida,
independientemente del contenido informativo de las proposiciones que lo componen.
La forma lgica de un razonamiento es vlida cuando no ocurre que de premisas
verdaderas se deduzca una conclusin falsa, en cuyo caso se dice que es invlido.

21
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

As, un razonamiento vlido puede tener:


Premisas V F F
Y Conclusin V V F
Un razonamiento es invlido cuando hay por lo menos un razonamiento de esa
forma con Premisas verdades y Conclusin falsa.
As, un razonamiento invlido puede tener:
Premisas V V F F
Y Conclusin V F V F
Por lo tanto, si las Premisas son verdades y la forma es vlida, la Conclusin es
necesariamente verdadera. Luego, una estructura vlida garantiza la verdad de la
Conclusin, siempre que se parta de Premisas verdaderas,

Actividad 4: Proponga un ejemplo de sustitucin para cada una de las siguientes formas de
razonamientos proposicionales, e indique el nombre de la regla de inferencia:
Ejemplo:
pq Si estudio desde el primer da, aprobar el parcial.
p Estudio desde el primer da.
q Luego, aprobar el parcial.
Nota: Escriba usted sus propias interpretaciones para las variables proposicionales
4.1. ~qp
~p
q

4.2. p ~ q
q
p

4.3. p q
q

4.4. p
q_
pq

4.5. p~r
(p ~ r) q

22
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

4.6. p q
~q~p

4.7. p ~q~r
p ~q
~r

4.8. pq~pq
p ~ q_____
~p~q

Actividad 5: Infiera la conclusin de cada uno de los siguientes conjuntos de premisas, y


escriba la regla de inferencia aplicada.

Ejemplo: Una misma proposicin puede ser premisa o conclusin.


La proposicin no es premisa.
Respuesta: Luego, la proposicin es conclusin.

5.1. Es suficiente que una proposicin sea molecular para que contenga conectivos.
La proposicin no contiene conectivos. Luego,.................................................
5.2. Si la funcin tiene lmite, este es nico.
La funcin tiene lmite. Por consiguiente,........................................................
5.3. Saturno es un satlite o la luna es un planeta
La luna no es un planeta. Por lo tanto,...............................................................
5.4. Es necesario que el razonamiento sea vlido para que el condicional asociado a su
forma lgica sea tautolgica.
El razonamiento no es vlido. Por tanto.........................................................
5.5. Para participar, es suficiente ver una injusticia y callar.
No participo. Luego........................................................................................
5.6. En geometra y en fsica es usual representar un vector mediante una flecha.
Luego,................................................................

Actividad 6: Analice el concepto de razonamiento deductivo vlido y discuta los alcances e


interpretaciones que se derivan de l. Luego responda:
6.1. Si las premisas son verdaderas y la conclusin es verdadera, qu decisin puede tomar
respecto de la validez del razonamiento.
6.2. Si las premisas son falsas, que se requiere para decidir la validez.

23
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

6.3. Explique la relacin entre verdad o falsedad de las premisas con la verdad o falsedad
de la conclusin tanto en razonamientos vlidos como invlidos. Esquematice en un cuadro
esta relacin.
6.4. Qu relacin tiene la invalidez del razonamiento, con su forma lgica y con su
significado?

4 MTODOS DE VALIDACIN DE RAZONAMIENTOS

4.1 MTODO DEL CONDICIONAL ASOCIADO


Dado un razonamiento, construimos un condicional cuyo antecedente sea la
conjuncin de las premisas, y su consecuente, la conclusin del razonamiento. Si el
razonamiento es vlido, el condicional construido es una TAUTOLOGA y
recprocamente, si el condicional es tautolgico, entonces el razonamiento que le dio
origen ser vlido.
En sntesis: UN RAZONAMIENTO ES VLIDO SI Y SOLO SI EL
CONDICIONAL ASOCIADO A SU FORMA LGICA ES TAUTOLGICO.
Este mtodo tiene la ventaja de ser un procedimiento mecnico que permite determinar
la validez de un razonamiento en forma simple. La desventaja se presenta cuando hay
que trabajar con muchas variables proposicionales.

Actividad 7: Demuestre, mediante el mtodo del condicional asociado, si los siguientes


razonamientos son vlidos o no.

Ejemplo: Si comprendo el procedimiento, resuelvo el ejemplo. Comprendo el procedimiento.


Luego, resuelvo el ejemplo.

Forma lgica Condicional asociado


pq (pq) p q
p
q

7.1. Si usted intenta escalar el cerro Tronador y no es un experto andinista, pone en peligro
su vida. Su vida no corre peligro y tampoco es usted un experto andinista. Luego, usted no
intenta escalar el cerro Tronador
7.2. Boca gana o, si llueve torrencialmente entonces se suspende el partido. Boca no gana y
no se suspende el partido. Por lo tanto, no llueve torrencialmente.
7.3. No voy al boliche o me quedo a estudiar. No me quedo a estudiar. Si no voy al boliche,
apruebo el examen. Luego, no apruebo el examen.

24
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

7.4. Podr descansar, si voy a las sierras. Si voy al mar, disfrutar de la playa. Ir a las
sierras o al mar. Luego, o podr descansar, o disfrutar de la playa.
7.5. Cuando se prevn fuertes movimientos ssmicos, el observatorio avisa a las autoridades
y alerta a la poblacin. El observatorio no ha avisado a las autoridades o no ha alertado a la
poblacin. Por lo tanto, no se prevn fuertes movimientos ssmicos.

4.2 CONDICIONAL ASOCIADO REDUCIDO


Si el razonamiento es complejo, y su forma lgica contiene muchas variables, se
puede usar un mtodo muy sencillo llamado "condicional asociado reducido", que
consiste en lo siguiente:
a) Hallar la forma lgica del razonamiento.
b) Escribir su condicional asociado.
c) Si la forma es invlida, tendr que suceder que se pueda encontrar por lo
menos un caso que tenga premisas verdaderas y conclusin falsa. Luego, se supone
que se trata de una forma de razonamiento invlido, se coloca debajo de la conclusin
el valor "F", y se determina el valor de verdad de cada variable, bajo esta suposicin. Se
asigna estos valores de verdad a las variables que figuran en las premisas y se obtienen
los restantes suponiendo que cada una de las premisas es V.
d) Si esta suposicin se confirma, el razonamiento es invlido, como as tambin
todos los ejemplos de sustitucin de su forma lgica.
Ejemplo: Si se considera la forma lgica:
pq (p q) (r p) r q
r p F F V F V F
r V V V F
q V V F
Asignando a p el valor de verdad F, a q, F y a r, V, las premisas toman el valor V y la
conclusin, F, con lo que se prueba la invalidez de la forma dada.

Actividad 8: Aplique el mtodo del condicional asociado reducido, a los razonamientos de la


Actividad 7.

4.3 MTODO DEL RBOL


Es un mtodo mecnico que consiste en la bsqueda de contradicciones al
considerar el conjunto formado por las premisas y la negacin de la conclusin. Para
aplicarlo, es necesario utilizar las equivalencias lgicas (repasar en gua N1 las leyes de
De Morgan, la equivalencia de un condicional, la negacin de un condicional, entre
otras) que permitan escribir cada premisa como conjunciones o disyunciones, en las

25
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

que intervengan expresiones de la forma p o p.


Luego, se diagrama un esquema ramificado con la siguiente convencin:
a) Si la frmula obtenida es una CONJUNCIN, los conjuntivos se colocarn uno
debajo del otro unindolos con una rama.
b) Si la frmula es una DISYUNCIN, los disyuntivos se ubicarn uno al lado del
otro, obteniendo dos ramas.
c) Para finalizar, se analizan cada una de las ramas: si en cada rama hay al menos
una contradiccin ( pp ), diremos que la forma es vlida.
Ejemplo:
Forma lgica Forma asociada El rbol es:
pq ~pq ~q
r p rp
~r ~r ~r
q ~q
r p

~p q

Actividad 9: Simbolice los siguientes razonamientos y demuestre su validez o invalidez


mediante el mtodo del rbol.
9.1. El nmero es primo o es compuesto. El nmero no es compuesto. El nmero es
divisible por s mismo y por la unidad, si es primo. Luego, es divisible por s mismo y por la
unidad.
9.2. Si Juan compra el terreno, se construir un edificio para oficinas. Si Luis lo compra, lo
vender rpidamente. Si Ana compra el terreno, se construir una bodega. Si se construye
una bodega, se ofrecer alquilarla. O Juan o Ana compran el terreno. Por lo tanto, se
construir un edificio para oficinas o una bodega.
9.3. Esta ley ser aprobada en esta sesin si y slo si es apoyada por la mayora. O es
apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a ella,
ser propuesta en las deliberaciones del comit. Por lo tanto, esta ley no ser aprobada en
esta sesin y ser propuesta en las deliberaciones del comit.
9.4. Si premisa y conclusin son trminos relativos entonces una misma proposicin puede
ser premisa en un razonamiento y conclusin en otro. Una misma proposicin no puede ser
premisa en un razonamiento o no es conclusin en otro.

26
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Luego, premisa y conclusin no son trminos relativos.


9.5. El texto saldr prolijo si y slo si uso un procesador. Es suficiente que el texto salga
prolijo para que sea bien remunerado. Luego si uso un procesador, el texto ser bien
remunerado.
9.6. Trabajar por la maana o por la tarde. Viajar en tren, si trabajo por la maana. Si
trabajo por la tarde viajar en mnibus. Luego, viajar en tren o en mnibus.
9.7. Si el equipo gan el domingo, podr jugar en el extranjero. Y jugar en le extranjero slo
si ha contratado un nuevo entrenador. O el equipo no ha contratado un nuevo entrenador, o
ha quedado descalificado. Pero no ha quedado descalificado. Por lo tanto, el equipo no gan
el domingo.

4.4 MTODO DEDEDUCCIN


Prueba formal de validez
Cuando los razonamientos contienen varias proposiciones atmicas diferentes como
componentes, se hace difcil y tedioso utilizar tablas de verdad para probar su validez.
Un mtodo ms conveniente es DEDUCIR las conclusiones de sus premisas por
una secuencia de razonamientos ms cortos y ms elementales que ya se conocen que son
vlidos y aceptados como reglas de inferencia, que es todo esquema valido de
razonamiento independientemente de la interpretacin de las proposiciones compuestas.
Iniciamos el desarrollo del mtodo de deduccin presentando una lista de solo nueve
formas de razonamiento vlidas elementales y de equivalencias lgicas que
constituyen nuevas reglas de inferencia al aplicar la regla de reemplazo: cualquiera de las
siguientes expresiones lgicamente equivalentes puede reemplazar a la otra en donde
ocurran.
Consideremos el siguiente razonamiento:
Si este es un ejercicio lgico, la unidad de control es el corazn del sistema.
Las computadoras ms grandes son las ms capaces o este es un ejercicio lgico.
Las computadoras ms grandes no son las ms capaces.
Luego, la unidad de control es el corazn del sistema.

Forma lgica
p q (1)
r p (2)
~r (3)
q

27
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Podemos probar su validez de la siguiente manera


a) De las premisas 2 y 3
r p
~r
__________
Vlidamente inferimos p (4) por S.D.

b) De las premisas 1 y 4
pq
p
_________
Vlidamente inferimos q por MP, llegando as a la conclusin

Una manera ms formal y ms concisa de escribir esta prueba es hacer una lista de las
premisas y de las proposiciones deducidas de ellas en una columna con las justificaciones
escritas a un lado. La conclusin se escribe a la derecha de la ltima premisa. La prueba
formal de validez del ejemplo dado es:
1) p q premisa
2) r p premisa
3) ~r / q premisa / conclusin
4) p S.D. 2 , 3
5) q M.P. 1 , 4

DEFINICIN:
Una PRUEBA FORMAL DE VALIDEZ para un razonamiento, es una sucesin de
enunciados, cada uno de los cuales es una premisa de ese argumento o se sigue de los
precedentes por una Regla de Inferencia, y tal que el ltimo enunciado de la secuencia es
la conclusin del razonamiento cuya validez se est demostrando.

Actividad 10: Considere un razonamiento, su forma lgica y la decisin, a partir de los


distintos mtodos desarrollados, sobre la validez del mismo, y responda si la validez de un
razonamiento depende:

10.1. Del mtodo que se utiliza para determinarla.


10.2. De la forma de vincular premisas y conclusin.
10.3. Del significado de las premisas y de la conclusin.
10.4. De la forma de vincular premisas y conclusin y del significado de ellas.

28
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 11: Determine la validez de las siguientes formas de razonamientos, elija el


mtodo ms adecuado
11.1. ~(pq) 11.2. p ~ q ~ r
pr sr
q~r ~sp
~p ~(p~q)

11.3. ~ t ~ s 11.4. pq
~qt qr
q~r (pr)~s
r sr .
s ~r

11.5 ( p q ) ( r s ) 11.6 ( p q ) ( r s )
~(st) qs
qs ~ p ~ r______
pr (pr)q

11.7 p q r 11.8. pq
r(st) rs
pq ~(p~s)
ps ~(q~s)

29
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Reglas de Inferencia

I) Formas de razonamientos vlidos elementales.

Modus Ponens (MP) Modus Tollens (MT)


AB AB
A ~B .
B ~A

Silogismo Hipottico (SH) Silogismo Disyuntivo (SD)


AB AB AB
BC ~A ~B .
AC B A

Dilema Constructivo (DC) Dilema Destructivo (DD)


(AB)(CD) (AB)(CD)
AC ~B~D
BD ~A~C

Conjuncin (CONJ.) Simplificacin (SIMP.)


A AB AB .
B A B
AB

Adicin (AD)
A B
AB AB

30
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Equivalencias Lgicas

1. Involutiva: ~ ( ~ p ) p
2. Idem Potencia: p p p ; p p p
3. Trasposicin: ( p q ) ( ~ q ~ p )
4. Conmutatividad: p q q p p q q p
5. Asociatividad: p ( q r ) ( p q ) r p(qr) (pq)r
6. Distributividad de la conjuncin con respecto a la disyuncin:
p(qr) (pq)(pr)
7. Distributividad de la disyuncin respecto de la conjuncin:
p(qr) (pq)(pr)
8. Distributividad del condicional con respecto de la conjuncin:
pqr (pq)(pr)
9. Distributividad del condicional con respecto de la disyuncin:
pqvr (pq)(pr)
10. De Morgan: ~(pq) ~p~q; ~(pq) ~p~q
11. Exportacin: p q r p ( q r )
12. Absorcin: p p ( p q ); p p ( p q )
13. Definicin de condicional: p q p q
14. Negacin del condicional: ( p q ) p q
15. Definicin del bicondicional: p q ( p q ) ( q p );
p q ( p q ) ( p q )
16. Negacin del bicondicional: ( p q ) ( p q ) ( q p )
(pq) (pq)(pq)

17. Expansiones Booleanas: p p ( q ~ q ); p p ( q ~ q )


p p ( q ~ q r ); p p ( q ~ q r )

31
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividades de autoevaluacin

Actividad 1: Aplicando los mtodos estudiados, probar la validez o la invalidez de los


siguientes razonamientos. Elegir el que convenga en cada caso.

1.1. Para que se levante aire hmedo, es necesario que refresque.


Slo si se forman nubes, refrescar.
Se levanta aire hmedo.
Por lo tanto, se forman nubes.

1.2. Si A se retira del torneo, B ganar o C se retirar del torneo. B ganar el torneo. Por
consiguiente C se retirara del torneo si A se retira tambin.

1.3. Apruebas Lgica o Matemtica solo si dedicas suficiente tiempo al estudio y manejas la
bibliografa adecuada. Apruebas Lgica. Por lo tanto dedicas suficiente tiempo al estudio.

1.4. 3 5 = 12 5 + 5 + 5 = 12
4 * 4 13
5 + 5 + 5 = 12 4 * 4 = 13
Por consiguiente 3 * 5 12

1.5. El texto saldr prolijo si y slo si uso un procesador. Es suficiente que el texto salga
prolijo para que sea bien remunerado. Luego si uso un procesador, el texto ser bien
remunerado.

1.6. Esta ley ser aprobada en esta sesin si y slo si es apoyada por la mayora. O es
apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a ella,
ser propuesta en las deliberaciones del comit. Por lo tanto, esta ley no ser aprobada en
esta sesin y ser propuesta en las deliberaciones del comit.

1.7. Si premisa y conclusin son trminos relativos entonces una misma proposicin puede
ser premisa en un razonamiento y conclusin en otro. Una misma proposicin no puede ser
premisa en un razonamiento o no es conclusin en otro.
Luego, premisa y conclusin no son trminos relativos.

32
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

1.8. Si la forma de razonamiento es vlida, se puede construir una prueba formal y su


condicional asociado es tautolgico.
No ocurre que la forma no es vlida. El condicional asociado no es tautolgico. Por
consiguiente se puede construir una prueba formal.

1.9. Habr que invitar a B y C si A se casa. Para que haya pelea en la ceremonia es
suficiente que se invite a B o C. Por tanto, si A se casa, habr una pelea en la ceremonia.

Actividad 2. Considere el concepto de razonamiento deductivo:

- Determine las partes o componentes del mismo.

- Defina la forma lgica de un razonamiento.

- Explique y proponga ejemplos del siguiente concepto:

-"La conclusin se deriva necesariamente de las premisas"

Actividad 3. Analice el concepto de razonamiento deductivo vlido y discuta los alcances e


interpretaciones que se derivan de l .Luego responda:-

-Si las premisas son verdaderas y la conclusin es verdadera, que decisin puede tomar
respecto de la validez del razonamiento.

-Si las premisas son falsas, que se requiere para decidir la validez.

-La invalidez del razonamiento, qu relacin tiene con la forma lgica del mismo. Con el
significado del mismo.

33
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO


FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGA
CARRERAS: LICENCIATURA EN SISTEMAS DE INFORMACIN
PROFESORADO EN INFORMTICA
PROGRAMADOR UNIVERSITARIO EN INFORMTICA

ASIGNATURAS: LGICA I LGICA

PROGRAMACIN ANALTICA DEL CAPTULO N 2

Formas proposicionales:
Formas proposicionales. Definicin. Componentes. Universo del discurso. Representacin
simblica. Variables de individuo y variables de enunciado. Relacin entre universo y
conjunto de verdad de una forma proposicional. Frmulas proposicionales y proceso de
transformacin en proposiciones singulares y generales. Formas proposicionales
mondicas, didicas y n-dicas.

Teora de la Cuantificacin:
Cuantificador universal y cuantificador existencial. Alcance de un cuantificador. Variables
libres y variables ligadas. Representacin simblica. Frmulas Lgicas. Forma correcta de
una frmula lgica. Condiciones para que una frmula lgica represente una proposicin.
Negacin de proposiciones cuantificadas. Equivalencia de proposiciones cuantificadas
universalmente y existencialmente. Leyes de distribucin de cuantificadores. Ley de
subalternacin. Proposiciones generales complejas categricas. Razonamientos directos.
Reglas de derivacin. Predicados polidicos. Proposiciones generales con predicados
polidicos. Ley de intercambio de cuantificadores. Conmutacin de cuantificadores.

BIBLIOGRAFA
Salama, Alicia G. Lgica Simblica y Elementos de Metodologa de las Ciencias
El Ateneo Bs. As. 1992.
Copi I Lgica Simblica Ed. Continental Mxico 1996.
Trejo, J Matemtica Elemental Moderna. Estructura y Mtodo Eudeba Bs. As.
1994.
-Cuena, Jos Lgica Informtica Ed. Alianza

34
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

GUA DE TRABAJO TERICOPRCTICO N 3

TEMA: LGICA DE PREDICADOS

1. ESTRUCTURA DE LAS PROPOSICIONES


El desarrollo del clculo proposicional se basa en unidades de informacin, cuya
estructura se contempla como un todo, sin diferenciar sus componentes. Este
planteamiento no permite representar lgicamente ciertos razonamientos deductivos, que,
sin embargo, son correctos en el lenguaje coloquial; como por ejemplo:
Todos los hombres son mortales.
Scrates es hombre.
Luego, Scrates es mortal.
Este razonamiento, simbolizado con el lenguaje del clculo proposicional, tiene la
siguiente representacin lgica:
p
q
r
Si se pretende probar su validez mediante el mtodo del condicional asociado, se obtiene
la frmula p q r, cuya tabla de valores de verdad es una contingencia. Esto se debe
a que ninguna de las proposiciones p, q, r, pueden describirse mediante partes de las
mismas dotadas de significado propio, unidas por conectivas, que sean comunes en
algunas de ellasy, la relacin entre premisas y conclusin que hace la deduccin correcta,
no puede detectarse con el lenguaje y los mtodos estudiados en las guas anteriores.
En este ejemplo de razonamiento, la relacin entre las proposiciones est en la propia
estructura interna de stas, en efecto: se afirman en ellas las mismas propiedades o
relaciones para distintas personas o conjuntos de personas. (Las propiedades son Ser
Hombre, Ser mortal; las personas objeto de atribucin de estas propiedades son
colectivos, en la primera proposicin, e individuos concretos, Scrates, en las otras). Para
tratar lgicamente este tipo de estructuras deductivas es preciso crear una teora que no
tome como base la simbolizacin matemtica de la proposicin total sino la de sus
componentes; es decir:
Qu se afirma
De quin o quienes se afirma
El primer elemento se define como el predicado y el segundo, como los sujetos o
trminos.
As en la frase: Ana es estudiosa; es estudiosa es el predicado, y Ana, el sujeto o
trmino de la proposicin.

35
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Puede haber proposiciones con varios trminos, por ejemplo:


Cuatro est entre tres y cinco.
En este caso el predicado es -- est entre -- y --, y los trminos son cuatro, tres y cinco
Los predicados que se refieren a un nico trmino se denominan predicados
mondicos. Los que se refieren a varios sujetos se denominan predicados de relacin o
polidicos.
Segn el nmero de trminos pueden ser didicos, tridicos, . . . , n-dicos.

2. SIMBOLIZACIN
Una vez definidos los componentes de la proposicin se plantea su representacin
simblica sobre la base de trminos y predicados.
Para la simbolizacin de trminos se supone como base de referencia un dominio
genrico, no vaco.
Los trminos se representan por variables o constantes, cuyos valores posibles forman
parte del dominio anterior.
x , y , z , t . . . letras de variables, representan cualquier elemento del dominio.
a , b , c , d . . . letras de constantes, representan elementos concretos del dominio.
Para la simbolizacin de predicados se utiliza la notacin funcional: f , g , h . .. o bien
p, q, r, ....
As, la proposicin Ana es estudiosa, que en la lgica proposicional se simboliza con p,
en la lgica de predicados se simboliza: p(a), donde p: ser estudiosa; a: Ana.
De la misma manera:
x es estudiosa, se representa por p(x)
Cuatro est entre tres y cinco se representa por p(a, b, c,)
x est entre y y z se representa por p(x, y, z), donde los sujetos x, y, z estn
indeterminados
Definicin:
Se denomina forma proposicional o funcin proposicional, a una expresin que
contiene una o ms indeterminadas que, al ser reemplazadas por elementos de
conjunto, llamado universo del discurso, se transforma en proposicin.

Luego, la construccin de proposiciones requiere la definicin previa de un dominio


detrminos posibles.
Ejemplo: U = { 1 , 2 , 3 , 4 } es el universo de discurso
p(x) : x es par forma proposicional donde x est indeterminada

36
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

x puede tomar los valores del conjunto fijado U.


si x = 1, p(x) se convierte en: p(a) :1 es par proposicin falsa
si x = 2, p(x) se convierte en:p(b) : 2 es par proposicin verdadera
Se observa que en 1 es par y en 2 es par el predicado se atribuye a sujetos
determinados del universo, en estos casos, las proposiciones se denominan
proposiciones singulares.
Las formas proposicionales pueden aparecer negadas, como en el enunciado x no es
par, que se simboliza ~p(x). Tambin pueden aparecer unidas mediante las conectivas
proposicionales binarias con otras formas proposicionales, o con proposiciones, como por
ejemplo, x es un nmero par, pero y es un nmero primo, que se simboliza p(x) q(y).
Si en una forma compuesta hay por lo menos una forma proposicional como
componente, toda la forma compuesta es una forma proposicional.
Por ejemplo, p (a) ( q (b) r (x)) es una forma proposicional porque contiene a r(x).

Actividad 1: Considerando el concepto y la definicin de forma proposicional, determine el


significado de:
1.1. Indeterminadas: funcin que cumplen, lugar que ocupan, cantidades que intervienen en
una expresin.
1.2. Conjunto universal: componentes, alcance, uso del mismo.
1.3. Procedimientos: de reemplazo de indeterminadas por constantes. Efectos del
reemplazo de las indeterminadas.

Actividad 2: Proponga dos ejemplos de sustitucin verdaderos y dos ejemplos de


sustitucin falsos para cada una de las siguientes formas proposicionales:
2.1. x es futbolista
2.2. x es menor o igual que y
2.3. x es nmero impar.
2.4. x es divisor de 12.
2.5. x2 + 2 = 11

Actividad 3: En cada uno de los siguientes enunciados deber:


a) Distinguir entre sujetos y predicados.
b) Simbolizarlos.
c) Clasificar las formas proposicionales
3.1. x es un estudiante de Lgica.
3.2. x no es un estudiante de Lgica.

37
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

3.3. x es par.
3.4. 8 es impar.
3.5. 5 es un nmero pero no es par.
3.6. No se da el caso de que x sea par.
3.7. No es cierto que 4 sea un nmero impar.
3.8. La Matemtica es exacta.
3.9. La Matemtica y la Lgica son ciencias formales.
3.10. 2 es par y primo.
3.11. 4 es par o 5 es primo.
3.12. Si 6 es mayor que 3 y 3 es mayor que 2, entonces, 6 es mayor que 2.
3.13. Si x es par, entonces x es mltiplo de 2
3.14. Elena sale con Ana.
3.15. Sara baila el tango con Jos.
3.16. x est entre y y z
3.17. Pedro llev a Carlos a Espaa.
3.18. x es mltiplo de y pero no de z.
3.19. Si Santiago del Estero est al norte de Crdoba entonces est al norte de La Pampa.

3. CONJUNTO DE VERDAD
Una forma proposicional se convierte en proposicin al insertar constantes en los
lugares de las variables.
Si como resultado de reemplazar las variables por constantes (y naturalmente, de
constantes iguales en lugar de variables iguales), se obtiene una proposicin
verdadera, diremos que los objetos designados por esas constantes satisfacen la
funcin proposicional dada.
Definicin:
El conjunto formado por las constantes que satisfacen la forma proposicional dada,
se denomina conjunto de verdad.
En smbolos: P = { a U / p(a) es V }
En el ejemplo presentado anteriormente:
U = { 1, 2, 3, 4 } universo de discurso
p(x) : x es par forma proposicional
p(a) :1 es par proposicin falsa
p(b) : 2 es par proposicin verdadera
p(c) : 3 es par proposicin falsa
p(d) : 4 es par proposicin verdadera
Luego, el conjunto de verdad de la forma proposicional p(x) es P = { 2 , 4 }

38
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Observar que: mientras p(x) est escrito en lenguaje lgico, P = { 2 , 4 } est escrito en
lenguaje de la teora de conjuntos.
Conjunto de verdad de la forma proposicional p(x): P
{ a U / p(a) es V } = { a U / p(a) es F } = { a U / a P } = P
Conjunto de verdad de la forma proposicional p(x) q(x): P Q
Sea Q = { a U / q(a) es V } el conjunto de verdad de q(x).
{ a U / p(a) q(a) es V } = { a U / p(a) es V q(a) es V } =
={ a U / a P a Q } = P Q
Conjunto de verdad de la forma proposicional p(x) q(x): P Q
{ a U / p(a) q(a) es V } = { a U / p(a) es V q(a) es V } =
= { a U / a P a Q } = P Q
Conjunto de verdad de la forma proposicional p(x) q(x): P Q
{ a U / p(a) q(a) es V } = { a U / p(a) q(a) es V } =
= { a U / p(a) es V q(a) es V } = { a U / a P a Q } = P Q

-Compruebe que el conjunto de verdad de la forma proposicional p(x) q(x) es:


(P Q) (Q P) o bien(P Q) (P Q)

Actividad 4: Considere el conjunto universal correspondiente a una forma proposicional


dada y analice el conjunto de verdad relacionado a dicha forma.
4.1. Qu relacin hay entre el conjunto universal y el conjunto de verdad? (distinga
alternativas).
4.2. Qu diferencia tiene el conjunto de verdad de una forma proposicional mondica con
el conjunto de verdad de una forma proposicional didica y con una n-dica?
4.3. Qu relacin se puede inferir entre el nmero de indeterminadas de una forma
proposicional?

Actividad 5: Simbolice las siguientes formas proposicionales y determine sus respectivos


conjuntos de verdad:
5.1. U = N ; x + 5 = 7
5.2. U = N ; x2 = 81
5.3. U = Z ; x2 = 81
5.4. U = Z ;2x 2 = 4
5.5. U = R ; |x| = 10
5.6. U = R ;|x| < 3
5.7. U = R ; |x| 4

39
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

5.8. U = R ; |x + 2| = 4
5.9. U = R ;|x + 2| 5 x = 2
5.10. U = R ;|x 2| 7
5.11. U = R ; |2x + 6| 10
5.12. U = R ; Si 2x + 3 = 7, entonces |x| 3
5.13. U = R ; |2x + 1| < 5 y 0 x 4
5.14. U = R ; O bien |x| 2, o bien |x| 2
5.15. U = R ; 2x = 14 s y slo s x = 7
5.16. U = R ; Si 2x + 1 = 7 entonces |x| = 3
5.17. U = R ;|4x| = 4 s y slo s x = 1 x = 1
5.18. U = R ; Si |2x 3| 1 y 2x = 4 entonces |x| 2
5.19. U = R ; Si |x 2| 1 entonces |x| 3 3x 5 = 4

4. CUANTIFICADORES
Considere el siguiente ejercicio:
Dado el conjunto universal U = { 1, 2, 3, 4, 5} y las formas proposicionales:
a) p (x) : x 5
b) q (x) : x > 5
c) r (x) : x < 4
Encuentre el conjunto de verdad correspondiente.
Se analizan a continuacin los casos a), b) y c),
a) En este caso, si se reemplaza la variable x por constantes numricas cualesquiera de
U, se obtiene siempre una frmula verdadera. O sea que si P es el conjunto de verdad de
p(x), se tiene que: P = { 0, 1, 2, 3, 4, 5 } = U. Este hecho se expresa del siguiente modo:
Para todo nmero x del universo, x 5.
La expresin as obtenida es una proposicin y, ms an, es una proposicin
verdadera, y se la denomina proposicin universal. Para simbolizarla, la lgica usa un
operador llamado cuantificador universal: x U : p(x), o bien x : p(x), que se lee
para todo x del universo, se verifica la propiedad p.
En el lenguaje corriente las palabras que estn estrechamente relacionadas con el
cuantificador universal son, entre otras: cada, todo, cualquiera, cualesquiera, cada uno,
etc.
Importante: Mientras que las formas proposicionales no son verdaderas ni falsas, las
proposiciones universales son verdaderas cuando todos los casos de sustitucin son
verdaderos, y son falsas cuando hay por lo menos un caso de sustitucin falso.

40
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

b) En esta situacin, vemos que ningn elemento del universo transforma a la forma
proposicional en una proposicin verdadera. Si se denomina Q al conjunto de verdad de
q(x), se tiene que: Q = { }. Se expresa: Para ningn nmero x del universo, se verifica
que x > 5, y simbolizamos: x U : ~q(x); o bien: x : ~q(x).
En lenguaje corriente, otras expresiones son: nada, ninguno, ningn, nadie, etc. Estas
expresiones tienen una doble funcin, cuantificar universalmente y negar.
c) En este caso, algunos elementos del conjunto universal satisfacen r (x). Su conjunto de
verdad es: R = {1, 2, 3 } ; o sea, R U. Se expresa: Existe un x del universo, tal que
verifica que x <4. Se simboliza: x U : r(x); o bien, x : r(x).
El operador se denomina cuantificador existencial y transforma a la forma
proposicional en una proposicin existencial, ya que al anteponer el cuantificador, tiene
sentido decir que la expresin es V o F.
Otras expresiones que originan proposiciones existenciales son: algo, alguien, hay,
unos, alguno, hay cosas, algn, etc.
Importante: Mientras que las formas proposicionales no son verdaderas ni falsas, las
proposiciones existenciales son verdaderas cuando hay por lo menos un caso de
sustitucin verdadero, y son falsas cuando todos los casos de sustitucin son falsos.

5. CUANTIFICACIN SIMPLE
Se denominan proposiciones generales simples las proposiciones que tienen un nico
predicado, y son universales o existenciales.
Por ejemplo:
Alguno estudia.
Todos cantan.
Las proposiciones generales simples pueden unirse mediante las conectivas
proposicionales didicas con proposiciones singulares, con funciones proposicionales, o
con otras proposiciones generales.
Por ejemplo:
Alguno estudia pero todos aprueban.
Si todos cantan entonces nadie escucha.

Actividad 6: Simbolice los siguientes enunciados:


6.1. Todo cambia. 6.2. No todos escuchan.
6.3. Nadie atiende. 6.4. Algunos son primos.
6.5. Si x grita, todos saldremos. 6.6. Nadie pasa al pizarrn
41
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

6.7. Alguien abre la puerta 6.8.Ninguno trajo la tarea


6.9. Cualquiera juega con el celular 6.10. Cada uno lee las actividades
6.11. Si unos escriben, otros copian 6.12.x canta aunque todos estudian

6. ALCANCE DE UN CUANTIFICADOR. VARIABLES LIBRES Y LIGADAS.


Si un cuantificador no va seguido por un signo de puntuacin (parntesis, corchete o
llave), su alcance llega hasta la(s) variable(s) correspondiente(s) a la primera letra de
predicado a su derecha.
Por ejemplo, en la forma x : p(x) el alcance del cuantificador llega hasta la x de la
forma p(x), y en la forma x : p(x) q(x) llega hasta la x de p(x), y no a la x de q(x).
Si el cuantificador va seguido de un signo de puntuacin izquierdo, su alcance llegar
hasta el signo de puntuacin derecho, o sea, que su alcance se extender a toda la
expresin encerrada dentro de los parntesis, corchetes o llaves.
Por ejemplo, en la forma x : (p(x) q(x)) las dos veces que la variable se encuentra
dentro de los parntesis cae bajo el alcance del cuantificador.
En la forma x : ((p(x) q(x)) v h(x)) las tres variables dentro de los corchetes estn
en el alcance.
Se llaman variables ligadas las variables que caen bajo el alcance de un cuantificador; y
se llaman variables libres aquellas que no caen bajo el alcance de un cuantificador.
Se puede ahora definir forma o funcin proposicional como aquella forma
cuantificacional que tiene por lo menos una variable libre.

Actividad 7: Analice los procedimientos para transformar una forma proposicional en


proposicin. Explique los pasos de cada uno de ellos.

Actividad 8: En las siguientes expresiones marque con un crculo las variables libres y
decida si las frmulas representan proposiciones o formas proposicionales
8.1.x : p(x) q(x) 8.5. p(a) q(y)
8.2.x : (p(x) q(x)) 8.6. p(a) x : (q(x) r(x))
8.3.x : (p(x) q(x) r(x)) 8.7. y x : x + y = 2
8.4. y :(p(y) q(y)) r(y) 8.8. x y : (p(y) q(x) r(y))

7. LAS PROPOSICIONES GENERALES COMPLEJAS CATEGRICAS


Las proposiciones generales complejas son aquellas proposiciones universales o
existenciales que poseen ms de una letra de predicado bajo el alcance de un
cuantificador universal o existencial, respectivamente.

42
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplos:
Todas las aves tienen pico, donde se consideran los predicados ser ave y tener pico.
Algunos alumnos no tienen la gua, donde se consideran los predicados ser alumno y
tener la gua.
Existe un tipo de proposiciones generales complejas, que son las que la lgica tradicional
denominaba proposiciones categricas. Hay cuatro tipos de proposiciones categricas:
1)Tipo A, o Universales Afirmativas. Son ejemplos de este tipo los siguientes
enunciados, que poseen un mismo significado:
Todas las hormigas son insectos.
Cualquier hormiga es insecto.
Las hormigas son insectos.
Si algo es hormiga, entonces es insecto.
Todos ellos pueden parafrasearse mediante la expresin para todo x, si x es hormiga,
entonces x es insecto y simbolizarse mediante la forma: x : (p(x) q(x)), que es la
cuantificacin universal de la funcin proposicional condicional si x es hormiga, entonces
x es insecto, o sea p(x) q(x).
Las proposiciones de este tipo son verdaderas cuando todos los casos de sustitucin de
la funcin proposicional p(x) q(x) son verdaderos, y es falsa cuando hay por lo
menos un caso de sustitucin que es falso.
Son los llamados condicionales generalizados donde el condicional surge al analizarse
la estructura interna de las proposiciones, y no como una conectiva que liga dos
proposiciones, tal como se da en la lgica proposicional.
En este tipo de enunciados, as como en los que a continuacin se presentarn, no
coincide el predicado gramatical con el predicado lgico, pues ser hormiga es para la
lgica un predicado, tanto como ser insecto, mientras que gramaticalmente hormiga es
un sujeto. La lgica tradicional simboliza este tipo de enunciados mediante el esquema
Todo S es P, coincidiendo con el anlisis gramatical.
Al igual que las proposiciones generales simples, los enunciados de tipo A pueden darse
negados, como por ejemplo: No todos los elefantes son africanos, que se simboliza:
~x : (p(x) q(x))
2) Tipo E, o Universales Negativas. Son ejemplos de este tipo los enunciados.
Ninguna hormiga es insecto.
Las hormigas no son insectos.
Nada que sea hormiga es insecto.
Pueden parafrasearse Para todo x, si x hormiga, entonces x no es insecto, y son
simbolizados por la forma x : (p(x) ~q(x)). Tanto el condicional como la negacin
surgen del anlisis interno de las proposiciones.
43
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Como con los de tipo A, estos enunciados son verdaderos cuando todos los casos de
sustitucin de la funcin proposicional p(x) ~q(x) son verdaderos, y son falsos
cuando hay por lo menos un caso de sustitucin falso. La lgica tradicional los
simbolizaba mediante el esquema Ningn S es P.
Tambin pueden darse negados, como el enunciado No es cierto que ningn elefante es
asitico, que se simboliza: ~x : (p(x) ~q(x)).
3) Tipo I, o Particulares Afirmativos. Como los enunciados existenciales:
Algunos perros son negros.
Ciertos perros son negros.
Algn perro es negro.
Hay perros negros.
Todas ellas pueden parafrasearse mediante existe por lo menos un x, tal que x es perro y x
es negro, y se los simboliza: x : (p(x) q(x)). Es la cuantificacin existencial de la
funcin proposicional compuesta p(x) q(x). La conjuncin es la conectiva que registra
ms adecuadamente el significado de este tipo de proposiciones, y no el condicional, pues
el sentido de estos enunciados no es, por ejemplo, afirmar que existe por lo menos un x, tal
que si es perro entonces es negro, sino ms bien que hay por lo menos un x que es a la
vez perro y negro.
Son verdaderos cuando hay por lo menos un caso de sustitucin de la funcin
proposicional p(x) q(x) que es verdadera, y son falsos cuando no hay ningn caso de
sustitucin que los haga verdaderos. La lgica tradicional los representaba mediante la
forma Algn S es P.
Si aparecen negados, como en el enunciado No es cierto que hay vacas rojas, se los
simboliza mediante ~x : (p(x) q(x)).
4)Tipo O, o Particulares Negativos. Como los enunciados:
Algunos perros no son negros.
Ciertos perros no son negros.
Algn perro no es negro.
Hay perros que no son negros.
Pueden parafrasease mediante existe por lo menos un x tal que x es perro y x no es
negro, y se simbolizan x : (p(x) ~q(x)), donde tanto la conjuncin como la negacin
surgen del anlisis interno de los enunciados.
Son verdaderos cuando hay por lo menos un caso de sustitucin de la funcin
proposicional p(x) ~q(x), que es verdadera, y son falsos cuando no hay ninguno de
ellos que sea verdadero. La lgica tradicional los simboliza mediante Algn S no es P.
Pueden darse negados, como el enunciado No hay pjaros que no vuelen, que se
simboliza: ~x : (p(x) ~q(x)).
44
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 9: Considerando la definicin de cuantificador universal y de cuantificador


existencial:
9.1. Exprese las condiciones para que la vinculacin entre un cuantificador universal (o
existencial) y una forma proposicional, se transformen en el smbolo de una proposicin.
9.2. Defina, de acuerdo con las caractersticas que identifique en la bibliografa y las
explicaciones aportadas en clase:
9.2.1. Proposicin general simple
9.2.2. Proposiciones universales
9.2.3. Proposiciones existenciales
9.2.4. Proposiciones generales complejas y clasifquelas
9.3. Determine la vinculacin existente entre los valores de verdad de los cuatro tipos de
proposiciones categricas.

Actividad 10: Use la notacin de la lgica de formas proposicionales y cuantificadores para


simbolizar cada una de las siguientes proposiciones:
10.1. Todos son inteligentes pero algunos no leen las consignas
10.2. Si alguien llama, todos se distraen
10.3. Nadie contesta.
10.4. Si todos estudian, ninguno desaprueba.
10.5. Algunos no entienden.
10.6. Ningn alumno estudioso es aplazado.
10.7. Hay alumnos que no comprenden las consignas.
10.8. No todos los alumnos conocen las leyes de la Lgica.
10.9. Ningn nmero es positivo.
10.10. Algunos naturales son primos.
10.11. Todo nmero par es mltiplo de 2.
10.12. Todos los mltiplos de 6 son mltiplos de 3.
10.13. Algunos nmeros impares son divisibles por 5.
10.14. Algunos nmeros naturales no son mltiplos de 7.
10.15. Cualquier nmero par es mltiplo de 2 pero algunos son mltiplos de 6.
10.16. Si todos los enteros negativos son menores que cero entonces algunos son pares.
10.17.U = Z. Para cualquier nmero entero x, y se cumple que: x y x = y x y.
10.18.U = N. Para cualquier nmero natural x, y se cumple que: si x y entonces
x < y y x > y.
10.19. U = R. Para cualquier nmero real x, y, z se cumple que: si x < y y y< z entonces
x < z.

45
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

8. LEYES DE LA LGICA CUANTIFICACIONAL


Las leyes de la lgica son formas de enunciados cuyos casos de sustitucin son siempre
enunciados verdaderos. Las leyes de la lgica cuantificacional difieren de las leyes de la
lgica proposicional, en que estas ltimas coinciden con las tautologas, mientras que las
leyes cuantificacionales, no.
En primer lugar, son leyes de la lgica cuantificacional las correspondientes de la lgica
proposicional, para formas cuantificacionales. Por ejemplo, la ley de identidad de la lgica
proposicional, p p y p p, tiene en la lgica cuantificacional las siguientes leyes:
p(a) p(a) ; x : (p(x) p(x)) ; x : p(x) x : p(x) ; . . .
p(a) p(a) ; x : (p(x) p(x)) ; x : p(x) x : p(x) ; . . .
En segundo lugar, estn las leyes propias de la lgica cuantificacional que no se
corresponden con ninguna ley proposicional y son las que involucran como parte esencial
a los cuantificadores. Se presentan las ms importantes:
Ley de Subalternacin:x : p(x) x : p(x)
Leyes de Intercambio de Cuantificadores
x : p(x) x : p(x) x : p(x) x : p(x)
x : p(x) x : p(x) x : p(x) x : p(x)
Leyes de Distribucin de Cuantificadores
x : (p(x) q(x)) x : p(x) x : q(x)
x : (p(x) q(x)) x : p(x) x : q(x)
En los otros casos slo se cumplen implicaciones:
x : p(x) x : q(x) x : (p(x) q(x))
x : (p(x) q(x)) x : p(x) x : q(x)
Las leyes de distributividad pueden esquematizase mediante el siguiente hexgono:
x : (p(x) q(x) x : p(x) x : q(x)

x : (p(x) q(x)) x : p(x) x : q(x)

x : p(x) x : q(x ) x : (p(x) q(x))

x : p(x) x : q(x) x : (p(x) q(x))


El origen de la flecha seala el antecedente y la punta de la flecha el consecuente.

46
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Leyes de Oposicin Aristotlica


x : (p(x) q(x)) x : (p(x) q(x))
x : (p(x) q(x)) x : (p(x) q(x))
x : (p(x) q(x)) x : (p(x) q(x))
x : (p(x) q(x)) x : (p(x) q(x))

El Cuadrado de Oposicin
La lgica simblica establece las siguientes relaciones:

x : (p(x) q(x)) A E x : (p(x) q(x))

x : (p(x) q(x)) I O x : (p(x) q(x))

Razonamientos inmediatos en el Cuadrado de Oposicin Simple

Valen, asimismo, dichas relaciones para el cuadrado de oposicin simple, que se


construye con enunciados generales simples, del siguiente modo:

x : p(x) A contrarios E x : p(x)

x : p(x) I subcontrarios O x : p(x)

Actividad 11: Proponga ejemplos de sustitucin para las siguientes leyes de la lgica
cuantificacional:
11.1. Intercambio de cuantificadores.
11.2. Leyes de oposicin.
11.3. Leyes de distribucin.
11.4. Ley de subalternacin.

Actividad 12: Use las leyes de intercambio de cuantificadores para obtener frmulas
equivalentes:
12.1. x : ( p(x) q(x))

47
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

12.2. x : ( p(x) q(x))


12.3. x : ( p(x) q(x))
12.4. x : ( p(x) q(x))
12.5. x : ( p(x) ( q(x) r(x) ) )

Actividad 13: Teniendo en cuenta las leyes de distribucin de cuantificadores y las


implicaciones, encuentre cuando sea posible, un enunciado equivalente o una
implicacin, para cada uno de los siguientes enunciados:
13.1. Algn nmero es par y positivo.
13.2. Todo es blanco o todo es negro.
13.3. Algo es eterno o algo es inmvil.
13.4. Hay pintores y hay escultores.
13.5. Todo se mueve y se transforma.

Actividad 14: Transforme las siguientes frmulas, siempre que sea posible, mediante la
distribucin de los cuantificadores:
14.1. x : (p(x) q(x)) 14.5. x : p(x) x : (q(x) r(x))
14.2.x : (p(x) q(x) r(x)) 14.6. x : p(x) x : q(x)
14.3.x : (p(x) q(x)) 14.7. x : p(x) x : q(x)
14.4. x : (p(x) q(x)) 14.8. x : p(x) x : q(x)

Actividad 15: Niegue las 15 primeras frmulas obtenidas en la Actividad 10 y retradzcalas


al lenguaje coloquial.

9. RAZONAMIENTO
Para determinar la validez de razonamientos del clculo de predicados no siempre es
posible aplicar los mtodos del clculo proposicional.
As, retomando el ejemplo de pgina 26, partimos de un razonamiento que es vlido, pero
si aplicamos la simbolizacin y los mtodos del clculo proposicional, obtendremos que es
invlido:
Razonamiento Forma del razonamiento
Todos los hombres son mortales. p
Scartes es hombre. q
Por lo tanto, Scrates es mortal. r
Esta aparente paradoja se produce porque aqu es necesario establecer una relacin entre
las partes o elementos internos de las proposiciones, tales como hombre, mortales y
Scrates.

48
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Luego, no slo deberemos emplear la simbolizacin de la Lgica


Cuantificacional, sino tambin las nuevas reglas que se enuncian ms abajo.
As su forma proposicional ser:
x : (p(x) q(x))
p(a)
q(a)

Reglas Especiales para el Clculo de Predicados

Cuando en los razonamientos aparecen proposiciones cuantificadas, es preciso usar


alguna de las siguientes reglas:

1. Especificacin Universal (EU)


La regla EU permite inferir una proposicin singular, a partir de una proposicin universal.
x : p(x) x : p(x)
p(a) p(y)
Esta regla se fundamenta en que: Si una forma proposicional cuantificada
universalmente es verdadera, entonces dicha forma proposicional es verdadera para
todos y cada uno de los individuos del universo del discurso.(Teorema de la
Expansin del Cuantificador Universal).
Veamos como funciona la regla EU en el ejemplo inicial:
Razonamiento Forma del razonamiento
Todos los hombres son mortales. x : (p(x) q(x))
Scrates es hombre. p(a)
Por lo tanto, Scrates es mortal. q(a)
Demostracin
1) x : (p(x) q(x))
2) p(a) / q(a)
3) p(a) q(a) EU en 1
4) q(a) MP 3, 2

2. Generalizacin Universal (GU)


La regla GU permite inferir una proposicin universal, a partir de una proposicin singular.
p(a) p(y)
x : p(x) x : p(x)
La generalizacin se fundamenta en el hecho de que la propiedad considerada no es
exclusiva de un determinado individuo del universo del discurso, sino que es compartida

49
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

por todos ellos. Como el individuo en cuestin es considerado al azar, podra haber sido
cualquier otro.
Si cualquier individuo tiene esa propiedad, entonces todos la tienen.
Veamos en un ejemplo de cmo funciona la regla GU:
Razonamiento Forma del razonamiento
Todos los genios son incomprendidos. x : (p(x) q(x))
Ningn hombre inteligente es incomprendido. x : (r(x) q(x))
Por lo tanto, ningn hombre inteligente es un genio. x : (r(x) p(x))
Demostracin
1) x : (p(x) q(x))
2) x : (r(x) q(x)) / x : (r(x) p(x))
3) p(a) q(a) EU en 1
4) r(a) q(a) EU en 2
5) q(a) r(a) Contrarrecproco en 4
6) p(a) r(a) SH 3, 5
7) r(a) p(a) Contrarrecproco en 6
8) x : (r(x) p(x)) GU en 7

3. Especificacin Existencial (EE)


La regla EE permite obtener una proposicin singular, a partir de una proposicin
existencial, siempre que la constante que sustituya la variable individual, no haya sido
utilizada anteriormente en la demostracin.
x : p(x) x : p(x)
p (a) p (y)
Sabemos que: Una forma proposicional cuantificada existencialmente es verdadera si
tiene al menos un caso de sustitucin verdadero (Teorema de la Expansin del
Cuantificador Existencial). Si sabemos que dicho caso existe, y convenimos en darle un
determinado nombre, habremos encontrado el individuo para el cual la forma proposicional
resultar verdadera.
Veamos como funciona la regla EEen el siguiente ejemplo:
Razonamiento Forma del razonamiento
Todos los seleccionados son hbiles futbolistas. x : (p(x) q(x))
Algunos santiagueos son seleccionados. x : (r(x) p(x))
Por lo tanto, Pedro es un hbil futbolista. q(a)

50
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Demostracin
1) x : (p(x) q(x))
2) x : (r(x) p(x)) / q(a)
3) r(a) p(a) EE en 2
4) p(a) q(a) EU en 1
5) p(a) Simp. en 3
6) q(a) MP 4, 5

4. Generalizacin Existencial (GE)


La regla GE permite inferir una proposicin generalizada existencialmente, a partir de una
proposicin singular.
p(a) p(y)
x : p(x) x : p(x)
Si un individuo determinado tiene una propiedad, entonces algn individuo la tiene.
Veamos la aplicacin de la regla EE en el siguiente ejemplo:
Razonamiento Forma del razonamiento
Ningn atleta es extranjero. x : (p(x) q(x))
Algunos cordobeses son atletas. x : (r(x) p(x))
Por lo tanto, algunos cordobeses no son extranjeros. x : (r(x) q(x))
Demostracin
1) x : (p(x) q(x))
2) x : (r(x) p(x)) / x : (r(x) q(x))
3) r(a) p(a) EE en 2
4) p(a) q(a) EU en 1
5) p(a) Simp. en 3
6) q(a) MP 4, 5
7) r(a) Simp. en 3
8) r(a) q(x) Conj. 7, 6
9) x : (r(x) q(x)) GE en 8

NOTAS:
1) Como estas reglas no pueden aplicarse a cuantificadores negados, muchas veces es
necesario aplicar antes la leyes de intercambio de cuantificadores.
2) De las cuatro reglas enunciadas anteriormente, slo la EE tiene una restriccin: la
variable individual no puede ser reemplazada por una constante ya utilizada.

51
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Si no se tiene en cuenta esta restriccin, es posible demostrar la validez de


razonamientos invlidos como, por ejemplo, el siguiente:
Razonamiento Forma del razonamiento
Algunos insectos se alimentan con miel. x : (p(x) q(x))
Algunos hombres se alimentan con miel. x : (r(x) q(x))
Por lo tanto, algunos hombres son insectos. x : (r(x) p(x))
Demostracin
1) x : (p(x) q(x))
2) x : (r(x) q(x)) / x : (r(x) p(x))
3) p(a) q(a) EE en 1
4) r(a) q(a) EE en 2 (error al usar la misma constante)
5) r(a) Simp. en 4
6) p(a) Simp. en 3
7) r(a) p(x) Conj. 5, 6
9) x : (r(x) p(x)) GE en 8
El error surge al considerar que los individuos que, siendo insectos, se alimentan con
miel, son los mismos que, siendo hombres, se alimentan tambin con miel. Por ello,
cuando en una demostracin sea necesario usar ambas reglas de especificacin (EU y
EE), es conveniente aplicar primero la EE y luego la EU, ya que esta ltima no tiene
restricciones.

10. PREDICADOS DIDICOS


Los predicados polidicos o relacionales son aquellos que involucran a dos o ms
individuos.
Ejemplos: Pedro ama a Mara predicado didico
6 est entre 5 y 7 predicado tridico
Estudiaremos los predicados didicos; es decir, aquellos que involucran dos
individuos. Estos predicados son de grado 2, porque se aplican a dos individuos.
Formas proposicionales con predicados didicos son aquellas expresiones que
contienen por lo menos una variable libre.
Ejemplos:
Ana ama a x p(a,x)
Fulano visit a mengano. q(x,y)

52
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Las variables de formas proposicionales con predicados didicos pueden estar


cuantificadas
Si todas las variables caen bajo el alcance del cuantificador, se tendr una proposicin
general.
Ejemplos:
Todos aman a Mara. x : p(x,a)
Mara ama a alguien. y : p(a,y)
Todos aman u odian a Mara. x : (p(x,a) q(x,a))
Otros enunciados tienen cuantificacin mltiple.
Ejemplos:
Todos aman a todos. xy : p(x,y)
Todos aman a alguien. xy : p(x,y)
Algunos ama a todos. xy: p(x,y)
Algunos aman a alguien. xy : p(x,y)
Todos los hombres aman a alguien. x :(q(x) y : p(x,y))
Todos los hombres aman a algunas mujeres. x :(q(x) y : (r(y) p(x,y)))

El hexgono de la conmutatividad de los cuantificadores (o de Prior)


La cuantificacin de funciones didicas simples (predicados que se refieren a dos sujetos)
da lugar a ocho frmulas posibles de combinacin de cuantificadores, que generan entre
s una serie de relaciones de deducibilidad que pueden resumirse en un hexgono que se
abre con la ley de la conmutacin para los cuantificadores universales homogneos
(cuantificadores del mismo tipo), y se cierra con la de los cuantificadores existenciales
homogneos.
xy : p(x,y) y x : p(x,y)
xy : p(x,y) y x : p(x,y)

y x : p(x,y) x y : p(x,y)
y x : p(x,y) x y : p(x,y)

53
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 17: Simbolice los siguientes enunciados con predicados polidicos:


17.1. Todos admiran a Pedro.
17.2. Pedro admira a alguien.
17.3. Todos admiran o critican a Luis.
17.4. Algunos perros ladran a todas las personas.
17.5. Todos los maestros quieren a sus alumnos.
17.6. Todos los matemticos admiran a Euclides.
17.7. Daniel aprende de algn profesor.
17.8. Algunos Cuadros son admirados por todas las personas.
17.9. Cualquier estrella ilumina a todos los planetas.

PROGRAMACIN ANALTICA DEL CAPTULO N 3

Teora de relaciones
Teora de Relaciones. Dominio y codominio. Relaciones y formas proposicionales a dos
variables. Clculo de Relaciones. Operaciones entre relaciones. Leyes lgicas de
relaciones: vlidas de la teora de conjuntos y propias de los enunciados relacionales.
Propiedades de las relaciones: Reflexividad. Simetra. Transitividad. Conexidad.
Clasificacin de relaciones: equivalencia, orden. Funciones.

Teora de la identidad
Ley de Leibnitz. Propiedades: Reflexiva, simtrica, transitiva, ley de identidad comparada.

BIBLIOGRAFA
Salama, Alicia G. Lgica Simblica y Elementos de Metodologa de las Ciencias
El Ateneo Buenos Aires 1992.
Tarsky, Albert- 1990 - Introduccin a la Lgica - Edit. Kapeluz- Buenos Aires

GUA DE TRABAJO TERICOPRCTICO N 4

TEMA: TEORA DE RELACIONES

1. EL CONCEPTO DE RELACIN Y DE PAR ORDENADO


As como la extensin de los predicados mondicos son conjuntos (clases), la
extensin de los predicados polidicos son relaciones.

54
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Por ejemplo, el predicado mondico ser rojo determina el conjunto de las cosas rojas, y
el predicado didico ser mayor que determina la relacin ser mayor que.
Para caracterizar el concepto de relacin es preciso utilizar la nocin de parordenado, y en
general de n-upla.
Un par ordenado o dupla es un par de elementos que se dan en un determinado orden.
El modo de indicar que un par de elementos es un par ordenado, es encerrarlos entre
parntesis, separados por comas. Por ejemplo: (1,2), (Carlos, Pedro).
Mientras que el orden en que se enuncian los elementos de un conjunto es irrelevante; es
decir, {Pedro, Carlos} = {Carlos, Pedro}; en los pares ordenados, en cambio, (Pedro,
Carlos) (Carlos, Pedro), porque su orden es distinto.
Cuando tres elementos estn dados en un cierto orden, se los denomina terna.En general,
si se dan nelementos en un cierto orden, se dice que es una n-upla, y se indica: (x1, x2, x3,
, xn).
As, dado el predicado didicox admira a y que simbolizamos p(x,y), la extensin de
ese predicado es la relacin R, formada por todos los pares ordenados (x,y) donde x
representa a todos los individuos que admiran a alguien, e y a todos los individuos que
son admirados por alguien.
R ser el conjunto de todos los pares ordenados que satisfacen la forma o funcin
proposicional p(x,y): R = {(a , b) / p(a , b) es V }
Para indicar que un par ordenado pertenece a la relacin R escribiremos (x,y) R bien
xRy. Grficamente, las relaciones se representan de la siguiente manera:
R

2. REFERENTE, RELATO, ALCANCE, RANGOY UNIVERSO DEL DISCURSO


Se llama referente al primer sujeto de un par ordenado, del cual se afirma que tiene o
que pertenece a una relacin.
Se llama relato al segundo sujeto de dicho par ordenado.
Esta distincin es sintctica, es decir, es independiente de si son verdaderos o no los
enunciados que afirma que ciertos pares ordenados tienen una determinada relacin.
Se llama alcance de una relacin (AR) al conjunto de todos los posibles referentes de
dicha relacin.
Ejemplo: la relacin admirar a tiene por alcance al conjunto de los seres humanos.

55
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Se llama rango de una relacin (RR) al conjunto de los posibles relatos de dicha
relacin.
Ejemplo: la relacin ser tan generoso como tiene por alcance y por rango al conjunto
de los seres humanos.
Se llama universo del discurso(UR) a la unin de su alcance y su rango.
UR = AR RR
3. DOMINIO, CODOMINIOY CAMPO
Se llama dominio de una relacin (DR) al conjunto de todos los individuos del alcance
para los cuales hay por lo menos un individuo del rango que satisface la relacin.
def
En smbolos: D R x R / y : xRy
Luego, el dominio de una relacin es un subconjunto del alcance formado por todos los
referentes para los cuales hay por lo menos un relato que hace verdadera la relacin.
Ejemplo: R = {(a, b), (c, d)} , DR = {a, c}
Se llama dominio converso o codominio de una relacin (CR) al conjunto de todos los
individuos del rango para los cuales hay por lo menos un individuo del alcance que
satisface la relacin.
def
En smbolos: C R y R / x : xRy
Luego, el codominio de una relacin es un subconjunto del rango formado por todos
los relatos para los cuales hay por lo menos un referente que hace verdadera la relacin.
En el ejemplo anterior: CR = {b, d}
Se llama campo de una relacin (CaR) a la unin de su dominio y su codominio.
def
En smbolos: Ca R D R C R
En el ejemplo anterior: CaR = {a, b, c, d}
Otro ejemplo: en la relacin ser sobrino de, su dominio est formado por todos los
individuos que son sobrinos, su codominio est formado por todos los individuos que
son tos y su campo est formado por todos los individuos que son tos o sobrinos.
El siguiente cuadro ilustra por un lado, las relaciones entre alcance, rango y universo
del discurso, y por el otro, las del dominio, codominio y campo.

56
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

AR RR

DR CR

DR C R Ca R

AR RR U R

4. RELACIONES ENTRE RELACIONES


4.1. Inclusin
Una relacin R est incluida en otra S cuando todos los pares ordenados que
pertenecen a R pertenecen tambin a S.
En smbolos: R S x y : ( x R y x S y)
Ejemplo: La relacin ser primo de est incluida en la relacin ser familiar de,
porque todos los pares que satisfacen la primera relacin satisfacen tambin la segunda.
Una relacin Rno est incluida en otra S si y solo s existe una dupla (x, y) que
pertenece a R y no pertenece a S.
R S x y : (x R y x S y)
Ejemplo: la relacin admirar a no est incluida en la relacin ser amigo de, porque
hay personas que admiran a otras y no son amigas de ellas.

4.2. Igualdad de relaciones


Dos relaciones son iguales si y solo s tienen las mismas duplas. O sea, una relacin R
es igual a una relacin S si y solo s todas las duplas que pertenecen a R pertenecen a
tambin a S, y viceversa.
En smbolos: R = S x y : ( x R y x S y)
Ejemplo: La relacin ser hermano de es igual a tener los mismos padres que.

Dos relaciones son distintas si no son iguales.


En smbolos: R S def R = S

57
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

5. RELACIN VACA Y RELACIN UNIVERSAL


La relacin vaca, que simbolizaremos , es aqulla a la que no pertenece ninguna

dupla. Se la puede definir mediante la relacin ser igual y distinto de, de la siguiente
manera: =def{ (x,y) R / x = y x y}


La relacin universal, que simbolizaremos V , es aqulla a la que pertenecen todas
las duplas. Se la puede definir mediante la relacin ser igual y distinto de, de la

siguiente manera: V =def{ (x,y) R / x = y x y}

Actividad 1: De acuerdo con la bibliografa sugerida responda:


1.1. Qu vinculacin puede establecer entre el conjunto de verdad una forma
proposicional didica y la representacin de una relacin binaria?
1.2. Qu significado tiene en una relacin, la forma proposicional aludida?
1.3. Establezca la relacin que existe entre:
alcance y dominio
rango y codominio
universo del discurso y campo de la relacin
1.4. Analice los conceptos de relacin universal y relacin vaca. Proponga ejemplos
para cada una de ellas.

Actividad 2: Considere los conjuntos A = {1, 2, 4} ; B = {8, 9} ; C = {3, 4, 5, 6, 7}


2.1. Escriba por extensin las siguientes relaciones binarias:
a) R = {(x,y) / (x,y) A X A y = x}
b) S = {(x,y) / (x,y) B X Cy = x5}
c) T = {(x,y) / (x,y) B X A y es mltiplo de x}
d) U = {(x,y) / (x,y) A X A y es divisor de x}

e) V = {(x,y) / (x,y) C2 y = x + 2}
f) R2= {(x,y) / (x,y) A X B y = 2x}
2.2. De cada una de las relaciones definidas en el tem anterior, determine el dominio, el
codominio y el campo.

58
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

6. OPERACIONES ENTRE RELACIONES


6.1. Producto Lgico o Interseccin de Relaciones
La interseccin o producto lgico de dos relaciones RyS, que simbolizaremos RS,
es la relacin formada por todos los pares ordenados que pertenecen a ambas
relaciones.
En smbolos: RS =def {(x,y) / xRyxSy}
Ejemplo: la relacin ser amigo y compatriota de es la interseccin de las relaciones ser
amigo de y ser compatriota de, formada por todos los individuos que son
simultneamente compatriotas y amigos.
Relaciones disjuntas
Dos relaciones R y S son disjuntas cuando no hay duplas que pertenezcan a ambas; o
sea cuando su interseccin es vaca.
R)(S RS =

Ejemplo: las relaciones ser ms pesado que y ser del mismo peso que son disjuntas
porque no hay elementos que sean ms pesados y, al mismo tiempo, del mismo
peso que otro.

6.2. Suma Lgica o Unin de Relaciones


La uninosuma lgica de dos relaciones R y S, que simbolizaremos RS, es la
relacin formada por todos los pares ordenados que pertenecen a R, a S o a ambas.
En smbolos: R S =def { ( x , y ) / x R y x S y }
Ejemplo: la relacin ser progenitor de es la unin de las relaciones ser padre de y
ser madre de.

6.3. Producto relativo de Relaciones


El producto relativo de dos relaciones R y S, que simbolizaremos RS bien SR, es
la relacin formada por todos los pares ordenados (x,y) para los que existe un elemento z
que verifica: ( x , z ) R ( z , y ) S.
En smbolos: RS =def { ( x , y ) / z : x R z z S y }
Ejemplo: la relacin ser sobrino de es el producto relativo de las relaciones ser
hijo de y ser hermano de.

6.4. Diferencia entre Relaciones


La diferencia entre una relacin R y otra S, que simbolizaremos R S, es la relacin
formada por todos los pares ordenados que pertenecen a R pero no a S.
En smbolos: R S =def { ( x , y ) / x R y x S y }

59
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplo: La diferencia entre R = {(1,3), (2,4), (3,5)} y S = {(1,3), (2,6), (3,9)} es la relacin
R S ={(2,4), (3,5)}. Cuando R y S son disjuntas: R S = R.

6.5. Complemento de una Relacin


El complemento de una relacin R, que simbolizaremos R, es la relacin formada por
todos los pares ordenados que no pertenecen a R.
En smbolos: R=def { ( x , y ) / x R y }

Tambin podemos definirla de la siguiente manera: R = V R.
Ejemplo: el complemento de la relacin ser vecino de es no ser vecino de.
Dada cualquier relacin, su negacin determina su complemento.

6.6. Conversa o Inversa de una Relacin


La conversaoinversa de una relacin R, que simbolizaremos R-1, es la relacin que se
obtiene al invertir el orden de los pares ordenados que forman esa relacin.
En smbolos: R-1=def { ( y , x ) / ( x , y ) R}
Ejemplo: la relacin ser hijo de es la conversa de ser padre de, y estar a la
izquierda de es la conversa de la relacin estar a la derecha de.
En algunas relaciones (las que son simtricas) la conversa de la relacin es igual a sta.
Ejemplo: la relacin ser hermano de tiene por conversa a ser hermano de.

7. LEYES DE LA LGICA DE RELACIONES


Son leyes de la lgica de relaciones las siguientes:
1) Identidad: R R

2)Doble complementacin: R R


3) Doble conversin: ( R) 1 1
R
4) Conmutatividad del producto lgico: R S S R

5) Conmutatividad de la suma lgica: R S S R

6) Asociatividad del producto lgico: R S T R S T

7) Asociatividad de la suma lgica: R S T R S T

8) Asociatividad del producto relativo: R / S / T R / S / T

9) Distributividad de la conversin respecto de la interseccin: R S


1
R 1 S 1

10) Distributividad de la conversin respecto de la unin: R S 1 R 1 S 1

60
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

11) Distributividad de la conversin respecto del producto relativo:

R / S 1 S 1 / R 1
12) Distributividad del producto relativo con respecto de la unin:
R / S T R / S R / T

13) Leyes de De Morgan: R S R S ; RS RS

Actividad 3:
3.1. Construya un cuadro que contenga las operaciones entre relaciones y sus propiedades.
3.2. Demuestre las propiedades de la unin, interseccin, complementacin y conversin de
relaciones.

Actividad 4:
4.1. Determine el complemento y la conversa de cada una de las relaciones de la
Actividad 2.
4.2. Con las relaciones de la Actividad 2, calcule R S , T V , R V , S U ,
U o T = T|U , R o T = T|R , R-1 o R , V o V-1

Actividad 5: De cada una de las siguientes relaciones binarias determine:


a) el dominio, el codominio y el campo.
b) el complemento y la conversa.
5.1. R : "Ser compaero de" 5.5. R : "Ser idntico a"
5.2. S : "Ser hijo de" 5.6. S : "Ser hermano de"
5.3. T : "Ser ms joven que" 5.7. T : "Ser mayor que"
5.4. V : "Ser padre de" 5.8. U : "Ser menor o igual que"

Actividad 6: Halle el producto lgico de las siguientes relaciones:


6.1. Ser hermano de - Ser amigo de
6.2. Ser alumno de - Ser estimado por
6.3. Ser ciudad de - Ser capital de
6.4. Ser hijo de - Ser preferido por
6.5. Ser madre de - Ser hermana de

Actividad 7: Halle la suma lgica de las siguientes relaciones:


7.1. Ser padre de - Ser madre de
7.2. Ser abuelo paterno de - Ser abuelo materno de
7.3. Ser paralelo a - Ser paralelo a

61
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

7.4. Ser mayor que - Ser igual a


7.5. Ser hermano de - Ser to de

Actividad 8: Halle el producto relativo de las siguientes relaciones:


8.1. Ser madre de - Ser cnyuge de
8.2. Ser paralelo a - Ser paralelo a
8.3. Ser la mitad de - Ser la mitad de
8.4. Ser madre de - Ser hermana de
8.5. Ser hermana de - Ser madre de

8. PROPIEDADES DE LAS RELACIONES


1) Respecto de la reflexividad
8.1.1. Reflexiva
Una relacin es reflexiva cuando cada uno de los individuos que pertenecen a su campo
se relacionan consigo mismo.
En smbolos: R es reflexiva x : (x CaR x R x)
Ejemplo: son reflexivas las relaciones ser del mismo tamao (entre objetos); ser
igual a (entre nmeros); estar incluido en (entre conjuntos), y ser
equivalente a (entre proposiciones).

8.1.2. Arreflexiva
Una relacin es arreflexiva cuando ningn elemento de su campo se relaciona consigo
mismo.
En smbolos: R es arreflexiva x : (x CaR x R x)
Ejemplo: la relacin ser mayor que (entre nmeros) es arreflexiva porque ningn
nmero es mayor que l mismo.
8.1.3. No reflexiva
La no reflexividad es la negacin de la reflexividad, y se la define de la siguiente manera:
R es no reflexiva x : (x CaR x R x)

2) Respecto de la simetra
8.2.1. Simtrica
Una relacin es simtrica cuando sucede que: si un referente tiene dicha relacin con un
relato, entonces el relato tiene esa relacin con el referente.
En smbolos: R es simtrica x y CaR: ( x R y y R x)

62
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Ejemplo: ser hermano de es una relacin simtrica, porque si un individuo es hermano


de otro, este ltimo es hermano del primero.
8.2.2. Asimtrica
Una relacin es asimtrica cuando sucede que: si un referente tiene esa relacin con un
relato, el relato no tiene la relacin con el referente.
En smbolos: R es asimtrica x y CaR: ( x R y y R x )
Ejemplo: estar al oeste de es una relacin asimtrica porque si un lugar geogrfico
est al oeste de otro, el segundo no est al oeste del primero.
8.2.3. No simtrica
Una relacin es no simtrica cuando no es simtrica.
En smbolos: R es no simtrica x y CaR: ( x R y y R x )
Ejemplo: la relacin admirar a es no simtrica, pues hay individuos que admiran a otros
pero estos ltimos no admiran a los primeros.
8.2.4. Antisimtrica
Una relacin es antisimtrica cuando sucede que: si un referente tiene dicha relacin con
un relato, y este ltimo tiene esa relacin con el primero, entonces ambos elementos son
iguales.
En smbolos: R es antisimtricax y CaR: (x R y y R x x = y )
Ejemplo: la relacin ser mayor o igual que es antisimtrica porque si un nmero es
mayor o igual que otro, y ste es mayor o igual que el primero, ambos nmeros
son iguales.

3) Respecto de la transitividad
8.3.1. Transitiva
Una relacin es transitiva cuando sucede que: si un individuo tiene dicha relacin con un
segundo, y ste la tiene con un tercero, el primero la tiene con el tercero.
En smbolos: R es transitiva x y yCaR: ( x R y y R z x R z )
Ejemplo: la relacin ser ms joven que (entre personas) es transitiva porque si una
persona es ms joven que una segunda y sta es ms joven que una tercera,
la primera es ms joven que la tercera.
8.3.2. Atransitiva
Una relacin es atransitiva cuando sucede que: si un elemento tiene dicha relacin con un
segundo elemento, y ste la tiene con un tercero, entonces el primero no la tiene con el
tercero.
En smbolos: R es atransitivax y yCaR: ( x R y y R z x R z )
Ejemplo: la relacin ser madre de es atransitiva porque si una mujer es madre de otra
y sta es madre de un tercer individuo, la primera no es madre del tercero.

63
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

8.3.3. No transitiva
Una relacin es no transitiva cuando no es transitiva.
En smbolos: R es no transitiva x y z CaR: ( x R y y R z x R z )
Ejemplo: la relacin ser amigo de es no transitiva porque un individuo puede ser amigo
de un segundo y ste de un tercero, pero el primero no ser amigo del tercero.

4) Respecto de la conexidad
8.4.1. Conexa
Una relacin es conexa cuando dados dos elementos distintos de su campo, o el primero
tiene dicha relacin con un segundo, o el segundo tiene esa relacin con el primero.
En smbolos: R es conexa x y CaR: (x y x R y y R x )
Ejemplo: la relacin ser menor que (entre nmeros enteros) es conexa porque dados
dos nmeros distintos, o bien un nmero es menor que otro, o ste ltimo es
menor que el primero.
8.4.2. No conexa
La no conexidad es la negacin de la conexidad.
En smbolos: R es no conexa x y CaR: (x y x R y y R x)
Ejemplo: la relacin admirar a es no conexa porque hay pares de personas que no se
admiran mutuamente.

9. TIPOS DE RELACIONES
9.1.RELACIN DE EQUIVALENCIA
Hay ciertas propiedades de las relaciones que suelen darse juntas. Una combinacin
frecuente es la de la reflexividad, simetra y transitividad. A las relaciones que poseen
estas tres propiedades se las llama relaciones de equivalencia.
Un ejemplo es la relacin ser igual a (entre nmeros).
Dada una relacin de equivalencia, su campo queda dividido en clases de equivalencias.
Para todo elemento x del campo de R, la clase de equivalencia de x, que simbolizaremos
[x], es el conjunto de todos los y tales que (x,y) R, o sea que, x R y.
[x] =def {y / x R y} con x CaR y y CaR
Ejemplo: la relacin ser compatriota de es de equivalencia porque es reflexiva, simtrica
y transitiva, y tiene por campo al conjunto de los seres humanos. Si tomamos un individuo
a de su campo, si ese individuo es argentino, el conjunto de todos los que son
compatriotas de a es el conjunto de todos los argentinos, si tomamos un individuo b, que
es francs, el conjunto de los compatriotas de b ser el conjunto de los franceses.

64
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Grficamente:
CR

[a] [e]

[d]
[b]

[c]

Se llama representante de una clase de equivalencia a cualquier elemento de ese


conjunto. As, por ejemplo, un peruano es un representarse del conjunto de
equivalencia de los peruanos.
Las clases de equivalencia cumplen con las siguientes propiedades:
1) no son vacas,
2) son disjuntas dos a dos,
3) la unin de todas ellas es igual al campo de la relacin.
Por cumplir estas tres propiedades se dice que las clases de equivalencia constituyen
una particin del campo de la relacin de equivalencia.

9.2.RELACIONES DE ORDEN
Dado el campo de una relacin o en general, un conjunto cualquiera, sus elementos
pueden estar ordenados.
Hay distintos tipos de relaciones de orden, pero la propiedad comn a todas ellas es la
transitividad.
Pueden distinguirse los siguientes tipos de orden:
9.2.1. Orden amplio
Una relacin es de orden amplio si y slo si es reflexiva, antisimtrica y transitiva.
Ejemplo: la relacin mayor o igual.
9.2.2. Orden estricto
Una relacin es de orden estricto si y slo si es areflexiva, asimtrica y transitiva.
Ejemplo: la relacin mayor que.
9.2.3. Orden total y parcial
Las relaciones anteriores sern de orden total si cumplen adems la propiedad
conexa. Si son no conexas, el orden ser parcial.

65
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

9.3.RELACIONES FUNCIONALES O FUNCIONES


Una relacin es una funcin si y slo si a cada referente le corresponde uno y slo un
relato.
En smbolos: R es funcin x y z CaR: ( x R y x R z y = z)
Ejemplo: la relacin tener por madre a es una funcin porque cada persona tiene una
nica madre.

Actividad 9: Analice las propiedades de las relaciones de los apartados a), d) y e) de la


Actividad 2.

Actividad 10: Analice las propiedades de las siguientes relaciones:


10.1. 10.2. 10.3.
a a
a b
b d b d
c d
c
c

Actividad 11: Analice las propiedades de cada una de las relaciones dadas:
11.1. R = {(2,2), (6,2), (6,3), (6,6), (3,3)}
11.2. S = {(2,2), (2,3), (2,6), (3,6), (3,3), (6,6)}
11.3. T = {(2,3), (2,6), (3,6)}
11.4. U = {(2,2), (3,3), (3,2), (6,2), (6,3), (6,6)}
11.5. V = {(2,2), (3,3), (6,6)}
11.6. Ser el cuadrado de (en N)
11.7. Estar includo en (entre conjuntos)
11.8. Implicar a (entre proposiciones)
11.9. Ser equivalente a (entre proposiciones)

Actividad 12: Diga cules de las siguientes relaciones definidas en A = {1, 2, 3, 4} son
funciones:
12.1. R1 = {(1,1), (2,2), (3,3), (4,4)}
12.2. R2 = {(1,2), (2,2), (3,2), (4,2)}

66
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

12.3. R3 = {(1,3), (2,3), (1,4), (2,4)}


12.4. R4 = {(3,1), (3,2), (3,3), (3,4)}

12.5. R5 = {(4,1), (3,2), (2,3)}

Actividad 13: Aplicar las leyes del lgebra de relaciones para resolver las siguientes
expresiones:

13.1. R V = 13.4. R R =

13.2. R R = 13.5. R V =

13.3. R = 13.6. R =

Actividad 14: Use las leyes del lgebra de relaciones para demostrar las siguientes
igualdades:

14.1. R (S V ) = R S

14.2.(R ) V = V

14.3. (R R) (R R) = V

14.4. (R V ) (R ) =

14.5. (R V ) (R ) = R

GUA DE TRABAJO TERICO-PRCTICO N 5

TEMA: TEORA DE LA IDENTIDAD

La relacin de identidad se usa y se entiende en varios sentidos tanto en las ciencias


como en el lenguaje comn. Decimos, por ejemplo:
x es idntico a y
x es lo mismo que y
x es igual a y
Todas estas expresiones pueden representarse por: x = y. El signo = se coloca entre
trminos que son nombre de una misma cosa.

1. LEY DE LEIBNIZ O PRINCIPIO DE IDENTIDAD DE LOS INDISCERNIBLES


Dos objetos son idnticos entre s, si y slo si todo lo que pueda predicarse del primero
es predicable tambin del segundo.

67
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

x = y si y slo si x tiene toda propiedad que tiene y, y y tiene toda propiedad que tiene x
x = y si y slo si tienen toda propiedad en comn
La consecuencia ms importante de esta ley es que, en cualquier frmula que aparezca, x
puede reemplazarse por y (o viceversa). Adems puede considerarse como la definicin
del smbolo = .
La relacin de identidad es una relacin de equivalencia porque es reflexiva, simtrica
y transitiva.
Reflexividad: Todo objeto es idntico a si mismo. x : x = x
Demostracin: Por la Ley de Leibniz, x = y si y slo si x tiene toda propiedad que tiene
y, y y tiene toda propiedad que tiene x; luego, en el segundo miembro de la igualdad,
puedo reemplazar la y por la x; con lo cual, x = x
Simetra: Si un objeto es idntico a otro, entonces ste es idntico al primero.
xy : (x = y y = x)
Demostracin: Por hiptesis sabemos que x = y; luego, por la Ley de Leibniz puedo
reemplazar la x por la y, y la y por la x; con lo cual, y = x
Transitividad: Si un objeto es idntico a otro, y ste es idntico a un tercero, el primero
es idntico al tercero.xy z : (x = y y = z x = z)
Demostracin: Por hiptesis sabemos que y = z; luego, por la Ley de Leibniz puedo
reemplazar la y por la z, en la primera identidad x = y; con lo cual, x = z

2. LEY DE IDENTIDAD COMPARADA


Dos objetos iguales a un tercero, son iguales entre s.
xy z : (x = y z = y x = z)

Actividad 1: Indique cules de las siguientes proposiciones se pueden traducir


usando el smbolo de identidad:
1.1. Jos Hernndez es el autor del Martn Fierro.
1.2. Virgilio es el ms famoso poeta latino.
1.3. Los tigres son felinos.
1.4. Scrates es un hombre.
1.5. Los santiagueos son argentinos.
1.6. El 9 de Julio es el Da de la Independencia Argentina.
1.7. Benjamn Franklin fue un impresor.
1.8. Bernardino Rivadavia fue el primer presidente constitucional argentino.
1.9. Los perros son cuadrpedos.

68
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas

Actividad 2: Coloque parntesis, cuando sea necesario, para que sean correctas las
siguientes identidades:
2.1. 3.5 7 = 8 2.5. 32 6.2 = 6
2.2. 2.5 2 = 6 2.6. 52 3.2 = 19
2.3. 3 + 52 = 64 2.7. 24 : 6 + 2 = 6
2.4. 6 + 42 = 22 2.8. 24 : 4 + 2 = 4

Actividad 3: Demuestre, sin usar la Ley de Leibniz, la ley de identidad comparada:

Actividad 4: Pruebe que: x = y y = z z = t x = t, usando exclusivamente la


transitividad.

Actividad 5: Determine si las siguientes relaciones son idnticas o no:


5.1. R1 = {(1,3) , (1,5) , (1,7)} 5.2. R2 = {(5,1) , (7,1) , (8,1)}
S1 = {(1,7) , (1,3) , (1,5)} S2 = {(1,5) , (1,7) , (1,8)}

5.3. R3 = {(x,y) Z2 / 0 < x < 3 2 < y < 4 x es la mitad de y}


S3 = {(1,2) , (2,4)}

5.4. R4 : "Tiene la misma edad que" 5.5. R5 : "Ser esposo de"


S4 : "Naci en misma fecha que" S5 : "Ser padre de"

Actividad 6: Es idntica la relacin "es el siguiente de", segn se defina en:


6.1. A = {1, 2, 3, 4, 5} 6.2.B = {2, 3, 4, 5, 6}

Actividad 7: Es idntica la relacin "es la mitad de", segn se defina en:


7.1. A = {1, 2, 3, 4, 5, 6, 7, 8} 7.2. B = {1, 2, 3, 4, 6, 8}

69

También podría gustarte