Asesoria Complementaria - Lógica.juana
Asesoria Complementaria - Lógica.juana
Asesoria Complementaria - Lógica.juana
217
C.C.T 15EBH0403H
JOS DE JESS NIETO MONTERO
CAMPO DISCIPLINAR: HUMANIDADES
ASIGNATURA: LGICA
SEGUNDO SEMESTRE GRUPO B CICLO ESCOLAR 2015-2016
PLAN DE TRABAJO DE ASESORIAS COMPLEMENTARIAS
PARA LA EVALUACIN EXTRAORDINARIA
un proceso de
Asume una actitud constructiva congruente con los conocimientos y habilidades con los que cuenta dentro de
distintos equipos de trabajo
III.- QUE ESTUDIAR.
TEMAS Y SUBTEMAS:
3.1 Conceptos y tipos
3.1.1. Proposiciones
3.1.2. Proposiciones simples y compuestas
3.2 Conectivos lgicos y tablas de verdad
3.2.1 Conceptos y tipos
3.2.2 Construccin de tablas de verdad
3.2.3. Validez de argumentos por tablas de verdad
3.3. Diagramas
3.3.1 Diagramas de Flujo
3.3.2 Diagramas de Venn
3.4 Lgica de siglo XX e inteligencia artificial
3.4.1. Tipos de lgica del siglo XX
3.4.2. Inteligencia Artificial
LGICA
La palabra Lgica se deriva del griego logos que significa discurso o razn.
Etimolgicamente la Lgica es el estudio del discurrir o razonar. Esta disciplina se centra en la forma o
estructura de los pensamientos como son: el concepto, el juicio y el razonamiento.
El objeto de la Lgica formal es estudiar las condiciones requeridas para que un pensamiento sea
correcto.
La Lgica no estudia todos los aspectos o factores que concurren en el razonamiento. En efecto, su
inters est en las formas o estructuras del propio razonamiento para establecer su correccin y validez. Por
tanto, la psicologa estudia la actividad psquica; la gramtica atiende al lenguaje, y, finalmente, la teora del
conocimiento estudia la relacin que el sujeto cognoscente guarda con el objeto de conocimiento.
Por otro lado, la lgica sirve de apoyo a las diferentes ciencias particulares ya que estas se auxilian de los
principios y leyes lgicas para fundamentar sus teoras, explicaciones y conclusiones. Asimismo la Lgica
interviene en nuestra vida cotidiana ayudndonos a ordenar, va el razonamiento, nuestras acciones.
Finalmente, la Lgica descubri los principios y supremos que fundamenten todo razonamiento correcto.
Se trata de:
Principio de identidad
Principio de no-contradiccin
Principio de tercero excluido
Principio de razn suficiente
ACTIVIDADES DE APRENDIZAJE.
1. Ve la pelcula Alicia en el pas de las Maravillas y explica por escrito en qu difiere el pas de las Maravillas
con el mundo en el que vivimos.
2. Ve la pelcula 12 monos y explica por escrito la importancia de la lgica en la vida cotidiana y en la
investigacin cientfica.
3. Ve la pelcula Extrao resplandor de una mente sin recuerdos y elabora un mapa conceptual describiendo
los diferentes factores del razonamiento y las ciencias que los estudian.
4. Ve la pelcula Mente brillante y explica por escrito brevemente las similitudes entre la lgica y las
matemticas.
Autoevaluacin.
Responde las siguientes preguntas, que te servirn para medir qu tanto has comprendido lo que hasta ahora
has estado leyendo; cualquier duda que tengas consltala con tu profesor o asesor.
1. A qu filsofo se le considera sistematizador e impulsor de la lgica en la Antigedad?
a) Leibniz b) Aristteles c) Kant d) Platn
2. Segn su etimologa la Lgica es concebida como:
a) Ciencia del comportamiento
b) ciencia del lenguaje
c) ciencia del discurrir
d) ciencia de las correcciones
3. Qu aspecto del razonamiento estudia la Lgica?
a) Ontolgico
b) epistemolgico
c) semntico
d) formal
d) la extensin
d) la expresin gramatical
EL CONCEPTO.
El concepto es una representacin mental de algo sin afirmar o negar nada. El concepto es la primera forma
lgica y surge de un proceso de pensamiento llamado simple aprehensin o abstraccin, es un acto de la
mente por el cual aprehende, abstrae de la realidad, los rasgos esenciales de una determinada clase de
objetos.
Los conceptos, entonces, son universales, porque hacen referencia a toda una clase de objetos, son
intelectuales porque se captan con el intelecto y, al presentar las caractersticas primordiales no afirman ni
niegan nada acerca de los objetos que las poseen.
Los conceptos tienen dos propiedades fundamentales: la extensin o denotacin y la comprensin o
connotacin. La extensin se refiere a la cantidad de objetos que poseen el conjunto de caractersticas
contenidas en el concepto.
La comprensin se refiere a las notas caractersticas que recoge el concepto, en tanto caractersticas
esenciales y definitorias de una clase determinada de objetos.
Existe la ley que dice que: A mayor extensin, menor comprensin y viceversa.
Por otro lado, los conceptos pueden clasificarse con base en sus propiedades fundamentales.
Por su extensin se clasifican en singulares, universales, particulares y colectivos.
Por su comprensin en simples, compuestos, complejos, abstractos y concretos.
Por su perfeccin, se clasifican en claros, confusos y distintos.
Los predicables son los diferentes modos de nombrar un concepto. Hay cinco, tres esenciales y dos noesenciales.
Los esenciales son: La especie, el gnero y la diferencia. Los no esenciales son el propio y el accidento
lgico.
Las categoras son conceptos de mxima extensin, pues hacen referencia a las caractersticas que
pertenecen e identifican a la clase objeto existente en el mundo. Para Aristteles, las categoras son
sustancia o accidente. La sustancia hace referencia al hecho que la clase objeto existente en el mundo ha de
poseer materia y forma. Los nueve accidentes, hacen referencia al hecho de que todo objeto existente en el
mundo posee cantidad, cualidad, relacin, accin, pasin, situacin, tiempo, lugar y pertenencia.
Las operaciones conceptuadoras, son las operaciones lgicas que nos ayudan a formar, ordenar y clarificar
conceptos. Son tres; se trata de la definicin, la divisin y la clasificacin.
Definicin viene del latn definire que significa poner lmites. Es la operacin lgica que nos permite determinar
el significado del trmino con el cual se nombra un concepto determinado. Existen diferentes tipos de
definicin como la nominal y la esencial.
Divisin consiste en identificar las partes que caracterizan a todos los objetos de una determinada clase.
La clasificacin es la operacin mental por la que se ordenan u organizan diversas clases de objetos tomando
en cuenta alguna caracterstica esencial o accidental.
ACTIVIDADES DE APRENDIZAJE
1. Ve la pelcula La escafandra y la Mariposa3 y escribe una reflexin respecto de la importancia de los
conceptos en la vida humana.
2. Busca la definicin de los trminos sujeto y objeto en un Diccionario Etimolgico, en un Diccionario
Filosfico, en un Diccionario de Ciencia Poltica y en el Diccionario de Usos del Espaol de Mara Moliner.
Escribe una reflexin respecto de lo que encontraste en tu investigacin.
3. Ve la pelcula Forrest Gump y escribe una reflexin respecto de la importancia de la connotacin
(comprensin) y denotacin (extensin) como propiedad fundamental de los conceptos en la vida cotidiana.
4. Busca un crucigrama y localiza en las horizontales los cinco tipos de predicables.
5. Ve la pelcula Los motivos de Luz y localiza en el personaje principal los nueve tipos de predicables. Escribe
una reflexin en la sustentes la evaluacin del caso con base en la localizacin anterior.
EL JUICIO.
El juicio es la segunda operacin lgica y consiste en afirmar o negar que la comprensin o la extensin de un
concepto determinado referido con el trmino S forma parte de la extensin o comprensin de otro concepto
determinado referido con el trmino P. La expresin de esta operacin mental, sea oral o escrita se
denomina proposicin o enunciado.
El juicio est formado por tres elementos, a saber, el concepto referido con el trmino S, denominado
sujeto; el concepto referido con el trmino P, denominado predicado y el concepto que funge como cpula
o nexo, que suele ser el verbo ser conjugado en tercera persona del singular o del plural. Ahora bien, en tanto
que en el juicio se afirma o se niega la relacin de un concepto respecto de otro, el contenido de la
proposicin, producto de ese juicio puede ser calificado como verdadero o falso. Decimos que una proposicin
es verdadera cuando lo que afirma o niega es concorde con la realidad y, falso, cuando no lo es.
Los juicios se pueden clasificar tomando en cuenta diversos criterios. Al tomar en cuenta la cantidad, es decir
el nmero de objetos de la clase a la cual hace referencia los conceptos involucrados tomados en cuenta en el
juicio, permite reconocer que existen juicios universales, particulares y singulares y, por consiguiente sus
proposiciones correspondientes. Por su cualidad es decir, el hecho de que el juicio asuma como existente o
inexistente la relacin entre los conceptos involucrados en el juicio, permite identificar juicios afirmativos y
negativos y sus proposiciones correspondientes. Al tomar en cuenta su propiedad fundamental, es decir, que
la relacin entre los conceptos propuesta por el juicio concuerde con lo que de hecho existe en la realidad,
permite reconocer que existe juicios verdaderos y falsos y sus proposiciones correspondientes. Al tomar en
cuenta la cualidad y la cantidad, queda claro que un juicio determinado, y su proposicin correspondiente,
pueden ser clasificados como universal afirmativo (a) y falso (a) o universal negativo (a) y verdadero (a), entre
otras posibilidades ms.
Respecto de los juicios denominados categricos, y sus proposiciones correspondientes, hemos dicho que
existen cuatro tipos; a saber: Todo S es P, universal afirmativo representado con la letra A, Ningn S es P
universal negativo, representado por la letra E, Algn S es P, particular afirmativo representado por la letra I
y, finalmente, Algn S no es P, particular negativo, representado por la letra O.
Se conoce como el Cuadro de la Oposicin a la relacin que, en cuanto a sus valores de verdad, guardan
entre s las proposiciones categricas que teniendo el mismo trmino sujeto y el mismo trmino predicado
difieren en cantidad, en cualidad o en ambas. En cuanto a esta relacin, existen cuatro tipos de proposiciones:
1. Contrarias: relacin entre A-E
2. Contradictorias: relacin entre AO y E-I
3. Subcontrarias: relacin entre I-O
4. Alternas: relacin entre A-I y E-O
Contrarias, no pueden ser simultneamente verdaderas, pero s pueden ser simultneamente falsas
Autoevaluacin.
Elige la respuesta correcta
1. Con qu nombre se conoce a la operacin mental que permite relacionar dos conceptos entre s a
fin de afirmar o negar algo respecto de una clase de objetos determinada:?
a) argumentacin
b) abstraccin
c) raciocinio
d) juicio
2. Mediante el enunciado o proposicin se lleva a cabo la expresin del
a) raciocinio
b) concepto
c) argumento
d) juicio
3. Cul de los siguientes enunciados expresa un juicio?
a) El legendario gol de Hugo Snchez.
b) Hugo Snchez, dolo mexicano!
c) Los campeonatos de Hugo Snchez.
d) Hugo Snchez es director tcnico.
4. Cul de las siguientes proposiciones formula un juicio falso?
a) algunos mamferos vuelan.
b) algunos mamferos son ovparos.
c) algunos mamferos son invertebrados.
d) algunos caracoles pueden cambiar de sexo.
5. Cul de las siguientes proposiciones formula un juicio particular?
a) todas las aves vuelan.
b) ningn mamfero vuela.
c) toda ave no es vertebrada.
d) no todo mamfero es vivparo.
6. De acuerdo con el cuadro de la oposicin, qu nombre reciben las proposiciones que pueden ser
ambas falsas, pero no ambas verdaderas?
a) contrapuestas
b) alternativas
c) disyuntivas
d) opuestas
7. De acuerdo con el cuadro de la oposicin, qu nombre reciben las proposiciones que no pueden
ser ambas falsas ni ambas verdaderas?
a) contrarias
b) contradictorias
c) opuestas
d) adversas
EL RAZONAMIENTO.
El razonamiento es un procedimiento mediante el cual se analiza informacin, se realizan inferencias y se
obtiene conocimiento justificado por razones. Expresamos nuestros razonamientos a travs de argumentos.
Un argumento es un conjunto de proposiciones de las cuales una, llamada conclusin, pretende derivarse o
seguirse de las otras, llamadas premisas o razones.
Los argumentos estn constituidos por proposiciones o juicios (materia) cuyo contenido puede ser de diversos
temas o asuntos. Un argumento estar bien estructurado si las premisas y la conclusin guardan relacin
lgica, de tal manera que la verdad de la conclusin es apoyada por las premisas.
Las partes de un razonamiento son las premisas y la conclusin. Las premisas son los juicios que sostienen o
que implican a la conclusin; esta a su vez, es el juicio que se deriva o que est implicado por las premisas.
La manera en que se conectan las premisas y la conclusin es la forma del argumento, si se relacionan de tal
manera que la verdad de las premisas implique necesariamente la verdad de la conclusin, el razonamiento
es vlido. En cambio, si las premisas no implican necesariamente a la conclusin, el razonamiento es invlido.
As pues, la validez es puramente formal, no depende del contenido, sino de la forma del argumento.
Podemos decir que un argumento es vlido si y slo si, no es posible que sus premisas sean verdaderas y su
conclusin falsa.
La inferencia no es una enunciacin sino un paso entre proposiciones o afirmaciones (que son las nicas que
pueden ser verdaderas o falsas), por eso la podemos calificar ese trnsito como legtimo o ilegtimo, vlido o
invalido. Ahora bien, algunas inferencias inmediatas constituyen, ms que un paso entre afirmaciones, una
forma distinta de decir lo mismo, otras se infieren a partir de la forma de otra. Las ms comunes son, la
conversin simple y por accidente, la equivalencia, la alternacin y la contraposicin.
La conversin simple, consiste en el intercambio del sujeto por el predicado, sta no puede aplicarse a las
proposiciones tipo A. Conversin accidental es el intercambio del sujeto por el predicado y la reduccin de la
extensin.
La equivalencia es, en sentido estricto, formular de manera diferente una proposicin con la palabra NO. As
Todosno es equivalente a Ninguno y No todos es equivalente a Alguno no.
La alternacin, consiste en pasar del universal al particular, puesto que cualquier predicado que sea verdad
para todos tambin es verdad para algunos, mientras no sea una clase vaca.
La contraposicin consiste en el intercambio del sujeto por el predicado y la negacin de ambos.
Inferencias mediatas. Son aquellos razonamientos que parten de dos o ms premisas, como la deduccin, la
induccin o la analoga.
La deduccin, es el razonamiento en el que se pretende que las premisas apoyen de manera necesaria la
verdad de la conclusin.
La induccin, es un tipo de razonamiento en el que la conclusin es slo probable, porque las premisas no
otorgan un fundamento necesario para la verdad de la conclusin.
La analoga, este razonamiento procede por comparacin, si dos objetos son semejantes en caractersticas
relevantes inferimos que tambin sern semejantes en otras caractersticas. Su conclusin tambin es
revisable.
La estadstica, es el mtodo de recopilacin e interpretacin de datos relevantes para una investigacin. Los
datos obtenidos nos pueden llevar a confirmar o refutar una hiptesis.
ACTIVIDADES DE APRENDIZAJE
1. Elabora un mapa conceptual con las inferencias inmediatas.
2. Elabora un cuadro sinptico con las inferencias mediatas.
3. En un artculo periodstico, encuentra algunos argumentos, subraya con rojo las premisas y con azul las
conclusiones de tales argumentos.
4. A partir de lo que observas en la escuela elabora 10 argumentos inductivos.
5. De lo aprendido en tus asignaturas, elabora 10 argumentos deductivos.
Autoevaluacin.
Instrucciones: Responde las siguientes preguntas, estas te servirn para que midas tu propio avance,
cualquier duda no dudes en consultar a algn profesor de la materia.
1. Es un conjunto de proposiciones de las cuales una, llamada conclusin, pretende derivarse o
seguirse de las otras, llamadas premisas o razones:
a) argumento
b) raciocinio
c) pensamiento
d) juicio
2. Cul de las siguientes frases es un indicador de premisas?
a) por lo tanto
b) por ende
c) entonces
d) ya que
3. Si un argumento contiene premisas verdaderas y conclusin falsa decimos que su forma es:
a) vlida
b) invlida
c) legtima
d) ilegtima
4. Si un argumento vlido tiene premisas verdaderas Cmo tiene que ser su conclusin?
a) correcta
b) invlida
c) verdadera
d) falsa
5. Cul es la conversin accidental de todo perro es canino?
EL SILOGISMO.
El silogismo es una estructura argumental deductiva en la que se infiere una conclusin (expresada con
una proposicin o juicio categrico) a partir de algn o algunos elementos previos llamados premisas, a este
tipo de silogismo se conoce como regular o estndar. Un silogismo est formado por conceptos,
fundamentalmente tres: trmino mayor, trmino menor y trmino medio, mismo que nunca aparece en la
conclusin. El silogismo puede representarse a partir de una forma perfecta llamada categrica y tres
imperfectas, cada una de ellas tiene a su vez algunos modos, siendo en total de 19. Las reglas al igual que las
pruebas de validez con diagramas de Venn solamente garantizan la validez de un silogismo nunca se ocupa
de la verdad o falsedad de las premisas.
Otros silogismos conocidos son los irregulares, los que carecen de una premisa o la conclusin se les llama
entimemas; en los sorites, en cambio, no basta con extraer una cierta conclusin de un grupo de premisas
mediante una sola inferencia, la conclusin slo se obtiene de un proceso de inferencias para obtener la
conclusin correcta. Los silogismos disyuntivos incluyen proposiciones compuestas que son sus disyuntos,
este argumento no afirma categricamente la verdad de ningn disyunto, cada uno de los dos puede ser
verdadero, dando la posibilidad de que ambos tambin lo sean.
El silogismo condiciona lo hipottico su estructura consta de proposiciones condicionales, tanto en las
premisas como en la conclusin. Finalmente, el Dilema que se utiliza para discusiones retricas. Se utiliza
para ofrecer posiciones alternativas, de stas debe optarse por una, de manera que al elegirse busca
comprometer al adversario, para luego probar que su eleccin es inaceptable.
ACTIVIDADES DE APRENDIZAJE.
Susana paseaba con su amiga Karen cuando se toparon con un cartel que anunciaba: Gran carrera ciclista
Karen estaba aburrida. Son un silbatazo e inici la prueba. Los ciclistas pedaleaban con fuerza y los
espectadores gritaban emocionados; Karen dijo, Vmonos ya!, es aburrido, esos tipos son unos tontos,
pierden su tiempo cansndose y no ganan nada. Susana la sigui, pero pens, es correcto decir que son
unos tontos?, poco despus una bocina indicaba el nombre del ganador. Susana no estaba convencida de lo
que deca su amiga, reflexion: Cmo es posible?, ser ciclista es divertido, adems se hace deporte, los
ciclistas no pierden su tiempo, divertirse no es perder el tiempo, adems, si se ganan premios, entonces, si: }
Premisa A Todos los ciclistas practican su deporte por gusto,
S
Consideras que Susana formul su razonamiento correctamente? Ella utiliz conceptos para formar juicios y
luego los lig dando forma a un silogismo, los conceptos de la conclusin se utilizan correctamente como lo
establecimos?
ACTIVIDADES DE APRENDIZAJE.
A partir de las definiciones anteriores contesta cul es la conclusin del siguiente silogismo.
A Todos los atletas son personas sanas
O Algn futbolista no es una persona sana
Por lo tanto, Algn____________________________
Autoevaluacin.
Contesta correctamente las siguientes preguntas.
1. Para Aristteles el silogismo es?
a) Una forma de representar esquemticamente un argumento.
b) Un argumento en el que de ciertas cosas establecidas se deriva otra distinta.
c) Un argumento que aparentando ser verdadero realmente es falso.
d) Un mtodo para determinar cundo un argumento es vlido y cundo no.
2. Qu tipo de elementos se espera relacionar en un silogismo?
a) Formas discursivas diferentes que se homologan.
b) Trminos de subordinacin y supra ordinacin.
c) Premisas y conclusiones.
d) Contenido y forma.
3. Qu funcin cumplen las reglas?
a) Garantizar la verdad de las premisas.
b) Garantizar la codependencia entre los trminos de las premisas.
c) Garantizar cul premisa es la mayor y cul la menor.
d) Garantizar la validez del silogismo.
4. El trmino medio de un silogismo cambia deposicin en las premisas, segn la figura, Cul es el
orden correcto en qu orden aparecen las relaciones sujeto-predicado?
a) S-P, P-S, P-P, S-S.
b) S-P, P-P, S-S, P-S.
c) P-S, S-P, S-S, P-P.
d) P-P, S-S, S-P, P-S.
5. Identifica qu regla se viola en el siguiente silogismo. Algn cuadriltero es polgono, algn
polgono es crculo, por lo tanto, algn crculo es polgono. R=_________________
a) La de los tres trminos.
b) La de las premisas particulares.
c) La del trmino medio.
d) La de las premisas afirmativas.
6. Identifica qu regla se viola en el siguiente silogismo. Todos los minerales son cuerpos, todos los
vegetales son cuerpos, por lo tanto, todos los cuerpos son minerales. R=_______________
Algn
delincuente
es
una
persona,
Entonces,
FALACIAS.
Sofista significaba sabio, posteriormente, adquiri el uso peyorativo de charlatn.
Una falacia es un error en el razonamiento.
Aristteles fue quien elabor la primera taxonoma de falacias, distinguiendo entre argumentos genuinos y
argumentos aparentes. Las falacias se agrupan actualmente en dos bloques: formales si se encuentran en
lenguajes lgicos formales o de la lgica simblica, e informales si se encuentran en el lenguaje ordinario o
cotidiano.
Las falacias formales ms conocidas son las del consecuente y el antecedente.
Las falacias informales estn divididas en falacias de atenencia y de ambigedad; de las falacias por falta de
atinencia tenemos: ad hominem, ad baculum, ad ignorantiam, ad misericordia, ad populum, ad verecundiam,
Pregunta compleja, Accidente inverso, dicto simpliciter, ignoratio elenchi, petitio principii.
En cuanto a las falacias de ambigedad se dividen en: equvoco, anfibologa, acento, composicin y divisin.
Autoevaluacin.
Contesta las siguientes preguntas.
1. Cmo defini Aristteles a las falacias?
a) Un error en el razonamiento.
b) Un error en los trminos.
c) Una relacin entre premisas y conclusin.
d) Una inferencia falsa.
10. Las mujeres delgadas no comen para no subir de peso, yo tengo unas amigas que estn delgadas
y seguramente no comen para mantenerse as.
a) Equvoco
b) Anfibologa
c) Divisin
d) Composicin
CALCULO PROPOSICIONAL.
Es importante recordar, que en el clculo proposicional, las proposiciones compuestas se forman de una o
varias proposiciones simples y un trmino de enlace o conectiva lgica, y que las proposiciones simples no
poseen ninguna conectiva.
Algunas de las expresiones de nuestro lenguaje natural como: no, y, o, si... entonces, si y slo si,
pueden capturar el significado de las, conectivas lgicas. Su funcin consiste en permitir la formacin de
proposiciones compuestas a partir de las proposiciones simples y determinar su valor de verdad.
Una sntesis de las tablas de verdad para las conectivas binarias de la conjuncin, disyuncin inclusiva,
disyuncin exclusiva, condicional y bicondicional la podrs encontrar en el siguiente cuadro:
ACTIVIDAD DE APRENDIZAJE
Instrucciones: Comprueba si has comprendido bien qu es una proposicin, y cul es su valor de verdad.
Pon una X en la columna que corresponda al ejemplo.
EJEMPLO
PROPOSICIN
VERDADERA
PROPOSICIN
FALSA
NO ES PROPOSICIN
El Monumento a la
Revolucin Mexicana.
El sol no brilla con luz
propia.
Los planetas describen
rbitas elpticas
Quin hizo todos los
ejercicios?
Estudia bien la gua
Instrucciones: Analiza la siguiente lista de ejemplos y anota en el espacio en blanco si corresponde a una
proposicin simple o compuesta
Toda masa es susceptible de convertirse en energa y
toda energa en masa.
Si un ngulo es mayor que un ngulo recto entonces
es obtuso.
El carbono es un elemento caracterizado por el gran
nmero de compuestos que es capaz de formar.
Observa el ejercicio que acabas de realizar y explica cmo procediste para distinguir las proposiciones
simples de las compuestas.
ACTIVIDAD DE APRENDIZAJE
Instrucciones: Para sintetizar los conocimientos que has adquirido realiza un cuadro sinptico con los
nombre de las conectivas lgicas, la expresin que se usa para identificarlas y su smbolo
Nombre de la conectiva lgica
Smbolos
ACTIVIDAD DE APRENDIZAJE
Instrucciones: En lenguaje natural proporciona ejemplos de proposiciones compuestas usando la
conectiva que se indica.
CONECTIVA NEGACIN
CONJUNCIN
CONDICIONAL
NEGACIN
DISYUNCIN
BICONDICIONAL
EJEMPLO
No es verdad que hoy es sbado.
ACTIVIDAD DE APRENDIZAJE
Instrucciones: Las siguientes proposiciones tienen varios trminos de enlace, o conectivas, aplica parntesis
donde sea necesario para que puedas construir ejemplos de las proposiciones solicitadas. Recuerda que para
ello debes detectar primero la conectiva principal.
Tipo de proposicin
CONJUNCION
Aplica parntesis
P [ ~ Q (R S)] (EJEMPLO)
NEGACION
~PQR
CONJUNCION
RSTQ
DISYUNCIN
SRP~S
BICONDICIONAL
PRS
CONJUNCIN
R ~S T
CONDICIONAL
PQQ.S
BICONDICIONAL
PRSST
DISYUNCION
TS~PRQ
ACTIVIDAD DE APRENDIZAJE
Instrucciones: Aplica tus conocimientos y construye una tabla de verdad para las siguientes
proposiciones y determina si son tautologas, contradicciones o contingentes.
1). [(P Q) P] Q
2). [(P Q) P] ~ Q
3). [~~ (R S) (R S)] [(~R S) ~R]
Autoevaluacin.
Contesta las siguientes preguntas.
1. Cul de los siguientes ejemplos constituye una proposicin?
a) Resuelve bien los ejercicios de la gua.
b) Estudia con entusiasmo!
c) Las proposiciones pueden ser simples o compuestas.
d) Qu es una conectiva lgica?
2. Expresa un pensamiento completo y es susceptible de ser verdadera o falsa:
a) Conectiva
b) conjuncin
c) premisa
d) proposicin.
3. Un ejemplo de proposicin simple es el siguiente:
a) Los planetas describen orbitas elpticas.
b) Juan y Mara fueron al cine esta tarde.
c) Si no estudias reprobars la materia.
d) Iremos al cine o al teatro.
4. La funcin de las conectivas lgicas es formar proposiciones:
a) Simples
b) Atmicas y
c) Verdaderas
moleculares
5. Un ejemplo de conjuncin es el siguiente:
a) O Juan va al cine o Juan va al teatro.
b) Si Juan va al cine entonces va al teatro.
c) Juan no va al cine.
d) Juan va al cine y al teatro.
d) Compuestas
6. La conectiva lgica que tiene la funcin de invertir el valor de verdad de una proposicin es:
a) Bicondicional
b) Negacin
c) Condicional
d) Disyuncin
7. Cmo se llama la proposicin que al obtener su resultado final, resulta verdadera en todas sus
combinaciones?
a) Conjuncin
b) Tautolgica
c) Contingente
d) Contradictoria
8. Comprueba mediante una tabla de verdad si la proposicin: [(P Q) P] Q constituye una:
a) Tautologa
b) Contingencia
c) Contradiccin
d) Conectiva
9. Si P y Q son proposiciones simples distintas, cul de las siguientes proposiciones es una
tautologa.
a) P Q
b) (P Q) (Q c) P (P Q)
d) (P Q) P
P)
10. Si R y S son proposiciones simples diferentes, decide mediante una tabla de verdad cul de las
siguientes proposiciones es una contradiccin.
a) R S
b) (R S) ~ R
c) R (~~R S)
d) R (R S)
PRUEBAS DE VALIDEZ E INVALIDEZ.
Como dijimos, argumentar es una prctica lingstica que requiere reglas que nos permitan formular
argumentos vlidos. Definimos la validez como la implicacin necesaria entre las premisas y la conclusin.
As, un argumento es vlido si y slo si no es posible que sus premisas sean verdaderas y su conclusin falsa.
Los argumentos son vlidos en virtud de su forma independientemente de su contenido, por lo que dos
argumentos de la misma forma son o bien vlidos o bien invlidos los dos.
Las reglas de inferencia son formas de argumentos vlidos elementales que podemos utilizar para aprobar la
validez de argumentos ms complejos construyendo pruebas formales de validez. Existen diferentes sistemas
de reglas de inferencia en este caso, nuestro programa usa las propuestas por Irving Copi, que son las
siguientes.
Modus Ponendo Ponens, Modus Tollendo Tollens, Silogismo Hipottico, Silogismo disyuntivo, Dilema
Constructivo, Dilema Destructivo. Simplificacin, Conjuncin y Adicin. Por otro lado, tambin tenemos reglas
de reemplazo o leyes de equivalencia, que son expresiones que son lgicamente equivalentes, por ejemplo,
decir no es el caso que no aprob el examen de matemticas, es lgicamente equivalente a decir aprob el
examen de matemticas. El ejemplo anterior sera un caso de la ley de la doble negacin. Las leyes de
equivalencia son las siguientes: Teorema de De Morgan, Conmutacin, Asociacin, Distribucin, Doble
negacin, Transposicin, Implicacin Material, Equivalencia Material, Exportacin y Tautologa.
Con estas reglas podemos construir demostraciones formales. Una demostracin formal de validez es una
serie de proposiciones, cada una de las cuales es una premisa del argumento que se sigue de las anteriores
por una regla de inferencia (un argumento vlido elemental), de tal modo que la ltima proposicin de la serie
es la conclusin del argumento que se desea demostrar.
ACTIVIDADES DE APRENDIZAJE.
1. Cul es forma lgica del siguiente argumento? Si no les digo la verdad a mis padres, me estar metiendo
en un problema ms difcil de solucionar. Pero, s se enteran por otra fuente, ya no confiarn ms en m. Les
digo la verdad o se que se enteren por otra fuente. Como consecuencia de esto, me estar metiendo en un
problema ms difcil de solucionar o mis padres ya no confiarn ms en m.
a. Modus Ponens
b. Dilema Constructivo
c. Modus Tollens
d. Silogismo Hipottico
e. Silogismo Disyuntivo
2. Formaliza la siguiente proposicin: Ningn futbolista es perezoso.
3. Completa las siguientes inferencias utilizando el modus ponendo ponens.
a) Si vivo en la capital de la Repblica, entonces no vivo en ninguno de los estados.
Vivo en la capital de la Repblica
Por lo tanto, _________________________
b) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan.
Sucede que no nos despedimos ahora. Por lo tanto,
c) Tambin podemos hacerlo usando un lenguaje simblico, para obtener la conclusin. Completa el ejercicio.
(1) P S (2) P
4. Aplica la regla del modus tollendo tollens e infiere una conclusin en lenguaje natural de cada conjunto de
premisas.
a) Si es por la maana, entonces el sol est en el oriente.
El sol no est en el oriente.
Por lo tanto, _______________________
b) Si este astro brilla con luz propia, entonces este astro es una estrella. Este astro no es una estrella. Por lo
tanto, ________________
c) Tambin puedes hacerlo usando lenguaje simblico, obtn la conclusin.
(1) A B (2) ~B
5. Siguiendo los ejemplos anteriores, elabora un argumento en el lenguaje natural para cada una de las reglas
de inferencia y las leyes de equivalencia.
1
B
2
C
3
D
4
C
5
C
6
A
7
C
8
B
09
B
10
A
Respuestas
1
D
2
D
3
D
4
C
5
D
6
A
7
B
8
C
9
C
10
A
RESPUESTAS
1
A
2
D
3
B
4
C
5
C
6
D
7
C
8
D
9
C
10
D
RESPUESTAS
1
B
2
C
3
D
4
B
5
C
6
A
7
B
8
C
9
A
10
C
RESPUESTAS
1
A
2
A
3
D
4
C
5
C
6
B
7
C
8
A
9
B
10
D
RESPUESTAS
1
C
2
D
3
A
4
D
5
D
6
B
7
B
8
A
9
B
10
B