Академический Документы
Профессиональный Документы
Культура Документы
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
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.
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
4
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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.
5
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
6
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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
8
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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
10
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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 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 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)
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
Actividad 22: Dadas las siguientes frmulas proposicionales, encontrar otras dos
lgicamente equivalentes a cada una de ellas. El ejercicio N 1 ejemplifica el procedimiento
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
a) Abstraer la frmula
Respuesta:
a) p ~ q
b) ~ ( p ~ q ) p q
derechos fundamentales.
1.3. Es suficiente que Madonna, Sting y Guerra participen en San Remo para que yo asista
al festival.
q es falso.
denomina...............................................
proposiciones se denomina..................
una........................................................
17
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
una......................................................
denomina......................................
denomina.....................................
denomina.....................................
denomina..................................................
18
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
20
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
21
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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,................................................................
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?
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.
25
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
~p q
26
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
Forma lgica
p q (1)
r p (2)
~r (3)
q
27
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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.
28
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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)
31
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
Actividades de autoevaluacin
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.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.
-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
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
35
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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.
36
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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 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))
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
45
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
46
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
El Cuadrado de Oposicin
La lgica simblica establece las siguientes relaciones:
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
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)
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
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
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
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
52
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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
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
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
57
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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.
2)Doble complementacin: R R
3) Doble conversin: ( R) 1 1
R
4) Conmutatividad del producto lgico: R S S R
60
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
R / S 1 S 1 / R 1
12) Distributividad del producto relativo con respecto de la unin:
R / S T R / S R / T
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
61
Lgica I Lgica Lgica Matemtica Guas Terico Prcticas
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
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]
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
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
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
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
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
69