1 Ejemplos de ejercicios de lgica (algunos resueltos como muestra)

Nota preliminar: Espero que estos ejercicios sean una muestra de un esfuerzo autntico de mi parte por mostrar ejemplos y presentar ejercicios para su mejor aprendizaje. Si usted no asume el desafo de hacer los ejercicios y, sobretodo, de asistir a clases HABIENDO REALIZADO LA LECTURA este esfuerzo no servir de mucho. Esa ya es su responsabilidad, no la ma. Espero que la clase del prximo viernes asistan a clases con esta gua impresa y RESUELTA de modo de resolver dudas sobre la resolucin o las respuestas correctas.

Oracin y proposicin categrica La oracin Los vasos son de vidrio puede traducirse o escribirse como una proposicin categrica del tipo A diciendo TODOS LOS VASOS SON DE VIDRIO. Del mismo modo, las oraciones Esos televisores son digitales, No hay muebles de papel, Las cosas son bienes, Los bienes muebles son semovientes e inanimados pueden escribirse como proposiciones categricas as: Esos televisores son digitales = Algunos televisores son digitales No hay muebles de papel = Ningn mueble es de papel Las cosas son bienes = Todas las cosas son bienes Los bienes muebles son semovientes o inanimados = Algunos bienes muebles son semovientes ; Algunos bienes muebles son inanimados ; Ningn bien mueble semoviente es un bien mueble inanimado ; Ningn bien mueble inanimado es un bien mueble semoviente.

Escriba las siguientes oraciones como proposiciones categricas. 1.- Los ciudadanos son chilenos 2.- Los extranjeros no votan 3.- Esos derechos son derechos subjetivos 4.- Aquellos contratos son contratos de adhesin 5.- La vida es un derecho de las personas 6.- Solo son materias de ley los asuntos indicados en la Constitucin 7.- El matrimonio no es un contrato solemne 8.- Esos contratos no generan obligaciones solidarias

Consultas: claudio.aguero@uv.cl

Cuadro de oposicin Considere las relaciones lgicas del cuadro de oposicin y determine el valor de verdad de las proposiciones que siguen.

1.- Si es verdadera la proposicin Todas las normas jurdicas son usos directivos del lenguaje Cul es el valor de las otras proposiciones que forman el cuadro de oposicin?

A A es verdadero A es falso E es verdadero E es falso I es verdadero I es falso O es verdadero O es falso V F F Ind. Ind. F F V

E F V F F V F

I V F V V F V

O F V V Ind. Ind. V V F

Ind. Ind.

Ind. Ind.

Consultas: claudio.aguero@uv.cl

V= Verdadera F=Falsa Ind.= Indeterminada

Todas las normas jurdicas son usos directivos del lenguaje = A = Todo S es P Si A es verdadero, E es falso ; I es verdadero y O es falso. Esto significa que: A = Todas las normas jurdicas son usos directivos del lenguaje es VERDADERO. E = Ninguna norma jurdica es un uso directivo del lenguaje es FALSO. I = Algunas normas jurdicas son usos directivo del lenguaje es VERDADERO. O = Algunas normas jurdicas no son usos directivos del lenguaje FALSO.

Qu significa esta verdad o falsedad? Para responder a esta pregunta hay que tener claridad sobre la distribucin de sujeto y predicado. Cmo se distribuyen los sujetos y los predicados y qu significa esa distribucin?

La proposicin A distribuye el sujeto, es decir, la proposicin se refiere a todos los miembros de la clase de las normas jurdicas (es universal) y afirma que todos ellos son usos directivos del lenguaje. La misma proposicin no distribuye el predicado, lo que significa que la proposicin NO dice algo sobre que TODOS los miembros de la clase de los usos directivos del lenguaje. No afirma, por ejemplo, que TODOS los usos directivos del lenguaje son normas jurdicas. Tampoco afirma, por ejemplo, que NINGN uso directivo del lenguaje es una norma jurdica. Con la proposicin A solo sabemos que Todos los miembros de S son P. La proposicin E distribuye el sujeto y el predicado. Esto significa que la negacin universal Ninguna norma jurdica es un uso directivo del lenguaje afirma que ambas clase se excluyen mutuamente. Esto quiere decir dos cosas diferentes al mismo tiempo: 1.- Afirma que ningn miembro de la clase de las normas pertenece a la clase de los usos directivos del lenguaje (sujeto distribuido). Consultas: claudio.aguero@uv.cl

4 2.- Afirma que ningn miembro de la clase de los usos directivos del lenguaje es un miembro de la clase de las normas (predicado distribuido). La proposicin I (Algunas normas jurdicas son usos directivos del lenguaje) no distribuye ni el sujeto ni el predicado, es decir, no se refiere a todos los miembros de la clase de las normas jurdicas ni se refiere a todos los miembros de la clase de los usos directivos del lenguaje. Esto significa dos cosas: NO dice que todos los miembros de las normas jurdicas son usos directivos del lenguaje. NO dice que todos los usos directivos del lenguaje son normas jurdicas.

La proposicin O (Algunas normas jurdicas no son usos directivos del lenguaje) no distribuye el sujeto y si distribuye el predicado. Esto significa que, no se refiere a todos los miembros de la clase de las normas jurdicas pero si se refiere a todos los miembros de la clase de los usos directivos del lenguaje. La proposicin implica tres ideas: NO se refiere a todos los miembros de la clase de las normas (se refiere a algunas normas). Afirma que algunos miembros de la clase de las normas estn excluidos de la totalidad de los miembros de la clase de los usos directivos del lenguaje (sujeto no distribuido, porque no se refiere a todos los miembros de la clase de las normas). Afirma que todos los miembros de la clase de los usos directivos del lenguaje estn excluidos del grupo de los miembros de la clase de las normas (llamados algunos) que pertenecen a la clase de los usos directivos del lenguaje (predicado distribuido).

Con esto se despeja el valor de verdad y falsedad del cuadro para el caso de que la proposicin Todas las normas jurdicas son usos directivos del lenguaje sea verdadera.

Repita el razonamiento con las siguientes proposiciones. 1.- Es verdadero: Los abogados son auxiliares de la administracin de justicia. 2.- Es verdadero: Todos los tribunales son rganos jurisdiccionales. 3.- Es verdadero: Ningn naciturus es persona. 4.- Es verdadero: Algunas compraventas son ventas a prueba. 5.- Es verdadero: Algunas acciones judiciales no son muebles.

Conversin (las proposiciones en el espejo)

Consultas: claudio.aguero@uv.cl

5 Si digo: Ningn bien mueble es un bien inmueble (E). Afirmo, al mismo tiempo, que: Ningn bien inmueble es un bien mueble. Esto es as porque el sujeto y el predicado estn distribuidos. Si digo: Algunos abogados son profesores de derecho (I). Afirmo, al mismo tiempo, Algunos profesores de derecho son abogados. Esta equivalencia lgica se llama conversin y es un modo de construir inferencias inmediatas. As, frente al intercambio de sujetos por predicados (y viceversa) las proposiciones resultantes mantienen su valor de verdad se dice que ambas proposiciones son conversas. De la proposicin A no permite conversin, porque de la proposicin Todas las leyes son normas jurdicas (estimada como verdadera) no se deriva la verdad de la conversa Todas las normas jurdicas son leyes. De hecho, la conversa es falsa si la primera es verdadera. La conversin de las proposiciones A exige cambiar la cantidad de la proposicin para garantizar la verdad de la proposicin conversa. As, de la proposicin Todas las leyes son normas jurdicas (verdadera) puede inferirse vlidamente, por conversin por limitacin, la proposicin (I) Algunas normas jurdicas son leyes. La proposicin (O) no tiene conversa (la conversin es una aplicacin de las reglas de distribucin de sujetos y predicados). Reglas de conversin Convertiente (proposicin verdadera) A Conversa Ejemplo de convertiente Ejemplo de conversa

Todos los testamentos son actos jurdicos (A) Ninguna doctrina es norma jurdica

Algunos actos jurdicos son testamentos (I)

E I O

E I

Ninguna norma jurdica es doctrina Algunas costumbres son normas Algunas normas son costumbres Algunas jurisprudencias no son ---normas vinculantes

Ejercicio. Transforme a proposicin categrica y luego determine la proposicin conversa. 1.- Los reyes son cazadores. 2.- Los telfonos no son aparatos electrnicos. Consultas: claudio.aguero@uv.cl

6 3.- El voto es secreto. 4.- Algunos derechos son transferibles y transmisibles. 5.- Algunos deberes no se extinguen o no prescriben.

La obversin La clase es un conjunto de cosas que comparten una caracterstica definitoria. Esa caracterstica definitoria determina el criterio de ingreso a la clase. Ej. la clase de los rboles tiene como cualidades: 1. Vegetal 2. Raz, tronco y ramas leosas 3. Hojas Si nos preguntamos un helecho es un rbol? La respuesta es no, porque no cumple con la propiedad 2 (que es la propiedad definitoria de la clase de los rboles) aunque cumpla con la propiedad 1 y 3. Las cosas que estn fuera de la clase de los rboles pueden ser consideradas una clase complementaria: la clase de los no-rboles. Esta clase, se compone por todas las cosas que no poseen la propiedad 2, y es una clase tan grande que incluye incluso a las cosas que no poseen las propiedades 1 y 3, como los barcos, las copas, las normas, las mujeres y los perros. La clase de los rboles es complementaria de la clase de los no-rboles y viceversa, la clase de los no-rboles es complementaria de la clase de los rboles. A su vez, los trminos que designan a cada clase son complementarios por negacin. As, el trmino complementario de matrimonio es no-matrimonio. Aqu hay que tener cuidado. Dos trminos complementarios no se vinculan con los trminos contrarios. El contrario de matrimonio puede ser concubinato o soltero y no su complementario. El trmino complementario es la negacin del trmino base, como cuando digo nuevo, el trmino complementario es no-nuevo y el contrario es viejo. Trmino base derecho perros ganador honesto Valiente Animal salvaje chilenos Trmino complementario No-derecho no-perros No-ganador No-honesto Trmino contrario ? ? Perdedor Corrupto

Consultas: claudio.aguero@uv.cl

7 Personas libres

La obversin es una inferencia que consiste en: a) b) c) d) Cambiar la calidad (de afirmacin a negacin o viceversa). Cambiar el trmino predicado por su predicado Dejar intacto el trmino sujeto Dejar intacta la cantidad

Obvertiente Obversa A E E A I O O I

Ejemplo de obvertiente Todo gato es un animal Ningn decreto es un acto parlamentario Algn Alcalde es elegido Algunos abogados no son lgicos Toda persona es un ser humano Ningn profesor de lgica es jurista

Ejemplo de observa Ningn gato es un no-animal Todo decreto es un no-acto parlamentario Algn Alcalde no es un no-elegido Algunos abogados son no-lgicos

Algn consejal es adinerado

Algunos jueces no son no-inteligentes Algunos procesalistas no son doctores en derecho

Contraposicin Es la tercera forma de inferencia. La contraposicin es una tarea compleja que se compone de una obversin, una conversin y una obversin. Pasos a) Cambiar la calidad (de afirmacin a negacin o viceversa).

Consultas: claudio.aguero@uv.cl

8 b) c) d) e) f) Cambiar el trmino predicado por su predicado Dejar intacto el trmino sujeto Dejar intacta la cantidad Fin de la primera obversin, A la proposicin resultante se intercambian sujetos por predicados (operacin de conversin) g) Ahora repetimos la obversin.

As, Todo lpiz es un artculo de escritorio (A) Por obversin, queda as: Ningn lpiz es un no-artculo de escritorio (E) Conversin: Ningn no-artculo de escritorio es un lpiz (E) Obsersin: Todo no-artculo de escritorio es un no-lpiz. (A)

Premisa A E I O

Contrapositiva Ejemplo de premisa Ejemplo de contrapositiva A Todo perro es mamfero Todo no-mamfero es no-perro O Ningn abogado es un Algn no-matemtico no es un nomatemtico abogado. NO TIENE NO TIENE NO TIENE O Algn juez no es sabio Algn no-sabio no es un no-juez. Algn no-cobarde no es un no-hroe Algn no-rico no es un no-pobre Todo no-reptil es un no-anfibio Todo nio es un hombre Algn infante es una persona Alguna costumbre no es derecho

.Fin primera parte

Consultas: claudio.aguero@uv.cl