Departamento de Ciencias Bsicas

Asignatura: Lgica (S954)

Ao: 2011 (2 semestre)
Gua de Trabajos Prcticos
Prof. Cecilia Duran

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Programa Prof. Cecilia Duran | 1

PROGRAMA DE ESTUDIOS. AO: 2005

LGICA
CODIGO: S954
ESPECIALIDAD/ES para las que se dicta: TODAS LAS
ESPECIALIDADES. ELECTIVA
ASIGNATURA:

Contenidos Analticos:
A.-OBJETIVOS GENERALES:
- Comprender el rol de la lgica en la constitucin del conocimiento racional.
- Comprender la relacin entre la lgica, la filosofa y las disciplinas cientficas.
- Comprender el rol de la lgica en la argumentacin racional.
- Reconocer inferencias formalmente invlidas.
- Reconocer las caractersticas propias de la inferencia deductiva.
- Iniciar al alumno en el anlisis de los problemas filosficos de la lgica en tanto ciencia.
B) ACTIVIDADES
Se dictarn tres horas semanales de clases terico-prcticas, ms un horario de consulta.
C) PROGRAMA
Primera parte: Nociones introductorias.
Unidad 1. Sobre el objeto de la lgica
1.1 Objeto de estudio de la lgica. Introduccin histrica y panorama contemporneo. Diversos
tipos de lgicas.
1.2. Estructura e identificacin de un argumento o inferencia. Argumentos o inferencias
deductivas y no deductivas. Validez intuitiva formal y no formal. Argumento esquema o esquema
de argumento. El concepto de forma lgica. Validez formal. El Mtodo del Contraejemplo.
Sintaxis, semntica y pragmtica. Lenguaje Objeto y Metalenguaje.
Segunda parte: La Lgica Proposicional
Unidad 2: El lenguaje de la Lgica Proposicional.
2.1. Presentacin intuitiva de la lgica proposicional. El concepto de oracin (o enunciado o
proposicin). Smbolos descriptivos y lgicos. Definiciones recursivas: frmula bien formada.
2.2. Las conectivas lgicas como funciones de verdad. Su correlato con expresiones del lenguaje
natural.
Unidad 3: La semntica de la lgica proposicional.

2 | Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Programa Prof. Cecilia Duran

3.1. La funcin valuacin para la lgica proposicional. Tablas de verdad. Contingencias,

tautologas y contradicciones. Implicacin (o condicional) material e implicacin lgica. Paradojas
de la implicacin material. Equivalencia material y equivalencia lgica. Leyes lgicas. Principales
meta-teoremas. Completitud funcional de la lgica proposicional.
3.2 Validez semntica de los argumentos o inferencias proposicionales. La prueba de validez de
argumentos por tablas de verdad. Prueba indirecta de validez. La nocin de consecuencia lgica
semntica.
Unidad 4: La dimensin sintctica de la inferencia en Lgica Proposicional
4.1. La nocin sintctica de inferencia correcta. Deduccin Natural para la lgica proposicional.
Reglas de Introduccin y Eliminacin de las conectivas proposicionales. Las nociones de
demostracin y teorema. Pruebas por Reduccin al Absurdo. La nocin de consecuencia lgica
sintctica. La lgica minimal, intuicionista y clsica.
Tercera parte: La Lgica de Predicados
Unidad 5: El lenguaje de la lgica de Predicados (o de Primer Orden)
5.1 Variables de individuo, constantes de individuo, letras de predicado y cuantificadores.
Frmulas: oraciones y funciones proposicionales. Clases de funciones proposicionales. Las
relaciones como funciones proposicionales n-dicas. Cuantificacin universal y existencial.
Definicin recursiva de frmula. La traduccin del lenguaje natural al lenguaje de la Lgica de
Predicados.
Unidad 6: La Semntica de la lgica de Predicados.
6.1. Elementos de Teora de conjuntos. Funciones y Relaciones. Propiedades de las relaciones.
Funciones de Interpretacin. Interpretacin por Sustitucin. Limitacin de la interpretacin por
Sustitucin. Validez Universal. Identidad, smbolos de funcin. Relaciones y propiedades de las
relaciones.
6.2. La validez de los argumentos en la Lgica de Predicados. La demostracin de invalidez por
contrajemplos o contramodelos. Argumento vlido y frmula universalmente vlida.
Unidad 7: El enfoque sintctico de la correccin de argumentos en la lgica de Predicados.
7.1. Deduccin Natural para la Lgica de Predicados. Reglas de Introduccin y Eliminacin de los
cuantificdores. Principales meta-teoremas de la lgica de Primer Orden.
D.- BIBLIOGRAFIA
BIBLIOGRAFIA OBLIGATORIA:
Todas las unidades contienen como bibliografa obligatoria fundamental captulos y
pargrafos del libro Lgica lenguaje y significado, Vol. 1, Introduccin a la lgica, (1991) de L.T.F
GAMUT (Pseudnimo colectivo de: J.VAN BENTHEM, J.GROENENDIJK,D.H. DE JONGH,
M.STOHOF Y H. VERKUYL), EUDEBA, 2009. (Traduccin de la version inglesa, titulada Logic,
Language and Meaning, vol.1: Introduction to Logic. The University of Chicago Press, Chicago
and London, 1991.)
BIBLIOGRAFIA DE CONSULTA
-ALCHOURRON, C.: Concepciones de la lgica, en ENCICLOPEDIA IBEROAMERICANA DE
FILOSOFIA (EIAF), tomo 7: LOGICA, pg.11. Madrid. Ed.Trotta, 1995.
-BARKER, Stephen,: The Elements of Logic, Mc Graw-Hill Book Company, 1980.

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Programa Prof. Cecilia Duran | 3

-BARWISE & ETCHEMENDY: The Language of First-Order Logic, CSLI Lecture Notes Number
34, Stanford, 1992 (traduccin al espaol en prensa) Ficha de ctedra FFyL,1998.
-BOCHENSKI, Historia de la lgica formal, Madrid, Gredos,1976
Ctedra, FFyL, 1999
-COHEN Y NAGEL: Introduccin a la lgica y al mtodo cientfico, Buenos Aires, Amorrortu,1968.
-COPI,I.: Introduccin a la lgica, Buenos Aires, Eudeba
-COPI,I.: Lgica Simblica, Madrid, CECSA, 1978.
-DEAO, A.: Introduccin a la lgica formal, Madrid, Alianza Universidad Textos,1996
-ESCRITOS DE LOGICA Y SEMANTICA Nro.1, Fac.FyL-CBC, 1996
-ESCRITOS DE LOGICA Y SEMANTICA Nro.4, Fac.FyL-CBC, 1996.
-GARRIDO,M.: Lgica simblica. Madrid, Tecnos,1983.
-HILBERT Y ACKERMANN: Elementos de Lgica, Madrid, Tecnos,1962.
-OWSON, Colin: Logic with Trees. An Introduction to Symbolic Logic.Routledge, London, 1997.
-HUGHES & CRESWELL: Introduccin a la lgica modal. Madrid, Tecnos,1973,
-JEFFREY, Richard.: Lgica formal: su alcance y sus lmites. Edic. Univ.de Navarra.S, A.
Pamplona,1996
-KALISH,D.& MONTAGUE,R,: Logic,Techniques of Formal Reasoning. Harcourt Brace
Jovanovich,1980
-KNEALE & KNEALE: El desarrollo de la lgica, Madrid, Tecnos,1972.
-LEMMON,E.J.: Beginning Logic, Van Nostrand Reihold,1986.
-MATES, Benson.: Lgica matemtica elemental, Madrid, Tecnos,1970.
-MORETTI, A.: Concepciones tarskianas de la verdad.
-OLLER,C., Tablas semnticas y demostracin Natural,
-ORAYEN, R.: Lgica Modal, EIAF, 333tomo 7,pg.289.
-PACKARD,D.& FAULCONER,J.: Introduction to Logic, D.Van Nostrand Company,1980.
-PALAU,G., Introduccin filosfica a las lgicas no-clsicas, Gedisa-FFyL, 2002.
-PRIOR,A.: Formal Logic, Oxford, At the Clarendon Press, 1973.
-QUINE,W.,: El sentido de la nueva lgica, Bs.As.,Espasa Calpe,1967.
-QUINE,W.: Los mtodos de la lgica, Barcelona, Ariel,1967.
-REICHEMBACH,H.: Elements of Symbolic Logic,N.Y.,Mc Millan,1957.
-SIMPSON,T.M.: Formas lgicas, verdad y significado, Bs.As., Eudeba.
-SUPPES, Patrick: Introduccin a la lgica simblica, C:E:C:S.A, Mxico,1966.

4 | Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Programa Prof. Cecilia Duran

-TARSKI, A.: La concepcin semntica de la verdad, en Antologa semntica, comp.: Mario

Bunge, Bs.As.
-TARSKI,A.: Introduccin a la lgica, Bs.As.,Espasa Calpe,1957.
-TARSKI,A.: Verdad y demostracin, Escritos de Lgica y Semntica Nro.3, Fac.FyL-CBC, 1996
E.- PROMOCION
(a) Directa: 2 exmenes parciales aprobados (correspondientes al 1 y 2 mdulos) cuyo
promedio de notas deber alcanzar 6 o ms puntos. Si el alumno no aprueba el parcial
correspondiente al 1 mdulo, deber rendir el examen de los dos mdulos conjuntamente, en la
misma fecha en que se rinde el parcial correspondiente al 2 mdulo.
(b) Con examen final: exmenes parciales correspondientes al 1 y 2 mdulos aprobados con 4
puntos y cuyo promedio de notas no alcanza los 6 puntos.
Cecilia Duran
Prof. Adjunto de la asignatura Electiva Humanstica
Fac. Ingeniera - U.N.L.P
"Programa Aprobado en la 16 Sesin Ordinaria del H. Consejo Acadmico el 26/10/2005".

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

|5

Trabajo Prctico 1
Temas: 1.2. Estructura e identificacin de un argumento o inferencia. Argumentos o
inferencias deductivas y no deductivas. Validez intuitiva formal y no formal.
Argumento esquema o esquema de argumento. El concepto de forma lgica. Validez
formal. El Mtodo del Contraejemplo. Sintaxis, semntica y pragmtica. Lenguaje
Objeto y Metalenguaje.
Bibliografa:
- Copi I., (1984), Introduccin a la lgica, Bs.As., Eudeba, Introducc., cap. 1
- Deao, A., (1994), Introduccin a la lgica formal, Madrid, Alianza Editorial, cap. 1
(Lenguaje y Metalenguaje y Sintaxis, semntica y pragmtica)
- Gamut, L. T. F.,(1991), Lgica lenguaje y significado, Vol. 1, Introduccin a la
lgica, Bs.As., EUDEBA, 2009, cap. 1 (1.1, 1.2, 1.3, 1.6)

Ejercicio (1)
Determine si los siguientes textos constituyen o no argumentos. En caso de que as
sea, identifique premisas y conclusin. Justifique su respuesta.
(a) ``La lgica es invencible, porque para combatir la lgica es necesario utilizar la
lgica'' (Pierre Boutroux)
(b) ``El hombre razonable se adapta al mundo; el no razonable sigue tratando de
adaptar el mundo a s mismo. Por lo tanto, todo progreso depende del hombre no
razonable.'' (George Bernard Shaw)
(c) ``Peddme lo mismo, pues los amigos deben tener todas las cosas en comn.''
(Platn, Fedro)
(d) ``El albail empleado en la edificacin de una casa tal vez ignore totalmente su
plano general, o en todo caso, tal vez no lo recuerde constantemente. Lo mismo
sucede con el hombre mientras trabaja a lo largo de los das y las horas de su vida,
piensa poco en el carcter de sta como totalidad. '' (A. Schopenhauer, Consejos y
mximas)
(e) `` ... los legisladores consideran de ms valor la amistad que la justicia, porque la
concordia parece ser fruto de la amistad, y, cuando los hombres son amigos, no hay
necesidad de justicia.'' (Aristteles, tica )
(f)

``(...) y lo que no consiente nunca la muerte, cmo lo llamamos?

- Lo inmortal.
- El alma no consiente la muerte?
- No
- El alma es, por consiguiente, inmortal (Platn, Fedn o Del Alma)''
(g) ``Si quiere usted descubrir su opinin verdadera acerca de alguien, observe la
impresin que le causa la primera visin de una carta de l.'' (A. Schopenhauer,
Observaciones psicolgicas)

6|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

(h) ``Primeramente, si la tierra y agua

y los soplos ligeros de los aires
y los vapores clidos del fuego
a nacimiento y muerte estn sujetos,
debe correr la misma suerte el mundo,
que de estos elementos se compone;
porque siendo nativas y mortales
las partes, debe el todo ser lo mismo''(Lucrecio, De Rerum Natura)

(i) ``- Entonces d lo que piensas- prosigui la Liebre de Marzo.

- Eso es lo que hago -dijo Alicia precipitadamente-. Al menos ... al menos ... yo
pienso lo que digo. Es la misma cosa.
- No es lo mismo -advirti el sombrerero-. Segn t, sera lo mismo decir: ''Veo lo
que como'' que ''Como lo que veo''.
- Y tambin -dijo la Liebre de Marzo- te parecera lo mismo decir ''Me gusta lo
que recibo'', que ''Recibo lo que me gusta''.
- Y tambin -intervino el Lirn que pareca hablar en sueos- para t sera lo
mismo decir ''Respiro cuando duermo'', que ''Duermo cuando respiro''.
- Para ti s es lo mismo- dijo el sombrerero.'' (L. Carroll, Alicia en el pas de las
maravillas )

(j) ``No odiamos cuando nuestra estima es an pequea sino slo cuando es igual o
mayor a la que tenemos por nosotros mismos'' (F. Nietzsche, F. Ms all del Bien y
del Mal).
(k) ``Si se llegara al punto en que dispusiramos de los medios de conocer lo que
sucede en el cerebro de una persona y pudiramos usar esto como base para
predecir lo que har, y adems si este conocimiento se extendiera a nuestra propia
conducta futura, es improbable que nuestra actual visin de la vida permaneciera la
misma.'' (A. Ayer, El concepto de persona)
(l) El astrnomo Franceso Sizi ofreci la siguiente argumentacin para mostrar por
qu era falso lo que Galileo crea haber visto (satlites girando alrededor de
Jpiter):
I) Hay siete ventanas en la cabeza, dos orificios nasales, dos orejas, dos ojos y
una boca; as en los cielos hay dos estrellas favorables, dos que no son propicias,
dos luminarias y Mercurio, el nico que no se decide y permanece indiferente. De
lo cual, as como de muchos otros fenmenos de la naturaleza similares - los siete
metales, etc. - que sera tedioso enumerar, inferimos que el nmero de los planetas
es necesariamente siete. (C. Hempel, Filosofa de la Ciencia Natural
II) (...) Los satlites son invisibles a simple vista, y por tanto no pueden tener
influencia sobre la tierra, y por tanto seran intiles, y por tanto no existen. (C.
Hempel, Filosofa de la Ciencia Natural)

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

|7

Ejercicio (2)
En las columnas de la tabla siguiente se da la informacin acerca de la forma
lgica o de las premisas o de la conclusin de un argumento. Sobre esa base
complete la informacin de cada columna para los lugares que estn en blanco'.
(Por ejemplo: (a) Si la forma lgica de un razonamiento es vlida y su conclusin
es falsa, entonces sus premisas son falsas)

Forma
Lgica

vlida

invlida

Premisas
Conclusin

verd.
falsa

falsa

verd.

vlida

invlida

verd.

falsas

vlida
verd.
falsa

vlida
falsas

verd.

verd.

falsas

falsas
falsa

Ejercicio (3)
(a) Abstraiga la forma lgica de los siguientes argumentos reemplazando las
expresiones que representan clases o conjuntos por las letras A, B, C,....
(a) Todos los hombres son voladores; todos los primates son hombres; luego; todos
los primates son voladores.
(b) Ningn argentino es europeo. Algn europeo no es francs. Por consiguiente,
algn argentino no es francs.
(c) Ningn rioplatense es riojano. Por ende, ningn riojano es chaqueo. Puesto que
ningn chaqueo es rioplatense.
(d) Algunos hombres no son negligentes; dado que no todos los hombres son
profesores. Y todo profesor es negligente.
(e) No todo cristiano es metodista; pues algunos cristianos no son protestantes y
algunos protestantes no son metodistas.

(b) Encuentre un contraejemplo que demuestre que los argumentos b, c, d, g y h

son invlidos.

8|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

Ejercicio (4)
Distinga los argumentos deductivos de los no deductivos. Justifique su respuesta.
(a) ``Apolo'' es una compaa sexista. Conozco veinte personas que solicitaron un
empleo en dicha empresa, diez son hombres y diez son mujeres. Todos ellos
estaban calificados para el empleo. Los diez hombres lo obtuvieron pero ninguna
mujer lo logr.
(b) Si es cierto que todos ustedes mienten entonces t mientes. Pero t dices que
mientes. Por consiguiente, si mientes, dices la verdad; y si dices la verdad entonces
mientes.
(c) ``La teologa ensea que el Sol ha sido creado para iluminar la Tierra. Ahora bien,
movemos la antorcha para iluminar la casa, pero no movemos la casa para que sta
sea iluminada por la antorcha. Por consiguiente, es el Sol el que gira alrededor de la
Tierra, y no la Tierra alrededor del Sol'' (Besian Array)
(d) Ninguno de los meteoritos marcianos encontrados en la Tierra contiene fsiles de
organismos. Por consiguiente es poco probable que en Marte haya habido vida.
(e) Puesto que se necesitan al menos 2,3 segundos para accionar el cerrojo del rifle del
asesino, ste no pudo haber disparado 3 tiros en 5,6 segundos o menos, ya que
hubiera necesitado 6,9 segundos para hacerlo.
(f) Los anales de la medicina registran que de cada 100 seres humanos que han nacido,
49 son del sexo masculino. Dada la cantidad y variedad de poblaciones analizadas
podemos concluir que la probabilidad de nacimiento de un ser humano de sexo
masculino es, en funcin de los datos, de 0,49.

Ejercicio (5)
Determine si las siguientes oraciones representan un uso sintctico, pragmtico o
semntico del lenguaje:
(a) En algunos pases ''platicar'' se utiliza en lugar de ''conversar''.
(b) Se dice que un razonamiento no es vlido si y slo si de premisas verdaderas puede
llegarse a una conclusin falsa.
(c) La palabra silla es un sustantivo.
(d) Evite ser ambigo'' es es una mxima que beneficia la comunicacin.
(e) Se escribe me dijo que en lugar de me dijo de que.
(f) Si la editorial es londinense, en la bibliografa debes poner Londres en lugar de
London porque se debe citar el lugar de la edicin en castellano.
(g) Te refieres a Londres la capital de Gran Bretaa o a la ciudad catamarquea?

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

|9

Ejercicio (6)
Entrecomille las expresiones que estn mencionadas:
(a) No es cierto que todos los argentinos sean patriotas; por lo tanto argentino y
patriota no son sinnimos.
(b) Las palabras tringulo y triltero se refieren a los mismos individuos.
(c) Todos los tringulos son trilteros.
(d) Todos los tringulos son trilteros es un enunciado verdadero.
(e) Delante de p y b se escribe m y no n; por ejemplo, escribiremos pampa y no panpa.
(f) Todo acto moral es libre es verdadero. Ningn acto libre es compelido es
verdadero. Por consiguiente: ningn acto compelido es moral tiene que ser
verdadero.
Ejercicio (7)
En las siguientes oraciones distinga el lenguaje objeto del metalenguaje en los casos
en los que sea correcto hacerlo:
(a) e = mc2
(b) emc2 =, es una expresin incorrectamente construida.
(c) Las leyes de la mecnica newtoniana no se cumplen para cuerpos que viajan a una
velocidad cercana a la de la luz.
(d) e = mc2 no es reducible a la mecnica newtoniana.
(e) e = mc2 es verdadera si y slo s la parte que est a la izquierda del signo = asume
siempre el mismo valor que la parte que est a la derecha.
Ejercicio (8)
Construya oraciones que pertenezcan a un metalenguaje en el que se mencionen
las expresiones dadas.
(a) 2 + 2 = 4
(b) It rains.
(c) Todos los hombres son mortales.
(d) Prohibido girar a la izquierda.

10|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 1 Prof. Cecilia Duran

Soluciones de algunos de los ejercicios

Ejercicio (1)
a: es un argumento; Premisa: ``Para combatir la lgica es necesario utilizarla'';
Conclusin: ``La lgica es invencible.''
f.: es un argumento; Premisa 1: ``Lo que no consiente nunca la muerte es lo inmortal';
Premisa 2: ``El alma no consiente la muerte''; Conclusin: El alma es inmortal
j.: no es un argumento, no se infiere ninguna conclusin.
k.: no es un argumento, es una oracin condicional
Ejercicio (2)
(b): las premisas quedan indeterminadas, ya que los argumentos invlidos no garantizan
la preservacin de la verdad, por lo tanto, siendo la conclusin falsa, las premisas
pueden ser tanto verdaderas como falsas.
Ejercicio (3)
Argumento (c):
Forma lgica: Ningn A es B. Ningn C es A. / Ningn B es C.
Contraejemplo: A: pez; B: mamfero; C: equino
Argumento (d):
Forma lgica: No todo A es B. Todo B es C. / Algn A no es C.
Contraejemplo :A: argentino; B: bonaerense; C: americano

Ejercicio (4)
c.: No deductivo: se ampla la informacin contenida en las premisas (el movimiento de
la antorcha) al caso contemplado en la conclusin (el caso del Sol)
e: Deductivo: no hay ampliacin de la informacin ambas calculan el tiempo necesario
para efectuar los tiros.
Ejercicio (5)
(a): pragmtica (se refiere al ``uso'' del signo); (b): semntica (se define, es decir, se da
el significado, de la expresin en cuestin); (c): sintaxis (se da la categora del signo sin
importar su significado ni cmo se lo use)
Ejercicio (6)
e: Delante de ``p'' y ``b'' se escribe ``m'' y no ``n''; por ejemplo, escribiremos ``pampa'' y
no ``panpa''
Ejercicio (7)
b: LO: e mc2, ML: toda la oracin.
Ejercicio (8)
d: Dado que en Gran Bretaa se conduce por la izquierda, no suelen emplear carteles
que digan ``Prohibido girar a la izquierda''. (Metalenguaje pragmtico)

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Trabajo Prctico 2
Temas:
2.1. Presentacin intuitiva de la lgica proposicional. El concepto de oracin (o
enunciado o proposicin). Smbolos descriptivos y lgicos. Definiciones recursivas:
frmula bien formada.
2.2. Las conectivas lgicas como funciones de verdad. Su correlato con expresiones del
lenguaje natural.
3.1. La funcin valuacin para la lgica proposicional. Tablas de verdad. Contingencias,
tautologas y contradicciones. Implicacin (o condicional) material e implicacin lgica.
Paradojas de la implicacin material. Equivalencia material y equivalencia lgica. Leyes
lgicas. Principales meta-teoremas. Completitud funcional de la lgica proposicional.
3.2 Validez semntica de los argumentos o inferencias proposicionales. La prueba de
validez de argumentos por tablas de verdad. Prueba indirecta de validez. La nocin de
consecuencia lgica semntica.
4.1. La nocin sintctica de inferencia correcta. Deduccin Natural para la lgica
proposicional. Reglas de Introduccin y Eliminacin de las conectivas proposicionales.
Las nociones de demostracin y teorema. Pruebas por Reduccin al Absurdo. La nocin
de consecuencia lgica sintctica. La lgica minimal, intuicionista y clsica.
Bibliografa:
- Duran, Cecilia, Ficha de Ctedra: El mtodo del condicional asociado y el mtodo
indirecto. Anexo 1 de esta gua. (pg. 33 ss.)
- Gamut, L. T. F.,(1991) Gamut, L. T. F.,(1991) Lgica lenguaje y significado, Vol. 1,
Introduccin a la lgica, Bs.As., EUDEBA, 2009, caps. 2 (2.1 a 2.6) y 4 (excepto los
teoremas 6 a 13 del apartado 4.2.2; y el apartado 4.3.6).
Ejercicio (1)
Traduzca al lenguaje formal de la lgica proposicional las siguientes oraciones,
especificando el diccionario:
1) No hemos pedido ayuda.
2) No hemos pedido ayuda pero la necesitamos.
3) No hemos pedido ayuda ni la necesitamos.
4) No es cierto que hemos pedido ayuda y la necesitamos.
5) Platn era griego, pero Freud no.
6) Pedro y Camila estudian bioqumica aunque no se conocen.
7) Pitgoras era filsofo o no lo era.
8) O bien el asesino abandon el pas o bien alguien lo est encubriendo.
9) Argentina limita con Brasil o con Colombia.
10) No es verdad que Argentina limita con Brasil o con Colombia.
11) Argentina no limita con Brasil o no limita con Colombia.
12) Argentina limita con Mxico y con Brasil.
13) No es cierto que Argentina limita con Mxico y con Brasil.
14) Argentina no limita ni con Mxico ni con Brasil.
15) Argentina limita con Ecuador o con Brasil pero no con ambos.
16) No voy a llegar a tiempo a menos que tome un taxi.
17) Si eres cobarde entonces tienes conciencia del peligro.

| 11

12|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

18) Elena conseguir el puesto si tiene un amigo influyente.

19) Ganars dinero si tienes trabajo, aunque no lo hars si te despiden.
20) Si las aves trinan y el sol resplandece, entonces si vamos de picnic, pasaremos una
tarde apacible junto al estanque.
21) Si no voy a la playa entonces ir al casino, si voy a Mar del Plata.
22) Si es cierto que Pedro es pintor o albail, entonces si no es albail, es pintor.
23) n es divisible por 2 si lo es por 4.
24) n es divisible por 4 slo si lo es por 2.
25) No es cierto que slo si tiene un promedio mayor de 8, puede inscribirse en la beca.
26) Que tengas dos billetes de $10 es condicin suficiente para que tengas $20; adems,
es condicin necesaria tener 20$ para poder entrar al cine.
27) Mariano no est casado si y slo si es soltero.
28) Si es menor de edad entonces puede casarse siempre y cuando tenga permiso de sus
padres.
29) Es cierto que quieres irte al exterior o no lo quieres, pero tambin es cierto que lo
quieres y no lo quieres.
30) La suma de dos nmeros enteros es par si y slo si o bien ambos nmeros son pares
o bien ambos nmeros son impares.
31) Si recorremos Suecia o Noruega entonces no recorremos Dinamarca, si vamos a
Europa.
32) Siempre y cuando consigas pasaje y tengas tiempo podrs venir a visitarme y
descansar un poco, pero yo ir a visitarte si no obtienes ni lo uno ni lo otro
Ejercicio (2)
Traduzca al lenguaje formal de la lgica proposicional los siguientes argumentos,
especificando el diccionario
1) Si la neurosis obsesiva es hereditaria, entonces el nmero de neurticos obsesivos
con antecedentes familiares de esa dolencia ser significativamente mayor que el de
los neurticos obsesivos que no presentan tales antecedentes. Sin embargo, esto
ltimo es falso. Es necesario concluir que la neurosis obsesiva no es hereditaria.
2) Para que el trabajador no vaya a la huelga es condicin necesaria que reciba un
salario digno. Pero, si esto ltimo no ocurre, no cumplir con su trabajo ni con su
familia. Por lo tanto, o tiene un salario digno o no cumple con su trabajo, dado que
va a la huelga o no cumple con su familia.
3) No es verdad que sea condicin necesaria ganar esta partida para salir campen;
puesto que slo si se gana el partido final, se sale campen. Y ambas cosas pasarn
si y slo si se est bien concentrado y se pasan las eliminatorias.
Ejercicio (3)
Determine si cada una de las siguientes expresiones es una frmula de la lgica
proposicional dibujando su rbol constructivo. En caso de que lo sean clasifquelas
como frmula atmica, negacin, conjuncin, disyuncin, implicacin o
equivalencia.
(1)

p q

(2) p q

(3) (p q) (p q)

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (4)
Suponga que V(p) = 1 y V(r) = 0 y encuentre el valor de verdad de las siguientes
oraciones:
(1) (p q) r

(2) r (s p)

(3) p (p r)

Ejercicio (5)
Suponiendo que el V(p q) = 0,
qu puede decir acerca del valor de verdad de ( p q) (p q) ?

Ejercicio (6)
Analice el siguiente problema, complete los puntos suspensivos y justifique su
respuesta:
El detective Yerloc Jolmes estaba a una semana de partir de viaje para disfrutar del
verano europeo cuando su jefe lo conmin telefnicamente a que resolviera el caso del
asesinato del Sr. Prieto. Yerloc Jolmes se jur resolver el caso en una semana y
continuar con su plan original. Junt inmediatamente la evidencia disponible. Contaba
con los siguientes datos e indicios confiables:
(a) El Sr. Prieto fue asesinado en su dormitorio de un tiro en la cabeza.
(b) Hay tres sospechosos: los sres. Avalos, Bogo y Caro quienes pertenecen a la
mafia.
(c) La mafia admiti la autora del crimen, pero ninguno de los sospechosos confes
su culpabilidad.
(d) El Sr. Prieto estaba acompaado slo por los 3 sospechosos en el momento de su
muerte violenta.
El detective Yerloc Jolmes descubri que un testigo observ todo a travs de la ventana
del cuarto de Prieto. Cuando Yerloc Jolmes averigu los antecedentes del testigo le
informaron que padeca de una enfermedad muy inusual: era incapaz de mentir. El
testigo ideal! Yerloc Jolmes lo cit inmediatamente a su despacho para interrogarlo y
partir de viaje. Para su desgracia, el testigo no se present pues tema convertirse en la
prxima vctima de la mafia. Sin embargo, el testigo sinti remordimientos por faltar a
su deber cvico y envi al detective un mensaje en el que la verdad apareciera lo
suficientemente confusa como para que lo consideraran loco de remate y no lo citaran
ms. Este fue su mensaje:
Caro es culpable, si Avalos era amigo de Prieto. Bogo es culpable a menos que Avalos
fuera amigo de Prieto. Caro es inocente o Avalos no estaba en el dormitorio de Prieto
la noche del crimen.
Yerloc Jolmes qued atrapado. No tuvo ms remedio que postergar sus planes de viaje y
tomar un curso de lgica en la UNLP. Un semestre despus, el detective volvi a leer el
texto del mensaje. Dado que cada una de las tres afirmaciones expresadas en el mismo
era verdadera, concluy que ....................... era el asesino. Al fin podra tomar sus
vacaciones. Encarg a su ayudante que se ocupara de buscar las pruebas faltantes y se
congel en el invierno europeo.

| 13

14|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (7)
Determine mediante tablas de verdad si las siguientes frmulas son tautologas,
contradicciones o contingencias.
1) (p q) (p q)

2) (p q) (p q)

3) (p q) (r q)

Ejercicio (8)
Dados los siguientes esquemas de argumento, determine su validez o invalidez
mediante el mtodo del condicional asociado y coloque o entre las premisas y la
conclusin segn corresponda:
1) q r , p r / p q

2) p (qr) / (pq) r

3) (p q) r / p (qr)

Ejercicio (9)
Determine la validez o invalidez de los siguientes esquemas de argumento mediante
el mtodo indirecto de asignacin de valores de verdad y coloque o entre las
premisas y la conclusin segn corresponda:
1) (p (p q)) / p q
2) s q, r p, p q / (s r)
3) s (q r), t s, p (q r) / (t p) (q r)
4) (p q) r, (p q ) r / p ((q r) (q r))
Ejercicio (10)
Determine si las siguientes frmulas son tautologas o no mediante el mtodo
indirecto de asignacin de valores de verdad y coloque o delante de la frmula
segn corresponda:
1) (p (q r)) ((q r) p)
2) (p p) (p p)
3) (( p q) (p q)) (q p)
Ejercicio (11)
Determine si los siguientes pares de frmulas son o no lgicamente equivalentes,
mediante el mtodo indirecto de asignacin de valores de verdad:
1) p q y
( p q)
2) p (q r)
y
p (q r)
3) (p q) (p r) y
p (q r)

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (12)
Dadas tres frmulas cualesquiera tales que sea una tautologa, sea una
contradiccin y sea una contingencia, determinar si los siguientes pares de
frmulas son lgicamente equivalentes, o, en caso de que no lo sean, determinar si
alguna de ellas implica lgicamente a la otra:
1)
2)
3)
4)
5)

y
y

6)
7)
8)
9)
10)

y
( ) y

y

y

Ejercicio (13)
Determinar si los esquemas de argumento de la tabla B constituyen casos de los
esquemas inferenciales de la tabla (A):
A1

A2

B1
p (q r)
(q r) p
B6
(p q) r
(p q) s
rs
s

A3

B2
p
p q
B7
pq
pq
qq
q

B3
(p q) r
((p q) r) r
B8
(p q)
p r
q r
r

B4
p (q r)
(q r) p
B9
p q
(p q) r

Ejercicio (14)
Completar los pasos que faltan en las siguientes deducciones:
1. 1)
2)
3)
4)
5)

(p q) (r s)
p
..
..
s

supuesto
supuesto
I, 2
E, 1,3
E, 4

/s

B5
p
pp
B10
p q
q p

| 15

16|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

pq
qr
..
..
.

2. 1)
2)
3)
4)
5)
6)

pr

3. 1)
2)
3)
4)
5)
6)

4.

5. 1)
2)
3)
4)
5)
6)
7)
8)
9)

supuesto
supuesto
supuesto
E, 1,3
E, 2,4
I

pq
q

supuesto
supuesto

supuesto
E, 1,3
E, 2,4
I

p (r q)
pq
.
.
.
.
.
.
.
.

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

q r

/pr

/ p

supuesto
supuesto

/ q r

supuesto
supuesto
supuesto
E, 4,5
I
E,1,2,7
E,3,8
I
I

pq
pq
q

supuesto
supuesto
supuesto

supuesto
Rep., 4
I
E,2,1,6
E,3,7
EFSQ, 8

/s

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (15)
Efectuar las siguientes derivaciones utilizando las reglas bsicas del sistema de
deduccin natural de Gentzen:
1)
2)
3)
4)
5)

(p q) r, q r s
p (q r) (p q) r
(p q) r p (q r)
p (q r) (p q) (p r)
p (q r), (p r) (s t) s

6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)

p (q r) (p q) (p r),
p (p q)
p (q r) r p
p q, p q
(p q) (p r) p (q r)
(p q)

q
p q, r q, (p r) s s t
p (q r) (p r) q
(p p)
(p q) ((p r) (q r))
p p
((p q) p) p
(p q) p q
p q (p q)
p q p q
(p q)
p q

Ejercicio (16):
Teniendo en cuenta las equivalencias lgicas consignadas en Gamut, (cap. 2
ejercicios 6 y 7), y dada la siguiente lista de frmulas encuentre para cada frmula,
otra lgicamente equivalente y expresada en trminos de las conectivas que se
solicitan (y en caso de ser necesario). [Ejemplo: p q, en trminos de y : en
Gamut, cap.2, ej.6 (f) se establece que es lgicamente equivalente a ( );
por consiguiente, p q es lgicamente equivalente a (p q) y, por doble
negacin a (p q)]
1. p q
(empleando )
2. (p q) (empleando )
3. (p q) (empleando )
4. (p q) (empleando )
5. (p q)
(empleando )
6. p (q r)
(empleando )
7. (p q) r
(empleando )
8. (p q) r
(empleando )
9. p (q r)
(empleando)

| 17

18|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Soluciones de algunos ejercicios

Ejercicio (1)
15) Diccionario: p: Mara vive en Buenos; q: Mara vive en La Plata.
Frmula: p q
26) Diccionario: p: t tienes dos billetes de $10; q: t tienes $20; r: t puedes entrar al
cine.
Frmula: (p q) (p r)
Ejercicio (2) arg. 2
Premisa 1: Para que el trabajador no vaya a la huelga es condicin necesaria que reciba
un salario digno.
Premisa 2: Si el trabajador no recibe un salario digno, no cumplir con su trabajo ni con
su familia.
Premisa 3:El trabajador va a la huelga o no cumple con su familia.
Conclusin o el trabajador tiene un salario digno o no cumple con su trabajo
Diccionario: p: El trabajador va a la huelga; q: El trabajador recibe un salario digno; r:
El trabajador cumplir con su trabajo; s: El trabajador cumplir con su familia.
Esquema:
p q,
q (r s),
p s
/
q r
Ejercicio (3)
No se han dibujado los rboles constructivos
2) No es una fr., ya que la negacin no va delante de la conjuncin.
Ejercicio (4)
V(r (s p)) = 1, porque V(r) = 0 y entonces la valuacin del condicional es 1.
Ejercicio (7): (1) Es una tautologa:
(p q) (p q)
1

01

1 1

01

0 1

1 1

10

0 0

10

0 0

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (8)
2) (p (q r)) ((p q) r) condicional asociado
1 1 1 1
1 1 1
1 1 1 1
0 1 1 1
1 1 0
0 1 1 1
1 1 0 1
1 1 1
0 0 1 1
0 1 0 1
1 1 0
0 0 1 1
1 0 1 0
0 1 1
1 1 0 0
0 1 1 0
0 1 0
0 1 1 0
1 1 0 1
0 1 1
0 0 1 0
0 1 0 1
0 1 0
0 0 1 0
Resultado: dado que la oracin condicional asociada al esquema de argumento es una
tautologa, hemos demostrado que se cumple que p (q r) (p q) r , (es
decir el esquema de argumento es vlido)

Ejercicio (9)
3)
hip

(q

r)

(q

r)

(t

p)

(q

1
10
10

r)

0
1

1
1
1

1
1

01

01

01
10

10
1

1
0

10
01

La 3 alternativa cumple con la hiptesis, de modo que el argumento es invlido, por lo

tanto: s (q r), t s, p (q r) (t p) (q r)
Ejercicio (10)
3)
((p
hip
1

q)

1
0

2
1

1
1

0
0

(p

1
contrad 0
0
0
contrad 1
1
1
0

q))

(q

p)

0
1

1
1
1
1

(a)

(b)

1
1
0
0

0
0
(c)
La alternativa 2(b) cumple con la hiptesis, de modo que la fr. no es una tautologa :
(( p q) (p q)) (q p)

| 19

20|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (11)
1)
hip
1

(p

q)

0
01

1
01
1

q)

0
contrad 1
1
1
1

1
0
01
contr. 01
1
0
Dado que todas las valuaciones alternativas posibles (para demostrar que la
equivalencia material entre ambas no es tautolgica) llevan a contradecir la hiptesis, se
sigue que las frmulas son lgicamente equivalentes.

Ejercicio (12.5)
(1) V( ) = 0, dado que para toda valuacinV, V() = 1 y V() = 0 (y la df,. de
valuacin para el ). Es decir, es una contradiccin.
(2) V( ) = 1, cuando V() = 1 y V( ) = 0, cuando V() = 0 dado que para toda
valuacin V, V() = 1 (y df. de valuacin de la ). Es decir, es una contingencia.
(3) Por consiguiente no son lgicamente equivalentes puesto que hay al menos un caso
en el que V( ) = 1 y V( ) = 0, razn por la cual . Pero
, puesto que la primera es siempre falsa.
Ejercicio (13)
B7 se corresponde con A3. B7, se corresponde con A3. Reemplazos: = p; = q; = q
Ejercicio (14)
4.

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

p (r q)
pq
q
r
rq
q
(r q) q
q

r
q r

supuesto
supuesto
supuesto
supuesto
supuesto
E, 4,5
I
E,1,2,7
E,3,8
I
I

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Ejercicio (15)
5.

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)

p (q r)
(p r) (s t)
p
pr
p (p r)
qr
r
pr
(q r) (p r)
pr
st
s

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)

(p q) p
p
p

q
pq
p

p
p
((p q) p) p

supuesto
supuesto
supuesto
I,3
I
supuesto
E,6
I,7
I
E,1,5,9
E,2,10
E,11

11. 1) (p q)
2) q
3) p
4) q
5) p q
6)
7) q

supuesto
supuesto
supuesto
Rep.2
I
E,1,5
I

17

21.

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)

(p q)
(p q)
p
q
pq

q
p q

p
p q

(p q)
p q

Ejercicio (16)
1)
(p q)

4)

sup
sup
sup
E,2,3
EFSQ,4
I
E1,6
E,2,7
I
, 9
I
sup
sup
sup
sup
I,3,4
E,1,5
I
I,7
E2,8
I
I,10
E,2,11
I
,13

p q

1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)

p q
pq
p
p

p
q
q

(p q)

6) p (q r)

sup.
sup
sup
E,2
E,3,4
I
sup
E,2
E,7,8
I
E,1,6,10
I

9) (p (q r))

| 21

22|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 2 Prof. Cecilia Duran

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

Trabajo Prctico 3
Temas:
Tercera parte: La Lgica de Predicados
Unidad 5: El lenguaje de la lgica de Predicados (o de Primer Orden)
5.1 Variables de individuo, constantes de individuo, letras de predicado y
cuantificadores. Frmulas: oraciones y funciones proposicionales. Clases de funciones
proposicionales. Las relaciones como funciones proposicionales n-dicas.
Cuantificacin universal y existencial. Definicin recursiva de frmula. La traduccin
del lenguaje natural al lenguaje de la Lgica de Predicados. Nociones de teora
elemental de conjuntos.
Unidad 6: La Semntica de la lgica de Predicados.
6.1. Elementos de Teora de conjuntos. Funciones y Relaciones. Propiedades de las
relaciones. Funciones de Interpretacin. Interpretacin por Sustitucin. Limitacin de la
interpretacin por Sustitucin. Validez Universal. Identidad. Relaciones y propiedades
de las relaciones.
6.2 La validez de los argumentos en la Lgica de Predicados. La demostracin de
invalidez por contraejemplos o contramodelos. Argumento vlido y frmula
universalmente vlida.
Unidad 7: El enfoque sintctico de la correccin de argumentos en la lgica de
Predicados.
7.1. Deduccin Natural para la Lgica de Predicados. Reglas de Introduccin y
Eliminacin de los cuantificadores. Principales meta-teoremas de la lgica de Primer
Orden.
Bibliografa:
Gamut, L. T. F.,(1991) Lgica lenguaje y significado, Vol. 1, Introduccin a la lgica,
Bs.As., EUDEBA, 2009, caps. 3 (apartados 3.1 a 3.6.5, excepto 3.6.3) y 4 (en especial
el apartado 4.3.6)
Ejercicio (1)
Traduzca al lenguaje formal de la lgica de predicados de primer orden las
siguientes oraciones. En cada caso especifique el diccionario:
1)
Ana estudia pero no trabaja.
2)
Si Juan y Ernesto no trabajan, ninguno de ellos es asalariado.
3)
El actual rector de la UNLP es arquitecto.
4)
l es mi primo.
5)
Alguien es mi primo.
6)
Mara extravi el reloj que le regal su abuela.
7)
Todo es comestible.
8)
No todo es comestible.
9)
Nada es comestible.
10) No es cierto que nada es comestible.
11) Algo no es comestible.
12) No hay comestibles.
13) Todo es material o ideal.
14) Todo es material o todo es ideal.

| 23

24|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

15)
16)
17)
18)
19)
20)
21)
22)
23)
24)
25)
26)
27)
28)
29)
30)
31)
32)
33)
34)
35)
36)
37)
38)
39)
40)

Todos los rombos son cuadrilteros.

Ningn rombo es cuadriltero.
Ciertos rombos son cuadrilteros.
Algunos rombos no son cuadrilteros.
No cualquier rombo es cuadriltero.
No es cierto que ningn rombo es cuadriltero.
Todo tringulo equiltero es equingulo.
Ningn ngulo agudo es obtuso o recto.
Algunos pjaros cantan al atardecer pero otros no.
Perro que ladra no muerde.
Si Juan es ms alto que Ana entonces alguien es ms alto que Ana.
Si Juan y Pedro son hermanos, entonces no se odian mutuamente.
Todos aman a todos.
Todos no aman a alguien.
Todos se aman a s mismos, pero nadie ama a todos.
Quien no ama a nadie no se ama a s mismo.
No todos aman a alguien aunque alguien ama a todos.
Alguien no ama a nadie y alguien no es amado por nadie.
Nadie que se respete a s mismo respeta a todos.
Los nios admiran a los padres.
Los nios admiran a sus padres.
Los nios admiran solamente a sus padres
Todos escribieron alguna carta
Todos creen en quien cree en s mismo.
Juan pidi prestado algn dinero al Banco Francs.
Todos enviaron alguna carta a Alberto.

Ejercicio (2)
En cada una de las siguientes frmulas de la lgica de predicados:
a) Determine el alcance de los cuantificadores.
b) Reconozca cules son funciones proposicionales y cules oraciones (proposiciones).
c) Transforme las funciones proposicionales en proposiciones.
Frmulas: (Pa Pb) Pa) Pb
1) Px Qx
2) xPx xQx
3) x(Px Qx)
4) xPx Qx
5) x(Px Qx) (xPx Qx)
6) (Pa xPx)
7) x(y(Ryy Ryx) Rxy)

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

| 25

Ejercicio (3)
Traduzca al lenguaje natural las siguientes frmulas de la lgica de predicados,
dado el diccionario: Lx: x es altruista, Ex: x es egosta; Axy: x ayuda a y; Dominio
{personas}
1) x(Lx Ex)
2) xy(Axy Axx)
3) x(Lx yAxy)
4) x(Axx Ex) x (Axx Ex)
Ejercicio (4)
Teniendo en cuenta las siguientes definiciones de cuantificadores y de conectivas:
Df. Cuantificadores
x

Df,

Df,

Df,

Df,

( )

( )

encuentre frmulas lgicamente equivalentes y en los trminos solicitados (y la

negacin, en caso de ser necesaria).
[Ejemplo: x(Ax Bx) en trminos de y
a) x(Ax Bx) es lgicamente equivalente a x(Ax Bx), por Df. ]
b) x(Ax Bx) es lgicamente equivalente a x(Ax Bx)
c) x(Ax Bx) es lgicamente equivalente a x (Ax Bx), por doble negacin]

1)
2)
3)
4)

x(Ax Bx) (en trminos de ,)

x(Ax Bx) (en trminos de ,)
x(Ax Bx) (en trminos de ,)
x(Ax Bx) (en trminos de ,)

Ejercicio (5)
Dados los dos diagramas siguientes:
Diagrama 1

P
1

Diagrama 2

P1

P3
P3
y dado un lenguaje con tres constantes a1, a2 y a3 que son interpretadas como I(a1
= P1, I(a2) = P2 e I(a3) = P3 y una letra de predicado mondico C (entendida como
''x est circulado'') y la letra de predicado binario F (entendida como ``x flecha a
y'' que se da entre dos puntos no necesariamente distintos):

26|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

a) Defina exactamente los modelos M1 y M2 correspondientes a los diagramas

1 y 2.
b) Traduzca las siguientes frmulas al lenguaje natural
c) Determine sobre la base de su significado la verdad o falsedad de las
frmulas en M1 y en M2
Frmulas:xyFxy
1) x(Cx Fxx)
2) yxFxy
3) x(Cx yFxy)
4) xy((Fxy Fyx) (Cx Cy))
Ejercicio (6)
Considere un lenguaje como el del ejercicio anterior y suponga que existe un
Dominio D y una interpretacin I tal que se cumple que si un punto cualquiera
flecha a un segundo punto (no necesariamente distinto del primero), entonces el
segundo no flecha al primero. En esa I, la oracin xFxx ser verdadera o
falsa? Justifique su respuesta
Ejercicio (7)
En cuntos modelos M, V(xPx xPx) = 1? Justifique su respuesta.
Ejercicio (8)
Encuentre un modelo M que muestre que los siguientes esquemas de argumentos
son invlidos (= un contraejemplo o contramodelo):
1) x(Px Qx), xQx xPx
2) xyFxy xFxx
3) xyFxy, xy(Fyx Fxx) xy(Fxy Fyx)
4) xy(Cx Fxy), xCx x(Cx yFxy )
5) xyFxy, x(Cx Fxx ) yFyy
6) xyFxy, yCy, xy(Fxy Cy), x(Cx y Fyx) xyFxy
Ejercicio (9)
Encuentre un contraejemplo (o contramodelo), empleando las interpretaciones por
sustitucin, que muestre que las siguientes frmulas no son universalmente
vlidas: xPx xPx
1) x(Px Qx) x(Px Qx)
2) xyRxy xyRxy
3) x(Px Qx)
4) xPx xQx

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

Ejercicio (10)*
Empleando las interpretaciones por sustitucin (suponiendo que todos los
elementos de un modelo tienen nombre), demuestre que
1) x x
3) xyRxy yxRyx
2) xPx xPx
4) xyFyx xyFxy
Ejercicio (11)
Encuentre un modelo M que muestre que cada uno de los siguientes conjuntos de
frmulas son satisfactibles (verdaderos al menos en un modelo y una
interpretacin):
1)
2)
{x(Px Qx), xPx, xQx}
{x(Fxx yFxy), xFxx}
Ejercicio (12)
Completar los pasos que faltan en las siguientes derivaciones:
1. 1) x(PxQx)Rb sup.
2. 1) x((PxQx)y(QyRxy)) sup
2) xQx
sup
2)
E,1
3)
3)
sup
E, 2
4)
4)
E,2,3
I,3
5)
5)
I,4
E, 4
6) Rb
E,1,5
6)
E,3
7)
E,5,6
8)
I
9) x((PxQx)Rxx))
I,8
3. 1) xyRxy sup
2)
sup
3)
E,2
4)
I,3
5)
I,4
6)
I
7) yxRxy E,1,6
Ejercicio (13)
Efectuar las siguientes derivaciones utilizando las reglas bsicas del sistema de
deduccin natural de Gentzen:
1) xPx
xPx
2) xPx
xPx
3) xPx
xPx
4) xPx
xPx
5) x(Px Qx) xPx xQx

*
Este ejercicio as como los conceptos tericos que presupone sern abordados sii el
calendario acadmico lo permite.

| 27

28|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

6) x(Px Qx), xQx xPx

7) xyRxy yxRxy
8) xyRxy xRxx
9) xyRxy xRxx
10) xy(Rxy Ryx) xRxx
11) (xPx xQx) x(Px Qx)
12) x(Px Qx) (xPx xQx)
13) xyRyx xyRxy
Ejercicio (14)
Cul es el (meta)teorema que garantiza que todas las derivaciones construidas en
el ejercicio 12 son prueba suficiente de que las premisas de esos esquemas de
argumento implican lgicamente a su conclusin? Formlelo y explique su
significado.

Soluciones de algunos de los ejercicios

Ejercicio (1)
2) Diccionario: j: Juan; e: Ernesto; Tx: x trabaja; Ax: x es asalariado; Dominio:
{personas} Forma lgica: (Tj Te) (Aj Ae)
10) Diccionario: Cx: x es comestible. Dominio: {cosas}. Forma lgica: xCx
16) Diccionario: Rx: x.es rombo, Cx: x es cuadriltero; Dominio: {figuras geomtricas}
Forma lgica: x(Rx Cx)
20) Diccionario: Rx: x.es rombo, Cx: x es cuadriltero; Dominio: {figuras geomtricas}
Forma lgica: x(Rx Cx)
24) Diccionario: Px: x es perro; Lx: x ladra; Mx: x muerde; Dominio: {animales}
Forma lgica: x((Px Lx) Mx)
31) Diccionario: Axy: x ama a y. Dominio: {personas}.
Forma lgica: xyAxy xyAxy
35) Diccionario: Nx: x es nio; Axy: x admira a y; Px: x es padre; Dominio: {personas}
Forma lgica: xy((Nx Py) Axy) xy(Nx (Py Axy))
38) Diccionario: Cxy: x cree en y; Dominio: {personas}.
Forma lgica: xy(Cxx Cyx)
Ejercicio (2)
(a) (6)x: Px Qx; x: Px; (7) x: Px;
(b) (6) funcin proposicional: x est libre en el segundo Qx. (7) proposicin
Ejercicio (3):
Ningn altruista es egosta; (3) Todo altruista ayuda a todos.
Ejercicio (4.1)
(a) x(Ax Bx) es lgicamente equivalente a x(Ax Bx), por df.
(b) x(Ax Bx) es lgicamente equivalente a x(Ax Bx), por df
(c) x(Ax Bx) es lgicamente equivalente a x(Ax Bx), por doble
negacin

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

Ejercicio (5)
Frmula (4): x(Cx yFxy)
(a) Todos estn circulados o flechan a alguno.
(b) M1: D:{P1, P2, P3}; I(a1) = P1; I(a2) = P2; I(a3) = P3; I(C) = {P2};
I(F) = {<P1, P1 >, < P1, P2>, < P2, P2>, < P3, P1>, < P3, P2>}
M2: D:{P1, P2, P3}; I(a1) = P1; I(a2) = P2; I(a3) = P3; I(C) = {P1, P3};
I(F) = {<P1, P1 >, < P1, P3>, < P3, P1>, < P3, P2>}
(c) En M1: la frmula es verdadera ya que todo punto flecha a alguno cumplindose as
la segunda parte de la disyuncin y con ello la totalidad de la frmula.
En M2: La frmula es falsa porque el punto P2 no flecha a ningn punto y tampoco est
circulado. Siendo la un caso de la disyuncin (el caso correspondiente a P2), el universal es
falso.

Ejercicio (7) :
En ninguno porque en todo modelo en el que se cumpla que VM(xPx) = 1, se cumplir
que VM(xPx) = 0; y en todo modelo en el que se cumpla que VM(xPx) = 0, se cumplir
que VM(xPx) = 1. Por tanto, por def.Vcl., en todo modelo se cumplir que V(xPx
xPx) = 0
Ejercicio (8.3)
M: D: {P1, P2}; I(a1) = P1, I(a2) = P2; I(F) = {<P1, P2>, <P2, P2>}
Ejercicio (9.2)
M: D = {1,2}; I(a1) = 1; I(a2) = 2; I(P) = (= conjunto vaco); I(Q) = {1}
Ejercicio (10.1)
Debemos probar que V(x x) = 1 en todo modelo. Como el enunciado es una
implicacin material, por cl. de la def.V hay que probar que en todo modelo y toda
interpretacin en la que V(x) = 1 se cumplir que V(x) = 1 (prueba directa), o, lo
que es lo mismo, que no puede darse el caso que exista un modelo tal que V(x) = 1 y
V(x) = 0 (prueba por el absurdo).
Prueba directa:
(1) Dado un modelo M cualquiera se cumplir que V(x) = 1 o que V(x) = 0
(principio del tercero excluido)
(2) Si V(x) = 0 entonces V(x x) = 1, por cl, df. V.
(3) Si V(x) = 1 entonces V([c/x]) = 1 para toda constante c de L, cl,df.V.
(4) Si V([c/x]) = 1 para toda constante c de L, entonces V(x) = 1, cl,df.V.
(5) Si V(x) = 1 entonces V(x) = 1, por transitividad de (3), (4)
(6) V(x x) = 1 en todo modelo, de (2) y (5), cl,df.V
Prueba por el absurdo:
(1) Supngase que existe por lo menos un modelo M tal que VM(x x) = 0
(2) VM(x ) = 1 y VM(x) = 0, de (1) , cl,df.V.
(3) V([c/x]) = 1 para toda constante c de L, de (2),cl,df.V
(4) V([c/x]) = 0 para toda constante c de L, de (2),cl,df.V

| 29

30|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Trabajo Prctico 3 Prof. Cecilia Duran

(5) las lneas (3) y (4) se contradicen, por lo que el supuesto de partida es falso y
entonces si no existe el modelo supuesto en (1), se cumple que x x
Ejercicio (11):
1. D = {1, 2}, I(a1) = 1 ; I(a2) = 2 ; I(P) = {1}; I(Q) = {2}
Ejercicio (12)
2. 1) x((PxQx)y(QyRxy)) sup
2) (Pa Qa)y(QyRay))
E,1
3) Pa Qa
sup
4) y(Qy Ray)
E,2,3
5) Qa Raa
E, 4
6) Qa
E,3
7) Raa
E,5,6
8) (Pa Qa) Raa
I
9) x((PxQx)Rxx))
I,8
Ejercicio (13)
1 1)
2)
3)
4)
5)
6)
7)
8)
6 1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)

xPx
xPx
Pa
Pa

Pa

xPx

x(Px Qx)
xQx
Pa Qa
Pa
xPx
Pa xPx
Qa
Qa

xPx
Qa xPx
xPx
(PaQa) xPx
xPx

sup.
sup.
sup.
E,1
E ,3,4
I
E ,2,6
I
sup
sup
sup
sup
I, 4
I
sup
E, 1
E,7,8
EFSQ, 9
I
E, 3,6,11
I
E, 1,13

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

| 31

FICHA DE CATEDRA
Estandarizacin de la tcnica del condicional asociado y del mtodo indirecto de
asignacin de valores de verdad. (Prof. Cecilia Duran)
Una oracin (o proposicin) condicional material debe distinguirse de un
argumento, por ejemplo:
(1) Si mi automvil funciona entonces tiene combustible. (condicional material)
(2) Dado que si un automvil funciona entonces tiene combustible y que mi automvil
funciona, se sigue que mi automvil tiene combustible. (argumento)
El condicional material es una conectiva veritativo funcional que permite formar
proposiciones complejas a partir de proposiciones ms simples. Su significado queda
expresado en su tabla de verdad: un condicional material es verdadero si y slo si su
antecedente es falso o su consecuente es verdadero o, dicho de otro modo si no se da el
caso que su antecedente sea verdadero y su consecuente falso. Una oracin condicional
material verdadera establece una cierta relacin entre los hechos expresados por el
antecedente y el consecuente: el antecedente es condicin suficiente del consecuente y el
consecuente es condicin necesaria del antecedente. Mientras que un argumento vlido
establece una relacin entre oraciones; a saber, que si las premisas son verdaderas,
entonces la conclusin tambin lo es.
A pesar de que una oracin (o proposicin) condicional material es distinta de un
argumento, existe una analoga entre las condiciones de tautologicidad de una oracin (o
proposicin) condicional material y las condiciones de validez de un argumento.
Un condicional material es tautolgico, es decir 1, si y slo si para toda
valuacin V se cumple que V( ) = 1. A su vez, dada la tabla de verdad del
condicional material podemos afirmar que V( ) = 1 si y slo si V() = 0 V() =
1; dicho de otro modo:
(3) si y slo si no existe una valuacin V tal que V() = 1 y V() = 0.
Supongamos ahora que el antecedente del condicional material es una conjuncin de n
oraciones: 1 n. En este caso, para que se cumpla que un condicional tal sea
tautolgico, es decir (1 n) , deber cumplirse que al menos uno de los
conjuntivos del antecedente sea falso (con lo cual el antecedente es falso) o que el
consecuente sea verdadero; o, dicho de otro modo:
(4) (1 n) si y slo si no existe una valuacin V tal que V(1) = V(n)
= 1 y V() = 0.

Empleamosvariablesmetalgicasenlugardeletrasproposicionalesparaindicarquetantoelantecedentecomo
elconsecuentepodranserasuvezoracionesmoleculares.

32|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

Advirtase que un esquema de argumento es semnticamente vlido si y slo si no

existe un ejemplo de sustitucin tal que sus premisas sean verdaderas y su conclusin sea
falsa, es decir:
(5) 1, , n si y slo si no existe una valuacin V tal que V(1) = V(n) = 1 y
V() = 0.
Dado un esquema de argumento, es posible construir una oracin condicional
asociada al mismo (pero que no debe confundirse con el argumento) de forma tal que el
antecedente del condicional est formado por la conjuncin de las premisas del
argumento y el consecuente sea la conclusin del argumento. Dado el esquema de
argumento
1, , n /
su oracin condicional material asociada es
(1 n) .
Supongamos ahora que el esquema de argumento es invlido, es decir existe al menos
una valuacin V tal que V(1) = V(n) = 1 y V() = 0. Advirtase que esa misma
valuacin permitira determinar que el condicional asociado tiene al menos una valuacin
que lo hace falso, es decir no es tautolgico.
A la inversa, si el condicional asociado no es tautolgico, el esquema de argumento al
cual est asociado no puede ser vlido, pues tendr al menos un caso de premisas
verdaderas y conclusin falsa.
Ahora supongamos que el esquema de argumento es vlido. En tal caso, segn (5) no
existe una valuacin V tal que V(1) = V(n) = 1 y V() = 0. Pero entonces en este
caso, el condicional asociado es tautolgico, segn (4). Y viceversa.
Es decir, la relacin que nos interesa enfatizar entre un condicional material y un
esquema de argumento consiste en que las condiciones de tautologicidad de un enunciado
condicional son anlogas a las condiciones de validez de un esquema de argumento.
Esta analoga es fecunda pues permite disear mtodos de decisin para
determinar la validez o invalidez de un argumento.
A continuacin consignamos en forma resumida los pasos a seguir en dos
procedimientos del tipo mencionado: el mtodo del condicional asociado y el mtodo
indirecto (o abreviado) de asignacin de valores de verdad.

(I) Tcnica del condicional asociado para determinar validez o invalidez de argumentos:
1) Traducir el argumento al lenguaje de la Lgica Proposicional.
2) Construir el enunciado condicional asociado al esquema de argumento hallado en el
paso anterior.
3) Asignar valores de verdad al enunciado condicional y resolver la tabla de verdad.
4) Interpretar el resultado:

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

| 33

a. si el enunciado condicional es tautolgico, el esquema de argumento al cual

est asociado es vlido (y por consiguiente todos sus ejemplos de sustitucin
son argumentos vlidos);
b. si el enunciado condicional no es tautolgico, el esquema de argumento al
cual est asociado no es vlido (y por consiguiente todos sus ejemplos de
sustitucin son argumentos invlidos).

(II) Mtodo indirecto de asignacin de valores de verdad:

A. Aplicado para determinar la validez o invalidez de un esquema de argumento,
dicho de otro modo, para determinar si las premisas implican lgicamente a la
conclusin (1, , n ) o no la implican (1, , n ):
1) Se supone que cada una de las premisas es verdadera y la conclusin falsa, es
decir V(premisa) = 1, para cada premisa, y V(conclusin) = 0.
2) Se intenta encontrar una asignacin de valores para cada frmula de modo que
se cumpla la hiptesis.
3) Resultado:
(a) Si se encontr una asignacin como la buscada se termina el ejercicio y,
por cumplirse la hiptesis, el argumento es invlido.
(b) Si toda asignacin posible lleva a una contradiccin con la hiptesis: se
seala la o las contradicciones (en caso de que hubiere ms de una
asignacin posible) y el resultado es que el argumento es vlido.
B. Aplicado para determinar si una frmula es una tautologa ( ) o no lo es ( ):
1) Se supone que la frmula es falsa, es decir que su valuacin es 0.
2) Se intenta encontrar una asignacin de valores para la frmula de forma tal
que se cumpla la hiptesis.
3) Resultado:
a) Si se encontr una asignacin como la buscada se termina el ejercicio
y, por cumplirse la hiptesis, la frmula no es una tautologa.
b) Si toda asignacin posible lleva a una contradiccin con la hiptesis:
se seala la o las contradicciones (en caso de que hubiere ms de una
asignacin posible) y el resultado es que la frmula es una tautologa.
C. Aplicado para determinar si dos frmulas son lgicamente equivalentes ( y
). Hay dos formas de construir la prueba:
o Primera forma:
Si dos frmulas son lgicamente equivalentes la primera implica
lgicamente a la segunda y la segunda implica lgicamente a la
primera. En este caso hay que hacer dos pruebas del tipo (A), la
primera prueba para determinar si la primera frmula implica
lgicamente a la segunda y la segunda prueba para determinar si
la segunda frmula implica lgicamente a la primera.
Resultado:

34|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

Si alguna de las frmulas no implica lgicamente a la otra,

no son lgicamente equivalentes.
Si hay implicacin lgica en los dos sentidos, son
lgicamente equivalentes.
o Segunda forma:
Si dos frmulas son lgicamente equivalentes, el resultado de
unirlas por un bicondicional material es una tautologa (vase
Teorema 1, cap.2 del libro de Gamut: y son lgicamente
equivalentes si y slo si ). En este caso se unen las dos
frmulas por un bicondicional material y se determina si el
enunciado resultante es o no una tautologa a la manera de la
prueba (B)
Resultado:
Si el bicondicional no es una tautologa, las frmulas no son
lgicamente equivalentes
Si el bicondicional es una tautologa, las frmulas son
lgicamente equivalentes.

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

| 35

ANEXO 2
Reglas Bsicas del Sistema de Deduccin Natural de Gentzen para Lgica
Proposicional:

I ( Introduccin de la Conjuncin)
1.

m 1.

m2.

E (Eliminacin de la Conjuncin)
(i) 1.

m.

n.

E, m

M
n.

I, m1, m2

(ii) 1. .
M
m.
M
n.

I (Introduccin del Condicional)

1.

E (Eliminacin del Condicional)

1.

M
m.

n.

.
M

supuesto

m1 .

M
n-1.

E, m

m2.

I
n.

E, m1, m2

36|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

I (Introduccin de la Disyuncin)

E (Eliminacin de la Disyuncin)

(i) 1. .
1.

.
M

m.

m1 .

n. I, m

m2 .

(ii) 1. .

m3 ,

M
m.

n.

E (Eliminacin de la Negacin)
1.

supuesto

n.

m1 .

m2 .

EFSQ (ex falso sequitur quodlibet)

.

1.

E, m1, m2

.
M

m.

M
n.

Doble Negacin

M
m.

I
n.

1.

M
n-1.

.
M

M
m.

E, m1, m2, m3

E, m

I (Introduccin de la Negacin)
1.

n.

EFSQ,m.

n.

,m

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

| 37

Rep. (Regla de Repeticin)

1.

.
M

m.

n.

Rep., m

Reglas Bsicas del Sistema de Deduccin Natural de Gentzen para Lgica de Predicados de
Primer Orden:

I (Introd. del cuantificador universal) E (Elimin. del cuantificador universal)

1.

1.

M
m.

[a/x]

m.

x
M

M
n.

n.

I,m

[a/x]

E, m

Restriccin: "a" no debe aparecer en

ningn supuesto previo no cancelado ni
en x .

I (Introd. del cuantificador existencial)

1.
m.
n.

.
M
[a/x]
M
x

I, m

E (Elim.del cuantificador existencial)

1.
.
M
m1. x
M
m2. [a/x]
M
n.

E, m1, m2
Restriccin: "a" no debe aparecer en
ningn supuesto previo no cancelado, ni
en x ni en .

38|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

Ejemplos ms usuales de Reglas Derivadas de Deduccin Natural

SH (Silogismo Hipottico)
1.
.

Mut (Mutacin de Premisas)

1.
.

m1 .

( )

m.

m2 .

( )

n.

Mut, m

n.

SH, m1, m2
CPr (Carga de Premisas)
1.

.
M

m.

n.
Cp (Contraposicin)
1.
.

MT (Modus Tollens)
1.
.

m.

m1 .

M
n.

CPr., m

m2 .

Cp., m

n.
Imp. (Importacin)
1.

Exp. (Exportacin)

1.

M
m.

( )

( )

.
M

m.

M
n.

MT, m1,m2

( )
M

Imp., m

n.

( )

Exp., m

Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

DDS (Dilema Destructivo Simple)

1.

.
M

m1 .

m2 .

m3 ,

n.

DCC (Dilema Constructivo Complejo)

1.

DDS, m1, m2, m3

DDC (Dilema Destrutivo Complejo)
1.

m1.

m1.

m2 .

m 2.

m3 .

m 3.

M
n.

DCC, m1, m2, m3

n. DDC, m1, m2, m3

RI (Regla de Intercambio)
(i) 1.

(ii) 1.

m 1.

m1 .

m 2.

m2 .

M
n.

M
RI, m1, m2

n.

RI, m1, m2

| 39

40|Fac. Ingeniera (20112 sem.)-Electiva Humanstica (Lgica )- Anexo 1 Prof. Cecilia Duran

ALGUNAS EQUIVALENCIAS LOGICAS

( significa que es lgicamente equivalente a )
Interdefinicin de y negacin de
( )

Interdefinicin de y

Interdefinicin de y negacin de
( )

Interdefinicin de y
)

Interdefinicin de y negacin de
( )

Interdefinicin de y negacin de
( )

DM1 (De Morgan 1)

( )

DM2 ( De Morgan 2)
( )

Interdefinicin del y
( ) ( )
CC ( Conmutatividad de la Conjuncin) CD ( Conmutatividad de la Disyuncin)


AC (Asociatividad de la Conjuncin)
( )
( )

AD (Asociatividad de la Disyuncin)
( ) ( )]

DC (Distributiv.de la respecto de la ) DD (Distributiv.de la respecto de la )

( ) ( ) ( )
( ) ( ) ( )
IdC (Idempotencia de la )

IdD (Idempotencia de la )

Refl (Reflexividad del )

Sim (Simetra del )

AbsC (Absorcin de la )
( )

AbsD (Absorcin de la )
( )

D (Def. del Cuantif. Existencial)

x x
N (Negacin del Cuant. Existencial)
x x
MV (Mutacin de variable en )
x y
D (Distribucin del )
x( ) x x
C (Conmutatividad del )
xy yx

D (Def. del Cuantificador Universal)

x x
N (Negacin del cuantif. Universal)
x x
MV (Mutacin de variable en )
x y
D (Distribucin del )
x x x
C (Conmutatividad del )
xy yx