NUMEROS-LOGICA (2) (Reparado)
NUMEROS-LOGICA (2) (Reparado)
NUMEROS-LOGICA (2) (Reparado)
TRIUNFO
¡Formando Líderes para las nuevas Generaciones !
RAZ. LÓGICO
MODULO TEÓRICO
Presentación
El contenido del presente texto tiene como objetivo primordial brindar al
postulante la información competente y necesaria del Razonamiento
lógico, facilitando con esto el aprendizaje del alumno en el nivel
Preuniversitario.
La lógica es una materia de estudio sumamente importante como aptitud
académica, es por ello que se debe tener cierto tino en el aprendizaje.
Se ha incluido en este texto todos los temas tomados en el examen de
admisión de la UNP, con claros ejemplos que harán de fácil comprensión
la parte teórica y de este modo el alumno tenga los medios para
solucionar cualquier problema de Razonamiento Lógico.
Contenido General
CAPITULO I LÓGICA FORMAL
CAPITULO V CIRCUITOS
CAPITULO VI INFERENCIAS
Segú n la calidad de las proposiciones, los razonamientos - La fórmula química del agua es H2O.
pueden ser inductivos (cuando las premisas representan una - Sullana es una ciudad calurosa.
- Piura no es una ciudad limpia.
- 215 > 251 Hablar del valor de verdad de una proposició n, significa que es
posible comparar o analizar la informació n que se trasmite con
Nota: A la lógica, como ciencia, le interesan sólo aquellas
su coincidencia en la realidad.
oraciones donde el lenguaje cumple la función
informativa. Por ejemplo, si decimos:
- César Vallejo escribió “Trilce”.
- MVLL ganó el premio nobel de literatura en el 2010.
PRIMERAS DEFINICIONES
Evidentemente esta informació n coincide con la realidad, por
ENUNCIADO: Es toda expresió n lingü ística o matemá tica. tanto decimos que la proposició n es verdadera. Por otro lado, si
expresamos:
Ejemplos: 1.- ¿Cómo estas?
- Miguel Grau es chileno.
- “La Galatea” es una novela de Jaime Bayly.
2.- Las piuranas son inteligentes.
Es informació n que no coincide con la realidad, decimos que la
proposició n es falsa. Sin embargo si expresamos:
3.- 7x+y2 = 65
- Busg Bunny y el Pato Lucas son amigos.
- Atenea fue una diosa.
4.- 17591 es un número primo.
No tiene sentido hacer comparaciones con la realidad, ya que
son personajes ficticios. De modo que no son proposiciones,
5.-MVLL obtuvo el premio nobel de literatura.
só lo son enunciados. No obstante:
- Busg Bunny y el Pato Lucas son amigos según los
comic.
ENUNCIADOABIERTO: Enunciado que posee una o más - Atenea fue una diosa,según la mitología griega.
incó gnitas no definidas y no posee la propiedad de ser
verdadero o falso. También se le llama FUNCIÓN Sí son proposiciones.
PROPOSICIONAL.
NOTA: No son proposiciones
Ejemplos: 1.- x + 3 2y - 5
Las oraciones interrogativas, exclamativas,
2.- El es profesor de primaria. dubitativas, desiderativas.
PROPOSICIÓN: Enunciado que puede ser verdadero o falso Supersticiones, mitos, leyendas, fabulas
pero no ambos a la vez. Son considerados proposiciones las
oraciones aseverativas, formulas ló gicas y matemáticas, Metáforas
esquemas ló gicos, leyes científicas.
Órdenes y súplicas
Ejemplos:
Pseudoproposiciones
1.-
ENUNCIADO CERRADO:Es un concepto que se emplea para
denominar a las proposiciones verdaderas y a veces a las
2.- definiciones.
Ejemplo:
3.- Máncora es un balneario de la costa peruana. - La biología es la ciencia que trata de los seres vivos,
considerándolos en su doble aspecto morfológico y
4.- El Perú es un país en crecimiento económico. fisiológico.
- Sen2x + Cos2x=1
5.- La gastronomía en el Perú es variada. - ( a+ b )2 = a2 +2ab+ b2
OPERADORES O CONECTORES
LAS PROPOSICIONES SE CLASIFICAN LÓGICOS
INTERNAMENTE: La ló gica como toda ciencia necesita un lenguaje para expresar
sus resultados. Hasta aquí es necesario definir losoperadores o
a) POR CANTIDAD.Pueden ser: conectores ló gicos:
Universal: Se hace menció n a todos los elementos de
un conjunto.
Operador monádico
Ejemplo: - Los hombres son fieles.
- Todo automóvil es petrolero.
1roEl Negador: Representado por "", que en lenguaje natural
Particular o Existencial: Só lo se hace referencia a corresponde a la molécula “No”
una parte de los elementos de un determinado
conjunto. Operadores Diádicos o Binádicos
Ejemplo: - Algunas mujeres son árbitros.
- La mayoría de sillas son de madera. 2doEl Conjuntor : "" , que corresponde a la “y”
Singular o individual: Proposició n donde se 3ro Disyuntor débil, "" , que corresponde a la “o”
menciona a un individuo concreto.
Ejemplo:- Miguel Grau nació en Piura. 4toImplicador “ " , ”Si…entonces…”
- Lima es la capital del Perú.
3.- Carlos es mayor que Juan (Relación comparativa) Ejemplo: - Si me gano la tinka entonces me compraré una
casa en Máncora.
- Si Juanito está enfermo entonces no vendrá a clases.
4.- 25<26 (Relación de orden)
Se formaliza: pq No es conmutativo.
b)Proposició n Replicativa o condicional inversa(): Se
5.- denomina así a la proposició n que presenta el operador
binario “…, si …”. En éstas proposiciones el adverbio “si” o
6.- Junior Y Jaime fueron los últimos en llegar a la reunión sus traducciones verbales siempre está n entre las
realizada en Plaza de la Luna. proposiciones, de modo que la condició n irá al final de la
oració n.
7.- Marita y Lucia son los dos primeros del examen de admisión
abril 2014 de la UNP. Ejemplo:Me compraré una casa en Máncora si me gano la
tinka.
Juanito no vendrá a clases si está enfermo.
B. PROPOSICIÓN COMPUESTA, MOLECULAR, COLIGATIVA
Se formaliza: p q No es conmutativo.
O COMPLEJA: Son aquellas que se obtienen al combinar
las proposiciones simples, unidas por uno o más
operadores o conectores ló gicos. “si” se traduce como: “entonces” se traduce
como:
Ejemplos: Cuando Por lo tanto
1.- Es mentira que, 17 es número compuesto. Ya que Por ello, Por eso
2.- 625 es número impar o es un cuadrado perfecto. Puesto que=pues Así pues
3.- Miguel juega puesto que Tania duerme y Manuel Porque Es obvio
escucha música. Dado que Es Evidente
Debido a que Implica
1. Proposición Conjuntiva ( ): Se denomina así a la Con tal que Luego
proposició n que presenta el operador binario “y”, el cual Siempre que En consecuencia
desempeñ a el papel de compatibilizador de dos Por Consiguiente
En vista de que
proposiciones.
Etc.
Ejemplo: José es abogado incluso es docente.
Se formaliza: p q 5. Proposición Biimplicativa o Bicondicional (): Se
Es conmutativo: José es docente incluso abogado. denomina así a la proposició n que presenta el conector
Se formaliza: qp binario “si y só lo si” el cual desempeñ a la funció n de doble
2. Proposición Disyuntiva Incluyente - O Débil():Se condicional. Es decir la conjunció n de la condicional directa
denomina así a la proposició n que presenta el operador con la inversa. Cualquiera de las dos proposiciones pueden
binario “o”, el cual da la posibilidad de que las dos ser condició n de la otra.
proposiciones sean verdaderas a la vez. Cumple la funció n de Ejemplo: Hoy es lunes si y sólo si mañana es martes.
alternador. Se formaliza: p q
Es conmutativo. Hoy es martes si y sólo si mañana es lunes:
Ejemplo:Diego postula a la Universidad a menos que postule
Se formaliza: q p
al instituto.
Se formaliza: p v q.
Es conmutativo: Diego postula al instituto a menos que
postule a la Universidad. 6. Proposiciones Negativas ():Se denomina así a la
Se formaliza: q v p. proposició n que presenta el operador moná dico “No” el cual
permite cambiar el valor de verdad de la proposició n.
3. Proposición Disyuntiva Excluyente - O Fuerte ( ):
Está s se obtienen al agregar el adverbio “no”, o una de sus
Se denomina así a la proposició n que presenta el operador traducciones verbales a una proposició n simple.
binario “o”, y excluye la posibilidad de que ambas
Ejemplos:Pedro es doctor:
proposiciones sean verdaderas a la vez.
Se formaliza: p (proposición simple predicativa)
- Pedro no es doctor
Ejemplo:Manuel nació en Perú o Ecuador.
Se formaliza: p
Se formaliza: pq
-
Se formaliza: p 8. Proposiciones Incompatibles: Su conector es el término
“es incompatible”
7. Proposiciones Inalternativas: su conector son los Ejemplo:
términos “ni…ni…” “El que la ONPE sea un organismo regional es
Ejemplo: incompatible con que fiscalice el sistema electoral”
La Historia ni es formal ni es deductiva Se formaliza:p / q
Es conmutativa:
Se formaliza:
“El que la ONPE fiscalice el sistema electoral es
Es conmutativa:
incompatible con quesea un organismo regional”
La Historia ni es deductiva ni es formal
Se formaliza:q / p
Se formaliza:q ↓ p
FORMALIZACIÓN
Es el proceso por el cual se transforma todo lenguaje natural
en lenguaje simbó lico.
SIMBOLIZACIÓN DE PROPOSICIONES Y EL USO DE
Ejemplo: LOS SIGNOS DE AGRUPACIÓN.
Lenguaje natural: Juan es abogado e ingeniero.
Simbolizar una proposició n compuesta consiste en asignar a
Lenguaje simbólico o formalizado:
cada proposició n simple una variable proposicional, y a cada
conector ló gico su respectivo símbolo, teniendo en cuenta la
1) Característica del lenguaje simbolizado. jerarquía de los conectores ló gicos o de lo contrario los signos
de puntuació n (“,” , “;” , “.”) para lo cual se emplea los signos de
a) Es universal. colecció n.
b) Es estructurado.
c) Es preciso y abreviado.
Los signos de colecció n son:
2) Elementos del lenguaje simbolizado.
Paréntesis ( ) ---Corchetes[ ] ---Llave { }
a) Variablesproposicionales.
Representa a cada proposició n ló gica y sabiendo que PRIORIDAD O JERARQUIA DE LOS CONECTIVOS
existen dos tipos de proposiciones (simples y LÓGICOS
compuestas), también existen dos tipos de variables:
Variables Proposicionales: Son las que representan En la formalizació n de proposiciones se debe tener en cuenta
a las proposiciones simples y se representan por las la prioridad que tienen los conectores, funtores u operadores
letras: p, q, r, s,… ló gicos en el siguiente orden: (de menor a mayor)
Meta-variables: Son las que representan a las
proposiciones compuestas y se representan por las "" ""
letras: A, B, C, D,…
b) Operadoreslógicos:
Son los que afectan a las variables proposicionales “ " , “ ”
cambiá ndoles de calidad y/o uniéndolas entre ellas.
Se clasifican en:
Operadores lógicos monódicos: Son aquellos que
afectan a la proposició n cambiá ndole su calidad, es "" , ""
decir de afirmada a negada y/o negadas a afirmadas.
Siendo ú nicamente el NEGADOR.
Operadores lógicos binarios o diádicos:
Son :
El Conjuntor ""
Los Disyuntores (débil y fuerte).
Los Condicionales (directos o inversos). 1ro Negador: " "
Los Bicondicionales.
El Incompatibilizador (Negador Disyuntivo).El 2do Conjuntor y disyuntor débil: "" , ""
Inalternador (Negador Conjuntivo).
3ro Implicador o Replicador: “ " , “ ”
c) Signosdeagrupación:
Son los que aparte de agrupar las proposiciones y 4to Disyuntor fuerte: ""
operadores, también les otorga la jerarquía a los
argumentos. 5to Bicondicional: ""
Nota: Cuando la jerarquía de los conectores es ambigua se tiene q: Trabajas
en cuenta los signos de puntuació n, siendo el conectivo
dominante el que está fuera de todo signo de colecció n. r: Tendrá s éxito.
La formalizació n sería: (p q) r
Ejemplo. Es incierto que Martín se case, a menos que viaje a
Francia si obtiene la beca. Ejemplo:
Si los deportistas no consumen drogas, entonces no
Variables proposicionales
fracasará n.
p: Martín se casa
Simbolizando o Formalizando esta proposició n molecular
q: Martín viaja a Francia
tenemos:
r: Martín obtiene la beca Los deportistas consumen drogas, p
Luego: Los deportistas fracasará n , q
Ejemplo.Es incierto que Martín se case a menos que viaje a Fórmulas bien formadas (f b f)
Francia, si obtiene la beca.
Un esquema es una fbf, si no hay ambigü edad para determinar
la dominancia de un conector. Las formalizaciones de los tres
La formalizació n es: (p q) r
primeros ejemplos corresponden a fbf, los ú ltimos no; pues en
el esquema (pqr) no sabríamos si dentro del paréntesis la
En este ejemplo la ubicació n de los signos de agrupació n queda
proposició n es disyuntiva o conjuntiva.
determinada por la coma.
Má s ejemplos:
pqr NO ES f b f
p (q r) fbf
Ejemplo.Es incierto que Martín se case a menos que viaje a [(p q) r] fbf
Francia si obtiene la beca. (p q r) no es f b f
pq→r no esf b f
La formalizació n es: [(p q) r]
En este ejemplo dentro del paréntesis existe ambigü edad para a. Conjuntiva ( ) se simboliza → también puede ser
la ubicació n de los signos de agrupació n, ambos conectores b. Disyuntiva ( ) se simboliza con los signos “ “ “”
tienen la misma jerarquía. Es necesario agregar un signo de
c. Condicional ( ) sus signos característicos son “↔” , “≡”
puntuació n.
d. Bicondicional ( ) se simboliza “V”
Ejemplo: Si estudias o trabajas entonces tendrá s éxito
e. Negació n ( ) sus símbolos son “” “. “
p: Estudias
1. El conjuntor: Si P entonces Q P depende de que ocurra Q Es absurdo que P
Si P por consiguiente Q P se deriva de Q Es mentira que P
P y Q, P tambié n Q Si P por eso Q P se sigue de Q Es inaudito que P
P pero Q, P empero Q Si P por ello Q P está implicado por Q Es inconcebible que P
P incluso Q, P aunque Q Si P por lo tanto Q P no implica Q, etc. Es incierto que P
P ademá s Q, P sin embargo Q Si P es obvio que Q Es inadmisible que P
P tal como Q, P así como Q Si P es evidente que Q Es objetable que P
P al igual que Q (no confundir con 5. El disyuntor excluyente: ,
Si P en consecuencia Q Es negable que P
bicondicional) Si P bien se ve que Q Es sofisma que P
P al mismo tiempo que Q P o Q (en sentidos excluyentes)
Si P así pues Q No acaece que P
P del mismo modo Q oPoQ
En cuanto P por tanto Q No ocurre que P
P de la misma manera Q o bien P o bien Q
De P derivamos Q No es el caso que P
P igualmente Q ya bien P ya bien Q
De P se deriva Q No acontece que P
P asimismo Q P o só lo Q
De P deviene Q De ninguna forma se da P
P a la vez que Q P o solamente Q
De P se concluye Q De ningú n modo P
P es compatible con Q P o ú nicamente Q
De P se desprende que Q En forma alguna P
P aú n cuando Q P o exclusivamente Q
P implica Q, P luego Q En modo alguno P
P mas Q No es equivalente P con Q
P de allí Q, P de ahí Q No es innegable que P (triple)
P sino Q P no biimplica a Q
Suponiendo que P, Q No es inobjetable que P (triple)
P a pesar de que Q P no equivale a Q
P da lugar a Q Carece de todo sentido P
P tanto como Q P o bien necesariamente Q
Apenas P inmediatamente Q P es insostenible
Tanto P como Q No es cierto Que P equivale a Q
Si de hecho P no se puede negar que Q P es rebatible
Sin que P tampoco Q Só lo P o só lo Q
Si P, Q P es refutable
Cierto que P lo mismo que Q A lo má s uno de los dos P o Q, etc.
Cuando P, Q Decir que P es una farsa, etc.
Simultá neamente P con Q Porque P, Q
El que P no excluye que Q 8. Inalternador (Negador conjuntor)
Siempre que P, Q 6. El bicondicional: ,
P no es incompatible con Q Puesto que P, Q
P no obstante Q Dado que P, Q P si y só lo si Q No P y no Q
No sólo P sino también Q, etc. Debido a que P, Q P siempre y cuando Q Ni P ni Q
Ya que P, Q P se define ló gicamente como Q No P ni Q
2. El disyuntor incluyente: Con tal que P, Q P es la definició n ló gica de Q
En vista de que P, Q, etc. P es equivalente a Q 9. Incompatibilizador (Negador disyuntor)
PoQ
P es igual que Q (no confundir al
P a menos que Q conjuntor)
A menos que P, Q 4. El replicador: ,
P es idé ntica a Q P es incompatible con Q
P salvo que Q P no es compatible con Q
Só lo si P, Q P es condició n necesaria y suficiente
Salvo que P, Q para Q
P si Q
P excepto que Q P siempre que y só lo cuando Q
P cuando Q
Excepto que P, Q Si y só lo si P, entonces Q
P porque Q
P o incluso Q Só lo si P y só lo si Q
P siempre que Q
P o tambié n Q P implica y está implicado por Q
P puesto que Q
P o sino Q P no es suficiente y no es necesario para
P pues Q
P o a la vez Q Q
P dado que Q
P ya bien Q P solamente y en el ú nico caso que Q
P debido a que Q
P y/o Q
P ya que Q
P y bien, o tambié n Q 7. El negador: ,
P con tal que Q
Al menos uno de los dos P o Q
P en vista de Q a) Negadores internos:
P alternativamente Q
P supone que Q No, Nunca, Jamá s, Tampoco, Mentira…
P a no ser que Q, etc.
P cada vez que Q
3. El implicador: , P por cuanto Q b) Negadores externos:
P en razó n de Q
P só lo si Q P en tanto Q Es falso que P
VERDAD FORMAL
LAS TABLAS DE VERDAD: Permiten representar un
razonamiento y determinar su validez, siendo un Clasificación de las Tablas de Verdad
razonamiento vá lido cuando su matriz en una tautología, caso
contrario se dice que el razonamiento es invá lido.
Consitentes:
Número de Filas o Arreglos de una Matriz
1. M. Tautológica (T): Si el resultado final contiene só lo
valores verdaderos.
, donde n es el nú mero de variables
Número de Fórmulas lógicas diferentes o funciones 2. M. Contingente (Q): Si el resultado final contiene valores
veritativas no equivalentes. verdaderos y falsos.
Inconsistente:
, donde n es el nú mero de variables
3. M. Contradictoria (): Si el resultado final presenta só lo
Nota: valores falsos.
Las letras V y F indican valores verdadero y falso.
V=1= foco encendido y F=0=foco apagado
EQUIVALENCIAS LÓGICAS
PRINCIPIOS LOGICOS TRADICIONALES 3. Principio del Tercero Excluido.- “Una proposició n o
es verdadera o es falsa, no existe una tercera
Los principios ló gicos son fundamentos ló gicamente vá lidos posibilidad” (p p).
que se expresan en fó rmulas tautoló gicas-. Tradicionalmente EJERCICIOS
son tres: Principio de Identidad, Principio de No A qué principios ló gicos corresponden los siguientes
Contradicció n, Principio del Tercero Excluido. enunciados:
Enunciaremos los comunes:
1. Principio de Identidad.- “Una proposició n es 1. José María Arguedas fue escritor o no fue
verdadera si y solo si es Verdadera” ( p P ) Este escritor_________________________
Principio se fundamenta en la expresió n: “una 2. El verano es caluroso si y só lo si el verano es
proposició n es idéntica a sí misma”. caluroso______________________
También se formula “Una proposició n se implica a si 3. No es el caso que un presidente gobierne y no
misma” (p p). gobierne_____________________
2. Principio de No Contradicción.- “Es imposible que una 4. Es imposible que llueva y no llueva a
proposició n sea verdadera y no sea verdadera a la vez” lavez______________________________
(p p). 5. Rubén estudia o trabaja o es imposible que estudie y
trabaje_______________
“Los sabios dicen la verdad; sin embargo, tienen
EQUIVALENCIAS NOTABLES. problemas con la sociedad o la religión los condena”.
Es lo mismo que:
Dos esquemas moleculares, por ejemplo V y W son “Los sabios dicen la verdad y tienen problemas con la
equivalentes cuando unidos por el Bicondicional " " la sociedad; o los sabios dicen la verdad y la religión los
condena”.
tabla resultante es una tautología. Existen diferentes
Simbólicamente:
esquemas equivalentes (leyes lógicas), algunos de ellos muy
ú tiles, a los cuales se les llama equivalencias notables.
1) Ley Conmutativa: 4) Ley de Ídempotencia:
Por esta ley se reducen las variables redundantes a una
Estas equivalencias nos indican que las conjunciones, las sola. Se aplica a esquemas conjuntivos y disyuntivos.
disyunciones o bicondicionales, si permiten permutan a sus
componentes, sus equivalentes significan lo mismo. Ejemplo:
“Chulucanas es la ciudad del mango o Chulucanas es la
ciudad del mango”.
Es lo mismo decir: “Chulucanas es la ciudad del mango”.
Simbólicamente:
Ejemplo:
“Estoy enfermo sí sólo sí tengo gripe”. 5) Ley de la Involución:
También conocida como la doble negación, que equivale a
Es lo mismo que: una afirmació n. El nú mero de negaciones que afectan a una
“Tengo gripe sí y sólo sí estoy enfermo”. formula o esquema puede eliminarse de par en par.
Simbólicamente:
Ejemplo:
2) Ley Asociativa:
Los elementos de igual jerarquía de un esquema conjuntivo, “Es falso que la Lógica no sea una ciencia formal”.
disyuntivo débil o fuerte, Bicondicional se pueden agrupar Es lo mismo decir:
indistintamente unos con otros. “La Lógica es una ciencia formal”.
Simbólicamente:
6) Ley de D’Morgan:
Son equivalencias de esquemas conjuntivos y disyuntivos.
Conjunciones no negadas son equivalentes a disyunciones
negadas y viceversa.
Ejemplo:
“Juan canta y baila, sin embargoestudia”.
Es lo mismo que:
“Juan canta, sin embargo baila y estudia”.
Simbólicamente:
Ejemplo: Ejemplo:
“Si sale la luna entonces es de noche”.
Es lo mismo decir:
“Si no es de noche entonces no sale la luna”
Simbólicamente: p|q≡~( p∧q )
14) Ley de Exportación.
8) Definició n de Implicador:
Son equivalencias entre el condicional y esquemas
conjuntivos o disyuntivos incluyentes.
15) Ley de Permutación.
9) Ley de Absorció n:
La absorció n abrevia la distribució n reduciendo el 17) Equivalencias del Bicondicional.
nú mero de variables al mínimo en esquemas conjuntivo y
disyuntivo incluyente. Es muy similar a la distribució n
con la diferencia que en la absorció n una de las variables
se repite.
p↓q≡~( p∨q )
13) Barra de Sheffer
CIRCUITOS LÓGICOS
La aplicació n de la ló gica proposicional en la
construcció n de circuitos eléctricos se debe mayormente a Esquema
Proposició n Circuito ló gico
Claudio Shannon, uno de los pioneros en la confecció n de Ló gico
computadoras. Los circuitos eléctricos está n formados por
conmutadores o también llamados interruptores o llaves los
p oq
cuales son estructuras que dejan o no dejan pasar la corriente
eléctrica.
Un interruptor puede representar a una variable
(reemplazante de una proposició n)
En este capítulo se realizara la representació n grá fica de todo
esquema ló gico y para construir un diagrama lo puedo hacer OBSERVACION.
mediante: Esquema Circuito
Proposició n
1º Compuertas. Ló gico ló gico
2º Conmutadores. (llave o interruptor)
Verdadera V
Só lo estudiaremos los Circuitos Lógicos por
conmutadores.
Aquí hay que resaltar el concepto de un conmutador que es: Falso F
“todo elemento físico que tiene como propiedad natural dos
estados, de modo que puede conmutar entre estos dos
estados” c) Circuito Mixto:
Ejemplo:
Conmutador Estados conmutables Ejemplos
Si la implicació n no es una tautología, entonces se dice que la Venus brilla con luz refleja.
inferencia es no vá lida o es una falacia Simbólicamente:
Ejemplo: Determinar si p es una consecuencia vá lida de: p P1) pq
q; q r; r P2) p
q
Solució n: Aquí las premisas son:
p1 : p q; p2 : q r y p3 : r Y 3.2.2. MODUS TOLLENDO TOLLENS (MTT).Es un
la conclusió n q: p argumento en la que al negar el consecuente se concluye
negando el antecedente. También se le conoce como “Negando,
Debemos demostrar que ( p1 p2 p3 ) q es tautología. La Niega”. Sólo se da en la operación Implicación ( ) y
tabla de verdad para este esquema es: biimplicación ().
Ejemplo:
a) P1)A B b) P1)A B c) P1)A B
P1) Néstor trabaja o estudia.
P2)A P2)A P2 ) B P2) no trabaja.
B B A Néstor estudia.
P2)Si Juan es responsable de su conducta, evita realizar
Simbólicamente: acciones negativas.
P1) p q Ya que Juan es libre es evidente que evita realizar
P2) q acciones negativas.
p
3.2.4. MODUS PONENDO TOLLENS (MPT).“Afirmo, Niego”. Es
un tipo de silogismo donde interviene la disyunció n
excluyente. Si en una premisa se tiene dos proposiciones Simbó licamente:
unidas con la disyunció n excluyente, y en otra premisa se P1) p q
afirma una de ellas, concluimos en la negació n de la otra P2) q r
premisa. (Recuerda que en la disyunció n excluyente só lo se pr
cumple una de dos proposiciones)
3.2.7. TRANSITIVIDAD SIMÉTRICA
a) P1) A B b) P1) A B P1) AB
P2) A P2) B P2) BC
B A AC
Ejemplo:
Ejemplo: P1) El viento sopla si y sólo si llueve
P1) Miguel Grau, nació en Piura o Lima P2) Llueve si y sólo si el cielo está nublado
P2) Miguel Grau nació en Piura El viento sopla si y só lo si el cielo está nublado.
Miguel Grau no nació en Lima
3.2.8. DILEMA CONSTRUCTIVO (DC). El DC consiste en; si la
Simbólicamente: conjunció n de dos condicionales; afirmamos los dos
P1) p q antecedentes disyuntivamente; se puede concluir en la
afirmació n disyuntiva de los consecuentes.
P2) p
q P1) A B
P2) C D
3.2.5. MODUS TOLENDO PONENS (MTP). “Niego, Afirmo”. Es P3) A C
un tipo de silogismo donde interviene la disyunció n BD
excluyente. Si en una premisa se tiene dos proposiciones
unidas con la disyunció n excluyente, y en otra premisa se Ejemplo:
niega una de ellas, concluimos en la afirmació n de la otra P1) Si Segis estudia, será ingeniero
premisa. P2) Si Segis trabaja, tendrá dinero
a) P1) A B b) P1) A B P3) Estudia o trabaja
PROPOSICIONES CATEGÓRICAS
1.1. CUANTIFICADORES LÓGICOS
Símbolo: Símbolo :
Ni siquiera (negativo)
a) “Todos los Iqueñ os son peruanos” Los términos de estos ejemplos son: Carpetas, viejas, niñ os e
inquietos.
“ Para todo x , si x es Iqueñ o entonces x es peruano”
Se formaliza: x (I x Px ) 3.5.1. ELEMENTOS DE LAS PROPOSICIONES
CATEGÓRICAS
b) “Algunos animales son felinos” É stas poseen cuatro elementos:
“Existe un x tal que x es un animal y x es felino”
a) CUANTIFICADOR: Indica si el término sujeto se toma
Se formaliza: x (Ax Fx )
en toda su extensió n o só lo en parte.
TIPICA
FORM
REPRESENTA-
CION TIPO SIMBOLICA CON
A
CION LITERAL
SIMBOLICA CUANTIFICADORES
Universal
A Todo S es P SaP x (S x Px )
Afirmativo
Universal
E Ningún S es P SeP x (S xPx )
Negativo
Particular
I Algún S es P SiP x (S x Px )
Afirmativo
Particular x (S x Px )
O Algún S no es P SoP
Negativo
INCLUSIÓN Y EXCLUSIÓN
3.6 CUADRO DE BOECIO
A:Inclusió n total I :Inclusió n
parcial
E: Exclusió n total O : Exclusió n
parcial
2. La Obversión (Equipotencia)
Trabaja a nivel de proposiciones contrarias (A con E) y subcontrarias (I con O). Es una EQUIVALENCIA que consiste en cambiar el
predicado por su complemento.
S aPSeP
Ejemplo:
“Todo actor es profesional”. Equivale a:
“Ningú n actor es no profesional”
SePS aP
Ejemplo:
“Ningú n materialista es idealista”. Equivale a:
“Todo materialista es no idealista”
SiPS oP
Ejemplo:
“Algunos mamíferos son voladores”. Equivale a:
“Algunos mamíferos no son no voladores”
S oPSiP
Ejemplo:
“Algunos universitarios no son trabajadores”. Equivale a:
“Algunos universitarios son no trabajadores”
3. La Conversión
Es un mejoramiento que trabaja entre proposiciones de la misma calidad. Consiste en cambiar el sujeto por predicado y
viceversa. Las conversas son de dos clases:
A. Conversas Simples
Es una EQUIVALENCIA donde no varía la cantidad.
B. Conversas Accidentales
Es una IMPLICACIÓ N (en un solo sentido) en la que cambia la cantidad universal por particular.
obv conv CP OBV
( S a P ) ( S e P) ( P e S ) CP Simple ( S a P) ( P e S ) ( P a S ) CT Simple
obv conv CP OBV
( S a P) ( S e P) ( P o S ) CP por accidente ( S a P) ( P o S ) ( P i S ) CT por Accidente
obv conv CP OBV
( S e P) ( S a P ) ( P i S ) CP por accidente ( S e P) ( P i S ) ( P o S ) CT por Accidente
CP OBV
obv conv
( S o P) ( P i S ) ( P o S ) CT Simple
( S o P) ( S i P) ( P i S ) CP Simple
CP
obv conv
( S i P ) No tiene CT
( S i P) ( S o P ) No tiene CP
DIAGRAMAS DE VENN
Lógica Booleana
Es la representació n de clases (conjuntos) en forma de
diagramas (diagramas de Venn) y su forma literal con
fó rmulas algebraicas. U = la clase universal,
Nomenclatura:
aquí S (no hay
elementos).
U = la clase universal,
aquí S puede o no tener
elementos.
U = la clase universal,
aquí S (hay
elementos).
Cuadro de Boeccio para dos clases
Forma Boleana:
3. Proposición: “Todo no S es P”
Forma típica: _
SaP
Notas:
Forma Boleana:
SiP
SILOGISMOS ARISTOTÉLICOS
CONCEPTO: Un silogismo aristotélico es una inferencia 1) El término medio debe estar distribuida al menos en una
mediata formado por tres proposiciones categó ricas de las de las premisas.
cuales dos son premisas y una es conclusió n. 2) No puede haber en la conclusió n ningú n término
P1: Premisa Mayor distribuido que no lo este también en las premisas.
P2: Premisa Menor 3) De dos premisas afirmativas se concluye ú nicamente otra
premisa afirmativa.
C: Conclusión
4) De dos premisas negativas no se concluye nada.
Ejemplo:
5) La conclusió n sigue siempre a la premisa má s débil; la
P1: M e P
particular o la negativa
P2: S i M
6) De dos premisas particulares no hay conclusió n.
Premisa Mayor:D i I PA
CARACTERÍSTICAS DE UN SILOGISMO
Premisa Menor:D a M UA
-
Presenta solamente tres proposiciones: Premisa mayor,
Conclusió n :MiI PA
Premisa menor y Conclusió n.
- La conclusión es: Algunos mensajes son importantes.
Presenta tres términos: término mayor, término menor y
término medio. NOTA: la conclusió n obtenida, no necesariamente es vá lida,
-
El término medio só lo aparece en ambas premisas, má s debido a que debe ser analizada por los métodos de validez.
nunca en la conclusió n.
- II.
El sujeto de la conclusió n es el término menor y aparece FIGURAS: Son las distintas posiciones que toma el
en la premisa menor. término medio en las premisas; de acuerdo a esto existen 4
-
El predicado de la conclusió n es el término mayor y figuras:
aparece en la premisa mayor.
1. P1: MP 2. P1: PM
I.
REGLAS BÁSICAS: Sirven para concluir sin P2: SM 3. P2: SM
garantizar la validez del silogismo. C: SP C: SP
La conclusió n está siempre en menor cantidad o calidad.
1. U U P P
U P U P
3. P1: MP 4. P1: PM
U P P No válido P2: MS P2: MS
2. A A N N C: SP C: SP
A N A N
A N N No válido
Ejemplo:
Donde:
U: Universal A: Afirmativa P1: D i I Es de figura
N: Negativa
P: Particular P2: D a M II
NOTAS: C: M i I
III.
MODOS: son todas las combinaciones posibles que se FIG. MODO PALABRA LATINA
pueden hacer con las 4 vocales en un silogismo aristotélico. 2. POR DIAGRAMAS DE VENN: AAA BARBARA
Existen un total de 256 modos posibles pero só lo 15 de estos Se grafican solo las premisas y la
I EAE CELARENT
conclusió n debe resultar
son vá lidos y que han sido demostrados. graficada automá ticamente. AII DARII
Si esto ocurre el silogismo es
EIO FERIO
Ejemplo: vá lido, caso contrario el será no
valido. EAE CESARE
P1: D i I El modo
Ejemplo: AEE CAMESTRES
P2: D a M iai II
EIO FESTINO
C: M i I AOO BAROCO
AII DATISI
IAI DISAMIS
III
Ejemplo: OAO BOCARDO
P1: M e P El modo EIO FERISON
P2: S i M eio AEE CAMENES
C: S o P IV IAI DIMATIS
EIO FRESISON
Ejemplo:
3. POR INFERENCIAS LÓGICAS: Se aplican las reglas de
AeP - figura IV
inferencia.
P iB - modo:e i o
válido
BoA
NOTA: