COLEGIO DE BACHILLERES DEL ESTADO DE BAJA CALIFORNIA

LGICA II

GUA DE ACTIVIDADES DEL ALUMNO PARA EL DESARROLLO DE COMPETENCIAS

Edicin, febrero de 2012 Reimpresin, febrero de 2013

Asignatura: LGICA II Despeos a demostrar:

BLOQUE: I

Aplicas los silogismos especiales.

Comprendes la estructura de los silogismos y las figuras que se desprenden al ubicar el trmino medio dentro de las premisas. Reflexiona acerca de la importancia de los silogismos especiales. Utilizas los silogismos en la vida diaria, identificando sus elementos en textos y dilogos.

Competencias a desarrollar: Identifica las figuras que se generan con los silogismos.

Determina la estructura los modos del silogismo. Expresa ideas y conceptos mediante representaciones lingsticas de los silogismos especiales. Utiliza los silogismos para desarrollar estructuras correctas en un dialogo.

Aplica la deduccin como medio para argumentar. Objeto de aprendizaje:

Figuras de los silogismos. Modos del silogismo. Silogismos especiales.

Evaluacin diagnostica. Contestar la respuesta de cada pregunta dentro del cuadro. 1.- De acuerdo a las formas y estructuras del pensamiento se considera: Primera forma del pensamiento. Segunda forma del pensamiento.

Tercera forma del pensamiento.

Pgina 1 de 42

2.- Qu es el juicio?

3.- Qu entiendes por argumentar?

4.- Qu entiendes por silogismo?

5.- Cules son los elementos del silogismo?

6.- Cules son las reglas de los silogismos?

7.- Cul es la importancia de conocer, los silogismos?

Pgina 2 de 42

1.1 Figuras de los silogismos. La figura del silogismo es la forma que toma este, de acuerdo con la colocacin del trmino medio. (Ral Gutirrez Senz) Como el silogismo est compuesto de tres juicios (Premisas, la mayor =Ma, la menor = mi y

Conclusin) y tres trminos: el mayor = T, el menor = t, y el trmino medio = M; hay que observar como el trmino medio desempea una funcin de relacionar las premisas para llegar a la conclusin. Ejemplo:

M Todo planta
S

es
V

parte de la naturaleza Ma
P

JUA = V

t Las rosas
S

son
V

M plantas de jardn
P

mi

JPA = V

Las rosas son parte de la naturaleza

S V P

JPA = V

M P S M S P

Como podemos, el trmino medio se encuentra en la posicin de Sujeto en la mayor = Ma, y Predicado en la menor = mi

Por otra parte, hay que tener en cuenta las siglas o letras que sealan a los trminos o las premisas, as como el sujeto y el predicado, incluyendo la figura que se aplica para la forma matemtica y el diagrama de John Venn. Termino mayor = T Termino menor = t Termino medio = M Premisa mayor = Ma Premisa menor = mi Conclusin = Sujeto = S Predicado = P

El trmino medio es la idea que se encuentra en la premisa mayor y en la menor, y nunca est en la conclusin. Ejemplo: Todos los humanos son inteligentes. Juan es humano. Por lo tanto, Juan es inteligente. El trmino medio es humano.
Pgina 3 de 42

Ejercicio: Identifica con un crculo el trmino medio de los silogismos planteados.

El ave tiene alas. El guila es ave. Por lo tanto el guila tiene alas. Los juguetes son para divertir. El trompo divierte. Por lo tanto el trompo es juguete.

Teniendo en cuenta la disposicin de los trminos en las premisas y en la conclusin se pueden dar las siguientes FIGURAS SILOGSTICAS, que se denominan: Primera, segunda, tercera y cuarta figura respectivamente.

Libro de Introduccin a la lgica de Irving M. Copia. El autor Francisco Motes de Oca, integra2 supuestos de la figura IV.

4ta A S -M M -P SP

4ta B PM MS SP

El sujeto de la premisa mayor es el trmino medio, y al mismo tiempo es predicado en la premisa Menor. Ejemplo: Todos los mamferos son vertebrados. El perro es mamfero. Luego, el perro es vertebrado.
Pgina 4 de 42

Nota: Para que sea valida esta figura es necesario que la premisa mayor sea universal y la premisa menor sea afirmativa.

El trmino medio se encuentra como predicado en las dos premisas. Ejemplo: Ningn charlatn merece confianza. Todo hombre honrado merece confianza. Luego, Ningn hombre honrado es charlatn.
Nota: Para que sea valida esta figura es necesario que la premisa mayor sea universal y una de las premisas tiene que ser negativa.

El trmino medio se encuentra como sujeto en las dos premisas, estructurando la conclusin con el predicado de la premisa menor que pasa como sujeto y el predicado de la premisa mayor pasa como predicado de la conclusin. Ejemplo: Algunos escritores son famosos. Todos los escritores son cultos.
Pgina 5 de 42

Luego, algunos cultos son famosos. Nota: Para que sea vlida esta figura, es necesario que la premisa menor sea afirmativa y que la conclusin sea particular.

El trmino medio se encuentra como predicado en la premisa mayor y como sujeto en la premisa menor. Ejemplo: Ningn desdichado est contento. Algunos contentos son pobres. Luego, algunos pobres no son desdichados.

Nota: Para que sea valida esta figura es necesario que la premisa menor sea afirmativa y que la conclusin sea particular.

Pgina 6 de 42

Ejercicio: Idntica la figura de los silogismos que se generan las siguientes estructuras del razonamiento: (Mayor) (Medio) Algn negro es americano (Medio) (Menor) Todo americano es mortal ---------------------------(Menor) (Mayor) Algn mortal es negro (Medio) (Mayor) Algunos mortales son negros (Menor) (Medio) Todos los hombres son mortales ---------------------------------(Menor) (Mayor) Algunos Hombres son negros FIGURA: ______________________________

FIGURA: ______________________________

(Mayor) (Medio) Todo Hombre es bpedo (Menor) (Medio) Ningn Len es bpedo -------------------------(Menor) (Mayor) Ningn Len es hombre

FIGURA: ______________________________

(Medio) (Mayor) Ningn Africano es Europeo FIGURA: (Menor) (Medio) ______________________________ Todos los Argelinos son africanos -----------------------------------(Menor) (Mayor) Ningn Argelino es Europeo

1.1.2. Aplicacin valida de las figuras de los silogismos.

Para aplicar el silogismo correctamente es necesario recordar acerca del raciocinio correcto y verdadero.

Pgina 7 de 42

Lo importante en la lgica formal y sobre todo en un silogismo categrico deductivo de forma estndar, es que este sea correcto, aunque no sea verdadero. Esto significa que, si un silogismo sigue las ocho reglas ya explicadas, tiene forma correcta y hay ilacin o nexo necesario entre las premisas ( Ma y mi) y la conclusin, sea cual fuera el contenido material que llene esta forma o estructura. Explicado de otra forma, aun cuando una de las premisas: la mayor = Ma, o la menor = mi; fuera falsa, si sigue las ocho reglas, la conclusin se deriva necesariamente, y el raciocinio es vlido como tal, hay ilacin. Pero si hay falsedad en las premisas, no se pude esperar una conclusin verdadera, pero si una estructura correcta. Para que una conclusin pueda ser verdadera, se requiere: a) Que las dos premisas sean verdaderas, es decir apegadas a la realidad o coherencia lgica. b) Que la estructura o forma del silogismo sea correcta, es decir, que cumpla con las ocho reglas, el cual ser clasificado como autentico silogismo demostrativo. Por lo cual, puede haber un silogismo verdadero en sus premisas y conclusin, pero incorrecto en su forma o estructura. Ejemplo: La estructura o forma del silogismo es correcta, es decir las premisas son verdaderas. En cuanto su aplicacin es ilgica

M T t

Todo mercurio es cuerpo

M

Ma mi

JUA = V
+

El mercurio es lquido

JPA = V

Todo lquido es cuerpo

JUA = F

Estructura correcta, aplicacin ilgica (se da una falacia o sofisma) En resumen: el silogismo categrico deductivo de forma estndar correcto, es el que est de acuerdo con las ocho reglas. Con ello se garantiza que la conclusin se deriva de un modo vlido y necesario. Para que la conclusin sea verdadera se requiere no slo que el silogismo sea correcto, sino que adems, las premisas sean tambin verdaderas.

1.2 Modos de los silogismos. 1.2.1. Identifica los diferentes tipos de modos. Los modos son las distintas combinaciones que se pueden hacer con los juicios que entran a formar parte de las premisas y la conclusin. Como estos juicios tienen cuatro tipos distintos (A,E,I,O), y en cada caso se toman de tres en tres (dos premisas y una conclusin), hay 64 combinaciones posibles. Estas 64 combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las reglas del silogismo.
Pgina 8 de 42

Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad de las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 64 modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se memorizan atendiendo a los modos vlidos de cada figura con sus premisas y conclusin.

As los modos vlidos De la primera figura De la segunda figura De la tercera figura De la cuarta figura AAA, EAE, AII, EIO EAE, AEE, EIO, AOO AAI, IAI, AII, EAO, OAO, EIO AAI, AEE, IAI, EAO, EIO

Se memorizaban cantando BARBARA, CELARENT, DARII, FERIO CESARE, CAMESTRES, FESTINO, BAROCO DARAPTI, DISAMIS, DATISI, FELAPTON, BOCARDO, FERISON BAMALIP, CAMENES, DIMATIS, FESAPO, FRESISON

Nota : Tambin son vlidos para la primera figura los modos subalternos BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP. (La silogstica de Aristteles desde el punto de vista de la lgica formal moderna. Madrid: Tecnos (1977). pg. 81 y ss.
Vase ms adelante: Problemtica de la lgica aristotlica.)

1.2.2. Identificar la importancia de los modos de los silogismos para identificar la estructura verdadera.
Segn Aristteles, hay cierto nmero de modos logsticos cuya validez es evidente y que pueden ser considerados, por consiguiente, como axiomas en el sistema formal silogstico: Son los silogismos llamados perfectos. Los modos que no son evidentes por s mismos son modos imperfectos, y deben ser probados a base de los modos perfectos. El silogismo modal fue tratado por Aristteles tomando como base su teora del silogismo categrico; ofreci anlogos modales de los modos de las tres figuras consideradas por l. Los modos nos proporciona una anlisis a priori de la valides de los silogismos, concluyendo de manera rpida para emitir un veredicto de verdad o falsedad.

Pgina 9 de 42

Actividad: Realizar un reporte, sobre las diferentes figuras y modos de los silogismos, anotando las bibliografa que se investigo.(Entregar en una o dos Cuartillas.)
1.3 Silogismos especiales. Los silogismos que contienen una variante de les conocen como silogismos especiales.
Silogismos Especiales.

- Irregulares. - Compuestos. - Compuestos.

1.3.1. Identifica los silogismos irregulares. Estos silogismos no expresan con las dos premisas y la conclusin, clasificndose en 4 grupos: 1.- Entinema. Es un silogismo abreviado. (nicamente cuenta con una premisa y conclusin.) Ejemplo: Todo edificio alto tiene fuertes cimientos. Por lo tanto, la torre Latinoamericana tiene fuertes cimientos.

2.- Epiquerema. Es un silogismo categrico, pero contiene cada uno una justificacin o una comprobacin. Ejemplo: Toda virtud es hbito, porque necesita ser una disposicin permanente. La humildad es un habito, porque es una inclinacin bondadosa, Por lo tanto, la humildad es un hbito.

3.- Polisilogismo. Es un silogismo que enlazado entre s forma una cadena tan larga como se quiera. (La conclusin pasa a ser la premisa para otra conclusin, y as sucesivamente.) Ejemplo: Todo veracruzano es mexicano. Todo alvaradeo es veracruzano. Por lo tanto, todo alvaradeo es mexicano Todo alvaradeo es mal hablado. Por lo tanto, algunos mexicanos son mal hablados. Etc.
Pgina 10 de 42

4.- Sorites. Es un silogismo en el cual el predicado de la primera premisa para como sujeto a la segunda, as sucesivamente: Ejemplo: Todo animal es un ser viviente. Todo ser viviente es orgnico. Todo orgnico posee un sistema. Todo lo que posee un sistema sigue un orden. Por lo tanto, animal sigue un orden.

1.3.2 Identifica los silogismos compuestos. En estos silogismos son integrados con leyes para su correcta elaboracin. 1.- Hipottico. Expresa una condicin que se enuncia en la premisa mayor, si se cumple se obtiene la conclusin. Ejemplo: Si estas atento a esta clase, entenders la materia. Estas atento en clase, Por lo tanto, entenders la materia.

2.- Disyuntivo. Es el silogismo, en el cual hay que optar entre dos posibilidades.(La condicin de este silogismo es que solo hay una alternativa decisiva.) Ejemplo: Este reo o es culpable o es inocente. La investigacin seala que es inocente, Luego, este reo no es culpable.

3.- Dilema. Es un instrumento racional compuesto, donde se integran silogismos hipotticos y disyuntivos. (Por lo general contiene una proposicin disyuntivas y dos condiciones contrarias que excluyen, sea cual sea la conclusin ser la misma.) Ejemplo: Cuando examino justamente a mis alumnos. O los repruebo, o los apruebo. Si los apruebo justamente, cumplo mi deber. Si los repruebo justamente, cumplo mi deber. Por lo tanto, cuando examino justamente a mis alumnos cumplo mi deber.
Pgina 11 de 42

Actividad:
Realizar un cuadro comparativo de los silogismos irregulares y compuestos.(Entregar en una Cuartilla.)

Ejemplo: Cuadro comparativo Silogismos Irregulares Silogismos Compuesto

Actividad:
El alumno realizara un proyecto donde se analice un problema social en tu comunidad, proponiendo una solucin en base a un razonamiento deductivo, donde fundamente su justificacin de su postura, utilizando premisas como antecedentes y hechos particulares para su anlisis, (Se pude utilizar silogismos regulares, irregulares o compuestos). Entregarlo en dos o tres cuartillas, utilizando ortografa correcta y limpieza. Autoevaluacin del alumno de los conceptos del bloque. Criterios para evaluar el aprendizaje Identifico las reglas de los silogismos. Comprendo las figuras de los silogismos Comprendo los modos de los silogismos Reflexiono sobre la relacin de las figuras de los silogismos con los modos. Comprendo los silogismos espcieles. Clasifico los silogismos especiales. Analizo textos, en base a las figuras de los silogismos, modos y silogismos especiales, Si lo desarrollo No lo desarrollo

Pgina 12 de 42

Fuentes: BSICA: Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001.

COMPLEMENTARIA: Baena Paz, Guillermina. Metodologa de la investigacin, Mxico, Editorial Cultural, 2002, Octava reimpresin 2005. Hernndez Sampieri, Roberto; Fernndez Collado, Carlos; Baptista Lucio Pilar. Metodologa de la Investigacin, Editorial Mc Graw Hill, Chile 2004. Albarn Vzquez, Mario; Escobar Valenzuela, Gustavo. Metodologa de la Investigacin, Editorial Cultural, 2003. Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001. ONTORIA A. et al. Potenciar la capacidad de aprender y pensar, Editorial Nancea. Espaa, 2002. CaStaeda, Juan, Habilidades acadmicas, Editorial Mc Graw Hill. Mxico, 2003. Copi, Irving M., Introduccin a la lgica, Editorial Universitaria de Buenos Aries. Buenos Aires, 1969. De Gortari, Eli, Iniciacin a la lgica, Editorial Grijalbo. Mxico, 1974. Gorski D.P., Tavants P.V., Lgica, Editorial Grijalbo, Mxico, 1970. Ortega, Esteban, Lgica, introduccin a la Filosofa y la Ciencia, Editorial Diana. Mxico, 1993. ELECTRNICA:

http://es.wikipedia.org
http://www.liceodigital.com/filosofia/logica.htm http://www.memo.com.co/fenonino/aprenda/filosofia/filosofia.html http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/

Pgina 13 de 42

Instrumentos de evaluacin. Producto: Examen diagnostico. Instrumentos: Lista de cotejo. Ponderacin: 5 % Elementos de anlisis El alumno identific correctamente las formas del pensamiento. El alumno comprende que es un juicio. El alumno comprende que es un silogismo. Se identifica las reglas de los silogismos. El alumno desarrolla una postura personal sobre la importancia de los silogismos. si No Observacin

Producto: Reporte sobre investigacin documental de las figuras y modos de los silogismos. Instrumentos: Rubrica. Ponderacin: 5 % Nivel de logo Excelente Bueno Cumple con todos los Cumple con la mayora los requisitos de tiempo requisitos de tiempo pedidos por pedidos por el profesor. el profesor. Utiliza bastante la creatividad, identifica ideas utilizando diferentes materiales, con marcados. Se desarrollo una investigacin de todos los parmetros en diferentes fuentes bibliografas. (Dos o ms). Utiliza poca creatividad, utilizando organizacin y marcacin para distinguir ideas. Se desarrollo una investigacin de todos los parmetros en una fuete bibliogrfica.

criterios Entrega del reporte

Creatividad

Regular No cumple con el requisito de tiempo y forma que se solicito. Presenta poca creatividad

Sustentacin del reporte

Se desarrollo una investigacin, sin especificar la fuente bibliogrfica.

Contiene el desarrollo de las diferentes figuras del silogismo y modos

Contiene esquemas para identificar las figuras y modos del silogismo y menciona su relacin que tienen los modos y las figuras de los silogismos.

Desarrollo los temas sin esquemas pero menciona su relacin que tienen los modos y las figuras de los silogismos.

Se desarrolla la identificacin de las figuras y modos de los silogismos.

Pgina 14 de 42

Producto: Cuadro comparativo. Instrumentos: Lista de cotejo. Ponderacin: 10 % Elementos de anlisis El trabajo se presenta de manera limpia. El trabajo contiene ortografa correcta. El trabajo desarrolla una comparacin de los elementos de los silogismos Irregulares y los compuesto Se identifica caractersticas distintivas entre los silogismos que se analizan La comparacin contiene ejemplos para poder captar un elemento desarrollado. Producto: Proyecto de anlisis utilizando silogismos en cualquiera de sus formas. Instrumentos: Rubrica. Ponderacin: 10 % Nivel de logo Bueno
Cumple con la mayora los requisitos de tiempo pedidos por el profesor. Utiliza poca creatividad, utilizando organizacin y marcacin para distinguir ideas. Utiliza el razonamiento para dar soluciones. Justifica su postura, de manera estructural y correcta, utilizando silogismos.

si

No

Observacin

criterios
Entrega del reporte

Excelente

Regular
No cumple con el requisito de tiempo y forma que se solicito. Presenta poca creatividad

Cumple con todos los requisitos de tiempo pedidos por el profesor. Utiliza bastante la creatividad, identifica ideas utilizando diferentes materiales, con marcados. Utiliza el razonamiento para dar soluciones. Justifica su postura, de manera estructural y correcta, utilizando silogismos. Utilizar fundamentacin bibliogrfica.

Creatividad

Sustentacin del anlisis argumentativo

Utiliza el razonamiento para dar soluciones.

Pgina 15 de 42

Asignatura: LGICA II
Despeos a demostrar:

BLOQUE: II

Analiza las diferentes falacias y sofismas.

Comprendes las diferentes falacias o sofismas que se usan en la vida diaria. Reflexiona sobre las diferentes falacias y sofismas que se puedan presentar en cualquier situacin de la vida diaria. Utiliza un razonamiento para argumentar en una dialogo o texto, evitando falacias que distorsionen, el sentido de la idea a trasmitir.

Competencias a desarrollar: Identifica los conceptos de falacia y sofisma. Comprendes las diferencias de las falacias y sofismas. Clasifica las diferentes falacias y sofismas de acuerdo a la forma y estructura de cada uno. Comprende las distintas reglas para evitar las falacias presentadas en la vida cotidiana. Reflexiona la validez de un dialogo o texto que contenga falacias y sofismas. Analiza los errores de la falsa oposicin. Aprecia la importancia de identificar las falacias y los sofismas en un texto o dialogo. Aplicas un lenguaje valido, donde se eviten falacias o sofismas en el desarrollo de trabajos donde se requieran argumentacin.

Objeto de aprendizaje: Falacias y Sofismas. Reglas para evitar las falacias

2.1 Concepto de falacias y sofismas. Para algunos autores identifican la falacia o sofisma es un razonamiento incorrecto que aparenta ser correcto. Pero cada una concepto es independiente con su propia clasificacin, siendo que la falacia proviene del latn fallaca, una falacia es una mentira o engao con que se pretende daar a una persona. Por ejemplo: La falacia de su empleo me hizo vivir engaada durante muchos aos, Pablo est siempre con sus falacias, tratando de estafar a la gente. En el mismo sentido, se conoce como falacia al hbito de apelar a las falsedades para causar un dao. La falacia lgica, por lo tanto, supone una aplicacin incorrecta de un principio lgico vlido. Tambin puede estar formada por la aplicacin de un principio inexistente.
Falacia:

2 +2=5

En cambio la palabra sofisma proviene del griego sofisma que significa sabio, se define como tomar el argumento aparente de lo que es falso. Este sentido el filosofo Platn, define a los sofistas con una postura del No Ser, pues aparentaba ser filsofos sin serlo.
Pgina 16 de 42

En este sentido los filsofos Platn y Aristteles censuraron a los Sofistas por ser nefasto su relativismo. Cuando una persona engaa deliberadamente con argumentos que encierran falsedades, se habla del sofisma y cuando lo hace de forma involuntaria, se trata de paralogismo. Nota: Los sofismas, las falacias y los paralogismos, se introducen en los argumentos de manera sutil, como virus en las computadoras. Libro de Lgica de Mara del Carmen San Jos. Actividad: Realizar un reporte de una investigacin documental, donde se determinen las definiciones de falacia y sofismas. Consultando varios autores, entregarlo en una cuartilla, con buena ortografa y limpieza. 2.2 Clasificacin de las diferentes falacias y sofismas. De acuerdo a la forma y estructura, se puede clasificar las falacias y los sofismas de la siguiente forma:

Pgina 17 de 42

Sofismas de Palabras.

Equivoco. Anfibologa.

Deduccin Sofismas de ideas. Falacias y sofismas

Peticin de Principio Circulo vicioso. Ignorancia del asunto Falacias del consecuente

Induccin

Enumeracin imperfecta Sofismas de accidentes Ignorancia de causa. Falsa analoga

Falacias de atinencia.

Apelacin a la fuerza. Apelacin a la persona. Llamado a la piedad. Apelacin inapropiada a la autoridad Por lo que el pueblo dice.

Nota: Algunos autores como Mara del Carmen San Jos, clasifica las falacias en: Falacias no formales y Falacias formales.

Actividad: Realizar un documento que muestre un cuadro sinptico de la clasificacin de las falacias y sofisma, fundamentndose en un autor de la lista de fuentes que se anexan. Entregarlo con creatividad, buena ortografa y limpieza.

Pgina 18 de 42

2.2.1 Sofismas de palabras Cada palabra es susceptible de admitir varios significados, y una argumentacin puede caer en una ambigedad en su significado, o en un doble sentido. 1.- Sofismas de equivocidad: Cuando dentro de un mismo razonamiento un trmino se toma una vez con un significado y otra vez con otro significado, puede resultar un paralogismo. El fin de las cosas es su perfeccin La muerte es el fin de la vida La muerte es la perfeccin de la vida 2.- Sofismas de anfibologa: Cuando la ambigedad no est encerrada en un trmino determinado, sino que afecta a toda una proposicin, el paralogismo que de all puede resultar se llama "falacia de anfibologa". Puedo caminar y no caminar Pero caminar y no caminar es imposible Puedo lo imposible 2.2.2 Sofismas de ideas. 2.2.2.1 Sofismas de ideas por deduccin. 1.- Falacia de peticin de principio: Es el paralogismo que consiste en admitir ya en la premisa aquello que est precisamente en cuestin, aquello que hay que demostrar. Todo efecto tiene una causa El Universo es un efecto El Universo tiene una causa. El argumento parece correcto, pero podemos ver que al poner la segunda premisa se comete peticin de principio, pues all ya se afirma la conclusin que se pretende demostrar, porque decir "el Universo es un efecto", se est afirmando que "el Universo ha sido causado". 2.- El razonamiento en crculo: El argumento circular es una especie de falacia de peticin de principio. Se denomina tambin crculo vicioso o "dialeto", y se comete cuando hay dos proposiciones que se pretenden demostrar recprocamente, es decir, se pretende demostrar cada una de ellas a partir de otra. Sabemos que Dios existe porque los Textos Sagrados nos lo dicen. Y sabemos que los Textos Sagrados son verdad porque son la palabra de Dios. .
Pgina 19 de 42

En este sofisma incurren Platn cuando prueba la espiritualidad del alma fundndola en la inmortalidad, y a si vez prueba la inmortalidad del alma basndose en su carcter espiritual. 3.- Sofisma de peticin de principio (Petitio principii o petere principium): Es una falacia que ocurre cuando la proposicin a ser probada se incluye implcita o explcitamente entre las premisas, o sea, cundo se toma como principio de prueba la misma tesis que se quiere probar. Para John N Moore los evolucionistas lo cometen cuando Ensean exclusivamente el evolucionismo, aunque, por lo que a la ciencia respecta, el problema de los primeros orgenes sigue siendo una cuestin abierta, pero este descuidado autor creacionista parece olvidar que sobre el Origen del Universo trata la Teora del Big-bang y sobre el Origen de la Vida la Hiptesis Abiogentica, pero la Teora de la Evolucin Biolgica no trata de ninguna de estas cosas. 4.- Falacia del Consecuente: Se produce cuando en un argumento condicional se concluye afirmando el consecuente. Por ejemplo: Si alguien es madrileo, entonces es espaol. El Cid es espaol. Luego, es madrileo. 2.2.2.2 Sofismas de ideas por induccin. 1.- Enumeracin imperfecta: Este sofisma se produce, a raz de una observacin muy reducida se puede inferir una ley universal. Por ejemplo: Este europeo es analfabeto. Tambin el segundo y el tercer. Luego todo europeo es analfabeto. 2.- Sofisma de accidente: Es una forma muy comn de sofisma de falsa generalizacin. Consiste en confundir lo que es accidental con aquello que es esencial, o tambin lo que es verdadero relativamente con aquello que es verdadero absolutamente. Por ejemplo: La tcnica pedaggica "T" ha sido exitosa en tal experiencia de enseanza en la historia. La tcnica pedaggica "T" ha sido exitosa en tal otra experiencia de enseanza de la historia. Las tcnicas pedaggicas que son exitosas deben adoptarse. La tcnica pedaggica "T" es la que debe adoptarse para la enseanza de la historia.

Pgina 20 de 42

3.- Ignorancia de causa. Consiste en tomar como causa de un fenmeno, cualquiera de sus antecedentes. Por ejemplo: El enfermo tomo la medicina y muri. Luego la medicina lo mato. 4.- Falsa analoga: A partir del dato de que dos cosas coinciden en algunos aspectos comprobados, se concluye que cierto aspecto comprobado en slo una de ellas, tambin se da seguramente en la otra. Esta clase de razonamiento se denomina "razonamiento por analoga" y es vlido cuando la conclusin se postula como probable; pero si se pretende como cierta, tenemos un sofisma. Por Ejemplo: Marte tiene un movimiento de rotacin sobre su eje, como la Tierra. Marte tiene atmsfera, como la Tierra. Marte tiene agua en su superficie, como la Tierra. Marte tiene estaciones, como la Tierra. Marte tiene seres vivos, como la Tierra. 2.2.2.3 Falacias de atinencia. Son conclusiones que se derivan de premisas que no son correctas o pertinentes, por lo que carecen de la conexin lgica con la conclusin. 1.- Apelacin a la fuerza. "ad baculum": El denominado "argumento ad baculum" o de apelacin a la amenaza de la fuerza, suele incluirse en la lista de los sofismas retricos. Pero en realidad no es un argumento pues no busca convencer ni persuadir, sino que es lisa y llanamente una amenaza ms o menos disimulada de hacer uso de la fuerza en el caso de que el receptor no realice lo que se le pide. Ejemplo: "No es conveniente para el futuro de su peridico que usted publique eso... si quiere seguir gozando del crdito de nuestros bancos amigos". 2.- Apelacin a la persona. Falacia ad hominem. - Aclaracin intuitiva: un argumento que, en lugar de presentar las razones adecuadas o pertinentes contra una opinin determinada, pretende refutar tal opinin censurando a la persona que la sostiene): Su estructura: A afirma que p A no es una persona digna de consideracin por tales y cuales motivos As, pues, p es falso

Pgina 21 de 42

Ejemplo: Los ecologistas afirman que el vertido nuclear en el mar es una accin de elevado riesgo para la humanidad; sin embargo, no hay que estar tan preocupado por ello, ya que pueden estar manipulados e incluso resultar unas fuerzas colaboradoras con la Unin Sovitica (manifestaciones del general ngel Santos Bobo1, director de la Academia General Militar de Zaragoza, segn informacin de El Pas, 28-04-1985).
3.- Llamado a la piedad "ad misericordiam": Se apela al sentimiento de misericordia. Esta especie de falacia es muy comn en la oratoria forense, cuando en vez de argumentarse acerca de la inocencia del reo, el abogado defensor busca provocar sentimiento de lstima de los jueces, de los jurados o del pblico. 4.- Apelacin inapropiada a la autoridad. "ad verecundiam": Se explota el sentimiento de respeto que se guarda hacia una persona o hacia una cosa que es venerable o digna. Por ejemplo, cuando despus de afirmar una proposicin como verdadera, se aade: "... y as lo piensa XX" (XX puede ser un escritor famoso, un cientfico prestigiado, etc.).

5.- Por lo que todo el pueblo dice. "ad populum": Estos son argumentos dirigidos al pueblo. No son en rigor una especie distinta, sino que se atribuye esa designacin a todos los recursos retricos que buscan ganar el consenso popular a favor o en contra de cierta conclusin - que no est sustentada en pruebas valederas - por medio de la exaltacin de los sentimientos que predominan en esa multitud.

Ejercicios: Identifica los sofismas y falacias de los siguientes enunciados.

1. El sabio expresa alegra respecto a las cosas que propiamente la merecen y enojo con las que realmente despiertan enojo. Por lo tanto, la alegra y el enojo del sabio no estn conectados con su mente sino con las cosas mismas. R ____________________________________________________________________ 2. La inquisicin debi haber sido benfica y estar justificada, dado que pueblos enteros la invocaron y la defendieron, hombres intachables la fundaron y crearon en forma severa e imparcial y sus propios adversarios recurrieron a la hoguera para combatir sus llamas. R ____________________________________________________________________ 3. Estoy totalmente a favor de que las mujeres tengan iguales derechos que los hombres, dijo Paco Camino, presidente de la Asociacin Taurina, pero, repito, las mujeres no deben torear, porque los toreros son y deben ser hombres R ____________________________________________________________________ 4. Pero, cmo podemos dudar de que el aire tiene peso cuando tenemos el claro testimonio de Aristteles,

Pgina 22 de 42

quien afirma que todos los elementos, excepto el fuego, tienen peso? R ____________________________________________________________________ 5. Como acadmico, el profesor Kerklivet ha demostrado ser prejuicioso y poco cientfico es pattico ver al profesor Kerklivet, un no filipino, deplorando las condiciones polticas y sociales de un pas extranjero como Filipinas, cuando su propio pas requiere de regeneracin moral y social. R ____________________________________________________________________

2.3. Reglas para evitar las falacias. Conocindose que la falacia es una trampa en la que cualquier persona puede caer en el proceso del razonamiento, es necesario: 1) Contar con una cierta habilidad para indicarla y analizarla a fin de impedir que seamos engaados por ella al caer inconscientemente en una familiaridad con ella. 2) Para evitar las falacias se requiere una vigilancia constante y la conciencia de las muchas maneras en que podemos incurrir en alguna de ellas. Por ello es til un estudio preciso de los diferentes usos del lenguaje, contar con una comprensin de la flexibilidad del lenguaje y la multiplicidad de sus usos impedir que confundamos el sentido de sus trminos. 3) Debemos tener presente que las palabras son resbaladizas y la mayora de ellas tienen toda una variedad de sentidos o significaciones diferentes, y hay falacia all donde se confunden estos significados diferentes. 4) Es indispensable definir los trminos claves que se utilizan, pues los cambios en la significacin de los trminos pueden hacer falaz un razonamiento y dado que la ambigedad puede evitarse mediante una cuidadosa definicin de los mismos, la definicin es un tema importante para el estudio de la lgica. Por otra parte, comprendiendo que todo raciocinio consiste en la manifestacin de que un juicio est contenido en otro, la consecuencia legtima debe estar afirmada en las premisas; sacarla es poner explcito lo que estaba implcito; el medio no es ms que aquello de lo cual echamos mano para desenvolver las premisas, y manifestar que en una de ellas est contenida la conclusin. De ello resulta que todo raciocinio se funda en el principio de contradiccin; y toda consecuencia, para ser legtima, debe ser tal que, en no admitindola, se afirme y se niegue una cosa al mismo tiempo. El sofisma es la argumentacin en que se saca una consecuencia ilegtima con apariencias de legitimidad. En todo sofisma se pretende que una proposicin est contenida en otra, cuando realmente no lo est; el secreto para desenredarse de los sofismas es volver atrs, reflexionando atentamente sobre el verdadero sentido de la proposicin en que el sofisma se apoya. Como el principio fundamental de los silogismos es que las cosas idnticas a una tercera son idnticas entre s, resulta que todas las reglas de los silogismos pueden reducirse a una sola: la comparacin debe hacerse en los mismos extremos con un mismo medio. Por ello debe considerarse minuciosamente las reglas del silogismo. Se supera las falacias o sofismas, considerando que la inteligencia puede dar su asentimiento de dos modos. Primero, cuando es movida, determinada por el objeto. Esto se produce en dos caso: 1 cuando el objeto es conocido l mismo, inmediatamente, como en el caso de los primeros principios; 2 cuando es conocido por medio de otro, mediante, como en el caso de la conclusin de una demostracin. En el lenguaje tcnico de la escuela, slo el segundo caso recibe el nombre de "ciencia"; el primero se llama "inteligencia".
Pgina 23 de 42

Segundo, cuando oponemos razn y fe englobamos en la razn todas las funciones naturales de conocimiento, comprendidos los sentidos, aqu, cuando oponemos saber y creer, englobamos en la ciencia todos los casos en que el juicio est determinado por el modo. La verdad es una propiedad del juicio (relativamente al ser). La certeza es un estado del espritu (respecto de la verdad de su juicio). La evidencia es una propiedad del objeto (relativamente a una funcin de conocimiento cualquiera). La evidencia es la claridad con la que un objeto aparece a una facultad de conocimiento, la manifestacin o, como actualmente se dice, la revelacin del ser. Por ello es el fundamento o el criterio de la certeza. Actividad: Elaborar de manera individual un reporte en una cuartilla, en donde se presente una investigacin de las reglas para evitar los sofismas y las falacias, sealando una postura personal sobre la importancia de observar estas reglas en la redaccin de textos o en un dilogo oral, anexando las fuentes bibliogrficas de la investigacin. Autoevaluacin del alumno de los conceptos del bloque. Criterios para evaluar el aprendizaje Identifico el concepto de falacia. Identifico el concepto de sofisma. Reflexiono sobre el uso de falacias y sofismas en la viada diaria. Clasifica las falacias y sofismas. Reflexiona sobre las diferentes falacias y sofismas Comprend las reglas para evitar las falacias y sofismas Aplico las reglas para evitar una falacia o sofisma en la redaccin de un texto o al argumentar un discusin. Si lo desarrollo No lo desarrollo

Pgina 24 de 42

Fuentes: BSICA: Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001. COMPLEMENTARIA: Baena Paz, Guillermina. Metodologa de la investigacin, Mxico, Editorial Cultural, 2002, Octava reimpresin 2005. Hernndez Sampieri, Roberto; Fernndez Collado, Carlos; Baptista Lucio Pilar. Metodologa de la Investigacin, Editorial Mc Graw Hill, Chile 2004. Albarn Vzquez, Mario; Escobar Valenzuela, Gustavo. Metodologa de la Investigacin, Editorial Cultural, 2003. Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001. ONTORIA A. et al. Potenciar la capacidad de aprender y pensar, Editorial Nancea. Espaa, 2002. CaStaeda, Juan, Habilidades acadmicas, Editorial Mc Graw Hill. Mxico, 2003. Copi, Irving M., Introduccin a la lgica, Editorial Universitaria de Buenos Aries. Buenos Aires, 1969. De Gortari, Eli, Iniciacin a la lgica, Editorial Grijalbo. Mxico, 1974. Gorski D.P., Tavants P.V., Lgica, Editorial Grijalbo, Mxico, 1970. Ortega, Esteban, Lgica, introduccin a la Filosofa y la Ciencia, Editorial Diana. Mxico, 1993. ELECTRNICA:

http://es.wikipedia.org
http://www.liceodigital.com/filosofia/logica.htm http://www.memo.com.co/fenonino/aprenda/filosofia/filosofia.html http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/ Instrumentos de evaluacin. Producto: Reporte de investigacin documental. Instrumentos: Lista de cotejo. Ponderacin: 10 % Elementos de anlisis El alumno identific correctamente la definicin de falacias y sofismas. El alumno comprende que es una falacia. El alumno integr ejemplos de sofismas. Se integro ejemplos de falacias. El alumno observ en la elaboracin del reporte buena ortografa. El alumno realiz el reporte de manera limpia si No Observacin

Pgina 25 de 42

Producto: Cuadro sinptico de la clasificacin y sofismas. Instrumentos: Lista de cotejo. Ponderacin: 10 % Elementos de anlisis El alumno entreg el cuadro sinptico en el tiempo establecido por el profesor. El alumno observ buena ortografa. El alumno utiliz creatividad al realizar el producto. Se integro la clasificacin de los sofismas y falacias, de acuerdo a un autor. El producto contiene las fuentes bibliogrficas donde se realiz la investigacin. El alumno realizo el reporte de manera limpia si No Observacin

Producto: Reporte de las reglas para evitar falacias o sofismas. Instrumentos: Rubrica. Ponderacin: 10 %

Criterios Entrega del reporte

Creatividad

Sustentacin del reporte

Reflexin personal

Nivel de logo Excelente Bueno Cumple con todos los Cumple con la mayora los requisitos de tiempo requisitos de tiempo pedidos por el profesor. pedidos por el profesor. Utiliza bastante la Utiliza poca creatividad, creatividad, identifica ideas utilizando organizacin y utilizando diferentes marcacin para distinguir materiales, con marcados. ideas. Se desarrollo una Se desarrollo una investigacin de todos los investigacin de todos los parmetros en diferentes parmetros en una fuete fuentes bibliografas. (Dos bibliogrfica. o ms). Integra una postura Integra una postura personal de la importancia personal de la importancia de las reglas para evitar de las reglas para evitar falacias o sofismas, con falacias o sofismas. sustento en evidencias.

Regular No cumple con el requisito de tiempo y forma que se solicito. Presenta poca creatividad

Se desarrollo una investigacin, sin especificar la fuente bibliogrfica. Integra una opinin breve de su trabajo.

Pgina 26 de 42

Asignatura: LGICA II

BLOQUE: III

Aplicas el mtodo cartesiano.

Despeos a demostrar: Comprendes la nocin del concepto y sus elementos para desarrollar el mtodo cartesiano. Utiliza el mtodo cartesiano para establecer principios en situaciones de la vida cotidiana. Competencias a desarrollar: Identifica los antecedentes y la importancia del mtodo cartesiano. Analiza el objeto de estudio del mtodo cartesiano. Expresa las reglas del mtodo cartesiano; evidencia, anlisis, sntesis y Delimita lo momentos de aplicacin del mtodo cartesiano; anlisis, demostracin. enumeracin. sntesis y

Aprecias la importancia de la utilizacin del mtodo cartesiano para comprender el funcionamiento de un razonamiento utilizando una metodologa demostrativa. Aplica el mtodo cartesiano en situaciones de la vida diaria. Objeto de aprendizaje: Mtodo cartesiano Momentos de realizacin del mtodo cartesiano

3.1 Antecedentes del Mtodo Cartesiano. Descartes posea un carcter cientfico y la muestra de esto la podemos observar en la publicacin de sus obras "Discurso del mtodo para dirigir bien la razn y buscar la verdad en las ciencias" y "La Diptrica los Meteoros y la Geometra". En ellas se puede apreciar que trata a la ciencia y la filosofa con a un "todo", considerndolas unidas. En el discurso de Descartes un error que provenga de una opinin no se produce por una carencia de inteligencia, sino que el error provendr de mtodo seguido. Lo primero que debemos plantearnos es cul es el mejor camino para llegar al fin requerido y por ello define el mtodo cartesiano. El mtodo cartesiano tiene como referencias dos elementos distintos: 1) Por un lado, la razn. Se pretende, desde el uso de la razn individual, restaurar el orden social y aunar criterios en el mbito del conocimiento. Pero la razn necesita una regla y un mtodo que nos aporte certeza a la hora de obtener resultados mediante el razonamiento y as dirigir al espritu y estructurar la sociedad y el saber. 2) Por otro lado, la influencia de las matemticas. Creadora de un orden nuevo natural puesto que promueve slo a la razn como herramienta posible. De ah que las matemticas se conviertan en el modelo a seguir. Lo que ms llamaba la atencin de los filsofos sobre esta ciencia era que sus desarrollos pueden seguirse sin apelar a la experiencia. Lo consideraban como un artificio artstico
Pgina 27 de 42

en el que primero se "creaba" de la nada, para a continuacin mediante un proceso deductivo apoyado en la razn demostrarlo. 3.2 Objeto del Mtodo Cartesiano. Cuando en un principio Descartes defini el mtodo cartesiano pretenda hallar una manera para evitar el error y poder alcanzar verdades indudables, y una vez descubiertas estas verdades intentar mediante la deduccin obtener nuevas verdades. Se pretende conseguir un desarrollo terico infalible que posibilite la aparicin de verdades universales. Para ello se apoyarn en la intuicin y la deduccin. Pero Descartes va ms all. Promueve construir de nuevo todo el conocimiento en el que no tendran cabida prejuicios y slo existir la verdad.

El objeto es llegar a la verdad universal.

Actividad:
Realizar reporte de investigacin en una cuartilla, sobre el concepto, la aplicacin del mtodo cartesiano y exprese al final la postura personal sobre la importancia del mtodo cartesiano. Entregarlo en limpio, con buena ortografa y con fuentes bibliogrfica.

3.3 Reglas del mtodo cartesiano. Las reglas en las que se basa el mtodo cartesiano son: 1. Regla de la evidencia: "No admitir jams como verdadero cosa alguna sin conocer con evidencia que lo era, es decir, evitar cuidadosamente la precipitacin y la prevencin." Nota: En la primera regla slo se acepta como verdadero lo evidente y para acceder a ella necesitamos de la intuicin. Segn Descartes: <<La evidencia es un acto puramente racional por el que nuestra mente "ve" de modo simple e inmediato una idea>>. El descubrimiento de lo evidente se caracteriza porque se considera inmediato, lo que significa que no hay pasos intermedios para descubrir el concepto. La intuicin intelectual se caracteriza porque no posee error, algo es verdadero o falso, no existen valores intermedios. 2. Regla del anlisis: "Dividir cada una de los problemas en tantas partes como sea posible para obtener una mejor solucin." Nota: En la segunda regla apreciamos que cualquier problema que estudiemos est formado a su vez por subproblemas que al poder tratarse por separado facilitan el trabajo y ayudan a obtener soluciones mejores y ms fiables. Para ello intentaremos transformar las ideas complejas en ideas simples.

Pgina 28 de 42

3. Regla de la sntesis: "Comenzar el razonamiento por los objetos ms simples y ms fciles de conocer, para ir ascendiendo poco a poco hasta el conocimiento de los ms compuestos." Nota: Una vez hemos llegado a descomponer el problema en ideas sencillas tenemos que aplicar la tercera regla, volveremos a juntar todos los subproblemas descubiertos en la segunda regla, y que ya hemos solucionado, para intentar en esta ocasin solucionar el problema origen o problema "padre". Es aqu donde entra en accin el proceso deductivo. 4. Regla de las enumeracin: "Hacer en todo momento enumeraciones completas y revisiones generales." Para finalizar y para evitar posibles errores, se realizarn comprobaciones de todo el proceso recorrido. Este recorrido se centrar sobre todo en las partes de anlisis y sntesis que es donde se producen la mayora de los errores. El sistema de conocimiento resultante transmite la verdad en todos los pasos, por lo que tendremos garanta de certeza al final del proceso.

3.4 Momentos de la realizacin del mtodo cartesiano. En el momento de la realizacin del mtodo cartesiano es necesario tomar una direccin en base a estos dos momentos: - Anlisis. - Sntesis. El momento final de cualquier decisin ser una Demostracin.

3.4.1 Momento del Anlisis. Consiste en el estudio de los casos singulares para llegar a una ley Universal.
Coincide con el proceso de Induccin.

Pgina 29 de 42

Este es el momento ms adecuado para las ciencias fsicas, biologa, qumicas, etc. 3.4.2 Momento de la Sntesis. Es el momento que va de las leyes a los hechos particulares, es considerado como el apropiado para las matemticas y la filosofa.

Coincide con el proceso de la sntesis.

3.4.3 Momento de Demostracin. Es el momento final despus del anlisis o sntesis, y es el momento final de toda ciencia. Demostracin: Es el raciocinio que se funda en principios ciertos y concluye en una proposicin cierta.
Gutirrez Senz, Ral, Introduccin a la lgica

Ejercicio: De acuerdo a las reglas y momentos del mtodo cartesiano analiza la imagen que se anexa y comenta sobre los momentos en que se dan cada uno:

Pgina 30 de 42

Razonamiento de cmo se desarrollan las reglas y momentos del mtodo cartesiano:

__________________________________________________________________________ __________________________________________________________________________ __________________________________________________________________________ __________________________________________________________________________ ______________________________________________________________________

Actividad: Entregar un ensayo que contenga un anlisis de las reglas y momentos de desarrollo del mtodo cartesiano, presentando un ejemplo de cmo se utiliza para demostrar un principio de una ciencia.

Pgina 31 de 42

Autoevaluacin del alumno de los conceptos y habilidades del bloque. Criterios para evaluar el aprendizaje Conoc los antecedentes del mtodo cartesiano. Identifique las reglas del mtodo cartesiano. Reflexione sobre la importancia de utilizar el mtodo cartesiano. Analice los momentos del mtodo cartesiano. Utilice el mtodo cartesiano para comprender los principios cientficos. Si lo desarrollo No lo desarrollo

Fuentes: BSICA: Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001.

COMPLEMENTARIA: Baena Paz, Guillermina. Metodologa de la investigacin, Mxico, Editorial Cultural, 2002, Octava reimpresin 2005. Hernndez Sampieri, Roberto; Fernndez Collado, Carlos; Baptista Lucio Pilar. Metodologa de la Investigacin, Editorial Mc Graw Hill, Chile 2004. Albarn Vzquez, Mario; Escobar Valenzuela, Gustavo. Metodologa de la Investigacin, Editorial Cultural, 2003. Escobar Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999. Gutirrez Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998. San Jos G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001. ONTORIA A. et al. Potenciar la capacidad de aprender y pensar, Editorial Nancea. Espaa, 2002. CaStaeda, Juan, Habilidades acadmicas, Editorial Mc Graw Hill. Mxico, 2003. Copi, Irving M., Introduccin a la lgica, Editorial Universitaria de Buenos Aries. Buenos Aires, 1969. De Gortari, Eli, Iniciacin a la lgica, Editorial Grijalbo. Mxico, 1974. Gorski D.P., Tavants P.V., Lgica, Editorial Grijalbo, Mxico, 1970. Ortega, Esteban, Lgica, introduccin a la Filosofa y la Ciencia, Editorial Diana. Mxico, 1993. ELECTRNICA:

http://es.wikipedia.org
http://www.liceodigital.com/filosofia/logica.htm http://www.memo.com.co/fenonino/aprenda/filosofia/filosofia.html http://ntic.educacion.es/w3//eos/MaterialesEducativos/mem2003/logica/
Pgina 32 de 42

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=M%C3%A9todo_cartesiano

Instrumentos de evaluacin. Producto: Reporte de investigacin del concepto del mtodo cartesiano y su importancia. Instrumentos: Lista de cotejo. Ponderacin: 10 % Elementos de anlisis El alumno estableci el concepto del mtodo cartesiano. El alumno aporta antecedentes del mtodo cartesiano. El se estableci la aplicacin del mtodo cartesiano en la vida diaria. Se integro una postura personal sobre la importancia del mtodo cartesiano. Se observa limpieza en el trabajo Se entrego en el tiempo sealado por el profesor Se observa buena ortografa. Contiene fuete bibliogrfica. Producto: Ensayo sobre las reglas del mtodo cartesiano y momentos de aplicacin. Instrumentos: Rbrica. Ponderacin: 20 % Nivel de logo Excelente Bueno Cumple con todos los Cumple con la mayora los requisitos de tiempo requisitos de tiempo pedidos por el profesor. pedidos por el profesor. Creatividad Utiliza bastante la Utiliza poca creatividad, creatividad, identifica ideas utilizando organizacin y utilizando diferentes marcacin para distinguir materiales, con marcados. ideas. Sustentacin del Se desarrollo una Se desarrollo una reporte investigacin de todos los investigacin de todos los parmetros en diferentes parmetros en una fuente fuentes bibliografas. (Dos bibliogrfica. o ms). Integra la forma de Integra un ejemplo donde Integra un ejemplo con aplicacin del se demuestre un principio demostracin incompleta. mtodo cartesiano, de una ciencia con mtodo utilizando ejemplos. cartesiana Criterios Entrega del reporte
Pgina 33 de 42

si

no

Observacin

Regular No cumple con el requisito de tiempo y forma que se solicito. Presenta poca creatividad

Se desarrollo una investigacin, sin especificar la fuente bibliogrfica. Integra una mencin de un principio, sin demostracin.

Asignatura: LGICA II

BLOQUE: IV

Aplicas los gneros de la dialctica.

Despeos a demostrar:
Comprende los diferentes gneros de la dialctica. Reflexiona sobre la importancia de identificar los gneros de la dialctica para argumentar. Utilizas una argumentacin correcta en un gnero de la dialctica.

Competencias a desarrollar:

Comprende los antecedentes de la dialctica. Comprende el discurso argumentativo. Delimita los distintos tipos de gneros de la dialctica.(Debate, foro, defensa jurdica, mesa redonda, conferencia y ponencia.) Expresa ideas o juicios basados en los gneros dialecticos. Sustenta posturas personales sobre temas de inters social de manera crtica y reflexiva Aplica una organizacin metodolgica de las ideas y enunciados que se utilizan en un gnero de la dialctica. Reflexin sobre la importancia las reglas o principios medulares de cada gnero dialectico.

Objeto de aprendizaje: Gneros de la dialctica. 4.1 Dialctica. Antecedentes: Los antecedentes de la dialctica se encuentran en Grecia, donde en la Repblica, Platn establece una correlacin entre los grados de conocimiento y los distintos grados de ser, ocupando las ideas la mxima jerarqua tanto gnoseolgica como ontolgica. Por ello, en esta primera concepcin, la dialctica, concebida como el camino y el mtodo del conocimiento y de la ciencia lo es tambin de la libertad y la justicia. Slo el filsofo, como mximo dialctico, podr liberar a la humanidad de las sombras de la caverna y traer la justicia al mundo. En su segunda acepcin recogida en el Filebo, el Parmnides y el Sofista, Platn concibe la dialctica como un examen de las distintas ideas y de las relaciones que mantienen entre s unas con otras, mostrando su trabazn (symplok) y comunicacin (koinona). Las ideas son los gneros de las
Pgina 34 de 42

cosas, a partir de los cuales y por divisin (diaresis) se definen las especies o determinaciones de las cosas. En Aristteles consideraba a la dialctica como aquellos silogismos que partiendo de premisas no ciertas son simplemente probables (lgica de lo probable). En la filosofa medieval, el concepto dialctica se refera indistintamente al conjunto de elementos que integran a la lgica. Para Kant, ser la dialctica la lgica de la apariencia y su objeto son las tres ideas de: alma, mundo y Dios, sobre las cuales la mente no puede sino construir paralogismos y antinomias. Estos son algunos de los autores ms reconocidos, aun cuando varios filsofos han aportados conceptos a esta figura. En la modernidad es el tratado por Marx, Engels, Lennin y otros. Concepto: Partiendo de los antecedentes desarrollados se puede definir a la dialctica como una lgica basada en la 'identidad' y la 'inclusin' de conceptos. An no en la 'oposicin' o contradiccin, operacin que se introduce a partir de la dialctica hegeliana. As tambin la palabra dialctica procede del griego dialegomai, que significa dilogo, conversacin, polmica. La dialctica era la manera de llegar a la verdad mediante la discusin y la lucha de opiniones, tratando de descubrir contradicciones en las argumentaciones del interlocutor. Hegel estableci que un desarrollo no se da en lnea recta, sino en espiral, un desarrollo a saltos, transformaciones de cantidad en calidad, de impulsos dados por contradicciones, de interdependencia e ntima concatenacin de todos los aspectos de cada fenmeno. Por su etimologa, el concepto remite a dos trminos griegos: dia ("da": de lo uno a lo otro) y legein ("lgein": decir, razonar, determinar, definir), por lo que su sentido ms ordinario equivaldra a un "arte del dilogo" donde se producira una contraposicin o lucha entre dos o ms lgoi o "razones".

Pgina 35 de 42

4.2 Gneros de la dialctica para argumentar. DEBATE Es una tcnica de comunicacin oral donde se expone un tema y una problemtica. Hay integrantes, un moderador, un secretario y un pblico que participa. No se aportan soluciones solo se exponen argumentos. La condicin de un debate se da en el distinto punto de vista que guardan dos o ms posiciones antagnicas en torno a un tema o problema. Es un texto argumentativo en el que se entrelazan los argumentos que sostienen la tesis en conflicto. Los argumentos se deben ir construyendo en estrecha relacin conforme el oponente, as que el debate se trata de una argumentacin de gran dificultad y rapidez mental.

Normas para su preparacin Elegir un tema de inters y que suscite controversia, y preparar los contenidos tericos. Escoger un coordinador o moderador, quien determina el esquema de trabajo que en algunos casos puede ser un cuestionario con preguntas elaboradas de tal manera que susciten la controversia. Conformar grupos que defiendan o ataquen los planteamientos en pro y en contra. Preparar el material y las ayudas. Designar un secretario que ser el que va anotando lo que se va opinando en el debate a qu hora y su coherencia. Normas para su realizacin Durante el debate el coordinador debe: Poner en consideracin el objetivo del sujeto. Anunciar el tema y ubicarlo dentro del proceso. Describir la actividad. Dar las instrucciones que rigen a los participantes y cerciorarse de que han sido comprendidas por todos. Formular la primera pregunta y dar la palabra en orden a los participantes. Desempear durante la discusin el papel de moderador, agotadas las opiniones sobre la primera pregunta, pasar a formular las siguientes. Terminar el debate, el secretario tratara de que la asamblea llegue al consenso sobre las conclusiones. Realizar la evaluacin con la asamblea. Recomendaciones para debatir En toda actividad oral, tanto el emisor como el receptor deben tener presente lo siguiente: Imponer el punto de vista personal. Escuchar al otro antes de responder. Ponerse en el lugar del otro. Ser breve y concreto al hablar. Ser tolerante respecto a las diferencias.
Pgina 36 de 42

 No subestimar al otro. No hablar en exceso para as dejar intervenir a los dems, evitando la tendencia al monlogo y la monotona. No burlarse de la intervencin de nadie. Evitar los gritos para acallar al interlocutor.
Hablar con seguridad y libertad, sin temor a la crtica. Acompaar las crticas con propuestas. Criticar para construir. Or atentamente al interlocutor para responder en forma adecuada. Articular correctamente los sonidos, empleando un tono de voz adecuado a la situacin concreta de entonacin y al contenido del mensaje (interrogacin, exclamacin, sonidos indicativos de fin de enunciacin, pausas, etc). Adecuar el vocabulario que se posee a la situacin comunicativa del momento y ampliarlo para conseguir precisin lxico-semntica. Evitar las palabras y giros idiomticos desgastados y los propios del registro informal, pues en la sala de clases o en la situacin comunicativa de un debate se impone el registro formal. http://es.wikipedia.org/wiki/Debate

MESA REDONDA Esta tcnica consiste en que un grupo de expertos sostienen puntos de vista divergentes o contradictorios sobre un mismo tema el cual exponen ante el grupo en forma sucesiva. Se utiliza cuando se desea dar a conocer a un auditorio los puntos de vista divergentes o contradictorios de varios especialistas sobre un determinado tema o cuestin. La Mesa Redonda ha sido difundida ampliamente por la televisin, donde, por ejemplo, polticos de diversos partidos exponen sus puntos de vista contradictorios acerca de un hecho o medida de gobierno. Los integrantes de la Mesa Redonda (que pueden ser de 3 a 6 personas, aunque generalmente son 4) deber ser elegidos, pues, sabiendo que han de sostener posiciones divergentes u opuestas sobre el tema a tratarse; ya sea individualmente o por parejas o bandos. Adems, han de ser expertos o buenos conocedores de la materia, y hbiles para exponer y defender con argumentos slidos su posicin. La confrontacin de enfoques y puntos de vista permitir al auditorio obtener una informacin variada y ecunime sobre el asunto que se trate, evitndose as los enfoques parciales, unilaterales o tendenciosos, posibles en toda conferencia unipersonal. La Mesa Redonda tiene un director o coordinador cuyas funciones se mencionaran ms adelante. En cuanto a la duracin, es conveniente que no se extienda ms all de los 60 minutos, para permitir luego las preguntas que desee formular el auditorio durante el lapso que se considere prudente. Cmo se realiza?:
Preparacin:

Una vez decidido el tema, el organizador debe seleccionar a los expositores de los distintos puntos de vista, de acuerdo con los requisitos ya expuestos. Se har una reunin previa con los participantes con el objeto de coordinar el desarrollo, establecer orden de exposicin, tiempo, temas y subtemas por considerar, etc. La Mesa Redonda requiere esta preparacin, a pesar de que en su desarrollo pblico se manifieste luego una situacin espontnea.
Pgina 37 de 42

El organizador debe prever asimismo el ambiente fsico donde tendr lugar, el equipo, los horarios, las invitaciones, etc. Los miembros de la Mesa Redonda deben estar ubicados en un escenario donde puedan ser vistos por todo el auditorio. Generalmente el coordinador se sienta en el centro, detrs de una mesa amplia, y los expositores a su derecha e izquierda formando los respectivos "bandos" de opinin:

Desarrollo: 1. Ubicados en el escenario los participantes, el coordinador abre la sesin con palabras iniciales, mencionando el tema por tratarse, explica el procedimiento que ha de seguirse, hace la presentacin de los expositores agradecindoles su cooperacin, comunica al auditorio que podrn hacer preguntas al final, y ofrece la palabra al primer expositor. 2. Cada expositor har uso de la palabra durante 10 minutos aproximadamente. El coordinador ceder la palabra a los integrantes de la Mesa redonda en forma sucesiva, y de manera que se alternen los puntos de vista opuestos o divergentes. Si un orador se excede demasiado en el uso de la palabra el coordinador se lo hace notar prudentemente. 3. Una vez finalizadas las exposiciones de todos los participantes, el coordinador hace un breve resumen de las ideas principales de cada uno de ellos, y destaca las diferencias ms notorias que se hayan planteado. Para ello habr tomado notas durante las exposiciones. 4. Con el objeto de que cada expositor pueda aclarar, ampliar, especificar o concretar sus argumentos y rebatir los opuestos, el coordinador los invita a hablar nuevamente durante unos dos minutos cada uno. En esta etapa los expositores pueden dialogar si lo desean defendiendo sus puntos de vista. 5. Minutos antes de expirar el plazo previsto, el coordinador da por terminada la discusin y expone las conclusiones haciendo un resumen final que sintetice los puntos de coincidencia que pudieran permitir un acercamiento entre los diversos enfoques, y las diferencias que quedan en pie despus de la discusin. 6. El coordinador invita al auditorio a efectuar preguntas a los miembros de la mesa sobre las ideas expuestas. Estas preguntas tendrn slo carcter ilustrativo, y no se establecer discusin entre al auditorio y la mesa. Las personas del auditorio tendrn derecho a una sola intervencin.

Pgina 38 de 42

Sugerencias prcticas:

El coordinador ha de ser imparcial y objetivo en sus intervenciones, resmenes y conclusiones. Tendr agilidad mental y capacidad de sntesis, y ser muy prudente en el tiempo que tome para su participacin (lo importante en la Mesa Redonda es conocer las ideas de los miembros invitados). El coordinador debe ingeniarse para desalentar cordialmente las intenciones polmicas de algn integrante del auditorio. De la mejor manera posible insistir en aclarar que las preguntas del pblico no deben convertirse a su vez en "exposiciones" sobre el tema, y que una vez contestadas no deben llevar a la discusin. http://www.gerza.com/tecnicas_grupo/todas_tecnicas/mesa_redonda.html

PONENCIA

Una ponencia es una propuesta o comunicacin sobre un tema especfico, que es analizada y examinada en una asamblea. La ponencia puede generar una resolucin por parte de la asamblea en cuestin.

En el lenguaje cotidiano, se suele utilizar el concepto de ponencia para hacer referencia a cualquier discurso o presentacin que una persona realiza frente a un auditorio. El lanzamiento de productos en el marco de un evento, las exposiciones cientficas y la argumentacin acadmica seran, en este sentido, distintos tipos de ponencias. Por lo general, una ponencia consiste en la presentacin de un proyecto o una propuesta de trabajo. Como su intencin es didctica o persuasiva, resulta indispensable que el ponente conozca en profundidad los temas tratados. La ponencia debe tener una introduccin (para llamar la atencin de la audiencia), un cuerpo central (donde se desarrolle el mensaje que se quiere transmitir) y una conclusin (que suele resumir lo expresado en el cuerpo central). Es importante que la ponencia cuente con un adecuado soporte audiovisual que refuerce los conceptos o que ayude a la comprensin de los trminos. Por ejemplo: el ponente puede apoyarse en diapositivas mientras habla, hacer pausas para mostrar pequeos videos, etc. Sobre el final de la ponencia, resulta necesario dejar espacio para las preguntas o el dilogo. El ponente debe invitar al auditorio a realizar consultas y tiene que ser claro en sus respuestas. De todas formas, debe tratar de no entablar dilogos personales (dejando de lado al resto de las personas presentes), sino que lo mejor es responder las inquietudes a nivel general y estableciendo vnculos con lo ya expuesto.
http://definicion.de/ponencia

Pgina 39 de 42

CONFERENCIA Implica dialogar con tus oyentes, "conferencia" significa bsicamente conversar y ese es el sentido principal para diferenciarla claramente del discurso.

Dicho sencillamente, una conferencia es una conversacin. Pero primero entendamos lo que es un discurso, para ver la diferencia. El Diccionario de la Lengua Espaola de la Real Academia nos ayuda a entender que un discurso es la facultad de usar la mente (el razonamiento) para reflexionar o analizar los antecedentes, principios, indicios o seales de cualquier asunto con el fin de entenderlo. Cuando reflexionas, ests discursando, es decir, aplicando tu inteligencia, para entender un asunto y hasta para ser capaz de explicarlo inteligentemente a otras personas. Es una tarea que realizas en el interior de tu mente, una lnea de razonamiento. Si anuncias tu presentacin como un "discurso", pero al final del mismo permites tiempo para una sesin de preguntas y respuestas, el "discurso" se convierte en una "conferencia", porque hay un dilogo. Por eso, si anuncias tu presentacin como un "discurso" pero al final del mismo permite una sesin de preguntas y respuestas, t o el presidente de la reunin debern indicar claramente el protocolo que seguirn a fin de que no producir desorden o confusin en la sala. Estas son algunas diferentes opciones de conferencia: 1) Se permitir que el auditorio interrumpa en cualquier momento, ya sea para hacer preguntas y ofrecer comentarios cuando lo deseen, porque al final no habr sesin de preguntas y respuestas. 2) Srvanse anotar sus preguntas en una libreta, porque el orador invitar al auditorio a hacer preguntas y ofrecer comentarios al final de cada punto principal. 3) Srvanse acercarnos sus preguntas y comentarios en una hoja de papel, porque el orador seleccionar las ms relevantes y se concentrar en estas por 5 (10 15 minutos) al final de su discurso. a) Esto es para que recuerden sus preguntas y, llegado el momento, las expresen a viva voz desde sus asientos.

Pgina 40 de 42

b) O para que el encargado recabe las preguntas y les sean alcanzadas por el presidente al orador por escrito. Recuerda: La "conferencia" es una conversacin entre el orador y su auditorio, o entre los panelistas de un panel, o entre un entrevistador y su entrevistado. En cambio, un "discurso" es un monlogo en el que presenta o explica sus ideas y conclusiones sin mediar dilogo alguno con nadie.
http://www.oratorianet.com/rsp/Index/Index_CONFERENCIAS.html

FORO El foro es un tipo de reunin donde distintas personas conversan en torno a un tema de inters comn. Es, esencialmente, una tcnica de comunicacin oral o virtual, realizada en grupos, en base a un contenido de inters general que origine una "discusin". Es una tcnica de dinmica de grupos que consiste en una reunin de personas donde se aborda de manera informal o formal un tema de actualidad ante un auditorio que, a menudo, puede intervenir en la discusin. Normalmente la discusin es dirigida por un moderador. El objetivo del foro es conocer las opiniones sobre un tema concreto

. Caractersticas

Libre expresin de ideas y opiniones de los integrantes. Permite la discusin de cualquier tema. Es informal (casi siempre). Generalmente se realiza el foro a continuacin de una actividad de inters general: Puede constituir tambin la parte final de una mesa redonda, simposio, entre otros. De acuerdo con la actividad anterior, la tcnica se llamar foro-debate, cine foro, disco-foro, entre otros. Formula una pregunta concreta y estimulante referida al tema. Distribuye el uso de la palabra. Limita el tiempo de las exposiciones. Controla la participacin espontnea, imprevisible y heterognea de un pblico numeroso y desconocido. Lugar en el cual es planteada una serie de temas los cuales son de discusin, y entran todos los temas como economa, poltica, deportes, entre otros.

Pgina 41 de 42

Organizacin

El moderador inicia el foro explicando con precisin sobre cul es el problema para discutir. Seala las reglas del foro. El moderador hace una sntesis de las opiniones expuestas y extrae las posibles conclusiones.

Pasos para la organizacin del foro

Anunciar el tema y el objetivo de la discusin. Presentar a los panelistas. Determinar el tiempo de la discusin y el de la realizacin de las preguntas. Iniciar la discusin. Mantenerla viva y animada. Evitar que los panelistas se salgan del tema. Evitar que los panelistas repitan lo que ya se comparti. Hacer resmenes sobre el estado de la discusin. Finalizar la discusin. Conceder la palabra a los miembros del auditorio, al terminar la discusin de los panelistas.

Moderador El moderador es una parte esencial en un foro. Entre sus funciones destacan: 1. Anuncia el tema, hecho, problema o actividad que se va a discutir o analizar y lo ubica dentro del proceso. 2. Describe la actividad que se va a realizar, da las instrucciones sobre las normas que regulan la participacin de los asistentes. 3. Declara iniciado el foro, anima a los presentes a participar, propone preguntas que despierten su inters. 4. Cuando se considere que se ha agotado el tratamiento de un aspecto del tema, el coordinador o el secretario hace una sntesis de lo expuesto antes de seguir tratando los aspectos restantes. 5. Cerrar el foro.

Pgina 42 de 42

BLOQUE

Aplicas los principios de la lgica a diferentes materias

Desempeo a demostrar: Comprendes los diferentes conectivos lgicos Expresa soluciones a problemas utilizando conectivos lgicos para conocer la verdad Utiliza la lgica simblica en la vida diaria, para llegar a la verdad.

Competencias a desarrollar: Comprende los diferentes conectivos lgicos conectivos lgicos Comprendes la relacin de la lgica simblica con otras metera cientfica Argumenta sus ideas, respecto a diversos fenmenos histrico sociales, mediante procedimientos tericos metodolgicos, utilizando proposiciones simples o compuestas. Argumenta las repercusiones de los procesos y cambios polticos, econmicos y sociales que ha dado lugar entorno socioeconmico actual, previo anlisis de sus proposiciones para comprobar su validez por medio de conectivos lgicos. (Negacin, conjuncin, disyuncin inclusivo y exclusiva, condicional, bicondicional) Propone alternativas correctas y verdaderas, de solucin a problemas de convivencia, de acuerdo a la naturaleza propia del ser humano y de su contexto histrico ideolgico, poltico y jurdico, de acuerdo a la tabla de verdad.

Objeto de aprendizaje:

Conoces la lgica simblica Conoces y aplicas los conectivos lgicos Conoces y aplicas las tablas de verdad de los conectivos lgicos

Pgina 1 de 54

LA LGICA SIMBLICA
OBJETO DE APRENDIZAJE.
Que el alumno conozca y aplique las bases de la lgica simblica La lgica simblica es conocida tambin con los nombres de lgica moderna, lgica matemtica o logstica; esta nieva lgica naci de la insuficiencia de la lgica tradicional, utiliza una simbologa ms completa, diferencia entre lenguaje lgico y la realidad, posee un mayor grado de exactitud y una potencia lgica (es decir, operativa) superior.
Escobar Valenzuela, Gustavo. Lgica, nociones y aplicaciones, 2008. Mxico, ed. Mac Graw Hill, p, 203

En qu consiste el lenguaje natural o coloquial? En que se caracteriza un lenguaje simblico? Conoces que ciencias utilizan el lenguaje lgico? Cul es la finalidad de construir lenguajes simblicos o artificiales?

Actividades de Aprendizaje (bsica)

B5. Act_1. Con base a la siguiente teora, realice en equipos mixtos, una investigacin documental, donde se presente los antecedentes del lenguaje simblico, la definicin de la lgica simblica y sus caractersticas. El trabajo se presentara a mano, en hojas tamao carta, con consultas bibliogrficas (3 fuentes) Despus de ser evaluado por el maestro, anxelo a su carpeta de evidencias.

Antecedentes de la lgica simblica

Como ya se ha mencionado en captulos anteriores, la lgica proposicional fue formulada por Aristteles (siglo IV a J. C.), en su libro: El Organon (instrumento), esta lgica proposicional ese expresa por medio de palabras o proposiciones, se encuentran en el lenguaje cotidiano. Los estoicos (sobre salen Crispo, 280 -207 a J.C.) cultivaron la lgica proposicional entre las cuales se desarrollaba las reglas para deduccin de proposiciones. Ya en la edad media sobresalen filsofos, tales como: Pedro Hispano, el cual escribi en el siglo XIII, las Smulas Lgicas, donde deja establecer el uso de las cuatro vocales (A, E, I, O) para dedignar las proposiciones segn su cualidad y cantidad, la extensin y la comprensin; y tambin los nombres a cada uno de los silogismos, conocidos como Modos del Silogismo, que se encuentran en cada figura. Por su parte Raimundo Lulio escribi en Ar Magna en el siglo XIV, el cual pretendi colocar a la lgica como

Pgina 2 de 54

ciencia universal y base de toda filosofa, ya que por medio de combinaciones lgicas de ciertas nociones quera deducir todo el contenido lgico filosfico La filosofa moderna empieza despus del Renacimiento, en el siglo XVII, en donde destacan los filsofos como: Francis Bacn, con su obra el Novum Organum , se opone al mtodo silogstico y pretende colocar el mtodo inductivo como base del conocimiento cientfico. Por su parte Ren Descartes, en su libro: Le Discours de la Mthode (El Discurso del Mtodo) tambin crtica a la lgica y a la filosofa aristotlica, ya que no sirven para lograr eficazmente nuevos descubrimientos, por lo cual fundamento sus Reglas del Mtodo Gottfried Wilhelm Leibniz , por su parte se le reconoce como el precursor de la lgica matemtica, el cual propone, a finales del S. XVII, un clculo lgico (Mathess Universalis) , en su obra: Nouveaux essais sur l'entendement humain (Nuevos ensayos sobre el entendimiento humano), en donde se representan smbolos para representar a los pensamientos y sus relaciones. Con este tipo de mtodos, Lebniz estaba convencido de la posibilidad de una certeza filosfica, as cesaran las disputas y se podra llegar a un total acuerdo, todo gracias al conocimiento de saber calcular cualitativamente.
http://es.wikipedia.org/wiki/Gottfried_Leibniz
Fig. 5.1. El Discurso del Mtodo de Ren Descartes

Por su parte Emmanuel Kant (siglo XVII) pretendi darle un nuevo matiz y direccin a la lgica desde el momento que la define como un tratado de principios a priori del entendimiento. Las aportaciones de Georg Wilhelm Friedrich Hegel, en el siglo XIX, menciona en su obra: Fenomenologa del espritu (1807), es la identificacin de la Lgica con la Metafsica, de acuerdo con su tesis central segn la cual: Todo lo real es racional, y todo lo racional es real. Karl Marx, por su parte, retoma las ideas hegelianas para desarrollar la Lgica Dialctica, en donde se formula el combatir el estado esttico de la filosofa tradicional y hacer notar que mente y realidad trabajan de acuerdo con leyes dialcticas del dinamismo, la lucha de contrarios y el salto de lo cuantitativo a lo cualitativo. Por otra parte, Jhon Stuart Mill, durante el siglo XIX, en su obra: 1843: Un sistema de lgica, se inclina por mtodos inductivos rechazando la deduccin silogstica y pretende fundamentar la lgica en la Psicologa (Psicologismo), la cual fue refutada por Edmund Gustav Albrecht Husserl, en su obra: Investigaciones Lgicas . En la Lgica Simblica o llamada tambin como Lgica Matemtica, se encuentran tericos ms sobresalientes, tales como: George Boole, W.S. Jevons, Gottlieb Frege, Giusepp Peano, Bertrand Russell, Ludwig Wittgenstein, entre otros.
Fig. 5.2. Georg Wilhelm Friedrich Hegel

Pgina 3 de 54

Algunos tericos sobre la lgica proposicional.

A) George Boole (1815 1864), publica en 1847 su Anlisis Matemticas de la Lgica, en la cual adopta, en sus clculos lgicos, el punto de vista de la extensin en lugar del punto de vista de la comprensin, es decir, trata las relaciones entre clases, en lugar de relaciones entre esencias y sus propiedades, los cuales estn tomados de Algebra y de la Aritmtica, es decir extiende el proceso general del clculo matemtico al terreno de la lgica. B) William Stanley Jevons (1853 1882) escribi en su obra: Lgica pura o lgica de la cualidad y no de la cantidad. Pretende volver al punto de vista de la cualidad (o comprensin de la idea), apartndose del punto de vista de la extensin. C) Charles S. Peirce (1839 1914) contribuyo a la Lgica matemtica en el terreno de las relaciones entre clases. Esta relacin est en la inclusin de las variables: C, de tal manera que A, C, B, quiere decir: Todos los individuos contenidos en la clase A tambin estn incluidos en la clase B, de aqu que se d la axiomatizacin de la lgica, as como la definicin de los conectores. Pierce tambin aporta las llamadas tablas de verdad.
Fig. 5.3. George Boole fue un matemtico y filsofo britnico.

D) Schroeder (1841 1902) recopil sistemticamente en el fruto de la investigacin de su tiempo en tres volmenes titulados: Lecciones sobre el lgebra de la lgica. E) Gottlied Frege (1848 1925) vuelve al punto de vista intencional (comprensin o contenido de los conceptos) y funda as la lgica de los predicados. Establece las distincin entre ley (o axioma) y regla (procedimiento deductivo), dejando las bases de la axiomatizacin. F) Giuseppe Peano (1858 1932) con su libro: Principios de la Aritmtica, (Arithmetices principie) publicada en 1889, establece un smbolo que luego ser adaptado por Russell en su Principia Mathematica. G) Bertrand Russell (1872 1970) con su Principia Mathematica, escrito con la colaboracin de Whitehead y publicado entre los aos 1910 y 1913, sistematizada y perfecciona los avances de la lgica matemtica realizada en el siglo XIX, y se aplica a los fundamentos de los fundamentos lgicos de las ciencias matemticas. H) Ludwig Josef Johann Wittgenstein, en su libro: Tractatus logico-philosophicus, Segn Wittgenstein, los hechos poseen una estructura lgica que permite la construccin de proposiciones que representen o figuren (del alemn Bild) ese estado de cosas.
Pgina 4 de 54

 Definicin de la Lgica simblica, importancia y caracterstica

La lgica simblica est caracterizada por el empleo de smbolos como lo hacen otras ciencias, como las matemticas. Estos smbolos permiten la formacin de modelos formales para representar argumentos y as facilitar el desarrollo y explicacin de las demostraciones en el discurso lgico. La lgica simblica, es tambin llamada lgica matemtica o logstica, la cual abarca temas como la lgica proposicional y la lgica cuantificacinal o simblica. Recordemos que la lgica tradicional es expuesta dentro de argumentos proposicionales, argumentos que son definidos como enunciados u oraciones declarativas donde unas son designadas como premisas y otras como conclusiones Por su parte en la lgica simblica, el clculo proposicional es definido como la operacin, semejante a la que hacen las matemticas, donde, de ciertos enunciados o premisas se puede obtener como conclusin otros enunciados, aplicando simbologa, aplicando reglas y leyes establecidas. Es decir que el clculo proposicional estudia las relaciones lgicas que se establecen entre las premisas y las conclusiones de un determinado argumento o razonamiento, por medio de un conjunto de clculos, de smbolos lgicos, interrelacionados entre s para construir argumentos o inferencias. Las Caractersticas de la lgica simblica pueden ser: La lgica tradicional es exclusiva de una lgica de trminos y su nomenclatura y sintaxis estn expresadas por medio de lenguaje comn o natural. La lgica moderna, en cambio, posee una mayor amplitud y su terminologa y sus sintaxis se manifiestan mediante un lenguaje artificial. La lgica tradicional es exclusivamente una lgica de trminos y su nomenclatura y sin sintaxis estn expresadas por medio del lenguaje comn o natural. La lgica moderna, en cambio, posee una mayor amplia y su terminologa y su sintaxis se manifiestan mediante lengua artificial. En la lgica tradicional se simboliza nicamente los trminos (variables); en la lgica moderna, por el contrario, se representa tanto los trminos como las proposiciones y los signos lgicos (variables y constantes). Mediante la lgica tradicional el nico modelo de la proposicin que debe ser considerado es el tipo A es B o A no es B, y as, desde el punto de vista de esta lgica, todas las proposiciones han de ser reducidas al citado modelo o de lo contrario, carecen de validez.
(A.M. Lpez Molina y Pascal J. J. Abad, Filosofa, McGraw Hill, Madrid, 1995, pp. 174 -175)

Un ejemplo de ello podemos verlo en la reduccin de un ejemplo de la lgica tradicional Proposicin = Los hombres son pensantes A es B Donde A = Todos los hombres B= Son todos los pensantes

Pgina 5 de 54

La lgica simblica se caracteriza entonces por el empleo de smbolos como lo hacen otras ciencias, el smbolo permite la formacin de modelos formales para representar argumentos En la lgica proposicional Representacin de smbolos Lgica simblica Lgica cuantificacinal Lgica moderna Los argumentos son las proposiciones, enunciados u oraciones declarativas en donde unas son designadas como premisas y otras como conclusin. Ma o Premisas mi o t Conceptos Concepto T Conceptos A + B C

Conclusin

El clculo proposicional se dan operaciones semejantes a las matemticas, en donde ciertos enunciados o premisas se pueden obtener como conclusiones relacionados con otros enunciados aplicando reglas o leyes establecidas. El clculo proposicional, como lenguaje simblico formalizado, estudia las relaciones lgicas que se establece entre las premisas y las conclusiones de un determinado argumento o razonamiento. La lgica moderna o proposicional contiene nomenclaturas, sintaxis, expresiones por medio del lenguaje comn o natural, simbolizndose por medio de trminos variables. Recuerde que la utilidad que el estudio de la lgica brinda, se encuentra en organizar la funcin de nuestra mente y agilizar el trabajo en el campo de las matemticas y obliga a conocerla en forma consciente y mediata.

B5. Act_1. Realice, en equipos mixtos, una investigacin documental, donde se presente los antecedentes del lenguaje simblico, la definicin de la lgica simblica y sus caractersticas. El trabajo se presentara a mano, en hojas tamao carta, con consultas bibliogrficas (3 fuentes). Despus de ser evaluado por el profesor, anxelo a su carpeta de evidencias

Pgina 6 de 54

CLASIFICACIN DE LAS PROPOSICIONES EN LA LGICA SIMBLICA

OBJETO DE APRENDIZAJE.
Que el alumno clasifique los tipos de proposiciones

Actividad de Aprendizaje (bsica)

B5. Act_2. Teniendo en cuanta las bases tericas sobre los tipos de proposiciones, realiza 20 proposiciones, las cuales estarn clasificadas como simples o compuestas. Realiza la actividad en hojas tamao carta. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias.

Clasificacin de las proposiciones

Las proposiciones son pensamientos o enunciados declarativos que pueden ser verdaderos o falsos. Los enunciados interrogativos, imperativos, admirativos; no son proposiciones, por lo tanto no son verdaderas o falsas. En cambio las proposiciones u oraciones declarativas son susceptibles de ser verdaderas o falsas. Ejemplo: El acido sulfrico corroe la madera Dos ms dos son cuatro 1974 fue un ao bisiesto Se prohbe comer carne en Semana Santa Qu comen los pjaros? Maldito aquel que hace maldad El mar es una gran cantidad de agua salada 7 + 10 = 17 La tierra es un planeta Charles De Gaulle no fue militar La malaquita no es carbono de cobre

Declarativos

Proposiciones

Proposiones Verdaderas Proposiciones Falsas

Quin es Scrates? Dame tu mano Qu tragedia!

Enunciados interrogativos Enunciados Imperativos Enunciado admirativos

No son proposiciones

Pgina 7 de 54

Divisin de las proposiciones

A) Enunciados Simples (atmicos) Las proposiciones simples o atmicas no se componen de ms proposiciones y carecen de trminos de enlace o conectivos, es decir no tienen otras proposiciones como parte de su componente, excepto la negacin. Ejemplo: La matemtica es una ciencia formal El sol es una estrella 4 es un numero natural Todos los hombres piensan La matemtica es una ciencia formal
S S V P V P

El sol es una estrella 4 es un nmero natural La ballena es un pez 5 < 2 8 + 5 5 < 3=

Estas proposiciones son enunciados que cuentan con un solo Sujeto, Verbo y Predicado. Estas carecen de conectivos o trminos de enlace En estas proposiciones no es posible distinguir partes componentes que sean, a su vez, tambin proposiciones, es decir, afirmaciones verdaderas o falsas

B) Enunciados compuestos (moleculares) Las proposiciones compuestas o moleculares (llamadas tambin combinadas), como su nombre lo indica, se componen de dos o ms proposiciones simples y, adems como rasgo distintivo, tienen trminos de enlace o conectivos lgicos, premisas mayores y menores. Estos enunciados llamados tambin como combinadas, tambin se caracteriza por tener un conectivo lgico representado con letra Y, o la simbolizada como ; as como la letra O, la cual representa la disyuncin inclusiva y se simboliza con: V; la bicondicional si y solo si, representada por una flecha: , etc. Ejemplo: Cuba es una Isla y Baja California un Continente p q Cuba es una Isla o es una pennsula p V q p y q

p oq

Las ciencias son estudiadas solo si los hombres se dedican a su estudio p q Todos los hombres son mortales y Juan es hombre T y t

Premisa mayor = T

Premisa menor = t
Pgina 8 de 54

No es cierto que el hombre es inmortal

~ p

Como podemos observar los enunciados compuestos o moleculares contienen otros enunciados como componentes, indican que hay ms componentes y rasgos distintivos en los cuales se encuentran trminos de enlaces o conectivos lgicos entre proposiciones. Ejemplo: Cuba es una isla y Baja California es un continente conectivo S V P S V P Proposicin A (S v P) A Proposicin B (S v P)

Juan es estudiante de preparatoria y Mara es novia de Juan

S V P S V P

La proposicin A es = Juan es estudiante de preparatoria Conectivo lgico proposicional = Y es la Conjuncin La proposicin B es = Mara es novia de Juan El conectivo lgico Y enlaza y forma la proposicin molecular o compuesta, esta tambin puede recibir el nombre proposicin Combinada. Ejemplo: A conectivo B Los nios juegan en el parque o estudian en el saln de clases S V P V P

C) Enunciados abiertos (generales) Los enunciados o proposiciones abiertas son aquellas que teniendo alguna de sus partes, ya sea en Sujeto o el Predicado, Universal o Particular; abarcan o se extienden a otros miembros de su misma especie o genero. Estos enunciados pueden ser Atmicos o Moleculares. Tambin se les puede reconocer por contener diferentes variables. Una variables un smbolo que representa un elemento o cosa no especificada de un conjunto dado. Dicho conjunto es llamado conjunto universal de la variable, universo o variar de la variable, y cada elemento del conjunto es un valor de la variable; estas se pueden representar simblicamente con las letras: A, B, C, D, F, G..etc x, y, z, p, q, r, s, t, u, v...etc. a, b, c, d, e, f, getc.

Tambin pueden ser las proposiciones que se extiende como universales, ya sean afirmativas o negativas. Ejemplo:
Pgina 9 de 54

Todos los hombres piensan = Juicio Universal Afirmativo que abarca a todos los hombres Ningn pez sobrevive fuera del agua = JUN, abarca a todos los seres de una especie X es un nmero par Y > que X A + B = C y X + y = Z (oracin molecular) E= mc2 (oracin atmica)

D) Enunciados cerrados (individuales) Son los enunciados o proposiciones que se limitan a uno o varios miembros de un gnero o especie, es decir son particulares. Al igual que los enunciados abiertos, pueden ser atmicos o moleculares, En estos enunciados no se dan las variables, sino las constantes. En general, una constante es un valor de tipo permanente, que no puede modificarse, al menos no dentro del contexto o situacin, es decir esta definido su contenido y por lo cual limitado. Ejemplo: Pedro es novio de Mara El Sr Gutirrez es buen profesor de matemticas Las ballenas azules son los mamferos ms grandes 5 + 4 = 20 Guillermo es estudiante universitario y Luisa es la novia de Guillermo Los chimpancs son peludos pero los Chauchao lo son ms Jos es primo de Francisco y Francisco hermano de Norma proposiciones moleculares proposiciones atmicas

B5. Act_2. Clasifica las siguientes proposiciones, si estas son simple so compuestas. De la misma forma realiza 20 proposiciones, las cuales estarn clasificadas de la misma forma Realiza la actividad en hojas tamao carta. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias.

1. Clasifica las proposiciones en atmicas o moleculares, si es verdadera o falsa Mxico es un continente La tierra es un planeta 8+1=9 Proposicin: ________________Valor: _____________ _________________ _________________
Pgina 10 de 54

______________ ______________

Pedro es trabajador y su hijo estudiante (2+3) > (5 +8)

_________________ _________________

______________ ______________

2. Realiza 20 proposiciones (10 simples y 10 compuestas), menciona su valor (V o F) Tipo de proposicin Valor

Pgina 11 de 54

ELEMENTOS DEL LENGUAJE SIMBLICO

OBJETO DE APRENDIZAJE.
Que el alumno aplique los elementos del lenguaje simblico

Actividades de Aprendizaje (complementaria)

B5. Act_3. Con base en la teora vista en este captulo, realiza las actividades al final del tema. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias.

Lenguaje simblico o vocabulario lgico

El lenguaje lgico es un conjunto sistematizado de signos interpretados y reglas de formacin de la relacin entre las proposiciones y los signos. Esta serie de signos interpretados se refieren a las letras, nmeros, smbolos convencionales, palabras, etc., y tratan de entablar las relaciones entre signos y formas de grupos correctos para lograr expresiones inteligibles, simblicas y codificadas. Estos signos se les conocen como Primitivos o Elementales, cuando son parte de lenguaje natural. Ejemplo: Si hay sol y hace calor, entonces me pondr el sombrero y me quitare el suter p q r s

Est usando un lenguaje natural Hay una representacin simblica en cada proposicin combinada y se codifica: (p . q) (r . s)

La relacin de las proposiciones, independientemente de su contenido se simboliza con las variables: p,q,r,s. x,y,z, las proposiciones compuestas tambin son representadas por las mimas literales. Conectivas lgicas

Son las expresiones que sirven para formar proposiciones compuestas, a partir de proposiciones simples y son tomadas de los signos de clculo matemtico, clasificados de la siguiente manera.

Pgina 12 de 54

A) Elementos variables: son los signos primitivos o elementales que representan proposiciones formado por las letras o variables. p, q, r, s, t, u, v, w, x, y, z Letras proposicionales o variables proposicionales Juan es estudiante = s El perro ladra fuerte = t Etc.

Las manzanas son arboles = p Veracruz es ciudad = q El hombre es pensante = r

Las manzanas son rboles y Veracruz es una ciudad P q B) Elementos constantes: son las que permiten cambiar proposiciones atmicas para obtener proposiciones moleculares, llevan el nombre de conectivas lgicas, clasificados en. Conectivos singulares o cualquier tipo de negacin Juan es mexicano Negacin Juan no es mexicano ~ p -p

Conectivos mltiples (binarias, terciarias) Yo leo y tu escribes p Conjuncin p y q Disyuncin inclusiva p o q Disyuncin exclusiva O p o q Condicional p entonces q Bicondicional p si y solo si q Conectivos lgicos
no pyq poq O poq Si p entonces q P si y solo si q ~p p^q p vq p v q p q p q

. q

p ^ q V V p v q p v q

Hace frio o hace calor p v q O comes o juegas p v q Si me da hambre entonces como p q Me cortare el pelo si y solo si me pagas dinero p q Lenguaje simblico
Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional

Pgina 13 de 54

Ejemplo: Juan no es estudiante y Mara no es su novia ~p p ~p ^ ~q (p ^ q) r

^
^

~q q r

Si Pedro es estudiante y Rosa es su novia entonces ambos son novios

B5. Act_3. Con base en la teora vista en este captulo, realiza las actividades al final del tema. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias. 1. Codifica en lenguaje simblico las siguientes proposiciones Simbologa Todos los hombres son mortales y son inteligentes

Estaremos en el concierto solo si compramos boletos

Juan y Mara no son novios

O comes tu sopa o no sales a jugar futbol

Si los mexicanos son machos entonces toman tequila

Estar en la clase si y solo si hago la tarea

Pgina 14 de 54

RELACIN DEL LENGUAJE SIMBLICO CON OTRAS CIENCIAS

OBJETO DE APRENDIZAJE.
Que el alumno conozca la relacin de la lgica simblica con otras ciencias

Actividades de Aprendizaje Relacin con otra disciplinas

A) Con relacin a la lgica tradicional, la lgica simblica se conecta gracias al formalismo y al tratamiento del pensamiento correcto. Gracias a la lgica simblica, la lgica tradicional aristotlica se complementa, dando nuevas variables y propuestas al conocimiento humano B) Con las Matemticas hay una relacin con la lgica simblica, ya que se estrecha en cuanto que la lgica proporciona los principios para fundamentar y desarrollar los modernos mtodos matemticos, a tal grado de que hoy en da se relaciona a la matemtica como parte de la lgica. C) Con respecto a la Psicologa, la Crtica del conocimiento y dems ramas de la Filosofa, se ha insistido en que la Lgica es independiente de estas ciencias, pero de la misma forma influye en su modo de concebir la verdad, la verificacin, el alcance de las facultades cognoscitivas, los tipos de seres reales, el tipo de paralelismo, entre la mente y la realidad, por lo cual se necesita la interpretacin, evaluacin y aplicabilidad de las tesis lgicas, como en el caso de Ruseell, Hilbert o Cantor; los cuales lograron desarrollar una matemtica basadas en principios lgicos. D) En el caso de la Geometra no euclidiana, axiomatizadas con independencia del 5to postulado de Euclides, la lgica polivalente, expone los criterios de verdad, ya sea verdadero V , o falso F, el cual le designan para el valor de verdad V el numero 1, por lo cual V = 1; en cuanto a la falsedad F, el valor de verdad ser F = 0, lo mismo sucede en las tablas de verdad de Ludwig Josef Johann Wittgenstein y de Gerge Boole.

Pgina 15 de 54

CONECTIVOS LGICOS
OBJETO DE APRENDIZAJE.
Que el alumno conozca los conectivos lgicos

No hay un camino real para la lgica y las ideas realmente valiosas slo se pueden obtener presentando atencin cuidadosa. Chales Sander Peirce Como el lenguaje es confundente, lo mismo que difuso e inexacto, cuando se aplica a la lgica (para lo cual no fue creado) es absolutamente necesario un smbolo lgico para un tratamiento exacto de nuestro objeto Bertrand Russell Para evitar las desventajas de los lenguajes naturales respecto al anlisis lgico, es necesario primero traducirlo a una nacin ms exacta. Alonzo Church

Conoces cuales son los conectivos lgicos? Sabes cuales la finalidad de los conectivos lgicos? Conoces la finalidad de los conectivos lgicos?

Actividades de Aprendizaje (Bsica)

B5. Act_4. Con base a la siguiente teora, realiza de forma individual, un escrito de una cuartilla, donde se exprese la importancia de los conectivos lgicos y las tablas de verdad. El trabajo se presentara a mano, en hojas tamao carta, con consultas bibliogrficas (3 fuentes) Despus de ser evaluado por el maestro, anxelo a su carpeta de evidencias. De la misma forma realiza las actividades complementarias de cada conectivo lgico.

Los conectivos lgicos y las tablas de verdad.

Como mencionamos en el capitulo anterior tenemos conectivos lgicos que unen proposiciones las cuales pueden sustituirse por smbolos. Ejemplo: Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva
Condicional Bicondicional

No p y q p o q Opoq
p entonces q p si y solo si q

~p p^q pVq pVq

p p q q

Pgina 16 de 54

A) Negacin:

~ --

~p

La negacin o contradiccin, se forma insertando un NO / No es el caso, en el enunciado original. Se puede expresar la negacin de un enunciado prefijo la frase: Es falso que, No es el caso que La simbologa puede ser:

~ --

La negacin de una proposicin p se denota de diferentes maneras en varios contextos de decisin y campos de aplicacin. Entre estas variantes, tenemos las siguientes: Notacin Vocalizacin no p no p no p ene p p prima ,complemento de p p barra, barra p exclamacin p Ejemplo en una proposicin P Todos los hombres son mortales Negacin de la proposicin No todos los humanos son mortales Algunos hombres no son mortales No es el caso que No es cierto que Etc.

Independientemente de la notacin o smbolo utilizados, la negacin p / ~p se puede leer como "no es el caso que p", "no es cierto que p", o por lo comn, simplemente (aunque no gramaticalmente) como "no p". La negacin clsica es una operacin sobre un valor de verdad, tpicamente, el valor de una proposicin, que produce un valor de verdadero cuando su operando es falso, y un valor de falso cuando su operando es verdadero. Por tanto, si el enunciado A es verdadero, entonces A (pronunciado "no A") sera consecuentemente falso; y lo contrario, si A es verdadero, entonces A sera falso. La tabla de verdad de p es la siguiente: Tabla de verdad de p p p Verdadero Falso Falso Verdadero

Nota aclaratoria: la aclaracin de cualquier enunciado verdadero es falso y la negacin de cualquier enunciado falso es verdadero.

Pgina 17 de 54

La negacin clsica se puede definir en trminos de otras operaciones lgicas. Por ejemplo, p se puede definir como p F, donde "" es una implicacin lgica y F es una falsedad absoluta. Por el contrario, se puede definir F como p & p para cualquier proposicin p, donde "&" es una conjuncin lgica. La idea aqu es que cualquier contradiccin es falsa. Mientras estas ideas funcionan tanto en la lgica clsica como en la instuicionista, no funcionan en la [lgica paraconsistente], donde las contradicciones no son necesariamente falsas. En lgica clsica tenemos una identidad adicional: p q se puede definir como p q, donde "" es la disyuncin lgica: "no p, o q". Algebraicamente, la negacin clsica corresponde con el complemento en un lgebra booleana, y la negacin intuicionista al seudocomplemento en un lgebra de Heyting. Estas lgebras proveen una semntica para la lgica clsica e intuicionista respectivamente. P V F -P F V

Ejemplo: El plomo es radioactivo p El plomo no es radioactivo ~p

Tambin se puede negar proposiciones compuestas, no solo las simples. Ejemplo:

El plomo no es radiactivo

~q

~~ q

(no, no q)

q V

~q ~~q F V

q es falsa (el plomo es radiactivo) q = F ~q (el plomo no es radiactivo) ~ q = V

~ ~ q es falso (No es cierto que el plomo no es radiactivo) ~ ~ q = F ~q ~q Por lo tanto se puede decir que la negacin de una proposicin verdadera es falsa y la negacin de una proposicin falsa es verdadera. Ejemplo de proposiciones:

Amrica es un continente El oro es maleable El hombre el mortal 4 >-4 9 es un numero par 5 = -5

(V) (V) (V) (V) (V) (F)

Amrica no es un continente (F) No es cierto que el oro sea maleable (F) El hombre es inmortal (F) 4 >-4 (F) 9 es nmero impar (V) 5 = -5 (V)

Toda proposicin tiene relacin directa con el manejo de conjuntos, por lo que es necesario lo que es necesario tratar las operaciones de diferencias y complementos de conjuntos como consecuencia de la negacin de una proposicin lgica.
Pgina 18 de 54

La diferencia de los conjuntos A y B es el conjunto formado por los elementos que pertenecen a A, pero que no pertenecen a B. Toda diferencia se indica: A B, y se lee A diferencia B Tambin se indica: A ~B, y se lee: A negacin o diferencia de B ( X ~Y)

La representacin grafica de un diagrama de Venn es: Se sombrea la parte donde se afirma, y simblicamente se representa: A B A~B= x/xAy xB

X
Ejemplo:

A negacin de B es igual a la conjuncin de X tal que X que pertenece a A y x que no pertenece a B

El conjunto M = perro, caballo, gato, lobo y El conjunto N = lobo, coyote, leopardo, len

La diferencia entre M ~N es:

M ~ N = perro, caballo, gato

Perro Caballo Gato

Coyote Leopardo Len

La diferencia de N ~ M

U
M N

E Lobo, ya que se

El trmino medio es repite en los dos conjuntos

N M=

coyote, leopardo, len

Otro ejemplo de un conjunto particular implcito en un conjunto universal. Teniendo en conjunto R = a, b, c, d, e, f, g, h, i La diferencia R ~ S = b, c, d, f, g, h
Pgina 19 de 54

y S=

a, e, i

Grficamente:

U
S R

U
S

R~S =

b, c, d, f, g, h

la diferencia y Q=

En los conjuntos P= 1, 3, 5, 7, 9, La diferencia entre: PQ P ~Q = 1, 3, 5, 7, 9

2, 4, 6, 8, 10

S ~R =

la diferencia en Q ~ P =

2, 4, 6, 8, 10

U
1 3 5 7 9 2 6 8 10 4

U
5 1 3 7 9 2 6 8 10 4

La diferencia entre ambos diagramas es que los elementos de P y de Q son distintos y no hay un conectivo lgico o no estn implcitos uno sobre otro. En el primer diagrama se niega Q y en el segundo se niega P, se sombrea la afirmacin segn sea su caso.

Actividad complementaria. Realiza los siguientes ejercicios para confirmar el tema 1. Escribe la negacin de las siguientes proposiciones, anotando su valor de verdad. Mxico pertenece a Norteamrica ___________________________ Valor: Bolvar es un libertador: ___________________________________ Valor : 8 es un nmero impar: ____________________________________ Valor: 3 + 2 > 3 : ______________________________________________ Valor: p _________________ Valor : ~ q: _____________________ Valor:

5 + 6 = 3 + 8 :___________________________________________ Valor:
Pgina 20 de 54

2 En tu cuaderno de notas halla la diferencia entre A ~ B, trazando el diagrama de Venn correspondiente, la terminar anxalo a esta actividad complementaria. 1) A= rojo, azul, verde, blanco B= blanco, negro, lila, caf

2)

P = rosa, clavel, margarita, orqudea, crisantemo

Q = rosa, clavel

3)

X= 3, 6, 9, 12, 15

B= 7, 14, 21, 28

B) Conjuncin

Ya observamos que una posicin puede ser afirmativa o negativa y esta se puede negar, segn sea el caso. De la misma forma hay proposiciones o tipos de enunciados compuestos o combinados con otras proposiciones. En este aspecto cuando se da una unin entre dos oraciones bajo la letra Y como en el caso : p y q, se dice que la unin es una conjuncin o conyuncin. Ejemplo: Carlos es limpio y Pedro es ordenado p q p y q p&q p q p q

&

pq

PQ

p&q

p q

La palabra o letra Y, es una letra corta y conveniente, pero tiene otros usos aparte del consistente en conectar enunciados. Ejemplo: Lincoln y Grant fueron contemporneos
Este ejemplo no es una conjuncin, sino un enunciado simple que estable relacin entre dos sujetos. Es decir es una oracin simple con dos sujetos, un verbo y un predicado.

Cada enunciado tiene un valor de verdad, o bien es verdadero o bien es falso. Por lo tanto, decimos que cada enunciado tiene un valor de verdad, donde el valor de verdad de un enunciado verdadero y el valor de verdad de un enunciado falso es falso. Usando estos valores de verdad podemos dividir los enunciados compuestos en dos categoras distintas, segn el valor de verdad este o no determinado complemente por los valores de verdad de sus partes p bien por algn otro caso diferente. El valor de verdad de la conjuncin de dos enunciados esta determinado exclusiva y totalmente por los respectivos valores de verdad de sus componentes. Si ambos conyuntos son verdaderos, la conjuncin o conyuncin es verdadera; en cualquier otro caso es falsa, es por eso que se define la conjuncin como un enunciado veritativo funcional y sus conyuntos son componentes veritativos funcionales; es decir todos sus componentes tienen que ser funcionales. Ejemplo de enunciados compuestos
Pgina 21 de 54

Para simbolizar la conjuncin se utiliza el smbolo: o en su caso

un simple punto.

 El sol es brillante y genera calor o p=V q=V = V La luna es un satlite y la tierra un planeta La ballena es mamfero y tiene respiracin pulmonar 8 es entero 4+5=9 y y en una fraccin 6+3=9

p q =V

Como la conjuncin es un enunciado veritativo funcional, el conectivo ser un conectivo veritativo funcional, dando dos enunciados simples que se unen, p y q; teniendo como resultado cuatro conjuntos posibles de valores de ellos, que se pueden exhibir como:

Si p es verdadera y q es falsa = p q es falsa Si p es falsa y q es falsa = p q es falsa

Si p es verdadera y q es verdadera = p q es verdadera

Si p es falsa y q es verdadera = p q es falsa Dos proposiciones 4 combinaciones de verdad 2 4 = 2 x 1= 2 x 2 = 4 Ejemplo: TABLA DE VERDAD DE LA CONJUNCIN Y p q p Si la luna es un satlite y la tierra es un planeta (V) (V) La luna es un satlite y la tierra un cometa (V) (F) La luna es una estrella y la tierra es un planeta (F) (V) La luna es una estrella y la tierra es un cometa (F) (F) TABLA DE CDIGO BINARIO q

V F F F

Mediante la conjuncin es posible relacionar tanto proposiciones simples como compuestas. Las siguientes palabras tambin pueden ser utilizadas como conjunciones Adems Tambin Pero Aun Mientras que Sin embargo De la misma forma Ms aun Ejemplo de proposiciones simples con combinadas:
Pgina 22 de 54

Juan es un hombre estudioso y Pedro es su hermano pero ambos no viven juntos p q ~p (p q) ~p Como son dos proposiciones p y q, sern 4 combinaciones
p V V F F q V F V F p q V F F F Conjunto A ( p q ) V V V V F F

F F F V
F F

A+B

Conjunto B ~ p
F F V V

F F F F

Al momento de pasar los valores de p y al no tener relacin con otra proposicin, se tiene el resultado que ser el conjunto B

Se pasan los valores de p y de q, se saca el resultado; resultado que ser el conjunto A

El resultado final se encuentra entre la unin del conjunto A con el conjunto B

Pasos para construir tablas de verdad.

1) Anotar las 4 posibles combinaciones de los valores, si es que la estructura contiene las proposiciones simples que sirven para formar las proposiciones compuestas. 2) Analizar el sentido de la proposicin compuesta para determinar cul es su conectivo principal, en este caso hay dos conjuntos el A, que es una proposicin compuesta y el B, que es una proposicin B= ~p (p q) ~p simple. A = (p q)

3) Anotar el valor de verdad de las proposiciones componentes con respecto a la conectiva principal. En este caso se anotaran los valores de verdad de p y de q; teniendo en cuanta que la unin entre el conjunto A y el conjunto B est en la conjuncin: A B 4) Anotar el valor de verdad de la conectiva principal en cada rengln. Al terminar de anotar cada valor de verdad, segn el valor de la conectiva lgica, hay que combinar segn la conectiva A y B , el resultado final ser sombreado para identificar ducho resultado.

Aplicando el concepto de la conjuncin en los diagramas de Venn tenemos los siguientes conjuntos. A= 2, 4, 6, 8, 10, 12, B = 4, 8, 12, 16, 20,

Pgina 23 de 54

La proposicin compuesta que se puede establecer a partir de los dos conjuntos propuestos, en realidad corresponde a la interseccin de sus elementos comunes como se puede observar a continuacin. La proposicin del conjunto A es: algunos nmeros naturales son mltiples de 2 La proposicin del conjunto B es: algunos nmeros naturales son mltiplos de 4 La proposicin compuesta es: algunos nmeros naturales son mltiplos de 2 y mltiplos de 4 El conjunto de elementos de A y B que hacen verdadera la proposicin compuesta es: A+B=C A C B C = 4, 8, 12, 6 4 16 2 8 20 A B = 4, 8, 12 10 12 AB=C Se lee: el resultado de A interseccin de B es igual a C Los elementos que hacen la conjuncin entre A y B, son aquellos que se repiten entre ambos, estos sern los conectivos lgicos de los Diagramas de Venn; por lo tanto: toda proposicin compuesta formada por el conectivo Y, y siendo verdadera, cuando aplica a los elementos de un conjunto, determina su interseccin

Actividad complementaria: forma proposiciones compuestas aplicando el uso del conectivo con los siguientes conjuntos. Al terminarlos anxalo a la carpeta de evidencias. 1) A = 3, 6, 9, 12, 15, 18 B= 6, 12, 15, 18, 24

2) M = 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19

N=

2,3,5,7,11,13,17,19,

Pgina 24 de 54

3) C =

a, b, c, d, e, f, g, h, i

D=

a, e, i,

C) Disyuncin

Inclusiva V

exclusiva V

En la disyuncin existen dos formas de relacionar las proposiciones las cuales pueden ser: Inclusiva = V que se representa son las letras O poq Exclusiva= V que se representa con las letras O.o Opoq Disyuncin inclusiva O poq PVQ pVq

La disyuncin o alternacin, tambin llamada disyuncin dbil, de dos proposiciones o enunciados, se utiliza insertando la palabra O la cual es ambigua. Ejemplo: Pedro es fuerte o Pedro es dbil p V q = pVq

Se dan entonces dos contratiempos a la vez, se exponen dos posibilidades en donde una sola ser la correcta. Una disyuncin es verdadera solamente cuando uno de los disyuntos sean verdaderos: solamente si los disyuntos son falsos darn un resultado falso. Ejemplo de la representacin en la tabla de verdad.

Significa que si p es verdadera y q es verdadera, p V q es verdadera Si p es verdadera y q es falsa, p V q ser verdadera Si p es falsa y q es verdadera, p V q ser verdadera Si p es falsa y q es falsa, p V q ser falsa

Pgina 25 de 54

Ejemplo en binario Ejemplo de proposiciones combinadas: p El examen se hace en marzo o en abril p V q Enrique se sienta a comer o se va a jugar al parque 12/5 es una fraccin o un racional entero 8 es un nmero entero o nmero natural p V q V V V F pVq
Interpretamos la disyuncin inclusiva de dos enunciados como una afirmacin de que por lo menos uno de ellos es verdadero.

q 1 0 1 0

pVq 1 1 1 0

1 1 0 0

p q Elsa come pastel o come helado (V) (V) Mario va al circo o va al cine (V) (F) Cecilia tiene una bicicleta o una moto (F) (V) Rafael tienen un tanque o un submarino (F) (F) Disyuncin exclusiva O.. o Opoq

La letra O se puede utilizar en las proposiciones de una manera fuerte o exclusiva en el cual el significado no es por lo menos uno, sino uno y solo uno, el cual ser verdadero pero no los dos al mismo tiempo. Cuando la precisin es vital, se escribe pero no ambos para referirse a este tipo de disyuncin. Ejemplo de la tabla de verdad de la disyuncin exclusiva.
Tambin se puede utilizar el smbolo

Si p es verdadera y q es verdadera, entonces p V q es falsa Si p es verdadera y q es falsa, entonces p V q es verdadera Si p es falsa y q es verdadera, entonces p V q es verdadera Si p es falsa y q es falsa, entonces p V q es falsa Cdigo Binario p q pVq p q pVq O el hombre es mortal o Superman es extra terrestre (V) (V) F 1 1 0 O el hombre es mortal o Superman es humano 1 0 1 (V) (F) V O el hombre es inmortal o Superman es de Criptn 0 1 1 (F) (V) V O el hombre es inmortal o Superman es humano 0 0 0 (F) (F) F
Pgina 26 de 54

En una disyuncin las alternativas pueden ser proposiciones simples, as como compuestas. Ejemplo de una proposicin El maestro ensea historia, pero Ramn no pone atencin o no le interesa la clase p ~p V ~q A
A+B

p V V F F
Siempre en una tabla de verdad se debe poner la base de p y q, o la cantidad de proposiciones combinadas

q V F V F

1 p V V F F

V V V F

3 4 ~p V F F F V V V V V

5 ~q
F V F V

PASOS SEGUIDOS EN LA TABLA 1) Anotar las combinaciones de p y q en cada uno de los valores 2) Determinar las conectivas principales 3) Anotar el valor de verdad de las alternativas 4) Anotar el valor de verdad de la conectiva principal

Segundo ejemplo con Disyuncin Exclusiva en una oracin combinada

A
p ~q Roberto es estudiante de preparatoria pero no es inteligente, ms a pesar de eso o Roberto se pone a estudiar o reprobara la escuela p V q (p ~ q) (p V q) B A p V V F F q (p ~q) V V V F F V F V V F F F F F F V
1 2 3

B F F F F
4 A+B=C

( p V V F V V F V F F
5 6

q )
V F V F 7

Si analizamos la estructura de esta oracin nos daremos cuenta que el primer conjunto A es marcado por una coma, mientras que el segundo conjunto B, que se refiere al mismo sujeto de la oracin, se le atribuyen otras caractersticas.

Pgina 27 de 54

La aplicacin de las proposiciones compuestas formadas por los conectivos lgicos de la disyuncin inclusiva = O y disyuncin exclusiva = O o, con proposiciones simples verdaderas pueden ser representadas en los diagramas de Venn. Ejemplo: A= 3, 6, 9, 12, 15, 18 B= 2, 4, 6, 8, 10, 12, 14, 16, 18

La proposicin del conjunto A es: X es mltiplo de 3 menor que 20 La proposicin del conjunto B es: X es nmero par comprendido hasta 20 La proposicin compuesta que se forma es: X es nmero mltiplo de 3 o es un nmero menor que 20 El conjunto que hace verdadera la proposicin ser: A unin B

U
19 3

A 6 12 18

B 2 8 10 14 16 4

AUB
Toda proposicin compuesta formada con el conectivo O, cuando es verdadera, aplicada a los conjuntos, determina la unin de estos

Actividad complementaria. Realiza las actividades que se te piden a continuacin 1. Forme la proposicin compuesta verdadera empleando los siguientes pares de conjuntos en diagramas de Venn A= 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 B= 2, 4, 6, 8, 10

C=

m, n, p, r, s, t, x, y, z

D=

a, e, i, o, u
Pgina 28 de 54

2. Realiza las siguientes tablas de verdad de las proposiciones combinadas ( p V q ) ~p ~p ( p V q)

(pVq) v (pV q)

(p q) V (pVq)

D) Condicional

Cuando se combinan dos enunciados por medio de una palabra Si al principio del primero y entonces, entre los dos enunciados compuestos resultantes se llama: Condicional o enunciado hipottico, implicacin o enunciado aplicativo. En un enunciado condicional, el componente entre Si y el Entonces se llama antecedente (o implicante o mas raramente prtesis) y el componente que le sigue al entonces se llama consecuente (o implicado, mas raramente Apdosis). Ejemplo:
Enunciado condicional, antecedente

Si entonces

pq

p q Si el Sr, Juan es amigo del maquinista, entonces el Sr, Juan gana exactamente 3 veces lo que el maquinista
El consecuente

Un enunciado afirma que si en cualquier caso en el que el antecedente sea verdadero tambin el consecuente ser verdadero. Pero si el antecedente es verdadero, el consecuente ser verdadero. Para entender este significado de un enunciado condicional, hay que entender la relacin que implica.
Pgina 29 de 54

El trmino implicacin tiene ms de un significado, pero ser igual de til distinguir sentidos de implicacin o el si entonces. Ejemplo de implicaciones p q Si es de noche, entonces no brilla el sol Si estudias entonces obtendrs buenas calificaciones Si 15 es mltiplo de 5, entonces su divisin es exacta Si todos los humanos son mortales y Scrates es humano entonces Scrates es hombre Si comes a todas horas entonces enfermaras del estomago La primera proposicin es llamada antecedente o hiptesis ( p ) y la segunda consecuente o tesis ( q ). Los valores de verdad para el conectivo de implicacin sern:

Si p es verdadera y q es verdadera, entonces el resultado ser verdadero. Si p es verdadera y q es falsa, entonces ser falsa Si p es falsa y q es verdadera, entonces ser verdadera Si p es falsa y q es falsa, entonces ser verdadera

Ejemplo del cdigo binario p 1 1 0 0 q 1 0 1 0 p 1 0 1 1 q Cada uno de los diferentes enunciados afirma un tipo de diferente de implicacin entre sus antecedentes y sus consecuentes, pero no son completamente diferentes, cada uno de ellos afirma tipos de implicacin. Para buscar un significado se tiene que enfatizar la diferencia entre los 2 sentidos de esa palabra, contrastando la disyuncin exclusiva con la inclusiva.

Cualquier enunciado condicional si p entonces q se conoce como falso en el caso de cualquier conjuncin p ~ q que sea verdadera, entonces es, en el caso de que su antecedente sea verdadero y su consecuente falso. Pero para que una condicional sea verdadera entonces la conjuncin debe ser falsa, es decir la negacin ~ ( p ~ q ) debe ser verdadera, por lo cual para cualquier condicional Si entonces sea verdadera en la negacin de la conjuncin de sus antecedentes con la negacin de la consecuente debe ser verdadera.

Pgina 30 de 54

~ ( p ~ q ) parte del significado. Ejemplo de la tabla de verdad. a b c d p V V F F q V F V F p V V F F A ~q F F V V F F F V C B ~ ( p ~q ) V F F V V F V F ~C C p

V F V V

El sentido de esta conectiva es sealar, que si la proposicin antecedente es V, tambin lo ser la proposicin consecuente. Una proposicin compuesta en la que la conectiva es condicional, ser F si siendo V el antecedente, es F el consecuente. El smbolo no se reconoce como denotativo el significado de Si entonces o representando las relaciones de implicacin ya que son todos diferentes cualquier intento de abreviar todas ellos por medio de un solo smbolo lgico resulta ambiguo Si entonces o la palabra implicacin, es decir hay una implicacin material como en el ejemplo: ~ (p ~q) cuyo significado est incluido en la implicacin. En este aspecto la conexin material no requiere ninguna conexin real entre el accidente y el consecuente. Todo lo que afirma es que un hecho que no es el caso que el antecedente sea verdadero cuando el consecuente es falso, aqu el smbolo de implicacin material es un conectivo veritativo funcional. En los diagramas de Venn, la aplicacin de la inferencia en dos conjuntos da lugar al siguiente ejemplo. A= 1, 2, 3, 5, 7 B= 1, 2, 3, 4, 5, 6, 7, 8, 9,10

Tomando como hiptesis a los elementos del primer conjunto y como tesis a los del segundo conjunto, tenemos que. 1 2 3 5 7 A A A A A 1 2 3 5 7 B B B B B B 8 9 10 4 6 A 1 2 3 5 7 A B B A o bien

En todas y cada una de las proposiciones compuestas aqu simbolizadas, la hiptesis verifica a las tesis, por tal razn se forma una implicacin. El conjunto A queda incluido en el conjunto B. A B
Pgina 31 de 54

Actividad complementaria. Determina la inferencia de los elementos de cada unos de los siguientes conjuntos trazando el Diagrama de Venn. De la misma forma termina las tablas de verdad que se te piden despus de los ejercicios. 1) A= a, e, i B= a, b, c, d, e, f, g, h, i,

2)

X=

regla, campana, goma

Y=

x / x sea un material escolar

3)

(~p

q)

(p V q)

(pVq)

(p V

q)

(p

q)

(pVq)

Pgina 32 de 54

E) Bicondicional.

Si y slo si

Oo

Es tambin conocida con el nombre de doble implicacin. Las proposiciones bicondicionales utilizan el conectivo lgico: Si y solo si, que se simboliza: con dos fechas y que al relacionar las proposiciones indica el valor de ambas el cual puede ser V o F. Ejemplo. Una figura es llamada triangulo, si y slo si, est limitada por 3 lados p q Dos lneas son paralelas si y solo si, equidistan en todos los puntos p q Un nmero es divisible por 5, solo si, termina en las cifras 0 o 5 p q As, p q, se lee p si y solo si q, significa que si p es verdadero, entonces q tambin es verdadera, si q es verdadera entonces p tambin es verdadera. La conectiva condicional es la conjuncin Y de dos proposiciones condicionales Si.. entonces. Esta proposicin p q, tiene el mismo sentido que la proposicin: (p q) (q p)

Opoq

Esto sucede cuando en las proposiciones la hiptesis puede convertirse en tesis, y la tesis en hiptesis, se forma una doble implicacin o bicondicional que se convierte en una equivalencia. Si la proposicin condicional se afirma en una proposicin o antecedente, este ser verdadero y por ende tambin lo ser el consecuente. Tabla de verdad de la bicondicional

Si p es verdadera y q es verdadera, p Si p es verdadera y q es verdadera, p

q es verdadera q es falsa q es falsa

Si p es falsa y q es verdadera, entonces p Si p es falsa y q es falsa, entonces p :

q es verdadera

p q Juan es padre de Miguel, si y solo si, Miguel es hijo de Juan (V) (V) p q p q El hombre es enemigo del hombre solo si es devorador de seres humanos (V) (F) El agua es fra, si y solo si proviene de las montaas (F) (V) La radiacin mata al hombre, si y solo si se maneja libremente (F) (F)

p V F F V

Pgina 33 de 54

En esta tabla de verdad encontramos que aplica a la conocida ley de los signos matemticos. Ejemplo:

1 1 0 0

1 0 1 0

1 0 0 1

+ + -

+ + -

+ +

Lenguaje binario La tabla de verdad p conjuncin. La primera (p p) condicional suficiente Ejemplo: q, es la combinacin de dos condicionales, bajo el smbolo de la q) se llama condicional necesaria, y la segunda es denominada (q

A p V V F F q V F V F ( p V V F F V F V R=A
V

B q )
V F V F

( q

p )

V F F V
A+B=C

V F

V V V V V F F F V F R=B

Ejemplo de proposiciones combinadas A Ricardo ser un hombre generoso solo si dona su dinero por conviccin, mas es bien p q sabido que el Sr. Ricardo no es buna persona o no le interesa ayudar p V q B A C
p V V F F q V F V F F F ( p V V V V V R=A F F V F F q )

( p F

V V F V

q )

F V F

F V
A + B= C

V V

V V R=B

Pgina 34 de 54

En el siguiente ejemplo ya no se ejemplifica con proposiciones compuestas, simplemente se utilizan los valores de p y de q, en forma de maysculas que estn siendo negadas. De la misma forma los conjuntos A y B estn siendo negados
Se saca el resultado del conjunto A y se pasa negado El resultado del conjunto B se pasa negado, ya que este conjunto tiene el smbolo de la negacin en el lado derecho del parntesis

Valores P V V F F Q V F V F

Conjunto ~ A ~ ( ~P ~Q ) V V V F
V F V F

~A+ ~B

Conjunto ~ B ~ ( ~P ~P ) V V V V
F F V V

F F F V
R=A

F F V V

V F F V

F F F F
R=B

F F V V

Toda proposicin bicondicional aplicada a los contenidos de los conjuntos establece una relacin de igualdad, que podemos ejemplificar a continuacin A= Mario, Elena, Ral, Cristina B= Mario, Elena, Ral, Cristina

Se observa que todos los elementos del conjunto A pertenecen al conjunto B, y todos los elementos del conjunto B pertenecen al conjunto A. Es decir: el conjunto A esta formado por los elementos del conjunto B los cuales son los mismos que forman el conjunto A, por lo cual son conjuntos iguales. Esto se representa A=B o bien

A
Mari Elena, Ral Cristina

B
Mari Elena, Ral Cristina

U
Mari Elena, Ral Cristina

Pgina 35 de 54

La representacin en el lenguaje lgico conjuntista se representa de la siguiente forma

Para toda X que pertenece a A implica X que pertenece a B y para toda x que pertenece a B implica que x pertenezca a A, por lo tanto: x A

xB

x B

xB

Actividad complementaria. Realiza las actividades que se te piden a continuacin 1) Determina la igualdad desigualdad que originan las siguientes proposiciones, haciendo la representacin por extensin y trazando los diagramas de Venn respectivos. A = Las figuras triangulares en funcin de la longitud de sus lados. B= Conjunto formado por: tringulo, equiltero, issceles y escaleno

M = Los nmeros pares menores que 15 N = Los nmeros mltiplos de 4 menores que 15
Pgina 36 de 54

2) Realiza las siguientes tablas de verdad. ~(p q) p ( P Q ) V ~ ( ~ P ~ Q)

B5. Act_4. Realiza de forma individual, un escrito de una cuartilla, donde se exprese la importancia de los conectivos lgicos y las tablas de verdad. El trabajo se presentara a mano, en hojas tamao carta, con consultas bibliogrficas (3 fuentes) Despus de ser evaluado por el maestro, anxelo a su carpeta de evidencias.

FORMULARIO DE LAS CONECTIVAS LOGICAS

Conectiva Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Disyuncin excluyente Expresin en el lenguaje natural no y o si... entonces si y slo si ni... ni o bien... o bien Ejemplo No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado. Si est soleado, entonces es de da. Est nublado si y slo si hay nubes visibles. Ni est soleado ni est nublado. O bien est soleado, o bien est nublado. . Smbolo en este artculo Simbolos alternativos

Pgina 37 de 54

SIGNOS LGICO MATEMTICOS

Smbolo Nombre se lee como igual a todos Categora

IGUALDAD

=
:

x = y significa: x y y son nombres diferentes que hacen referencia a un mismo objeto o ente. 1+2=63 DEFINICION se define como todos x := y o x y significa: x se define como otro nombre para y (notar, sin embargo, que puede tambin significar otras cosas, como congruencia) P : Q significa: P se define como lgicamente equivalente a Q cosh x := (1/2)(exp x + exp (x)); A XOR B : (A ADICION 43 + 65 = 108; 2 + 7 = 9 SUBSTRACCION menos aritmtica 9 4 = 5 significa que si 4 es restado de 9, el resultado ser 5. El smbolo 'menos' tambin se utiliza para denotar que un nmero es negativo. Por ejemplo, 5 + (3) = 2 significa que si 'cinco' y 'menos tres' son sumados, el resultado es 'dos'. 87 36 = 51 MULTIPLICACION por aritmtica B) (A B) ms aritmtica 4 + 6 = 10 significa que si a cuatro se le agrega 6, la suma, o resultado, es 10.

+ *

7 x 6 = 42 significa que si se cuenta siete veces seis, el resultado ser 42. 4 x 6 = 24 4 * 6 = 24 4 6 = 24

/ :

DIVISION

entre

aritmtica

significa que si se hace seis pedazos uniformes de cuarenta y dos, cada pedazo ser de tamao siete. 24 / 6 = 4 SUMATORIA
n k=1 4 k=1

suma sobre ... desde ... hasta ... de

aritmtica

ak significa: a1 + a2 + ... + an k = 1 + 2 + 3 + 4 = 1 + 4 + 9 + 16 = 30 producto sobre... desde ... hasta ... de aritmtica ak significa: a1a2an (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360 lgica proposicional

PRODUCTORIO
n k=1 4 k=1

IMPLICACION MATERIAL O EN UN SOLO SENTIDO implica; si .. entonces; por lo tanto

A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se dice sobre A. Pgina 38 de 54

 ~ Smbolo

puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms abajo. x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2)

/ tal que ejemplo x/y se lee x tal que y

DOBLE IMPLICACION

si y slo si; sii, syss

lgica proposicional

A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa. x+5=y+2x+3=y CONJUNCION LOGICA o interseccin en una reja n < 4 n > 2 n = 3 cuando n es un nmero natural DISYUNCION LOGICA o unin en una reja y lgica proposicional, teora de rejas la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.todo es verdadero de los valores o lgica proposicional, teora de rejas la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposicin es falsa. n 4 n 2 n 3 cuando n es un nmero natural NEGACION LOGICA no lgica proposicional la proposicin A es verdadera si y slo si A es falsa. una barra colocada sobre otro operador es equivalente a un colocado a la izquierda. (A B) (A) (B); x S (x S) Nombre CUANTIFICADOR UNIVERSAL x : P(x) significa: P(x) es verdadera para cualquier x n N: n n CUANTIFICADOR EXISTENCIAL n N: n + 5 = 2n ! n N: n + 1 = 2 existe por lo menos un/os lgica de predicados x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. CUANTIFICADOR EXISTENCIAL CON MARCA EXISTENCIAL existe un/os nico/s ! x : P(x) significa: existe un nico x tal que P(x) es verdadera. lgica de predicados

se lee como

Categora lgica de predicados

para todos; para cualquier; para cada

RELUZ

tal que

lgica de predicados

x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera. n N: n + 5 = 2n DELIMITADOR DE CONJUNTOS CONJUNTOS el conjunto de ... teora de conjuntos

{,}
{:} {|}

{a,b,c} significa: el conjunto consistente de a, b, y c N = {0,1,2,...} NEGACION CONSTRUCTORA DEL DISCURSO el conjunto de los elementos ... tales teora de conjuntos que ...

{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que {x : P(x)}. {n N : n < 20} = {0,1,2,3,4}

Pgina 39 de 54

 {}

CONJUNTO VACIO {n N : 1 < n < 4} = {}

conjunto vaco

teora de conjuntos

{} significa: el conjunto que no tiene elementos; es la misma cosa. PERTENENCIA DE CONJUNTOS en; est en; es elemento de; es miembro de; pertenece a teora de conjuntos

a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S (1/2) N; 2 N SUBCONJUNTOS
1 1

es subconjunto de

teora de conjuntos

A B significa: cada elemento de A es tambin elemento de B A B significa: A B pero A B A B A; Q R UNION DE CONJUNTOS ABAB=B la unin de ... y ...; unin teora de conjuntos A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos de B, pero ningn otro. INTERSECCION DE CONJUNTOS {x R : x = 1} N = {1} la interseccin de ... y ...; interseccin teora de conjuntos A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn. COMPLEMENTOS DE CONJUNTOS menos; sin teora de conjuntos

\
() [] {}

A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se encuentran en B {1,2,3,4} \ {3,4,5,6} = {1,2} APLICACION FUNCIONAL; AGRUPAMIENTO de funciones para aplicacin de funcin: f(x) significa: el valor de la funcin f sobre el elemento x para agrupamiento: realizar primero las operaciones dentro del parntesis. Si f(x) := x, entonces f(3) = 3 = 9; (8/4)/2 = 2/2 = 1, pero 8/(4/2) = 8/2 = 4 MAPEO FUNCIONAL de ... a funciones f: X Y significa: la funcin f mapea el conjunto X al conjunto Y Considrese la funcin f: Z N definida por f(x) = x

f:XY

NUMEROS NATURALES

nmeros

N Z

N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente. {|a| : a Z} = N NUMEROS ENTEROS Z significa: {...,3,2,1,0,1,2,3,4,...} {a : |a| N} = Z 3.14 Q; Q Z nmeros

NUMEROS RACIONALES

nmeros

Q R

Q significa: {p/q : p, q Z, q 0} NUMEROS REALES R significa: {limn an : n N: an Q, el lmite existe} R nmeros

Pgina 40 de 54

 R; (1) R

NUMEROS COMPLEJOS

nmeros

C || < > !

C significa: {a + bi : a, b R} i = (1) C (x) = |x| INFINITO limx0 1/|x| = VALOR ABSOLUTO |a + bi | = (a + b) COMPARACION MAYOR QUE , MENOR QUE 3>45>4 COMPARACION x 1 x x PI es menor o igual a, es mayor o igual a rdenes parciales x y significa: x es menor o igual a y; x y significa: x es mayor o igual a y pi Geometra euclideana es menor a, es mayor a rdenes parciales valor absoluto de nmeros |x| significa: la distancia en la recta real (o en el plano complejo) entre x y zero infinito nmeros es un elemento de la recta real extendida mayor que todos los nmeros reales; ocurre frecuentemente en lmites RAIZ CUADRADA la raz cuadrada de; la principal raz cuadrada de nmeros reales x significa: el nmero positivo cuyo cuadrado es x

x < y significa: x es menor a y; x > y significa: x es mayor a y

significa: la razn de la circunferencia a su dimetro. A = r es el rea de un crculo con radio r FACTORIAL 4! = 24 NORMA x+y x + y norma de; longitud de anlisis funcional x es la norma del elemento x de un espacio vectorial normado factorial combinatoria n! es el producto 12...n

INTEGRACION

integral desde ... hasta ... de ... con respecto a ...

clculo

f'

a f(x) dx significa: el rea, con signo, entre el eje-x y la grfica de la funcin f entre x = a y x = b 0 x dx = b/3; x dx = x/3 DERIVACION derivada de f; f prima clculo f '(x) es la derivada de la funcin f en el punto x, esto es, la pendiente de la tangente en ese lugar. Si f(x) = x, entonces f '(x) = 2x y f ' '(x) = 2 GRADIENTE del, nabla, gradiente de clculo f (x1, , xn) es el vector de derivadas parciales (df / dx1, , df / dxn) Si f (x, y, z) = 3xy + z entonces f = (3y, 3x, 2z) Pgina 41 de 54
b

DERIVACION Si f(x, y) = xy, entonces f/x = 2xy PERPENDICULAR

derivada parcial de

clculo

Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras variables mantenidas constantes. es perpendicular a ortogonalidad

PERPENDICULAR

x y significa: x es perpendicular a y; o, ms generalmente, x es ortogonal a y. traspuesta

matrices y vectores

(a,b) con al lado o a modo de potencia significa que el vector se debe colocar no de izquierda a derecha, sino de arriba a abajo.
En numerosos trabajos de investigacin se utiliza esta sintaxis al no poder representar en un documento vectores verticales. FONDO el elemento fondo teora de rejas

x = significa: x es el elemento ms pequeo.

Interseccin: (smbolo ) La interseccin de dos conjuntos A y B es el conjunto A B de los elementos comunes a A y B. Diferencia: (smbolo \) La diferencia del conjunto A con B es el conjunto A \ B que resulta de eliminar de A cualquier elemento que est en B. Complemento: El complemento de un conjunto A es el conjunto A que contiene todos los elementos que no pertenecen a A, respecto a un conjunto U que lo contiene. Diferencia simtrica: (smbolo ) La diferencia simtrica de dos conjuntos A y B es el conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez. Producto cartesiano: (smbolo ) El producto cartesiano de dos conjuntos A y B es el conjunto A B de todos los pares ordenados (a, b) formados con un primer elemento a perteneciente a A, y un segundo elemento b perteneciente a B.

Unin: (smbolo ) La unin de dos conjuntos A y B, que se representa como A B), es el conjunto de todos los elementos que pertenecen al menos a uno de los conjuntos A y B.

TABLAS DE VERDAD PROPOSICIONALES

Pgina 42 de 54

OBJETO DE APRENDIZAJE.
Que el alumno conozca y aplique las tablas de verdad

Actividad de Aprendizaje (bsica)

B5. Act_5. Teniendo en cuanta las bases tericas sobre las diferentes tablas de verdad, realiza las actividades que se te piden. Proporcione enunciados donde se aplique una tabla de verdad, de acuerdo a los conectivos lgicos. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias. Tablas de verdad

Dadas las proposiciones compuestas, de la cual ya conocemos tanto su forma como su contenido, no se necesita construir una tabla de verdad para saber si es verdadera o es falsa, cuando sabemos el valor de verdad de sus proposiciones simples componentes. Ejemplo: P Q Si la ballena es un mamfero, entonces la ballena tiene respiracin pulmonar Podemos representarlo como: r s

r = V La Ballena es un mamfero s = V La Ballena tiene respiracin pulmonar r s =V r +s= V V+V=V

Por lo tanto:

Venus es una estrella o Venus es un planeta P V P En esta proposicin la estructura depende o est en funcin de los valores de verdad de las proposiciones simples que intervienen en las proposiciones compuestas en cuanto sus conectivas lgicas. Se pueden formar proposiciones compuestas a partir de una sola proposicin simple ~p Juan no es inteligente 1 proposicin

Se pueden formar a partir de dos proposiciones simples para realizar una compuesta
Pgina 43 de 54

De la misma forma se pueden formar proposiciones simples combinadas entre s con diferente conectivo lgico para realizar proposiciones combinadas o moleculares. Con = A (p V q) 1 2 Con = B (q s) 3 3 proposiciones Como la proposicin q en el conjunto B se repite, esta no se toma en cuenta, y quedaran 3 proposiciones

pq

Juan es honrado y Pedro un delincuente

2 proposiciones

Tambin se pueden dar proposiciones combinadas de cuatro conjuntos. Ejemplo Conj = A (p V q) 1 2 Conj= B

(r s) 3 4

4 proposiciones

En los temas anteriores se menciono cada conectivo lgico con su respectiva tabla de verdad, as como su valor de verdad. Si tenemos proposiciones combinadas o compuestas, podemos retomar los valores de las tablas para realizar proposiciones potenciales combinadas Valores de las tablas de verdad de cada conectivo lgico p q ~p F F V V Significado
Negacin Conjuncin Disyuncin inclusiva Disyuncin exclusiva Condicional Bicondicional

~q F V F V

V V V F F F V F

p q V F F F

p V q V V V F

pVq F V V F

pq V F V V

q
V F F V Simbologa
~p p^q p vq p v q p p q q

Conectivo lgico
no pyq poq O poq Si p entonces q P si y solo si q

Proposiciones potenciales combinadas

Pgina 44 de 54

En todas las tablas de verdad, de cualquier proposicin compuesta, deben de anotarse los posibles valores de verdad de las proposiciones simples, pero a diferencia de las proposiciones donde solo hay 2 combinaciones, en estas las combinaciones se multiplicaran dependiendo la cantidad de proposiciones. 1 Cantidad 1 2

p
V F

~P
F V

=2x1=2

Si en una proposicin compuesta hay 2 proposiciones como combinaciones de valores de verdad.

p q, entonces habr 4

1 p 1 2 3 4 V V F F

2 q V F V F p q r, sern 8 posibles

= 2 x 1= 2 x 2= 4

Si en un enunciado compuesto hay 3 proposiciones simples como: combinaciones.

1 p 1 2 3 4 5 6 7 8 V V V V F F F F 2 q V V F F V V F F 3

= 2 x 1= 2 x 2 = 4 x 2 = 8
r V F V F V F V F Pgina 45 de 54

En general, el numero de combinaciones de los valores de las proposiciones simples se pueden determinar de acuerdo con la formula

n = Es el numero de proposiciones
simples que intervienen en una proposicin compuesta

Cuando hay 4 proposiciones simples con: p, q, r, s,

1 p 1 2 3 4 5 6 7 8 9 V V V V V V V V F

2 q V V V V F F F F V V V V F F F F

3 r V V F F V V F F V V F F V V F F

4 s V F V F V F V F V F V F V F V F 3) Contar tantos renglones como combinaciones nos resulten 4) Empezar a llenar las ltimas columnas, anotando primero un valor y luego otro. 5) Siempre se empieza todas las columnas con valor = V 6) Siempre se aplican la presentacin de cada valor, en la columna que est a la izquierda de tabla. En los casos en las que hay 4 o ms proposiciones simples componentes, determinaremos los posibles combinaciones y las anotaremos siguiendo el mismo procedimiento 1) Hacer tantas columnas como proposiciones 2) Determinar el nmero de combinaciones que obtendremos de acuerdo con las formas que vimos en la elevacin de potencia

= 2 x 1= 2 x 2 = 4 x 2 = 8 X 2 = 16

10 F 11 F 12 F 13 F 14 F 15 F 16 F

Si ejemplificamos una tabla de verdad de 5 proposiciones, P, Q, R, S, T, se comenzara por la columna de la derecha con el valor de V y despus F. Hay que tener en cuenta que no importa que las variables sean en maysculas o minsculas, lo importante es representar simblicamente la proposicin en los enunciados compuestos.

Pgina 46 de 54

1 p
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F

2 q
V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F

3 r
V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F

4 s
V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F

5 t
V F V F V F

= 2 x 1= 2 x 2 = 4 x 2 = 8 X 2 = 16 X 2 = 32
Cuando en las proposiciones combinadas se utiliza parntesis, corchetes o llaves, se tiene que analizar la estructura para determinar la extensin o comprensin del escrito o proposicin combinada. En el caso del parntesis, se utiliza para indicar que una proposicin compuesta se toma como un todo o conjunto. ( p y q ) (p o q )

V F V F V F V F V F V F V F V

(P Q)R son tomados como el antecedente de una condicional, cuyo consecuente ser R. Pero si a la proposicin p se le conjunta con la proposicin combinada q r , el resultado ser p ( q r ) p q r 1 V V 2 3 4 5 6 7 8 V V V F F F F V F F V V F F (P Q) V V V V V F V V V F V V F F V F V V F F V F F V V F F F V V V F F F V F F F F V
R=A

R
V F V F V F V F

V V

p (q

V V F F F F

V F V V F F F F

V V F F V V F F

r)
F V V V F V V

V V
F V F V F V F

R=B

R=A

R=B

F V F V F V F V F V F

En las dos tablas de verdad, primero se determina el valor de verdad de las proposiciones cerradas en los parntesis. Cuando en una proposicin se utilizan corchetes { } para indicar que una proposicin se toma como un todo aunque en ella aparezcan parntesis junto con otras proposiciones

p(qr)
Conj. U = A

V p

Con. B

Pgina 47 de 54

En otros casos si el smbolo de una negacin, se encuentra se encuentra en un parntesis, la negacin invierte el valor de la verdad de una proposicin, ya sea que este en llaves, corchetes o parntesis; el resultado ser la negacin de la combinacin proposicional, se tomara como un todo o resultado final: R= Si p es verdadera y q es verdadera, el resultado por la conectiva lgica condicional: Si entonces sera verdadero

~(pq)
Ejemplo: ~ R=

p q V V

~(

F
p q V F V F ~ ~( p q )

~ ( p q )

V V F F

V F V V V F V V F F VF F V V FV F V F

Despus de explicar los pasados ejercicios podemos construir tablas de verdad de proposiciones compuestas ms complejas. ~A B

~A=1

~ A= 2

~B=1

B=2

~ V F F F

V V F F

~ (pq) V~p F V F F V F F F V V V F V V V V

F V V V

~ (p q) p F V V V F F F V

F V V V V V F V

V V F F

R= A

A+B

R=B

R=C
Pgina 48 de 54

Pasos para realizar la tabla de verdad 1. Anotar las combinaciones de los valores de verdad de las proposiciones simples con sis componentes 2. Determinar cul es la conectiva principal, la cual estar sombreada para remarcar el resultado final. 3. Los antecedentes se caracterizan por tener mayor extensin en su conjunto o tienen mayor nmero de proposiciones simples combinadas; en este caso el antecedente ser el conjunto ~ A: ~A= ~ ~ (pq) V~p

El consecuente ser el conjunto B, subordinado al conjunto A: B= ~ (p q) p

Para el antecedente hay que determinar el valor de ( p q ) Determinar el valor de verdad de ~ ( p q ) Determinar el valor de ~ p Conjuntar los valores de verdad de: ~ ( p q ) con los valores de ~ p Invertir los valore de verdad hallada en la conjuncin para obtener ~ ~ (pq) V~p

4. Anotar los valores de verdad de las proposiciones componentes con respecto a la conectiva principal. En este otro ejemplo se expone una oracin estructurada con la finalidad de extraer la codificacin lgica y realizar la tabla de verdad. p ~q Los alumnos del saln 15 cursan lgica y el su maestro no est presente, mas los alumnos ~r V s no saben si les han dejado tarea o es hora libre ( p ~q ) ( r V s ) 1 2 3 4
Pgina 49 de 54

Para obtener el consecuente hay que determinar los valores de verdad de (p q) Determinar el valor de verdad de ~ ( p q ) Determinar el valor de verdad de p en el conjunto B Conjuntar los valores de verdad de ~ ( p q ) con los de p Invertir los valores de verdad hallados en la conjuncin para obtener ~ (p q) p

= 2 x 1= 2 x 2 = 4 x 2 = 8 X 2 = 16
Conjunto A 1 p V V V V V V V V F F F F F F F f 2 q V V V V F F F F V V V V F F F F 3 r V V F F V V F F V V F F V V F F 4 s ( p V V V F V V V F V V V F V V V F F V F F F V F F F V F F F V F F F F F F V V V V F F F F F F F F ~q )
F F F F V V V V F F F F V V V V

A+B

Conjunto B

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

F F F F F F V F F F F F F F F F

( ~r
F F V V F F V V F F V V F F V V

V F F V F F F V F F F V F F F V F

s )
V F V F V F V F V F V F V F V F

Ejemplo:

= 2 x 1= 2 x 2 = 4 x 2 = 8
Conjunto A A+B
A2 B1

Conjunto B
B2

1 p V V V V F F F F

2 q V V F F V V F F

3 r V F V F V F V F ~ ( V V F F F F F F R=A

A1

1 2 3 4 5 6 7 8

p V F V F V V V V F F F F F F F F

~q ) V F F F F V V V V F V F V V V V V

r
F F F F V V V V

V V V V V F V F V

~ ~p F V F V F V F V V F V V V F V V R=B

(~p F F F F F F F F V V F V V V F V

V V V V V F V F

r )
V F V F V F V F

Pgina 50 de 54

B5. Act_5. Proporcione 5 enunciados donde se aplique una tabla de verdad, de acuerdo a los seis conectivos lgicos combinados. Despus de ser evaluado por el maestro, anexa dicha actividad a la carpeta de evidencias.

1) Ejemplo de oracin compuesta: p q

Se menciona que todo trabajador tiene derecho a un salario digno y ambiente decoroso, ms ~r algunos empleados no tienen buenas condiciones de trabajo. p (q r)

1 2 3 4 5 6 7 8

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

r )

2) Realiza siguientes tablas de verdad

~p

~(

p )

~p

~(

V `r )

~p

~(

V r )

Pgina 51 de 54

BIBLIOGRAFA
Bsica.

CASTAEDA, Juan, Habilidades acadmicas, Editorial Mc Graw Hill. Mxico, 2003. COPI, Irving M., Introduccin a la lgica, Editorial Universitaria de Buenos Aries ESCOBAR Valenzuela, Gustavo, Lgica, Editorial Mc Graw Hill. Mxico, 1999 GORSKI D.P., TAVANTS P.V., Lgica, Editorial Grijalbo, Mxico, 1970. GUTIRREZ Senz, Ral, Introduccin a la lgica, Editorial Esfinge. Mxico, 1998 SAN JOS G., Mara del Carmen, Lgica, Editorial Esfinge. Mxico, 2001. DE GORTARI, Eli, Iniciacin a la lgica, Editorial Grijalbo. Mxico, 1974. ORTEGA, Esteban, Lgica, introduccin a la Filosofa y la Ciencia, Editorial Diana. Mxico, 1993. ONTORIA A. et al. Potenciar la capacidad de aprender y pensar, Editorial Nancea. Espaa, 2002.

Complementaria: Albarn Vzquez, Mario; Escobar Valenzuela, Gustavo. Metodologa de la Investigacin, Editorial Cultural, 2003 Aristteles. Metafsica, Ed. Porra,Mxico1969, 1era edicin Aristteles. Tratado de lgica ORGANON. Ed: Porra, Mxico 2004 Abbagnan, Nicola. Diccionario de Filosofa; Mxico 1974, Ed. Fondo de Cultura Econmica. Baena Paz, Guillermina. Metodologa de la investigacin, Mxico, Editorial Cultural, 2002, Octava reimpresin 2005. Copi, Irving Marmer; Cohen, Carl. Introduccin a la Lgica. 1998, Ed: Limusa, Mxico, segunda edicin Baena. 2004. Tamayo, citado por Baena, en Tizcareo Hernndez, Jess Alberto. Metodologa de la Investigacin. Texto y cuaderno de ejercicios. 2008. COBACH Descarte. Discurso del mtodo. Ed. Aguilar, Buenos Aires, 1961. Colec. Biblioteca iniciacin Filosofica, num: 18 Diccionario manual griego, griego clsico espaol, Ed. VOX. Gutirrez Senz, Ral. Introduccin a la Filosofa. Ed: Esfinge.2008, Mxico, p. 164 G.A .Kursanov , El materialismo dialctico y el concepto, Grijalbo, Mxico, 1996 Immanuel Kant, Crtica de la razn pura. Ed. Porra. Cap. Analtica trascendental Hernndez, Sampieri, Roberto; Fernndez Collado, Carlos; Baptista Lucio Pilar.

Pgina 52 de 54

Jhon Hessen. Teora general del conocimiento. Investigacin fenomenolgica preliminar. Martin Heidegger:Tiempo y Ser, Ediciones del Departamento de Estudios Histricos y Filosficos, Universidad de Chile, Sede de Valparaso, Via del Mar (Chile), 1975 Martin Heidegger: Tiempo y Ser. Alfredo Guzzoni: Protocolo a un Seminario sobre la conferencia Tiempo y Ser. Franois Fdier et. al.: Protocolo a Seminario de Le Thor, 1969 Metodologa de la Investigacin, Editorial Mc Graw Hill, Chile 2004. Miguel Bueno. Principios de Lgica, Ed. Patria, Mxico, 1960 Montes de Oca, Francisco. Lgica. Mxico 1993. Editorial Porra. Mndez Gonzlez, Luz del Carmen. Filosofa, Mxico 2002. Ed. Nueva Imagen Ortega y Gasset, Jos. Qu es filosofa? 1996, Mxico, Ed. Porra Steup, Matthias, Epistemology, en Edward N. Zalta (en ingls), Stanford Encyclopedia of Philosophy (Spring 2010 Edition) Venn, John (1880). On the Diagrammatic and Mechanical Representation of Propositions and Reasonings. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science

Pgina 53 de 54

Pgina 54 de 54