LÓGICA Administración

Lgica
UNIVERSIDAD ALAS PERUANAS

FILIAL JAEN
FACULTAD DE CIENCIAS EMPRESARIALES
ESCUELA PROFESIONAL DE ADMINISTRACIN
Y NEGOCIOS INTERNACIONALES
UNIDAD I:
NOCIONES BASICAS DE LA LGICA PROPOSICIONAL
1.1. INTRODUCCION:
Lgica es el estudio de los procesos vlidos del razonamiento humano. En la actualidad el estudio serio de cualquier
tema tanto en el campo de las humanidades como el de las ciencias y la tcnica requieren conocer los fundamentos y
mtodos del razonamiento lgico preciso que permite al estudiante o profesional extraer y depurar sus conclusiones
evitando el riesgo de modificar en forma equivocada la informacin que posee. Esto es an ms en esta era de la
computacin, herramienta que es empleada en todos los campos del desarrollo de una sociedad y con la velocidad a la
cual se procesan los datos cualquier error de lgica puede originar problemas tcnicos, sociales y econmicos.
Siendo muy importante, en la matemtica moderna el anlisis del lenguaje con un criterio lgico; la Lgica tiene como
fin de conducirnos a un hbil manejo del lenguaje matemtico y el empleo de mtodos eficaces de razonamiento.
Existen dos tipos importantes del razonamiento: El Inductivo y el Deductivo.
El razonamiento inductivo es el razonamiento por el cual una persona en base a sus experiencias especficas, decide
aceptar como vlida un principio general.
El razonamiento deductivo es, en cambio, el medio segn el cual dicha persona utiliza el principio general aceptado
previamente para decidir sobre la validez de una idea, que a su vez habr de determinar su curso de su accin.
Dado que las proposiciones son preceptos vlidos de razonamiento deductivo, en el desarrollo de nuestro estudio
veremos lo esencial de la lgica proposicional, a travs del uso y manejo de una simbologa adecuada, ya que el
razonamiento es un gnero especial de pensamiento en el cual se realizan inferencias, es decir, se derivan
conclusiones a partir de premisas
Padre de la Lgica: La lgica es conocida como una de las ciencias ms antiguas, tanto es as que se le atribuye a
Aristteles la paternidad de esta disciplina. Sin embargo, los lgicos no estn todava de acuerdo con el objeto de esta
ciencia, debido a que existe un problema semntico, es decir que existen varias disciplinas sobre esta ciencia lo que
crea confusin. Es preciso por ello determinar con exactitud su objeto para poder definirla.
Nocin de forma Lgica
La proposicin es una oracin aseverativa susceptible de ser calificada de verdadera o falsa. Ejemplos:
a)
Einstein fue el creador de la teora de la relatividad
b)
El Per est al norte del Ecuador
En estos ejemplos a) y b) son proposiciones: a) es verdadera y b) es falsa. En consecuencia, la verdad y la

falsedad son sus propiedades.
La inferencia es una operacin lgica que consiste en obtener la verdad de una proposicin, conocida como
conclusin, a partir de la verdad de una o ms proposiciones, conocidas como premisas. Ejemplos:
a)
Si eres limeo, entonces eres peruano

Si eres peruano, entonces eres sudamericano
Luego, si eres limeo, entonces eres sudamericano
b)
Ningn peruano es chileno

Todos los loretanos son peruanos
Luego, ningn loretano es chileno
(premisa)
(premisa)
(conclusin)
(premisa)
(premisa)
(conclusin)
Es fcil advertir que a) y b) son ejemplos de inferencias vlidas, puesto que en ambos casos la conclusin deriva
necesariamente de las premisas. En efecto, nadie puede aceptar la verdad de stas, y simultneamente, negar la
verdad de aquella sin incurrir en flagrante contradiccin.
Pero cmo sabemos que las mencionadas inferencias son vlidas? Todos lo sabemos por intuicin, si embargo sta
es subjetiva y no puede garantizar objetivamente la validez de las inferencias en todos los casos. Es aqu, entonces,
donde se hace necesario establecer las condiciones formales de validez de las inferencia.
EJERCICOS DE APLICACION
A continuacin se presentan conjuntos de expresiones, de los cuales algunos son inferencias y otros no. En cada caso
determine cuales son inferencias y cules no, identificando porque.
1.
Si el Per es un pas con una estabilidad poltica y jurdica, entonces es un pas que garantiza la inversin privada,
y si el Per es un pas que garantiza la inversin privada, entonces es un pas con posibilidades de desarrollo.
Luego, si el Per es un pas con una estabilidad poltica y jurdica, entonces tiene posibilidades de desarrollo.
2.
La Matemtica es una aproximacin si y slo si es un clculo. Si la matemtica es un clculo entonces la aritmtica

tambin es un clculo.
Profesor: Lic. Javier Saldarriaga Herrera
Lgica
FILIAL JAEN
3.
El precio del dlar sube rpidamente por la inestabilidad poltica y social. La moneda peruana pierde su valor
adquisitivo. El Banco Central de Reserva dicta la poltica monetaria del pas.
4.
Si es tan buen alcalde entonces debera querer aumentar la limpieza en la ciudad reparando la antigua red de
alcantarillado que se cae a pedazos. No quiere reparar la red de alcantarillado. Por lo tanto no se atreva a decir
que es tan buen alcalde.
5.
Lima es la capital del Per, sin embargo Lima es una ciudad con un comercio ambulatorio desordenado. Francisco
Pizarro fundo la ciudad de Lima, no obstante, es una ciudad tugurizada y con un comercio ambulatorio
desordenado.
6.
El cielo est nublado, pero si la temperatura es mayor de 28 centgrados entonces no llover. Pero, llover si y
solo si el cielo est nublado.
7.
i llego tarde a la ceremonia de graduacin de Administracin, entonces no podr ingresar y se postergar mi

graduacin. Por consiguiente, no llegue tarde a la ceremonia de graduacin.
8.
Si hay lluvias y las tierras son abonadas adecuadamente, entonces se obtendrn buenas cosechas. Ocurre que,
hay lluvias y las tierras son abonadas adecuadamente. Luego, se obtendr buenas cosechas.
9.
La Luna gira alrededor de la tierra. La Tierra gira alrededor del Sol, la Luna gira alrededor del Sol.
Lgica
FILIAL JAEN
10. La matemtica es exacta si y solo si es un clculo. Si la matemtica es un clculo entonces la geometra tambin
es un clculo.
11. Colon descubri un nuevo continente porque estaba seguro de que la tierra era redonda. Colon crey haber
llegado a las indias. Por lo tanto, Colon no descubri un nuevo continente.
12. Si Coprnico dijo la verdad entonces el Sol es el centro de los planetas. La tierra es redonda. En consecuencia, si
la tierra es redonda entonces el Sol es el centro de los planetas.
13. Lima es la capital del Per, sin embargo Lima es una ciudad desordenada. Pizarro fundo la ciudad de Lima, no
obstante es una ciudad desordenada.
14. El director del colegio es un buen consejero, sin embargo los alumnos son inquietos. Rojas es un alumno aplicado
si el director del colegio es un buen consejero, adems Rojas es un alumno aplicado si los alumnos son inquietos.
Luego, Rojas es un alumno aplicado.
15. Hay mucha gente tratando de conseguir boletos para el partido de futbol y los policas se esfuerzan por guardar el
orden. Ingresare al estadio si y solo si puedo conseguir boletos para el partido de futbol. Aunque los policas se
esfuercen por guardar el orden, ingresare al estadio.
1.2. EL LENGUAJE:
El Lenguaje es un instrumento para la comunicacin. Puede ser un conjunto de sonidos articulados que el hombre usa
para expresar ideas o sentimientos.
Por ejemplo: el idioma de un pueblo o una nacin es el lenguaje con el cual se entiende dicha comunidad.
A.
FUNCIONES BSICAS DEL LENGUAJE:

El lenguaje cumple tres funciones bsicas que son: la funcin informativa, la funcin expresiva y la funcin
directiva.
a)
La Funcin Informativa:
Lgica
FILIAL JAEN
La Funcin informativa del lenguaje consiste en comunicar informacin, y, para ello, se vale de las oraciones
aseverativas, oraciones que se caracterizan por afirmar o negar algo. El lenguaje informativo describe hechos
que ocurren en el mundo y nos permite razonar acerca de l.
Ejemplos:
Las lluvias han provocado inundaciones en el norte del pas.
Por el Oeste, el Per limita con el Ocano Pacfico.
b)
La Funcin expresiva:
El lenguaje cumple una funcin directiva cuando se usa para comunicar sentimientos, emociones y actitudes.
Ejemplos:
c)
B.
Bravo! Ganamos el partido.
Dios mo, Dios mo, por qu me has desamparado?
Oh si un instante contra el pecho mo

yo te apretara, oh celestial belleza,
se alegrara mi infeliz tristeza,
se llenara mi mortal vaco
La Funcin Directiva:
El lenguaje cumple una funcin directiva cuando se usa para dar rdenes o hacer pedidos, o con el propsito
de originar una accin manifiesta o de impedirla.
Ejemplos:
Prohibido fumar.
Al entrar cierre la puerta.
Cunto vale este libro?.
LAS FUNCIONES MLTIPLES DEL LENGUAJE:

Son las diversas combinaciones de las tres funciones bsicas del lenguaje, porque el lenguaje, en la vida cotidiana,
muy pocas veces se presenta en cada una de sus funciones puras.
Ejemplo:
Si al pasar por una heladera la dama dice:

Ah qu ricos helados!
No es sta una manifestacin puramente emotiva, sino que indirectamente puede estar ordenando o sugiriendo
al amigo que le invite.
Sabes que el Presidente de la Repblica viaj de urgencia a la frontera del pas?
Lenin es muy acogedor y simple en apariencia. Fija en uno una mirada escrutadora, guiando un ojo. Es
autoritario y tranquilo y no conoce el miedo. Es un hombre extraordinariamente desinteresado, una teora
hecha hombre. Uno siente que se aferra a la concepcin materialista de la historia como a la nia de sus ojos.
1.3. EL LENGUAJE CIENTIFICO:

El lenguaje cientfico es un lenguaje especializado que restringe la funcin del lenguaje bsicamente a la informacin.
Este lenguaje pretende ser claro, preciso y exacto, especialmente en las ciencias formales como la matemtica y la
lgica; en las ciencias naturales y en las ciencias humanas no se alcanza igual precisin.
La ciencia crea lenguajes artificiales. Cuando es necesario inventa palabras, signos matemticos, smbolos qumicos,
etc., dndoles significados determinados por medio de las reglas de designacin.
Ejemplos:
+ designa la suma de cantidades

H designa el elemento de peso atmico unitario
1.4. EL LENGUAJE LGICO:

El lenguaje lgico es un lenguaje coherente, secuente, donde una idea sigue necesariamente a la otra.
Por ejemplo, cuando una proposicin sigue necesariamente a otra se dice que la inferencia es vlida, y una inferencia
es vlida en funcin de su forma lgica.
Lgica
FILIAL JAEN
Si las premisas de una inferencia son:
Todos los nmeros pares son divisibles por dos.
Ocho es un nmero par.
La conclusin que se sigue es:
Ocho es divisible por dos.
Si A: nmeros pares
B: divisibles por dos
x: ocho
Entonces se tiene la siguiente estructura formal.
Todos los A son B.
x es A.
Luego, x es B.
El lenguaje lgico es un lenguaje simblico (que representa a la inferencia) por que este lenguaje est en funcin de
un conjunto de reglas lgicas.
EJERCICOS DE APLICACION:
QU FUNCIN CUMPLE CADA UNA DE LAS SIGUIENTES EXPRESIONES? EXPLIQUE BREVEMENTE CADA
CASO:
a.
Las tropas iraques invadieron Kuwait el 2 de agosto de 1990.
b.
El Papa Juan Pablo II visit el Per en 1985.
c.
No te apartes de m, porque se acerca la tribulacin, y no hay nadie que me socorra. (Salmos XXI, 12.)
d.
Papa,
no olvides traerme un pan, porque de harina
es la mitad del sueo, segn mama me dice,
y de harina es tambin toda la dicha.
(Carta de un nio pidiendo pan de JOS GONZALO MORANTE).
e.
Andrs Avelino Cceres, por sus acciones en las batallas de Pucar, Marcavalle y Concepcin, fue llamado El
brujo de los Andes
f.
Oh ms dura que mrmol a mis quejas,

Y al encendido fuego en que me quemo
Ms helada que la nieve, Galatea!
(Gracilazo Vega)
g.
Nadie ser sometido a torturas ni a penas o tratos crueles, inhumanos o degradantes. (Art. 5 de la Declaracin
Universal de los Derechos humanos).
h.
Sabes que la distancia media de la luna a la tierra es de 412,000 Km.? Sera fascinante viajar a ese satlite.
i.
Dichoso aqul varn que no se deja llevar de los consejos de los malos, ni se detiene en el camino de los
pecadores, ni se asienta en la ctedra pestilencial de lo libertinos.(Salmos I, 1).
j.
El clera no es un problema clnico sino un problema ecolgico y ambiental.
1.5. FALACIAS DEL LENGUAJE COMN:
Lgica
FILIAL JAEN
En el Lenguaje comn las falacias son tipos de razonamientos incorrectos, pero psicolgicamente persuasivos.
Se conoce con el nombre de falacia a cualquier idea equivocada o creencia falsa, es decir son argumentos o
razonamientos aparentemente correctos, pero si los analizamos cuidadosamente resultan ser incorrectos.
Ejemplo 1:
Algunos nios juegan bien al ftbol y algunos nios juegan bien al tenis. Por lo tanto, algunos nios juegan bien al
ftbol y al tenis.
En las falacias la verdad de las premisas no logra garantizar la verdad de la conclusin.
Las Falacias se clasifican en formales y no formales:
A.
Falacias Formales: Son formas aparentes de razonamientos vlidos. Estas Falacias se cometen cuando se
infringe el uso de las leyes lgicas.
B.
Falacias No Formales: Son errores de razonamientos que se cometen por falta de atencin en el tema o por la
ambigedad en el uso del Lenguaje.
Estas Falacias se clasifican en Falacias de Atingencia y Falacias de Ambigedad.
1.
i.
Falacias de atingencia: se cometen cuando en el razonamiento influye la conexin psicolgica

entre la premisa y la conclusin, a pesar de no existir una conexin lgica. Estas Falacias son:
Conclusin Inatingente: Llamada tambin Ignoratio elenchi (ignorancia del asunto), se comete
cuando se demuestra la conclusin distinta del tema que est en discusin con la finalidad de desviar la
atencin del oponente y conseguir su aprobacin.
Ejemplo:
Si el tema que est en discusin es la aprobacin de una Ley sobre la vivienda, y un legislador que est a
favor de esta Ley, argumenta diciendo que: todos deben tener viviendas decentes, se comete la falacia
de conclusin inatingente porque todos deben tener viviendas decentes no est implicado por la razn de
ser de la Ley.
ii.
Argumentum ad Hominem: Es el argumento dirigido contra el hombre. Se comete esta falacia cuando se
ataca a la persona que hace la afirmacin, en vez de refutar la verdad de su argumentacin.
Ejemplo:
La filosofa de Kant es idealista y no tiene aplicacin en la vida real porque Kant fue un filsofo burgus,
jorobado y meda slo 1.40 m. (Se ataca a la persona para desprestigiar su filosofa, en lugar de refutarla).
iii.
Argumentum ad Ignorantium: Es el argumento por la ignorancia. Se comete esta

falacia cuando se sostiene que una proposicin es verdadera porque no se ha demostrado su falsedad, o
que es falsa porque no se ha demostrado su verdad.
Ejemplo:
Todos tenemos que admitir que los malos espritus existen porque nadie ha demostrado su inexistencia
iv.
Argumentum ad misericordiam: Es el argumento de un llamado a la piedad o a la

clemencia. Se comete esta falacia cuando se apela a piedad o a la clemencia para conseguir una
conclusin.
Ejemplo:
El argumento del estudiante que no ha entregado su tarea despus de todos los plazos
fijados; dice: Seor Profesor, en estos ltimos das he tenido que soportar problemas familiares
agobiantes. Mi madre enferm y a diario tena que llevarla al mdico. A mis hermanitos slo yo poda
prestarles atencin en casa. Por esta razn pido una nueva fecha para que recepcione mi trabajo,
pienso que no se negar porque comprende Ud. mi problema
El argumento de aquel joven que haba asesinado brutalmente a sus padres con un
hacha y al ser juzgado y condenado con pruebas abrumadoras pidi clemencia por ser hurfano.
v.
Argumentum ad Populum: Es el argumento dirigido al pueblo. Se comete esta falacia

al dirigir un llamado emocional al pueblo con la finalidad de ganar su asentimiento popular para una
conclusin, despertando las pasiones y el entusiasmo de la multitud.
Ejemplo:
Las propagandas comerciales, entre otros.
XQUISIT, los jabones importados de fragancia exquisita son usados por nueve de cada diez estrellas del
cine. Apresrese en adquirirlos.
vi.
Argumentum ad Verecundiam: es el argumento de apelacin a la autoridad. Se comete esta falacia

cuando se busca asentimiento apelando a una autoridad, en cuestiones que no son de su especialidad.
Ejemplo:
Lgica
FILIAL JAEN
Los canones religiosos son infalibles porque Einstein, ferviente catlico, tambin lo admita.
vii.
La Causa Falsa: denominada tambin non causa pro causa. Se comete esta falacia cuando se admite
una conclusin a partir de una causa con la cual no tiene conexin.
Ejemplo:
viii.
Saba que me iban a despedir de mi trabajo, porque cuando sala de mi casa un gato negro se cruz
en el camino
Si tomas un trago de whisky y te gusta, seguramente tomars ms. Y otro da volvers a beber y cada
vez lo hars ms y ms frecuentemente, hasta que vivirs borracho todo el da
Mira, no se ha donde hemos llegado, pero de seguro no es Europa. Lisboa est en Europa y te
aseguro que esta ciudad no es Lisboa.
La Pregunta Compleja: llamada tambin falacia de interrogacin. Se comete esta falacia cuando en la
formulacin de una pregunta hay varias cuestiones diferentes, y se exige una sola respuesta como si
fuera una pregunta simple.
Ejemplo:
Si eres abogado, trabajars en el palacio de justicia y estars de acuerdo con el plan de gobierno sobre
la justicia?
Responder con un s o con un no a la pregunta es caer en una falacia de pregunta compleja.
ix.
Apelacin a la fuerza: ocurre cuando se abandona toda razn para fundamentar algo, y se pasa
directamente a la alusin ms o menos velada de que tal cosa debe hacerse porque quien tiene el poder
para sancionar lo har. Es decir, no hay argumento a favor, sino una amenaza contra quien use un
argumento en contra.
Ejemplo:
Debes arreglar tu habitacin ahora, porque si no tendrs prohibido salir el fin de semana.
2.
i.
Falacias de Ambigedad: Llamadas tambin Falacias de Claridad. Contienen palabras o frases

ambiguas que en el razonamiento oscilan y cambian de manera ms o menos sutil. Estas son:
El Equvoco: Se comete falacia por equvoco cuando confundimos los diferentes significados que
puede tener una palabra o frase, y la usamos dentro del mismo contexto con distintos sentidos.
Ejemplo:
Rafael es un cantante consumado. Todo lo que est consumado est acabado. Luego, Rafael est
acabado como cantante.
Una paloma es un animal, por lo tanto, una paloma grande es un animal grande
ii.
La anfibiologa: se comete por la mala construccin gramatical o por los significados confusos que
surgen al combinar las palabras.
Ejemplo:
iii.
El perro de mi abogado
La solicitud de trabajo que dice intil sin experiencia
Un nio que canta en el microbs se le acerca a un pasajero a pedirle una colaboracin:
Una monedita, seor.
Aqu tienes. Cuntos hermanos son ustedes?
Siete, seor.
Todos vivos?
No seor. Dos trabajan.
El nfasis: Esta falacia se comete cuando se trata de probar lo que uno desea haciendo resaltar una
palabra o frase, palabras o frases que alteran el significado haciendo engaoso y carente validez de
razonamiento.
Ejemplo:
El titular de un peridico deca: EL REY PELE LADRON, y luego con letras ms pequeas
continuaba diciendo: El famoso popular futbolista Pel filmar el tpico ladrn brasileo.
El titular que dice: EL PRESIDENTE SE DIVORCIA y luego con letras ms pequeas continuaba:
se divorcia de sus aliados polticos para las prximas elecciones
Lgica
FILIAL JAEN
QU FALACIA SE COMETE EN CADA UNO DE LOS SIGUIENTES ARGUMENTOS? JUSTIFIQUE SU

RESPUESTA EN CADA CASO.
1.
Todas las declaraciones de Chalaquito II en el tribunal son falsas porque l es un delincuente criminal y plagiario.
2.
Como jurado del concurso de poesa, estoy de acuerdo en que se le otorgue el premio a Pedro Manuel porque es
un joven inspirado y sensible, cuando declamaba conmova siempre al auditorio.
3.
Juliana rob ese collar desesperada por el hambre, porque no tena que comer. Viva en la miseria, abandonada
por sus padres. Ella es vctima de la crisis social y econmica de nuestro pueblo. Por eso Sr. Juez, Juliana no debe
ser condenada.
4.
El perro de Pepito es carioso. Come de todo. Le gustan mucho los nios.
5.
Todos los mtodos artificiales de control de la natalidad son dainos por que han sido condenados por la iglesia
catlica.
6.
En una entrevista al astronauta Gagarin:

Cre usted en Dios?
Pues, realmente no. En ninguno de mis viajes lo he visto.
7.
Cundo vamos a poner final al espantoso despilfarro y a la corrupcin de los empleados pblicos?
8.
Los habitantes extraterrestres siempre nos visitan, slo que nadie ha tenido un contacto directo en la
tierra.
9.
EL CARNICERO DE BAGDAD Saddam Hussein es un guerrero sanguinario. Usara las armas

qumicas contra la humanidad
Lgica
FILIAL JAEN
10.
Usted ha perdido cuernos? Si o no?
11.
En esta legislatura debemos aprobar la ley sobre el control de la natalidad para evitar muchas muertes
por abortos ilegales.
12.
Carla y Jos pelean siempre y tienen problemas en su hogar. Eso les pasa porque se casaron un
viernes trece.
13.
Un dilogo entre dos mujeres:
Luisa : Elia te sientes una mujer realizada?
Elia : Plenamente, hija,! Ya he realizado mi segundo divorcio y me voy por el tercero.
14.
Si la oposicin insiste en no reconocer la carta fundamental, entonces puede quedar nulo el plebiscito
realizado en Octubre de 1998 (Declaracin del Presidente A. Pinochet, El comercio 19-11-88).
15.
Nietzche fue un individuo enfermizo, atormentado y desleal, que pas los ltimos das de su vida en un
asilo para locos.
Por lo tanto lo que sostena sobre la ley moral es falso.
16.
17.
18.
Marx es comunista, en consecuencia todo lo que dice sobre la economa es falso
El control de natalidad normado por el gobierno peruano es perjudicial, porque el Papa, mxima
autoridad de la Iglesia Catlica, lo condena.
Se vende casacas de cuero para caballeros de becerro.
1.6. LOGICA PROPOSICIONAL

ELEMENTOS DE LA LOGICA SIMBOLICA:
Lgica
FILIAL JAEN
ENUNCIADO: se llama enunciado a toda frase u oracin. Algunos enunciados son mandatos o interrogaciones o
son expresiones de emocin; otras en cambio son afirmaciones o negaciones que tienen la caracterstica de ser
verdadera o falsa. Ejemplos:
1. Qu curso te has matriculado?
2. Vaya rpido!
3. Viva el Per!
4. Prohibido hacer bulla
5. Dos ms tres es igual a cinco
6. Todas las gallinas son aves
7. Pars es la capital de Francia
8. 5 > 8
9. 5 + 3 = 8
10. x2 < 4y
11. x2 + y2 < 9
Observacin:Los enunciados que expresan una exclamacin, una interrogante, una emocin; son expresiones no
proposicionales, tales como los ejemplos 1, 2, 3 y 4
PROPOSICION: llamamos proposicin a todo enunciado que tiene la cualidad de ser VERDADERA (V) o de ser
FALSA (F) pero nunca puede ser V y F a la vez. Los ejemplos 5, 6, 7, 8 y 9 son proposiciones.
ENUNCIADOS ABIERTOS: son expresiones que contienen variables y que no tienen la propiedad de ser
verdadero o falso. Los ejemplos 10 y 11 son enunciados abiertos.
VARIABLE: es una cantidad susceptible a variar en un determinado campo o recorrido, a las variables las
representaremos con las letras minsculas x, y, z, t, u, v; a estas variables se les da el nombre de variables
indeterminados. Por ejemplo: x < 5 es un enunciado abierto, porque no podemos determinar que es V o que es F.
slo cuando la variable x toma un valor numrico se hace V o F. as tendremos:
Si x = 3: 3 < 5 es V
Si x = 9: 9 < 5 es F
1.7. PROPOSICION LOGICA:

Llamaremos proposiciones lgicas a todo enunciado abierto que pueden ser calificados como verdaderas o bien como
falsas, sin ambigedades.
Notacin: las proposiciones lgicas sern denotadas generalmente con letras minsculas: p, q, r, t, , etc. A la
veracidad o falsedad de una proposicin se denomina valor de verdad. Ejemplos:
- p: 15 4 = 11.
Verdadero (V)
- q: Lima es la capital del Per.
Verdadero (V)
- r: 107 + 301 = 48.
Falso (F)
- s: 7 es un nmero par.
Falso (F)
Nota:Se llama valores de verdad de una proposicin a sus dos valores posibles; verdadero o falso, estos posibles
valores se puede esquematizar en una tabla de verdad
en la forma.
p
V
F
Lgica
FILIAL JAEN
1.8. CONECTIVOS LOGICOS:

Son expresiones que sirven para unir dos o ms proposiciones, entre los ms importantes conectivos lgicos tenemos:
La conjuncin, disyuncin, implicacin, bicondicional, negacin, contradiccin, esto mostraremos en el siguiente
cuadro:
Nombre
Expresin
Smbolo Lgico
Conjuncin
y
Disyuncin
o
V
Implicacin
Si, entonces,
Bicondicional, equivalencia, doble
s y slo s
implicacin
Negacin
No
~
Disyuncin exclusiva,
o , o
contradiccin
no equivalente
1.9. CLASES DE PROPOCIONES LOGICAS:
PROPOSICIONES SIMPLES O ATOMICAS: es una proposicin que tienen un solo sujeto y un slo predicado. No
llevan ningn conectivo lgico. Ejemplos:
- p: 9 es mltiplo de 3
donde
p es V
- q: 3 es mayor que 2
donde
q es V
- r: 2 x 5 = 12
donde
r es F
- s: 2 es mayor que cero
donde
s es V
- t: 3 es mayor que 8
donde
t es F
PROPOSICIONES ATOMICAS O MOLECULARES: son aquellas proposiciones que se obtienen de la combinacin

de dos o ms proposiciones simples, los cuales son enlazados por los smbolos: , V, , , ~; llamados
conectivos lgicos. Por ejemplo:
9 es mayor que 3 y
3 es mayor que 2 p q
Jos lleg tarde , sin embargo

di examen p q p : Jos lleg tarde ,q : Jos diexamen
Mradona jug , aunque estuvo

lesionado p q p : Mradona jug , q : Maradona estuvo lesionado
si 9 es mltiplo de 3 y
12 es mltiplo de 3 ,
entonces 9+12 es mltiplo de 3 ( p q) r
Lgica
FILIAL JAEN
Ncaeosql{uP
eedobreu
}laindebrarc{epny}ocanet}undebrarc{eq}
Nota:
La VERDAD o FALSEDAD de una proposicin se denomina su validez (o su valor de verdad). La validez de la
conjuncin, de la disyuncin, de la condicional, de la bicondicional y de la negacin puede representarse en tablas. En
consecuencia, dadas dos o ms proposiciones simples cuyos valores de verdad son conocidos, EL VALOR DE
VERDAD de una PROPOSICIN COMPUESTA depende de la verdad de cada uno de las proposiciones componentes
y se determina mediante TABLAS D VERDAD.
1.10.PROPOSICIONES COMPUESTAS BASICAS:
LA NEGACION: dada una proposicin p, llamaremos la negacin de p, a otra proposicin que denotaremos por ~p,
y que se le asigna el valor opuesto a p, y su tabla de verdad es:
~p
El principio lgico de la negacin es: si una proposicin es verdadera V, su negacin es falsa F y recprocamente,
si dicha proposicin es falsa F, su negacin es verdadera V.
La proposicin ~p es ledo as no p, no es cierto que p, no es caso que p, es falso que p.
Ejemplos:
2 es primo
su negacin es:
2 no es primo
5 es par
su negacin es:
no es cierto que 5 es par
5 x 7 = 35
su negacin es:
es falso que 5 x 7 = 35
LA CONJUNCION: la conjuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q

mediante el conectivo lgico y que se simboliza p q, donde el principio lgico es la conjuncin p q es
verdadero V, slo cuando p es verdadero y q es verdadero, en todos los dems casos es falso F. su tabla de
verdad es :
p
p q
Lgica
FILIAL JAEN
En todo prrafo, las palabras: pero, sin embargo, adems, no obstante, aunque, a la vez, etc. equivalen al
conectivo lgico .
Ejemplos:
-
la bandera peruana es blanco y roja
p q p :la bandera peruana es blanco

q :la bandera peruana es roja
Manuel es juez pero honesto
p q
las computadoras son muy caras, sin embargo son muy tiles
p q
: Manuel es juez
{q :pManuel
es honesto
p:las computadoras son caras

{q :las
computadoras son muy tiles
3 es menor que 5, pero mayor que 1
p q p :3 es menor que 5
q :3 es mayor que 1
LA DISYUNCION: la disyuncin de dos proposiciones p y q es la proposicin compuesta que resulta de unir p y q

mediante el conectivo lgico o que se simboliza p V q en el sentido inclusivo y/o, donde el principio lgico es la
disyuncin p V q es falsa F, nicamente en el caso en que p y q son falsas, en cualquier otro caso es verdadera V.
Su tabla de verdad es :
p
pVq
Lgica
FILIAL JAEN
Se le conoce tambin como disyuncin inclusiva o dbil.

Ejemplos:
-
x es menor o igual a 3
p q x< 3 x=3 p : x es menor que 3

q : x es igual que 3
De dos idiomas: ingls y francs Juan habla por lo menos un idioma
p q p : Juan habla ingls

q :Juan habla frncs
LA CONDICIONAL (IMPLICATIVA): la implicacin o condicional de dos proposiciones p y q es la proposicin

compuesta que resulta de unir p y q mediante el conectivo lgico si,, entonces, , o tambin slo s y se
simboliza p q, donde el principio lgico es la proposicin implicativa es falso F, nicamente en el caso que
la proposicin p es verdadera y la proposicin q es falsa, siendo verdadera en todos los dems casos. Su tabla
de verdad es :
p
pq
La proposicin p se llama ANTECEDENTE (Hiptesis) y la proposicin q se llama CONSECUENTE (Tesis o

conclusin).
Lgica
FILIAL JAEN
Cuando en un prrafo, se encuentran los trminos: porque, puesto que, ya que, siempre que, cuando,
s, cada vez que, dado que; estos trminos, tambin, son conectivos condicionales. Se caracterizan porque
despus de cada uno de estos trminos est el ANTECEDENTE.
Ejemplos:
-
el profesor control la asistencia, puesto que la oficina de la direccin del colegio estaba cerrada y no estaa
el portero
p: el profesor control laa sistencia

(q r ) p q :la oficina del colegio estaba cerrada
r :el portero estaba
Doy examen slo cuando estudio
p q p : doy examen
q :estudio
Ir de viaje y me divertir, si me saco la lotera
r p q
p :ir de viaje
q : me divertir
r :me saco la lotera
Pedro compra un libro slo cuando tiene dinero
p q p : Pedro compraun libro

q : Pedro tiene dinero
Se apagarn las luces porque se interrumpi el fluido elctrico
p q p : se interrumpi el fluido elctrico

q :se apa garnlas luces
Lgica
FILIAL JAEN
Roberto aprobar el curso puesto que dio buen examen
q p p : Roberto aprobar el curso

q : Roberto dibuen examen
LA BICONDICIONAL (EQUIVALENTE O IMPLICACION): la doble implicacin o bicondicional de dos

proposiciones p y q es la proposicin compuesta mediante el conectivo lgico si y slo s, y se simboliza p q,
donde el principio lgico es la proposicin bicondicional es Verdadera V, en el caso que la proposiciones p y q son
verdadera o son falsas, siendo falsa en todos los dems casos. Su tabla de verdad es :
pq
p q ( p q ) ( q p )
La bicondicional tambin se denota por p q se lee: p es equivalente a q.

Ejemplos:
a2 = 4 s y slo s, a = 2 V a = - 2
p : a =4
p(q r ) q : a=2
r : a=2
x2 < 4 s y slo s - 2 < x < 2
Lgica
FILIAL JAEN
p: x <4
p( p q) q : x >2
r : x <2
LA DISYUNCION EXCLUSIVA: la disyuncin EXCLUSIVA o FUERTE de dos proposiciones p y q es la proposicin

compuesta que resulta de unir p y q mediante el conectivo lgico o que se simboliza p q (se lee: o p, o q, p o
q, pero no ambas), donde el principio lgico es la disyuncin fuerte p q es falsa F, en el caso que p y q tengan
valores de verdad opuestos y es falsa F si ambas tienen idnticos valores. Su tabla de verdad es :
p q
p q ( p q)
La disyuncin fuerte p q, tambin se denota por
p q
Ejemplos:
-
el profesor ordeno hacer la tarea A o B pero no ambas
p q p : el profesor orden hacer la tarea A

q : el profesor orden hacer la tarea B
De dos idiomas: ingls y francs Juan habla slo un idioma
Lgica
FILIAL JAEN
p q p : Juan habla ingls

q :Juan habla frncs
1.11.USO DE LOS SIGNOS DE AGRUPACION:

En un prrafo que se presentan proposiciones simples, conectivos lgicos, comas y puntos se requiere, para su
representacin simblica, el buen uso de los signos de agrupacin (parntesis, corchetes, llaves).
Los signos de agrupacin se usan para indicar la jerarqua de los conectivos lgicos y as evitar las ambigedades en
las FORMULAS.
Cuando no se usan correctamente los signos de agrupacin las frmulas carecen de sentido.
Ejemplo:
- Si me aumentan el sueldo y ahorro, viajar al Cuzco.
La simbolizacin es:
( p q)r
p :me aumentan el sueldo

q : ahorro
r : viajar alCuzco
- O Cubilla juega si le contrata el Alianza Lima, o habr protesta si no juega.

La simbolizacin es:
p :Cubillas juega
( q p ) ( p r ) q :contrata el Alianza Lima
r :habr protesta
- Las personas nadarn en el mar si la municipalidad da el permiso, s y slo s, el clima no est fro.
La simbolizacin es:
p : las personas nadarn en el mar

( q p ) r q :la municipalidad da el permiso
r : elclima est fro
NOTA:
Otra finalidad de los signos de agrupacin es darle mayor a menor jerarqua a los conectivos. En general, ~ es la
conectiva de menor jerarqua; le siguen el ,V que son de igual jerarqua; luego y por ltimo que es el de
mayor jerarqua. Sin embargo, cada conectivo puede ser de mayor jerarqua si as lo indica el signo de coleccin. Por
ejemplo:
-
No es el caso de que 9 es mltiplo de 3 o que 2 x 5 = 15
( p q ) p :9 es mltiplo de 3
q :2 x 5=15
Ntese que aqu la negacin afecta a las variables dentro del parntesis
-
Si el testigo no dice la verdad, entonces Juan es inocente o culpable
p (q r )
p : eltestigo dice la verdad

q : Juan es inocente
r : Juan es culpable
Aqu, el smbolo de mayor jerarqua es . Obsrvese que ~ slo afecta a la variable p y que V est limitado por
el parntesis.
Lgica
FILIAL JAEN
1.
Para los siguientes enunciados:
(1)
Recoge ese lpiz
(2)
2+5<6
(3)
xy=5
(4)
Hace mucho frio
Cul de las alternativas siguientes es la correcta?

a)
Dos son proposiciones
b)
Dos son enunciados abiertos
c)
Dos no son ni proposiciones ni enunciados abiertos
d)
Tres son proposiciones
Respuesta: .
2.
Dadas las proposiciones: p: Marcos es comerciante, q: Marcos es un prspero industrial y r: Marcos es ingeniero.
Simbolizar el enunciado: Si no es el caso que Marcos sea un comerciante y un prspero industrial, entonces es
ingeniero o no es comerciante
Solucin:
3.
Determinar los valores de verdad de las siguientes proposiciones:
(1)
(3 + 5 = 8) v (5 3 =4)
(2)
(5 3 = 8) (1 7 = 6)
(3)
(3 + 8 = 11) (7 4 > 1)
(4)
(4 + 6 = 9) (5 2 = 4)
Lgica
FILIAL JAEN
4.
Dadas las proposiciones q: 4 es un nmero impar, p y r cualesquiera tal que ~[(r v q) (r p)] es verdadera;
hallar el valor de verdad de los siguientes esquemas moleculares:
A = r (~p v ~q);
B= [r (p q)] (q ~p);
C= (r v ~p) (q v p)
Solucin:
5.
De la falsedad de la proposicin: (p ~q) v (~r s) se deduce que el valor de verdad de los esquemas
moleculares: A=(~p ~q) v (~q); B= [(~r v q)] [(~q v r) s]; C= (p q) [(p v q) ~q] son respectivamente:
a)
VFV
b)
FFF
c)
VVV
d)
FFV
Lgica
FILIAL JAEN
6.
Definamos p q como una operacin verdadera si p es falsa y q verdadera, y como falsa en todos los casos
restantes. Segn esto, si r: Juan es mdico y s: Juan es deportista; hallar la traduccin de (~r) s.
1.12.EVALUACION DE ESQUEMAS MOLECULARES POR LA TABLA DE VALORES

Son esquemas moleculares:
a)
[p (p q)] p
b)
[(~p q) ~r] [r ~(p v ~q)]
Lgica
FILIAL JAEN
c)
(q r) v (p r)
La evaluacin de esquemas moleculares consiste en hallar los valores del operador principal a partir de la validez de
cada una de las proposiciones simples (variables proposicionales).
El nmero de valores que se asigna a cada variable proposicional depende de la frmula 2n, donde n indica el nmero
de proposiciones simples que existe en el esquema molecular y 2 es una constante que indica los valores (V) o (F) que
tiene una proposicin simple.
Luego en una tabla rectangular, que la llamaremos TABLA DE VERDAD, se escriben horizontalmente todas las
variables proposicionales y el esquema molecular; debajo de las variables proposicionales se escriben en columna,
todas las combinaciones posibles de verdad y falsedad. A continuacin se aplica la regla a cada uno de los operadores
(conectivos), empezando por el de menor alcance y terminando con el de mayor jerarqua.
1.13.TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA
Un esquema molecular es TAUTOLOGICO cuando los valores de su operador principal son todos VERDADEROS.
Un esquema molecular es CONTRADICTORIO cuando los valores de su operador principal son todos FALSOS.
Un esquema molecular es CONSISTENTE (contingente) cuando en su resultado hay por lo menos una verdad y una
falsedad.
a)
b)
[ p
( p
[ ( ~p
c)
( q
q ) ] p
q )
F
)
[ p
~r
[ r
( p
q ) ] p
~( p v ~q ) ]
[ ( ~p
q )
~r
[ r
~( p v ~q ) ]
F
~p
~p
1.14.LA EQUIVALENCIA Y LA IMPLICACION

Sean los esquemas moleculares o frmulas proposicionales (o simplemente proposiciones compuestas):
a)
[p (p q)] p
Lgica
FILIAL JAEN
b)
[(~p q) ~r] [r ~(p v ~q)]
c)
(q r) v (p r)
Debemos distinguir los conceptos de equivalencia e implicacin de los conceptos bicondicional y condicional
respectivamente.
La equivalencia y la implicacin son relaciones entre frmulas proposicionales, mientras que la bicondicional y la
condicional son relaciones entre proposiciones.
As tenemos las siguientes definiciones:
LA EQUIVALENCIA: Dos frmulas B y C son equivalentes cuando unidos por la bicondicional el resultado es una
TAUTOLOGIA.
LA IMPLICACION: Una frmula A implica a B, cuando unidos por la condicional , siendo A antecedente y B
consecuente, el resultado es una TAUTOLOGIA.
Desarrollando las tablas de verdad correspondiente, tenemos:
a)
B
p
[ ~( p
b)
q )
A
p
[ ~p ~r ]
~r
~( p q r )
[ ~( p q ) v ~r ]
Como vemos: B es equivalente a C y A implica a B

NOTA: Cuando B no es equivalente a C, denotaremos por B
C. cuando A no implica a B, denotamos por A
B.
Lgica
FILIAL JAEN
1.15.PROPOSICIONES LOGICAMENTE EQUIVALENTES

Cuando sus tablas de verdad de dos esquemas moleculares A y B son idnticos se denominan equivalentes (o
lgicamente equivalentes) en este caso se simboliza en la forma: A B.
Los esquemas moleculares A = ( p q ) y B = ( ~ q ~ p ) son lgicamente equivalentes, puesto que sus tablas de
verdad son idnticos. En efecto:
~q~p
1.
Determinar el valor de verdad de cada una de las siguientes proposiciones:

a)
Si 5 + 4 = 11, entonces 6 + 6 =12
b)
No es verdad que 3 + 3 = 7 s y slo s 5 + 5 = 12
c)
Lima est en Chile o la paz est en el Ecuador
d)
No es verdad que 2 + 2 = 5 o que 3 + 1 = 4
Lgica
FILIAL JAEN
e)
La UNMSM est en Arequipa o est en Lima
f)
O la UNI est en Lima o est en Trujillo
2.
Evaluar la tabla de verdad de la siguiente proposicin compuesta: ~ ( p q ) ( ~ p v ~ q )
3.
Construir la tabla de verdad de la siguiente proposicin:

~ { ~ [ p v ( ~ q p ) ] v ~ [ ( p ~ q ) ( q~ p ) ] }
4.
Determinar si la proposicin [ ( ~ p v q ) ~ q ] ~ p es una tautologa.
5.
Verificar que las siguientes proposiciones son contradicciones:

a)
( pq ) ~ ( p v q )
b)
~[pv(~pv~q)]
Lgica
FILIAL JAEN
6.
Demostrar que la proposicin dada es una contingencia [ ~ p ( q v r ) ] [ ( p v r ) q ]
7.
Determinar si las proposiciones [ p ( r v ~ q ) ] y [ ( q ~ p ) v ( ~ r ~ p ) ] son equivalentes.
8.
De la falsedad de la proposicin: ( p q ) v ( ~ r s ) determinar el valor de verdad de los siguientes esquemas

moleculares
a)
( ~ p ~ q) v ~ q
b)
( ~ r v q ) ( ~ q v r ) s
Lgica
FILIAL JAEN
c)
( p q ) ( p v q ) ~ q
9.
El valor de verdad de ~ [ ( ~ p v q ) v ( r q ) ] [( ~ p v q ) ( q ~ p) ] es verdadero. Hallar el valor de verdad de

p, q, y r.
1.16.LA INFERENCIA LOGICA

La inferencia es el proceso de pasar de un conjunto de premisas a una conclusin.
a est implicacin, se le
llama tambin
ARGUMENTO LOGICO
La inferencia es una condicional de la forma:
Donde
p1 , p2 , p3 , , p n
, son llamadas premisas y originan como consecuencia otra proposicin Q llamada
CONCLUSION.
El resultado de la implicacin puede ser:
- Si la implicacin es una tautologa (V), entonces se tiene una inferencia vlida (o argumento vlido).
- Si la implicacin es FALSO, entonces se tiene la llamada FALASIA.
TEOREMA: si la implicacin es VALIDO y las premisas
p1 , p2 , p3 , , p n
son
verdaderas (V)
Lgica
FILIAL JAEN
Ejemplo 1: Determinar si p V q es una consecuencia vlida de: ~p ~q, ~q r, ~r.
Solucin: aqu las premisas son
Debemos demostrar que
p1 : p q ; p 2 : q r ; p 3 : r
( p1 p 2 p3 ) Q
y la conclusin
Q: p q
, es una tautologa. En efecto la tabla de verdad, para esta
inferencia es:
p
(~p~q)
(~q r)
(~r)
(pVr)
Como el resultado es una tautologa, la conjuncin de premisas implica a la conclusin, por tanto, la inferencia es
vlida.
Observacin:
- En los casos en que las premisas forman dos o ms conjunciones, se toma la ltima conjuncin como la principal del
antecedente.
- La validez de una inferencia no depende de los valores de verdad ni del contenido ni del contenido de los enunciados
que aparecen en la inferencia, sino de la forma particular de la inferencia.
- Si la condicional no es una tautologa, entonces se dice que la inferencia es no vlida o es una falacia.
Ejemplo 2: Determinar la validez de la inferencia: si el tringulo es issceles entonces tiene dos lados iguales. Pero, el
tringulo no tiene dos lados iguales; por lo tanto, no es issceles.
Solucin:
sean
p:
El
tringulo
p1 : p q ; p 2 : q
( p1 p 2) Q
es
issceles,
q:
y la conclusin
El
tringulo
Q: p
tiene
dos
lados
iguales.
Esto
es:
. Entonces, el esquema de la inferencia es
y debemos demostrar que, es una tautologa.
Lgica
FILIAL JAEN
( pq)
( ~ q ) ~p
Como el resultado de la tabla de verdad es una tautologa, la inferencia es vlida.
DETERMINAR SI SON INFERENCIAS LGICAS O FALACIAS:
1.
Si Maradona es argentino entonces es aficionado al ftbol. Pero, Maradona no es aficionado al ftbol. Por
lo tanto, no es argentino.
Solucin:
[ ( p q ) ( q ) ] ( p)
2.
p : Maradona es argentino
{q : Maradona
es aficionado al ftbol
Como es hora de clases, se concluye que en el aula hay profesores y alumnos, dado que, si es hora de
clases, en el aula hay profesores, y hay alumnos si en el aula hay profesores.
Solucin:
[ p ( p q ) ( q r ) ] (q r )
3.
p :es hora de clase

q : en el aula hay profesores
r : en el aulahay alumnos
Si Juan participa en un comit electoral de la Universidad entonces los estudiantes se enojarn con l, y
si no participa en un comit electoral de la Universidad entonces las autoridades universitarias se enojarn con l.
Pero Juan participar en un comit electoral de la Universidad o no participar. Por lo tanto, los estudiantes o las
autoridades universitarias se enojarn con l.
Solucin:
[ ( p q ) ( p r ) ( p p) ] (q r)
p : Juan participa enun comit electoral

q :los estudiantes se enojaran con l
r :las autoridades universitarias se enojaran con Juan
Lgica
FILIAL JAEN
4.
Si Anito deca la verdad, entonces Scrates corrompa a la juventud y si el Tribunal lo conden

equivocadamente, entonces Anito no es el culpable. Pero Scrates no corrompa a la juventud o Anito es el
culpable. Por lo tanto, Anito no deca la verdad o el Tribunal no conden a Scrates equivocadamente.
Solucin:
p : Anito decala verdad

q
:
Scrates
corrompa a la juventud
[ ( p q ) ( r s ) ( q s) ] ( p r)
r : el tribunal locondeno equ ivocadamente a Scrates
s . Anito es el culpable
TRABAJO ENCARGADO N01

1. De los siguientes enunciados:
(1) Hola que tal!
(2)
x 2+1<10
(3)
2+5>6
(4) Todos los hombres son inmortales

(5) Scrates naci en Atenas
(6)
x+ 5 8
Cul de las alternativas siguientes es correcta?

a)
b)
c)
d)
3 son enunciados abiertos

2 son proposiciones
3 no son proposiciones
4 son proposiciones
2. Diga si las siguientes proposiciones son atmicas o moleculares:

a) Hace unos aos se consideraba al computador como una gran calculadora, pero hoy se
habla de sus logros intelectuales.
b) El oxgeno no produce xido en presencia de metaloides.
c) Osama y Omar son concuados.
d) Me parece que la izquierda posmarxista actual difiere de la marxista anterior
principalmente en que esta ltima tena en mente una revolucin concreta.
3. Diga si las siguientes proposiciones moleculares son conjuntivas, disyuntivas inclusivas,
disyuntivas exclusivas, condicionales, bicondicionales o negativas.
a) Dos ngulos son suplementarios siempre que formen un par lineal.
b) El 20% de 150 es 30 50.
c) Si consigo una beca, entonces y solo entonces viajar al extranjero.
d) David no es limeo ni loretano.
e) La huelga contina, puesto que no hay solucin.
f) Vilma trabaja despacio, pero sin pausa.
4. Formalice las siguientes proposiciones, en cada caso halle su forma lgica y escriba la
frmula correspondiente.
a) Kant es filsofo, pero Frege es lgico.
b) Si Waldir Senz es futbolista y Chemo del Solar no es futbolista, entonces Waldir Senz
no es atleta y Chemo del Solar es atleta.
c) Csar es profesor o es alumno, pero no puede ser ambas cosas a la vez.
d) No pudo asistir porque estuvo ausente
Lgica
FILIAL JAEN
5. Formalice las siguientes inferencias, en cada caso halle su forma lgica y escriba la frmula
correspondiente.
a) Esta figura no es un cuadriltero, puesto que es un tringulo. Es un tringulo. En
consecuencia, no es un tringulo.
b) Si el nio, el adolescente y el anciano son abandonados, entonces son protegidos por el
estado. Pero el nio es abandonado, adems el anciano. Luego, tanto el nio como el
anciano son protegidos por el estado.
c) Un cuerpo est en estado neutro y no presenta ningn fenmeno elctrico en su conjunto
siempre que su carga elctrica positiva est en estado igual que la negativa. Pero es
falso que el cuerpo est en estado neutro y no presente ningn fenmeno elctrico en su
conjunto. En consecuencia, la carga elctrica positiva de un cuerpo est en estado igual
a la negativa
d) Un nmero es divisible por 2 si termina en cero o cifra par. Un nmero es divisible por 5
si termina en cero o 5. Por tanto, un nmero es divisible por 2 sino termina en 5.
6. Dadas las siguientes proposiciones:
p : 5>10
q : si x +1=0,entonces x es un nmero real
r : el punto medio de un segmento, equidista de los extremos
t: si x+3=, entonces x=-3
2
Hallar el valor de verdad de las siguientes proposiciones.
a [ ( p q ) r ] t b [ ( p q ) r t ] ( p q )
7. Por medio de una tabla de valores, establezca, si cada una de los siguientes esquemas
moleculares es una tautologa, contingencia o contradictoria.
a [ p ( q p ) ] ( p q ) b [ ( p q ) q ] q
c [ p ( q r ) ] [ ( ( p q ) ( p q ) ) ] d ( p q ) ( q p )
8. Si la proposicin
( p q ) ( q r ) es falsa. Hallar el valor de verdad de las siguientes
proposiciones.
a ( q r ) ( p q ) b ( p q ) ( r q ) c [ ( p q ) ( q r ) ] ( p r )
9. Si la proposicin
( p q ) ( s r )
es falsa. Hallar el valor de verdad de las
siguientes proposiciones.
a [ ( p q ) r ] b [ ( p q ) p ] r c [ ( p q ) ( r r ) ] s
10. Si el esquema
( p q )(r q)
es falsa, determine el valor de verdad de las
siguientes proposiciones.
a ( p q ) ( r q ) b q [ ( p q ) r ]
Lgica
FILIAL JAEN
11. Demostrar si las siguientes frmulas son lgicamente equivalentes.
a p q ( p q ) b [ ( p q ) r ] [ ( p q ) ( p r ) ]
12. .Demostrar que las bicondicionales siguientes son equivalentes lgicas.
a ( p q ) p q b ( p q) p p
13. Verifique la validez de los siguientes argumentos:
a ( p q ) ( p q ) q b [ p ( p q ) ] [ p q r ] ( r s ) s
c [ ( p q ) ( r s ) ] [ q s ] [ p q ] d [ ( r q ) ( p q ) ( r s ) ] ( p s )
14. Comprobar la validez del siguiente enunciado: Si estudio, entonces no perder Matemtica;
y si no juego futbol, entonces estudiar; pero perd Matemtica. Por tanto, jugu futbol.
15. Simbolizar y analizar el valor de verdad del siguiente enunciado: Si un satlite gira
alrededor de la luna, gira tambin alrededor de la tierra; y si gira alrededor de la tierra,
tambin gira alrededor del sol. Y, si gira alrededor del sol, entonces gira alrededor de la lira.
En consecuencia, si un satlite gira alrededor de la luna, entonces gira alrededor de la
constelacin de la lira.
16. Traducir a forma simblica y comprobar la validez del siguiente enunciado: Si trabajo, no
puedo estudiar. Estudio o paso matemtica, pero trabaj. Por tanto, pas matemticas
17. Traducir a forma simblica y comprobar la validez del siguiente enunciado: Si 6 es par,
entonces 2 no divide a 7. 5 no es primo 2 divide a 7. Por tanto, 6 es impar.
18. Traducir a forma simblica y comprobar la validez del siguiente enunciado: Si trabajo, no
puedo estudiar, trabajo o apruebo matemtica, pero aprob matemtica. Por tanto estudi.
19. Traducir a forma simblica y comprobar la validez del siguiente enunciado: Si Londres no
est en Dinamarca, entonces Pars no est Francia. Por tanto, Londres est en Dinamarca
20. Traducir a forma simblica y comprobar la validez del siguiente enunciado: Si me gustan las
matemticas, entonces estudiar. Estudio o pierdo el curso, en consecuencia, si pierdo el
curso, entonces no me gustan las matemticas.
UNIDAD II:
1.1.
LEYES Y REGLAS LOGICAS
EL METODO ABREVIADO
El desarrollo de la tabla de valores de la inferencia
( p1 p 2 p3 p n)Q
resulta muy laborioso
cuando se desea saber su validez. Para evitar este engorroso y laborioso trabajo se utiliza un M todo Abreviado de
fcil manejo y gran precisin.
El MTODO ABREVIADO, consistes en analizar la nica posibilidad de ser FALSO la implicacin:
p q
VF
Lgica
FILIAL JAEN
Como podemos apreciar, la implicacin es
slo cuando el antecedente es Verdadero y el consecuente es
Falso.
El anlisis que haremos es a la inferencia
( p1 p 2 p3 p n)Q
Pasos a seguir:
1)
Asignar el valor V (verdadero) a cada una de las premisas
pi
y de F (falso) a la conclusin.
Como el antecedente es una conjuncin de n premisas y el antecedente es V, entonces cada premisa
pi
necesariamente ser verdadera.
As tendremos:
F
(
p1 p2 p 3 p n) Q
F
V
2)
Deducir el valor de cada una de las variables proposicionales, teniendo en cuenta las reglas para:
, , , , ,
que se pueden presentar en cada premisa.
LA DECISION
1)
Si cada una de las variables proposicionales tiene UN SOLO VALOR. Entonces la inferencia no es vlida. Es decir
no hay implicacin puesto q la conjuncin de premisas es V y la conclusin es F.
2)
Si una variable proposicional llega a tener DOS VALORES A LA VEZ (V y F) , entonces quedar demostrado que
no es posible que la conjuncin de premisas son V y la concusin F. por tanto, hay implicacin y la inferencia es
vlida
Ejemplo 1: establecer si es vlida la inferencia la inferencia:
[ ( p q ) ( q r ) r ]
Solucin: empezamos escribiendo el esquema de la inferencia en la forma:
p q ) (
q r )
r ] q
[ (
V
Analicemos:
3)
Asignar F a la conclusin:
q
F
Lgica
FILIAL JAEN
Como la conclusin es una negacin, entonces por la regla de la negacin obtendremos: F para
4)
, luego
es V.
Asignar V a cada premisa. Teniendo en cuenta los valores obtenidos en la conclusin se van analizando qu
valores tendrn las variables en cada premisa.
Analizamos cada premisa:
p q
p1 : F
F
. Por lo deducido en la conclusin, ya tenemos que q es V entonces
es F. Como la
Bicondicional es V, entonces
p3 : r
V
es F
. En la tercera premisa encontramos que
es V entonces el valor de verdad de
es F.
estos dos valores encontrados satisfacen el valor de verdad de la segunda premisa.
5)
Como cada una de las variables cumple una sola funcin veritativa, decimos que la inferencia no es vlida. Esto
es, se ha demostrado que la conjuncin de premisas es verdadera y la conclusin falsa
[ ( p q ) ( p r ) ( r q ) ] ( p r )
Solucin: empezamos escribiendo el esquema de la inferencia en la forma:
[ ()
p q (
p r ) (
r q ) (
pr)
V
Analicemos:
1)
Asignar F a la conclusin:
(
p r )
F
Lgica
FILIAL JAEN
Como la conclusin es una implicacin: F para
2)
(pr)
, luego
es V y
es F.
Trasladamos estos valores en la primera y tercera premisa.

Analizamos cada premisa:
pq
p1 : V
V
. Por lo deducido en la conclusin, ya tenemos que
es V entonces
es V.
r q
p3 : F
F
. En la tercera premisa encontramos que
es F puesto que
es F.
3)
Como la variable
tiene los valores de V y F a la vez, concluimos afirmando que la inferencia es vlida.
Ejemplo 3: Si Anito dice la verdad, entonces Scrates corrompa a la juventud; y, si el tribunal lo conden
equivocadamente, entonces Anito no es el culpable. Pero, Scrates no corrompa a la juventud o Anito es el culpable.
Por lo tanto, Anito no deca la verdad o el tribunal no conden a Scrates equivocadamente
Solucin:
Lgica
FILIAL JAEN
[ ( p q ) ( p r ) ( p p ) ] ( p r )
Solucin:
[ ( p ( q r ) ) ( r s ) ] ( s p )
Solucin:
Lgica
FILIAL JAEN
Ejemplo 6: Comprobar la validez del enunciado siguiente: Si estudio, entonces no perder Matemticas; y, si no juego
ftbol, entonces no estudiar; pero perd Matemticas. Por lo tanto, jugu ftbol.
Solucin:
Ejemplo 7: Simbolizar y analizar el valor de verdad del siguiente enunciado: Si Ral participa en el comit electoral de
la Universidad, entonces los estudiantes se enojarn con l; y, si no participa en un comit electoral de la Universidad,
entonces las autoridades universitarias se enojarn con l. Pero Ral participar en un comit electoral de la
Universidad. Por lo tanto, los estudiantes o las autoridades universitarias se enojarn con l.
Solucin:
Lgica
FILIAL JAEN
1.2.
PRINCIPALES LEYES LOGICAS O TAUTOLOGICAS

Las llamadas leyes lgicas o principios lgicos viene hacer formas proposicionales tautolgicas de carcter general y
que a partir de estas leyes lgicas se puede generar otras tautolgicas y tambin cualquier tautologa se puede reducir
a una de las leyes lgicas, entre las principales leyes lgicas mencionaremos:
A.
LOS TRES PRINCIPIOS LOGICOS CLASICOS

1.
Ley de identidad
p
{pp
p
2.
una proposicin slo son idnticos as mismo
Ley no contradiccin
(p p)
3.
Ley del tercio excluido
p p
B.
una proposicin no puede ser verdadero y falso a la vez
una proposicin es verdadero o es falso no hay una tercera posibilidad
EQUIVALENCIAS NOTABLES
1.
Ley de la doble negacin
Lgica
FILIAL JAEN
( p) p
2.
la negacin de la negacin es una afirmacin
Ley de la Idempotencia
a p p p b p p p
3.
Leyes Conmutativas
a p q q p b p q q p c p q q p
4.
Leyes Asociativas
a p ( q r ) ( p q ) r b p (q r)( p q)r
c p ( q r) (p q) p
5.
Leyes Distributivas
a p ( q r ) ( p q ) ( p r ) b p (q r) (p q)( p r )
c p ( q r ) ( p q ) ( p r ) d p ( q r ) ( p q ) ( p r )
6.
Leyes De Morgan
a ( p q ) p q b ( p q ) p q
Lgica
FILIAL JAEN
7.
Leyes del Condicional
a p q p q b ( p q ) p q
8.
Leyes del Bicondicional
a p q ( p q ) (q p)b p q ( p q ) ( p q) ( p q )
9.
Leyes de la Absorcin
a p ( p q ) p b p ( p q ) p q
c p ( p q ) p d p ( p q ) p q
10. Leyes de Transposicin
a p q q p b p q q p
11. Leyes de Exportacin
a ( p q ) r p ( q r )
b ( p1 p 2 p n ) r (p 1 p 2 p n1)( p n r )
12. Formas normales para la conjuncin y disyuncin
Lgica
FILIAL JAEN
F.N. Conjuntiva
a T T T b T p p c C p C
F.N. Disyuntiva
a C C C b C p p c T p T
(T: Tautologa,
C: Contradiccin,
p: Esquema molecular cualquiera)
13. Elementos neutros para la Contradiccin y la Tautologa
a p C C b C T T c p T T
Observacin: estas leyes son muy usadas para simplificar los problemas, puesto que es vlido reemplazar una
proposicin por su equivalente sin alterar el resultado.
Ejemplos:
1.
Simplificar las proposiciones siguientes aplicando las leyes lgicas.

a)
[(~p V ~ q) q] p
Lgica
FILIAL JAEN
b)
~ [~(p q) ~q] V q
2.
Demostrar si a) y b) son proposiciones equivalentes:
a)
p (r V ~q)
Lgica
FILIAL JAEN
b)
(q ~p) V (~r ~p)
3.
Aplicando equivalencias lgicas, simplificar lo ms posible la siguiente proposicin:
[( p q)(r r )] q
4.
Lgica
FILIAL JAEN
5.
[( p q) ( p q ) ] ( p q )
6.
( p q)[ ( q (r q)) ( p q ) ]r
Lgica
FILIAL JAEN
7.
( p q)[ p ( q p ) ]
1.3.
IMPLICACIONES NOTABLES
Las implicaciones notables se pueden escribir de dos formas: en forma horizontal y en forma vertical.
A.
Forma horizontal: cuando la conjuncin de premisas que implican a la conclusin

escriben horizontalmente en forma explcita usando los conectores:
B.
p1 p 2 p n
se
Forma vertical: llamada tambin forma clsica; en este caso no se escriben en forma explcita los conectores:
. La conclusin de premisas se escriben verticalmente una despus de otra y al trmino de la ultima
premisa se escribe una raya horizontal y tres puntos para luego escribir la conclusin.
El razonamiento es si ocurren
p1 y p2 y y p n
( p1 p 2 p n ) Q
Horizontal
; por tanto ocurre
p1
p2
.
.
.
pn
Q
I. Ley de MODUS PONENS:

Su representacin simblica es:
p q
p
q
Lgica
FILIAL JAEN
[ ( p q ) p ] q
Si se afirma el antecedente de una premisa condicional se concluye en la afirmacin del consecuente.
Ejemplo:
Si en verano hace calor, entonces en invierno hace fro
En verano hace calor

Luego :En invierno hace fro
}}
II. Ley de MODUS TOLLENS:

[ ( p q ) q]
p q
q
p
Si se niega el consecuente de una premisa condicional se concluye en la negacin del antecedente.
Ejemplo:
Si Ricardo Palma naci en Lima, entonces es limeo

Ricardo Palma no es limeo
Luego : R icardo Palma no naci en Lima
III. Ley del SILOGISMO DISYUNTIVO:

[ ( p q)
p ] q o [ ( p q ) q ] p
p q
p
q
p q
q
p
Lgica
FILIAL JAEN
Si se niega uno de los miembros de una premisa disyuntiva, se concluye en la afirmacin del otro miembro.
Ejemplo:
Juan es abogado o es ingeniero

Juan no es abogado
Luego :Juan no es ingeniero
IV. Ley de la INFERENCIA EQUIVALENTE:

p q
p
q
[( p q ) p ]q
Si uno de los miembros de la premisa bicondicional es verdadera, entonces es verdadera el otro miembro.
Ejemplo:
Si x es mltiplo de 2, si y slo si x es par

x es mltiplo de 2
Luego :x es par
V. Ley del SILOGISMO HIPOTETICO:

[ ( p q ) ( q r ) ] p r
p q
q r
pr
Lgica
FILIAL JAEN
Si
p q
es verdadero y
qr
es verdadero, entonces
p r
es verdadero. Esta ley indica que
el condicional es transitivo.
Ejemplo:
Si x es un nmero real tal que {x} ^ {2} +x-6=0, entonces left (x+3 right ) left (x-2 right ) =0
Si left (x+3 right ) left (x-2 right ) =0, entonces:x=-3 x=2
Luego :Si x es un nmero real tal que {x} ^ {2} +x-6=0, entonces:x=-3 x=2
VI. Ley de la TRANSITIVIDAD SIMETRICA:

p q
q r
pr
[ ( p q ) ( q r ) ] p r
Si
p q
es verdadero y
qr
es verdadero, entonces
p r
es verdadero. Esta ley indica la
transitividad de la bicondicional.
Ejemplo:
El viento sopla s y s lo s llueve

Llueve s y slo s el cielo est nublado
Luego : El viento sopla s y slo s el cielo est nublado
VII. Ley de la SIMPLIFICACION:

( p q ) p o ( p q ) q
p q
p
p q
q
Lgica
FILIAL JAEN
De una premisa conjuntiva se puede concluir en cualquiera de sus componentes.
Ejemplo:
a)
5 es menor que 7 y 15 es mltiplo de 5, por tanto, 5 es menor que 7
b) Scrates fue un filsofo griego y Shakespeare fue un dramaturgo

ingls, por lo tanto, Shakespeare fue un dramaturgo ingls
VIII. Ley de la ADICION:

p
p q
p ( p q ) o q ( p q )
Una disyuncin est implicada por cualquiera de sus miembros.
Ejemplo:
Benjamn Franklin fue inventor del pararrayos. Por lo tanto fue inventor del
pararrayos o fue un hbil poltico americano
IX. Ley del ABSURDO:

[ p ( q q ) ] p o [
p ( q q ) ] p
p ( q q )
p
p ( q q )
p
Si una contradiccin se deduce de una premisa condicional, se concluye en la negacin del antecedente.
Lgica
FILIAL JAEN
EJERCICIOS DE APLICACIN
I.
II.
USANDO IMPLICACIONES NOTABLES, DETERMINAR LA CONCLUSIN CORRECTA DEL SIGUIENTE

CONJUNTO DE PREMISAS:
1.
Si 2 es divisor de 4, entonces 2 es divisor de 43

2 es divisor de 43
2.
Si Jorge estudi, entonces aprob Lgica

Jorge no aprob Lgica
3.
x es un nmero par o mltiplo de 5

x no es par
4.
a es un nmero primo, s y slo s es mltiplo de 1 y de a

a es mltiplo de a y de 1
SIMBOLIZA LAS SIGUIENTES EXPRESIONES Y USANDO IMPLICACIONES NOTABLES DETERMINA LA

CONCLUSION CORRECTA DE CADA UNO DE LOS SIGUINETES EJERCICIOS. ADEMAS DEBE MENCIONAR LA
IMPLICACION NOTABLE QUE ESTA USANDO:
5.
Si Juan va a Chiclayo, se encuentra con Pedro

6.
Juan va a Chiclayo
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17. Si Luis no aprueba el ao, no viaja a Argentina
18. Luis no ha pasado de ao
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29. Si Enrique no viaja a Arequipa, no se encontrar
con Andrs
30. Enrique se encontr con Andrs

31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41. Si hace calor, Juan va a la piscina
42. Si Juan va a la piscina, arregla la casa
despus de almorzar
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
Lgica
FILIAL JAEN
55.
56.
57. NO viajo a Trujillo o no viajo a Arequipa
58. Viajo a Arequipa
59.
60.
61.
62.
63.
64.
65.
III.
EN CADA UNO DE LOS SIGUIENTES EJERCICIOS SE MUESTRA UN CONJUNTO DE PREMISAS, SE DEBE

DEMOSTRAR QUE UNA PROPOSICIN ES CONSECUENCIA LGICA DE ESTE CONJUNTO DE
PROPOSICIONES. DEBE MENCIONAR LA IMPLICACIN NOTABLE QUE EST UTILIZANDO.
76.
77. Demostrar, que se obtiene:
a)
R T
b)
S R
c)
78.
79.
80.
81.
82.
83.
84.
85.
a)
J (M N )
b)
( F G ) J
c)
F G
87.
88.
89.
90.
91.
92.
93.
94.
a)
G H
b)
G ( F )
c)
97.
98.
a)
b)
c)
1.4.
66.
67.
68.
69.
70.
71.
72.
73.
74.
75.
MN
P Q
Q
P ( R S )
100.
101.
102.
103.
104.
105.
106.
107.
a)
b)
R S
R S
S ( R Q )
c)
R T
d)
109.
110.
111.
112.
113.
114.
115.
116.
117.
118.
119.
120.
121.
122.
96.
123.
124.
125.
METODO DE DEMOSTRACION O DERIVACIONES
126. En la demostracin de muchos teoremas y otras proposiciones que se presentan en Algebra y en el
Anlisis (Anlisis real, topolgico, geometra, etc.) se aplican ordenadamente los pasos lgicos agotando
todas las premisas (antecedentes o hiptesis) para verificar la conclusin (consecuente o tsis).
Lgica
FILIAL JAEN
127. Para evaluar un razonamiento por el mtodo de las demostraciones o derivaciones, es decir, para
demostrar que la conclusin de una argumento se sigue lgicamente de las premisas se siguen:
128.
129. 1
Se asigna a cada proposicin atmica su correspondiente variable.
130. 2 Se simbolizan las premisas y la conclusin, disponiendo aquellas en forma vertical y escribiendo la
conclusin a continuacin de la ltima premisa, en el mismo rengln. Entre la ltima premisa y la conclusin se
escribe una barra separatoria / seguida del smbolo que se lee: por lo tanto.
131. 3
Se procede a efectuar las derivaciones tomando como punto de partida cualquiera de las premisas,
siempre que sea factible, e indicando a la derecha en forma abreviada de qu premisas y mediante qu ley o regla
se ha obtenido la nueva expresin.
132. 4
habindose obtenido la conclusin, puede afirmarse que la argumentacin original es correcta o vlida.
133.
134. Ejemplo: Sea la argumentacin siguiente:
135.
Si hay abundancia de peces, habr abundante harina de pescado.
136.
Si hay abundante harina de pescado, se incrementa la produccin.
137.
La exportacin no se incrementa.
138.
O hay abundancia de peces o ser preciso recurrir a otras actividades.
139.
Luego, ser preciso recurrir a otras actividades.
140.
141.
142.
143.
144.
145.
146.
147.
148.
149.
150.
151. Ejercicios de Aplicacin
I.
Formule la justificacin de cada paso en las siguientes derivaciones:
q p
pq
a)
1.
b)
c)
d)
e)
f)
g)
2.
3.
4.
p
q
6.
7.
8.
9.
1.
i)
2.
j)
k)
l)
m)
n)
o)
3.
4.
5.
ps
aa)
2.
s r / ~ s
ab)
3.
~ r ~ t
ac)
4.
~r
~s
ad)
5.
ae)
6.
af)
7.
qr
ag)
8.
q p / ~ s
ah)
9.
q p p q
ai)
10.
aj)
11.
r ~ s
p)
1.
~p
q)
2.
r)
3.
s)
4.
t)
5.
~q
r
~s
p q r
1.
~ r t
h)
u)
v)
w)
x)
y)
p r /q
s r / r
pr
q r p
~ q r p
~ q r r
q r r
q r r r
r r q r
rr
Lgica
FILIAL JAEN
ak)
al)
am)
12.
p q r
an)
1.
p s / p r
ao)
2.
ap)
3.
aq)
ar)
4.
5.
as)
pq
pr
6.
at)
au)
II.
av)
aw)
Mediante el mtodo de las derivaciones demuestra la validez de las siguientes inferencias:
ad)
pq
a)
1.
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
p q r
1.
ps
n)
2.
o)
p)
q)
r)
s)
t)
u)
v)
w)
x)
y)
3.
z)
III.
~ p r / q
2.
q/ r
~ t r
ae) 1.
2.
ag)
3.
ah)
ai)
aj)
ak)
al)
am)
an)
ao)
ap)
aq)
ar)
as)
4.
at)
p q r
1.
s p
aa)
2.
ab)
3.
tq
s t / w r
~r s
af)
~ts
w s / w
p q r s
1.
~ p t ~ t
au)
2.
av)
aw)
ax)
ay)
az)
ba)
bb)
bc)
bd)
be)
bf)
bg)
bh)
bi)
3.
~r/ ~ t
ac)
4.
bj)
bk)
bl)
bm)
bn)
Pruebe la validez de los siguientes razonamientos mediante el mtodo de las derivaciones:
bo)
a. Si eliges una carrera profesional, tendrs que esforzarte en lograr una buena preparacin. O eliges buena carrera
profesional o te dedicas al deporte. Es as que no te dedicas al deporte. Luego, tendrs que esforzarte en lograr
una buena preparacin.
bp)
bq)
br)
bs)
Lgica
FILIAL JAEN
bt)
bu)
bv)
bw)
bx)
by)
bz)
ca)
cb)
cc)
b. Si el chofer es abstemio, entonces la ebriedad no fue la causa del accidente. Pero la causa del accidente fue o
bien la ebriedad o bien una falla mecnica. El chofer es abstemio. Luego, la causa del accidente debe haber sido
una falla mecnica.
cd)
ce)
cf)
cg)
ch)
ci)
cj)
ck)
cl)
cm)
cn)
co)
cp)
cq)
cr)
c. Si el capitn Ahab fue mutilado por Moby Dick, entonces la perseguir hasta alcanzarla. Pero si la persigue hasta
alcanzarla, entonces Moby Dick matar a Ahab. Es as que Ahab fue mutilado por Moby Dick. Por consiguiente
Moby Dick matar al capitn Ahab.
cs)
ct)
cu)
cv)
cw)
cx)
cy)
cz)
da)
db)
dc)
dd)
de)
df)
dg)
dh)
di)
dj)
d. Si la polica acta rpidamente o se vale de perros amaestrados entonces los ladrones sern aprehendidos o se
recupera la mercadera. Si los ladrones sern aprehendidos o se recupera la mercadera, entonces el comerciante
podr evitar la quiebra de su negocio. La polica acta rpidamente. Luego, el comerciante podr evitar la ruina de
su negocio.
dk)
dl)
dm)
dn)
do)
dp)
dq)
dr)
ds)
dt)
du)
dv)
dw)
dx)
dy)
dz) NOTA: Hay dos mtodos para demostrar una proposicin:
1.5.
MTODO DIRECTO DE DEMOSTRACIN
Lgica
FILIAL JAEN
ea) Es una modalidad dentro del mtodo de las derivaciones y se aplica en los casos en que una argumentacin
tenga conclusin implicativa.
eb) En efecto, siendo la conclusin una expresin implicativa, necesariamente tendr antecedente y
consecuente. Para saber si una conclusin de este tipo se deriva de las premisas dadas, se agrega el
antecedente de la conclusin a las premisas y luego, aplicando a este nuevo conjunto de premisas las leyes
lgicas ya conocidas, se realizan las derivaciones hasta obtener el consecuente de la conclusin. De aqu la:
Regla de Demostracin Condicional (PC): Si es posible deducir X de Z y un conjunto de premisas,
Y Z
entonces se puede deducir slo del conjunto de premisas la expresin implicativa
ec) Esta regla puede hacerse corresponder con la ley de exportacin:
p q r p q r
ed)
ee)
ef) Procedimiento:
eg) Dado el caso de que la conclusin de una argumentacin sea una expresin implicativa:
a.
Se toma su antecedente y se introduce como una nueva premisa (premisa adicional (PA).
b.
Se efectan las derivaciones, corriendo la demostracin algunos lugares hacia la derecha, hasta hallar el
consecuente de la conclusin.
c.
Se une implicativamente la premisa adicional con el ltimo paso logrado, volviendo la demostracin a la
izquierda, a la posicin original.
eh) Ejemplo: Utilizando la demostracin condicional, pruebe la validez de las siguientes inferencias:
ei)
sr
ej)a. 1.
ek)
el)
sp
2.
pq
3.
em)
en)
eo)
ep)
eq)
er)
es)
et)
eu)
ev)
ew)
ex)
ey)
ez)
fa)
fb)
fc)
fd)
fe)
r t / ~ q t
4.
p q ~ r
ff) b. 1.
s p
fg)
2.
fh)
3.
fi)
fj)
fk)
tq
s t / r q
4.
Lgica
FILIAL JAEN
fl)
fm)
fn)
fo)
fp)
fq)
fr)
fs)
ft)
fu)
fv)
fw)
fx)
fy)
fz)
ga)
1.6.
r s t
gb) c.
gc)
2.
gd)
ge)
gf)
gg)
gh)
gi)
gj)
gk)
gl)
gm)
gn)
go)
gp)
gq)
gr)
gs)
gt)
3.
gu) d.
1.
gv)
2.
p ~ t
p s / r s
~p
~r t
s p / ~ r s t
gw)
3.
gx)
gy)
gz)
ha)
hb)
hc)
hd)
he)
hf)
hg)
hh)
hi)
hj)
hk)
hl)
hm)
hn)
ho)
hp)
hq)
MTODO DE REDUCCIN POR EL ABSURDO
Lgica
FILIAL JAEN
hr)
Es otra modalidad dentro del mtodo de las derivaciones. Resulta de la fusin de la regla de la demostracin
condicional y de la nocin de contradiccin, de aqu su nombre: demostracin por el absurdo.
hs) Consiste en introducir como premisa adicional la negacin de la conclusin para llegar a encontrar una
contradiccin en las premisas. Es decir, se supone la falsedad del consecuente para llegar a la falsedad del
antecedente, mostrando de esta manera que la conclusin se halla implicada en las premisas
(demostracin indirecta).
ht)
El sentido de esta demostracin se puede entender fcilmente si se recuerda que por MODUS TOLENS se
puede deducir la negacin del antecedente cuando se niega el consecuente, es decir cuando se sabe que el
consecuente es falso.
hu) Regla de demostracin por el absurdo: Si es posible deducir una contradiccin de un conjunto de
premisas y de la negacin de Z, entonces Z puede deducirse del conjunto de premisas solo.
hv) Esta regla corresponde a la ley del absurdo cuya expresin es la siguiente:
hw)
[ p ( q q ) ] p
hx) Procedimiento:
hy) Dada una argumentacin cualquiera:
a.
Se niega la conclusin y se introduce como una nueva premisa (premisa adicional (PA).
b.
Se efectan las derivaciones corriendo la demostracin varios lugares hacia la derecha, hasta encontrar una
contradiccin.
c.
Se une implicativamente la premisa adicional con la contradiccin hallada, volviendo la demostracin a la

izquierda, a la posicin original (PC)
d.
Se establece la conclusin deseada como una inferencia lgicamente deducida de las premisas originales
(P. Ab.)
hz) Ejemplo: Utilizando la demostracin por el absurdo pruebe la validez de las siguientes inferencias:
a)
1. ( p q )
2. r q
3. p r / r
ia)
ib)
ic)
id)
ie)
if)
ig)
ih)
ii)
ij)
ik)
il)
im)
in)
b)
1. p q
2.r p
3. q/ r
io)
ip)
iq)
ir)
is)
it)
iu)
iv)
iw)
ix)
iy)
Lgica
FILIAL JAEN
iz)
ja)
jb)
jc)
jd)
c)
1. p ( q r )
2. q p
3. s r / ( p s )
je)
jf)
jg)
jh)
ji)
jj)
jk)
jl)
jm)
jn)
jo)
jp)
jq)
jr)
js)
jt)
ju)
d)
1. ( p q )
2. p r
3. ( q r ) / p
jv)
jw)
jx)
jy)
jz)
ka)
kb)
kc)
kd)
ke)
kf)
kg)
kh)
ki)
kj)
kk)
kl)
km)
kn) LAS FORMAS NORMALES:
ko) Se llaman Formas Normales a aquellas en que nicamente entran conjunciones
()
y negaciones
( )
()
disyunciones
que slo afectan a variables.
kp) Las Formas Normales son funciones moleculares compuestas por determinados esquemas bsicos.
kq) Los esquemas bsicos estn constituidos o bien por conjunciones o bien por disyunciones cuyos elementos
son simples variables negadas o sin negar. As, son esquemas bsicos:
p p q
p p q
o tambin
kr) CLASES:
ks) Las Formas Normales son de dos clases: Conjuntivas o disyuntivas.
Lgica
FILIAL JAEN
kt)La Forma Normal Conjuntiva (FNC): es la constituida por disyunciones bsicas como
o por conjunciones de disyunciones bsicas como:
ku) La
Forma
Normal
p q r r
Disyuntiva
o
(FND)
por
es
p q r r
( p q r ) ( r s t )
la
constituida
disyunciones
de
por
conjunciones
conjunciones
bsicas
bsicas
como
como:
( p q r ) ( r s t )
kv) PRINCIPIOS Y ANTIPRINCIPIOS:
kw) Estando la funcin bsica compuesta por conjunciones o por disyunciones de variables, pueden darse estos
dos casos:
1.
Si la funcin bsica est compuesta por conjunciones, entonces es posible que una misma variable
aparezca afirmada y negada dentro de la misma funcin, con lo que se dara una contradiccin o antiprincipio
del tipo:
kx)
2.
p p
Si la funcin bsica est compuesta por disyunciones, entonces puede suceder que una misma variable
se repita con diferente signo dentro de la misma funcin, dndose en consecuencia una tautologa o principio del
tipo:
ky)
p p
kz) La presencia o ausencia de estos antiprincipios o principios constituyen el criterio para determinar la validez o
invalidez de un enunciado o inferencia.
la)
lb)
PROCEDIMIENTO DECISORIO:
lc)Como toda funcin proposicional (sea implicativa, equivalente, etc.) es reducible a estas dos formas normales,
el procedimiento decisorio puede realizarse por cualquiera de ellas.
ld)Procedimiento para FNC: Dada una funcin proposicional, se reduce a su equivalente FNC de la siguiente
manera:
le)
1 Se cancelan todos los conectores que no sean conjunciones o disyunciones mediante la aplicacin de sus
respectivas definiciones.
lf)
2 Se eliminan las negaciones que afectan a los conectivos mediante las leyes De Morgan.
lg)
3 Se suprimen las dobles negaciones aplicando la ley del mismo nombre.
lh)
4 Se aplican las Leyes de distribucin, absorcin e idempotencia cuando fuera necesario.
li)
5 Criterio: La FNC es tautolgica cuando todas y cada una de sus funciones bsicas contiene el principio del
tercero excluido.
lj)
Ejemplo:
[( p q ) p ] q
a)
lk)
ll)
lm)
-
Solucin:
Se eliminan los operadores condicionales aplicando implicacin
ln)
lo)
[ ( p q ) p ] q
lp)
Se elimina la negacin que est delante del corchete aplicando De Morgan
lq)
Lgica
FILIAL JAEN
( p q ) p q
lr)
-
ls)
Se elimina la negacin que est delante del parntesis aplicando De Morgan
lt)
lu)
( p q ) p q
lv)
Se aplica la ley de distribucin para obtener la FNC
lw)
lx)
( p p q ) ( q p q )
ly)
lz)
Respuesta: habiendo tercio excluido en las dos disyunciones bsicas resultantes, la frmula es
TAUTOLOGIA.
[ ( p q ) q] p
b)
ma)
mb) Solucin:
Se eliminan los operadores condicionales mediante implicacin
mc)
md)
-
me)
Se elimina la negacin que est delante del corchete aplicando De Morgan
mf)
mg)
( p q ) q p
mh)
Se elimina la negacin que est delante del parntesis aplicando De Morgan
mi)
mj)
[ ( p q ) q ] p
( p q ) q p
mk)
Se aplica la ley de distribucin para obtener la FNC
ml)
mm)
( p q p ) ( q q p )
mn)
mo) Respuesta: no habiendo tercio excluido en las disyunciones bsicas resultantes, la frmula no es
TAUTOLOGIA.
mp)
mq)
Procedimiento para FND: Dada una funcin proposicional, se reduce a su equivalente FND de la siguiente
manera:
mr)
1 Se niega la funcin proposicional propuesta.
ms)
2 Se realizan los mismos pasos que el procedimiento anterior.
mt)
3 Criterio: La FND es tautolgica cuando todas y cada una de sus funciones bsicas contienen una
contradiccin o antiprincipio. Se comprende que sta FND sea contradictoria desde el momento en que se parte
de la negacin de la funcin proposicional originaria.
mu) Ejemplo:
a)
[( p q ) p ] q
mv)
mw) Solucin:
mx)
Se niega toda la frmula
my)
Lgica
FILIAL JAEN
mz)
{[ ( p q ) p ] q }
na)
nb)
nc)
{ [ ( p q ) p ] q }
nd)
Se cancela la negacin que est delante de la llave aplicando De Morgan
ne)
nf)
( p q ) p q
ng)
Se aplica la ley de distribucin para obtener la FND
nh)
ni)
( p p q ) ( q p q )
nj)
nk) Respuesta: habiendo contradiccin en las dos conjunciones bsicas resultantes, la frmula es
TAUTOLOGIA.
nl)
[ ( p q ) q] p
b)
nm)
nn)
no)
-
Solucin:
Se niega toda la frmula
np)
nq)
nr)
ns)
nt)
{ [ ( p q ) q ] p }
nu)
Se cancela la negacin que est delante de la llave aplicando De Morgan
nv)
nw)
{[ ( p q ) q ] p }
( p q ) q p
nx)
Se aplica la ley de distribucin para obtener la FND
ny)
nz)
( p q p ) ( q q p )
oa) Respuesta: no habiendo contradiccin en las dos conjunciones bsicas resultantes, la frmula es una
TAUTOLOGIA.
ob)
TRABAJO ENCARGADO N02
1. Por las tablas de verdad y el mtodo abreviado, determine si es vlida o no cada una de las
inferencias siguientes:
El tringulo se llama issceles si tiene dos lados iguales. No se llama issceles. En
consecuencia, no tiene dos lados iguales.
El pueblo es una masa pasiva que sigue las ideas de un gran hombre, o los preceptos de
la idea absoluta. Sigue los preceptos de la idea absoluta. Por lo tanto no sigue las ideas
de un gran hombre.
Lgica
FILIAL JAEN
Si Pedro es burgus, es propietario de los medios de produccin social y emplea trabajo

asalariado. Es burgus y propietario de los medios de produccin social. Luego, Pedro
emplea trabajo asalariado.
Si eres fiscal, eres abogado, si eres profesional, eres abogado. Luego, si eres fiscal eres
profesional.
Si eres cardilogo, eres mdico. Si eres mdico, eres colegiado. Luego, si eres
cardilogo, eres colegiado.
oc)
2. Determine mediante el mtodo abreviado si las siguientes inferencias son vlidas o
invlidas.
Si las aguas del mar peruano se enfran o calientan excesivamente, entonces no se
podr pescar anchoveta ni atn. No se puede pescar anchoveta ni atn. Por tanto, las
aguas del mar peruano se han enfriado se han enfriado o calentado excesivamente.
Si dos miembros de una desigualdad son positivos y se elevan a una misma potencia
positiva, el signo de la desigualdad no cambia. Si los dos miembros de una desigualdad
son negativos y se elevan a una misma potencia positiva, el signo de la desigualdad
cambia. Por tanto, el signo de la desigualdad cambia o no cambia.
O la vitamina A no es requerida por el hombre o es requerida por otros vertebrados. La
vitamina A no es hidrosoluble o se almacenan en el hgado. En consecuencia, la
vitamina A no es hidrosoluble ni antihemorrgica si es requerida por el hombre.
od)
3. Formule la justificacin de cada paso en las siguientes derivaciones:
pq
oe) 1.
of) 2.
og) 3.
oh) 4.
oi)
oj)
1.
ok) 2.
ol) 3.
om) 4.
on) 5.
oo)
op) 1.
oq) 2.
or) 3.
os) 4.
ot) 5.
p r / q
ou)
ov) 1.
p
q
ow) 2.
rs
ox) 3.
s p
oy) 4.
oz) 5.
pa) 6.
pb)
r / p
s
p
pc) 1.
r t
pd) 2.
pe) 3.
s r / s
r t
-r
-s
pf) 4.
pg) 5.
qr
q p / r
q r r q
qr
q
r
p q r
ps /pr
p
pq
r
pr
ph) 6.
pi)
Lgica
FILIAL JAEN
r s
pq
pj)
1.
p q r
pk) 2.
pl)
p r / p
3.
p p q
pm) 4.
pr
pn) 5.
1.
ps) 2.
pt)
-p
p
qr
3.
q p / s
pu) 4.
pv) 5.
p p r
po) 6.
pp) 7.
pq)
pr)
pw)
px)
py)
pz)
6.
7.
8.
9.
q p p q
q p
-q
r
-s
qa)
qb)
4. Demuestre por la prueba directa (PD) y luego mediante la prueba por la reduccin al
absurdo (PRA)
qc)
pq
a) 1.
j) 3.
k)
b) 2.
( p r ) /q
l)
c)
d) 1.
e)
f)3.
p q
2.
pr
q / r
i) 2.
p q
1.
r s
m)
2.
n)
3.
p r
o)
4.
q / s
g)
2.
ts
h)
3.
p)
q)
r)
s)
t)
u)
g)
h) 1.
s p/ s
(q p )( p r )
r q
5. Demuestre mediante la prueba condicional (PC):

v)
a) 1.
b)
2.
sp
c)
3.
tq
d)
4. s t / r q
e)
f)
( p q) r
1.
q p
s q / ( p r ) t
i)
j)
1.
(r s ) t
k)
2.
l) 3.
p t
p s / r s
Lgica
FILIAL JAEN
m)
n) 1.
o)
p q
2. q r
p)
3.
s t
q)
4.
r s / t p
6. Formalice las siguientes inferencia y demuestre por el mtodo de las derivaciones:

r)
a) Las tiendas estn cerradas y no hay vigilancia policial. Si las tiendas estn cerradas o no
hay vigilancia policial, entonces es mala idea salir a comprar. Si es mala idea salir a
comprar, entonces es conveniente ir a ver televisin. Luego, es conveniente ir a ver
televisin.
s)
b) Si Andrs se dedica a la pintura, entonces ser un gran artista, y si se dedica a
administrar los negocios de su padre, ganar un buen sueldo. Si Andrs llega a ser un
gran artista o a ganar un buen sueldo, habr realizado sus sueos. Pero Andrs no
realizara sus sueos. En consecuencia, no se dedica a la pintura y no administra los
negocios de su padre.
t)
c) Si Carlos Santana y Joe Satriani vienen al Per, entonces los cultores del Rock podrn
apreciar un buen espectculo cultural. Si Carlos Santana viene al Per, los cultores del
Rock podrn apreciar un buen espectculo cultural, entonces irn entusiasmados al
concierto. Luego, si Joe Satriani viene al Per, entonces los cultores del Rock irn
entusiasmados al concierto
u)
d) Te visitar por la tarde o por la noche. Si te visito por la tarde, saldremos a pasear. Si te
visito por la noche, veremos televisin. Luego, saldremos a pasear o veremos televisin.
v)
e) Si Daniel no toca la guitarra, entonces la tendr que tocar Henry. Y si Henry toca la
guitarra, Antonio abandonar el grupo. Pero Antonio no abandon el grupo. Por lo tanto,
Daniel toca la guitarra.
w)
x)
7. Diga si las siguientes frmulas son tautolgicas o no mediante la forma normal conjuntiva
(FNC).
a)
p ( p q )
e)
( p q) ( p q)
b)
p ( p q )
f)
( p q) ( p q)
c)
( p q) q
g)
d)
( p q) q
h)
[ p ( p q ) ]
[ ( p q)
p ] q
y)
z)
8. Diga si las siguientes frmulas son tautolgicas o no mediante la forma normal disyuntiva
(FND).
a)
p ( q p )
d)
( p q) p
b)
p ( p q)
e)
( p q) ( p q )
c)
( p q) q
f)
[ ( p q ) q] p
Lgica
FILIAL JAEN
g)
[( p q )
p ] q
h)
[ ( p q ) ( q r ) ] ( r p )
aa) UNIDAD III: LOGICA CUANTIFICACIONAL

1.
EL CALCULO PREDICATIVO:
ab) La lgica de predicados llamada tambin Lgica
Cuantificacional, comienza distinguiendo dos clases de
trminos:
los
que
representan
individuos
(gramaticalmente sujetos) y los que representan
propiedades
(gramaticalmente
predicados).
Lgicamente los llamaremos argumentos y predicados
respectivamente, de acuerdo a este esquema:
ac)
Ral canta
ad)
Predicado
Argumento
ae)
af)
ag)
ah) El predicado determina al argumento y es considerado

por la lgica de predicados como una nota o
caracterstica del sujeto.
2.
CLASIFICACIN DE PROPOSICIONES PREDICATIVAS:

ai)
a.
Las proposiciones que intervienen en este nuevo tipo de

inferencia son atmicas predicativas. De acuerdo a la
cantidad del sujeto pueden clasificarse en:
Singulares: el sujeto es un individuo.

aj)
Ejemplo:
ak) Este hombre, Juan.

b.
Universales: el sujeto indica la totalidad de individuos.

al)
Ejemplo:
am) Todos los hombres.

c.
Particulares: el sujeto seala una parte de los individuos.

an) Ejemplo:
ao) Algunos hombres, ciertos compatriotas.
ap)
aq) La cantidad del sujeto en estas proposiciones introduce
nuevos elementos, los cuantificadores, representados
por los trminos todos y algunos. Estos nuevos
elementos determinan cuantitativamente a sus
argumentos.
ar)
as) SIMBOLOS:
at)
Los smbolos que introduce la Lgica de Predicados

son:
Variables individuales: representan individuos indeterminados. Se emplean las ltimas letras del alfabeto: x, y, z, .
Constantes individuales: representan individuos determinados. Se emplean las primeras letras del alfabeto: a, b, c,
d, .
Variables predicativas: significan predicados indeterminados: Se usan las letras maysculas: F, G, H, K,.
Cuantificadores: sirven para generalizar a las funciones singulares. Pudiendo ser la generalizacin universal o
particular. Los cuantificadores son de dos tipos.
Lgica
FILIAL JAEN
au)
( ) : cuantificador universal
av)
( ) :cuantificador existencial
aw) Los
smbolos
se
llaman
cuantificadores. En el espacio vaco que le sigue dentro

del parntesis se colocan o bien variables individuales
( x )
como
( x )
, y entonces estamos en
el mbito de la lgica de predicados de primer orden; o

bien,
variables
( F )
predicativas
como
( F )
situndonos, con esto, en el contexto de la
lgica de predicados de segundo orden.

ax) La lgica cuantificacional aqu desarrollada es de primer
orden, pues los cuantificadores slo tienen variables
individuales.
ay) Reglas de formacin de frmulas bien formales:
1.
Cada variable predicativa segua de una o ms constantes individuales es una proposicin atmica. Ejemplos:
Fa
Gab
Habc
az)
2.
Cada proposicin atmica afectada al menos por un operador es una proposicin molecular. Ejemplo:
-
FaGb
Fa ( Gb Hc )
FaGb Hc
3.
Cada variable predicativa seguida de una o ms variables individuales es una funcin proposicional atmica.
Ejemplo:
-
Fx
Gxy
Hxyz
ba)
4.
Cada funcin proposicional atmica afectada al menos por un operador es una funcin proposicional molecular.
Ejemplo:
-
Fx Gy
Fx ( Gy Hz )
Lgica
FILIAL JAEN
Fx Gy Hz
5.
Son variables libres las variables que no son afectadas por algn cuantificador. Ejemplo:
-
Fx
( Fx Gy ) Hz
Fx ( Gy Hz )
bb)
6.
Son variables ligadas las variables ligadas por algn cuantificador. Ejemplos:
-
( x ) Fx
( x )( y )( Fx Gx )
( x ) ( y )( z ) [ ( Fx Gy ) Hz ]
bc)
7.
Son frmulas cerradas las frmulas que no contienen variables libres. Ejemplos:
-
( x ) Fx
( x )( y )( Fx Gx )
( x ) ( y )( z ) [ ( Fx Gx ) Hz ]
bd)
8.
Si sustituimos las variables libres de una funcin proposicional por constantes individuales obtenemos una
proposicin. Ejemplos:
-
Fx
Gxy
Hxyz
Fa
Gab
Habc
be)
3.
SIMBOLIZACIN DE PROPOSICIONES:
bf)
bg)
bh)
Juan es universitario
a
Alberto escribe
b
bi)
bj)
Fa: se lee: F de a
Una
proposicin
predicativa
se
simboliza
funcionalmente invirtiendo el orden de sus elementos y,
por razones operativas, se usa cualquier letra
mayscula para los predicados y cualquier letra
minscula para las constantes individuales. Ejemplo:
G
Se simbolizan respectivamente
Gb: se lee: G de b
Lgica
FILIAL JAEN
bk) Estas expresiones: Fa y Gb representan proposiciones

pues sus argumentos estn simbolizados por
constantes que significan individuos determinados de
manera que se pueden llamar verdaderas o falsas.
bl)
4.
FUNCIN PROPOSICIONAL:
bm) Las siguientes expresiones:
bn)
x es estudioso,
x escribe
Fx y Gx
bo) se simbolizan:
bp)
Fx
Gx
respectivamente
son funciones proposicionales ya
que los sujetos estn determinados por variables que

significan individuos indeterminados de manera que no
se pueden decir ni verdaderas ni falsas.
bq)
5.
CUANTIFICACIN:
br)
6.
bs)
Fx=x estudia
bt)
( x ) Fx
: algunos x estudian
bu)
( x ) Fx
: todos los x estudian
Una funcin proposicional simboliza la forma de una

proposicin individual. Para ampliar su significacin a
ms individuos se le antepone los cuantificadores. As:
bv)
TRANSFORMACION DE FUNCIONES EN PROPOSICIONES:
bw) Hay dos maneras
proposiciones:
a.
de
transformar
funciones
en
Sustituyendo la variable por una constante:

bx)
Fx=funcin proposicional Fa= proposicin
b.
Anteponiendo un cuantificador a la funcin:

by)
Fx=funcin proposicin ( x ) Fx= proposicin o ( x ) Fx=proposicin

bz) Al anteponer un cuantificador a la funcin se ha
especificado cuantitativamente el dominio de la variable
individual de manera que las expresiones resultantes
pueden ser calificadas de verdaderas o falsas ya que
tienen un significado determinado.
7.
PROPOSICIONES CUANTIFICADAS:
ca) Simbolizacin:
cb) Proposiciones
Simbolizaciones
cc)
Todo x estudia ( x ) Fx
cd)
Ningn x estudia ( x ) Fx
ce)
Algn x estudia ( x ) Fx
Lgica
FILIAL JAEN
cf)
8.
Algn x no estudia ( x ) Fx
LEYES DE INTERCAMBIO DE CUANTIFICADORES:

cg)
( x ) Fx ( x ) Fx
( x ) Fx ( x ) Fx
( x ) Fx ( x ) Fx
( x ) Fx ( x ) Fx
Ejemplos:
Todos son Lgicos.
Ninguno es Lgico.
Algunos son lgicos.
Algunos no son Lgicos.
Regla:
9.
Para intercambiar cuantificadores se suple uno con otro teniendo cuidado de cambiar de signo tanto el
cuantificador como a la funcin predicativa.
SIMBOLIZACIN DE LAS PROPOSICIONES TRADICIONALES:
Universal Afirmativa (A):
La proposicin:
Todos los leones son melenudos
Puede representarse funcionalmente

Para todo x, si x es len, entonces x es melenudo
Fx
Gx
Es decir, la frmula resultante es:
(Fx
Gx)
Universal Negativa (E):
La proposicin:
Ningn len es melenudo
Se representa funcionalmente
Para todo x, si x es len, entonces x no es melenudo
Fx
~Gx
x
(
) (Fx
~Gx)
Particular Afirmativa (I):
La proposicin:
Algunos leones son melenudos.
Existe por lo menos un x tal que, x es len y x es melenudo
Lgica
FILIAL JAEN
Fx
Gx
x
(
) (Fx
Gx)
Particular Negativa(O):
La proposicin:
Algunos leones no son melenudos.
Existe por lo menos un x tal que, x es len y x no es melenudo
Fx
~Gx
x
(
) (Fx
~Gx)
I.
1.
Ejercicios de Aplicacin
Simbolice y clasifique las siguientes proposiciones predicativas:

Scrates es ateniense.
2.
Todos los nios son inocentes.
3.
Ciertos polticos son demcratas.
4.
Ningn filsofo es escptico.
5.
Algunas justificaciones no son vlidas.
6.
Descartes fue un brillante matemtico y un filsofo profundo.
7.
Si ngel estudia obtendr su ttulo.
8.
ngel estudia obtendr su ttulo si y slo si estudia.
9.
Pablo lleg temprano a clase.
10.
Algunos estudiantes son atentos.
II.
1.
Determine cules de las siguientes frmulas representan funciones y cules funciones proposicionales:
Fx
( x ) Fx
2.
Fx Gx
3.
Fa ( x ) Gx
4.
( x ) Fx Ga
5.
III.
1.
Simbolice cuantificacionalmente:
Todas las secretarias son pelirrojas.
2.
Ningn lcali es cido.
3.
Algunos docentes son polglotas.
4.
Algunos vertebrados no son mamferos.
Lgica
FILIAL JAEN
5.
Todos los problemas no son insolubles.
6.
Todas las mujeres no son sinceras.
7.
Las colegialas son romnticas.
8.
Las estrellas brillan.
9.
Los timbales y las campanas son instrumentos de percusin.
10.
Los fsicos y los astrnomos son cientficos.
11.
Ningn payaso que sea equilibrista es tmido.
12.
Ninguna mujer indiscreta puede ser secretaria.
13.
Ningn Filsofo es fantico del ftbol o del box.
14.
No es el caso de que algunos caballos no sean equinos y mamferos.
15.
No existen envidiosos que no sean infelices.
16.
Ningn insecto es vertebrado. Por lo tanto, algunos no insectos no son invertebrados.
17.
Todas las aleaciones de cobre son metales, pero ningn metal es no conductor. Luego, todas las
aleaciones de cobre son conductores.
18.
Todos los jaenos son peruanos y Jos es jaeno. Luego, Jos es peruano.
19.
Ninguna muchacha es bella si se maquilla.
20.
Algunos alumnos aprobarn el curso si estudian.
NOTA:
5-6
Las proposiciones cuantificacionales universales que niegan el verbo copulativo (el que une los dos
predicados de la proposicin) se simbolizan con una negacin delante del cuantificador.
7-8
Las oraciones que empiezan con un artculo se refieren a totalidades, por lo que corresponde
simbolizarlas con un universal.
9-13 La y del lenguaje natural en el antecedente de una proposicin de tipo universal se simboliza con una
disyuncin. Se utilizar una conjuncin cuando el antecedente conste de dos predicados que deban cumplirse
conjuntamente.
14-18 Aparecen proposiciones en las que la jerarqua principal no la tiene un cuantificador.
19-20 El condicional que aparece al final afecta slo al segundo trmino de las mismas.
TRABAJO ENCARGADO
I.
Simbolice y clasifique las siguientes proposiciones predicativas:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
Scrates es ateniense.
Ciertos polticos son demcratas.
Ningn filsofo es escptico.
Algunas justificaciones no son vlidas.
Descartes fue un brillante matemtico y un filsofo profundo.
Si ngel estudia obtendr su ttulo.
ngel obtendr su ttulo si y slo si estudia.
Pablo lleg temprano a clase.
Algunos estudiantes son atentos.
II.
Simbolice cuantificacionalmente:
1.
2.
3.
4.
5.
6.
7.
Todas las secretarias son pelirrojas.

Todas las secretarias no son pelirrojas.
Algunas secretarias son pelirrojas.
Algunas secretarias no son pelirrojas.
Ningn lcali es cido.
Algunos docentes son polglotas.
Algunos vertebrados son mamferos.
Lgica
FILIAL JAEN
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
Algunos vertebrados no son mamferos.

Ningn payaso que sea equilibrista es tmido.
Ninguna mujer indiscreta puede ser secretaria.
Ningn Filsofo es fantico del ftbol o del box.
Todos los vertebrados son mamferos.
Todos los problemas no son insolubles.
Todos los problemas son solubles.
Todos los problemas no son solubles.
Algunos problemas no son insolubles.
Las colegialas son romnticas.
Las estrellas brillan.
Los timbales y las campanas son instrumentos de percusin.
No es el caso de que algunos caballos no sean equinos y mamferos.
No existen envidiosos que no sean infelices.
No existen envidiosos que sean infelices.
Todos los envidiosos son infelices.
Todos los envidiosos no son infelices.
Todos los envidiosos son felices.
Todos los envidiosos no son felices.
Ningn insecto es vertebrado. Por lo tanto, algunos no insectos no son invertebrados.
Todas las muchachas son bellas si se maquillan.
Algunos alumnos aprobarn el curso si estudian.
Todos los alumnos aprobarn el curso si estudian.
III.
Utilice las Leyes de intercambio de cuantificadores y haga el intercambio segn

corresponda:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
Todos los hombres son mortales.

Algunos hombres no son mortales.
Ningn hombre es mortal.
Algunos hombres son mortales.
Algunos nios son inocentes.
Ningn nio es inocente.
Algunos nios no son inocentes.
Todos los rboles son verdes.
Todos los rboles no son verdes.
algunos rboles son verdes.
Ningn rbol es verde.
10. LGICA DE CLASES:
Se entiende por clase a cualquier tipo de coleccin de entidades con propiedades comunes.
Ejemplo:
la clase de los jaenos
La clase de los nmeros pares.
La clase de los catlicos.
Tambin se puede usar como sinnimo de clase la palabra conjunto.
Se dice que los miembros de una clase o conjunto pertenecen a la clase dada.
Ejemplos:
1.
Carlos es jaeno.
2.
11 es un nmero primo.
3.
Martn es catlico.
En este caso Carlos, 11 y Martn son los miembros, y jaeno, nmero primo y catlico son las clases
consideradas.
Lgica
FILIAL JAEN
As podemos afirmar correctamente que:
1.
Carlos es miembro de la clase de los jaenos.
2.
11 es miembro del conjunto de los nmeros primos.
3.
Martn es miembro dela clase de los catlicos.
Si reemplazamos cada uno de los miembros por las letras minsculas a, b y c respectivamente y de
igual modo cada uno de los predicados por las letras maysculas A, J y C se tiene simblicamente:
a A
bJ
se lee: b pertenece a la clase J
cC
se lee: c pertenece a la clase C
se lee: a pertenece a la clase A
11. NOCIN DE CLASE:

Una clase o conjunto es una entidad abstracta, an cuando sus miembros son entidades concretas.
En los ejemplos: Carlos, 11 y Martn son entidades concretas mientras que los predicados son entidades
abstractas.
Formalmente se expresa:
{ x /Jx }
A la clase de todos los individuos que tienen la propiedad de ser jaenos y se lee: para cualquier x tal que x
tiene la propiedad J, siempre y cuando J represente a los jaenos
12. REPRESENTACIN DE LAS CLASES EN LOS DIAGRAMAS:
A. Clase Universal:
La clase Universal es la clase que contiene todo. Es el dominio de individuos a los que se refiere, nuestro
discurso. Es la clase que obra como universo de un determinado contexto, de ah el nombre de universo del
discurso.
Simblicamente se expresa por U, y formalmente se define como sigue:
U= { x / x=x }
y se lee: para cualquier x tal que x es idntico a x es satisfecho por cualquier elemento.
Ejemplo:
1.
Si
U= {2 ; 4 ; 6 ; 8 ;10 }
entonces cualquiera de las interpretaciones siguientes es verdadera con
respecto a U:
2 U , 4 U ,6 U ,8 U ,10 U
En el diagrama la clase universal se representa por un rectngulo, de la siguiente manera:
10
4
Lgica
FILIAL JAEN
B.
Clase Vaca:
La clase Vaca o nula es la clase que no tiene elementos. Es la clase que est implcitamente incluida en todas clases.
Su smbolo es
, formalmente se define:
=[ x / x x ]
y se lee: para cualquier x tal que x es diferente de x no es satisfecho por ningn elemento.
Ejemplo:
A.
En el diagrama la clase vaca. Por ejemplo si a es una clase vaca, se tiene:
Y simblicamente se expresa:
A=
13. OPERACIONES CON CLASES:
A.
En la Lgica de clases pueden efectuarse operaciones introduciendo las definiciones de

complemento, unin, interseccin y diferencia.
Complemento:
El complemento de una clase A es la clase formada por todos los miembros que no pertenecen a
A. El smbolo del complemento es
y se coloca en la parte superior de la clase que designa.
Formalmente se designa como:
[x/ x x]
A=
Y se lee: para cualquier x tal que x no es miembro de A.
U
A
Ejemplos:
Lgica
FILIAL JAEN
1.
si
U= {3 ; 4 ; 5 ; 6 ; 7 ; 8 ; 9 }
A= {3 ; 5 ; 6 }
entonces
{4 ; 7 ; 8 ; 9 }
A=
2.
si
U= { rboles }
y,
A= { pinos }
entonces
A={todoslos
rboles que no son pinos
B.
Unin:
La unin o suma de dos clases A y B es la clase formada por todos los miembros que pertenecen a A B a
ambas clases.
Formalmente se define
A B={ x /x A x B }
y se lee: para cualquier x tal que x pertenece a A o x pertenece a B
AUB
Ejemplo:
1.
A = { 3 ,4 ,7 ,9}
B = { 5 ,6 ,9 ,12}
Si
entonces
AUB = { 3,4 ,5 ,6 ,7 ,9 ,12}
C.
Interseccin:
La interseccin de dos clases A y B es la clase formada por todos los miembros que pertenecen a la vez a A y a B.
Formalmente se define:
A B = { x / x A x B}
y se lee: para cualquier x tal que x pertenece a A y x pertenece a B
B
.x
Ejemplo:
A B
Lgica
FILIAL JAEN
A = { 2 ,3 ,4 ,8}
1.
B = { 2 ,4 ,6 }
Si
D.
A B = { 2 ,4}
entonces
Diferencia:
Se llama diferencia de dos clases A y B es la clase formada por todos los miembros que son de A y no
pertenecen a B.
A B = { x / x A x
B}
y se lee: para cualquier x tal que x pertenece a A pero x no pertenece a B
B
x
A-B
Ejemplo:
1.
A= {1 ; 2 ; 3 ; 4 }
Si
B={ 3 ; 4 ; 5; 6 }
entonces
AB={ 1; 2 }
14. RELACIONES ENTRE CLASES:
A.
Entre las primeras relaciones se tienen la inclusin, la igualdad y la exclusin de clases.
Inclusin:
Se dice que una clase A est incluida en una clase B cuando todos los miembros de A son miembros de B.
tambin se dice que A es subclase propia de B
A B={ x /x A x B }
y se lee: para cualquier x tal que si x pertenece a A entonces x pertenece a B
A
A
Ejemplo:
1.
B.
La clase de los animales mamferos est incluida en la clase de animales vertebrados.
Igualdad:
Se dice que una clase A es igual a una clase B cuando todos los miembros de A son miembros de B y
cuando todos los miembros de B tambin son miembros de A.
Lgica
FILIAL JAEN
A=B={ x /x A x B }
y se lee: para cualquier x tal que si x pertenece a A si y slo si x pertenece a B
B
A
C.
Exclusin:
Se dice que una clase A est excluida de una clase B cuando ningn miembro de A es miembro de B.
A B = { x / x A x
B}
y se lee: para cualquier x tal que si x pertenece a A entonces x no pertenece a B
B
x
Ejercicios:
U = { 1,2 ,3 ,4 ,5}
1.
Calcular:
Dados los conjuntos:
A = { 1,2 ,4}
B = { 3,5}
C = { 1,3,5}
,
A
a.
A B
b.
c. C-B
A C
d.
( A B) C
e.
2.
U = { 2 ,4 ,6 ,8 ,10} A = { 2 ,4 ,6}
Dados los conjuntos:
Calcular.
B = { 6 ,8 ,10}
C = { 2 ,4 ,8 ,10}
,
( A - B) ( A B)
a.
Lgica
FILIAL JAEN
( A B ) ( B - A)
b.
c.
d.
e.
( A B ) - ( B - A)
( A - B ) ( A B)
( A B ) ( B C )
( A B C) - A
f.
( A C ) ( B C)
g.
( C - A) - ( B - A)
h.
PRACTICA DIRIGIDA
1.
Diga cules son proposiciones y cules funciones proposicionales?
a)
Fa
b)
Gab
c)
Fx Ga
2.
3.
d)
( x ) ( Fx Gx)
e)
Fa Gb
f)
( x ) Fx Hy
Convierta en proposicin cada una de las siguientes funciones proposicionales

4.
a)
d)
Fx Ga
b)
e)
Gxy
Fx Gx
c)
f)
( x ) Fx Hy
5.
6.
Fx Gx
Fx ( y ) Hy
Formalice las siguientes proposiciones singulares

7.
a)
b)
c)
d)
Pedro es abogado
Pedro y Daniel son ingenieros
David y Goliat son hermanos
Pedro es poeta y literato
e) Mara y Jos son esposos

f) Es falso que Pedro y Daniel sean
filsofos
g) Ni Pedro ni Daniel son escpticos
Lgica
FILIAL JAEN
h) Juan y Luis no son mdicos

8.
9.
Formalice las siguientes proposiciones cuantificadas

10.
a)
b)
c)
d)
e)
Todos son profesores

Todos los penalistas son abogados
Ningn adolescente es congresista
Algunos musulmanes son talibanes
Ningn es mentiroso
11.
12.
f) No todos los peruanos son tacneos

g) Existe al menos un mdico que no es
otorrinolaringlogo
h) Ningn universitario es autista
Escriba el equivalente aplicando las reglas de intercambio de cuantificadores

13.
( x ) ( Fx Gx )
a)
e)
( x ) Fx
b)
( x ) Fx
f)
( x ) Fx
c)
( x )( Fx Gx )
g)
( x ) ( Fx Gx )
d)
( x ) ( Fx Gx )
h)
( x ) ( Fx Gx )
14.
15.
Escriba el equivalente de las siguientes proposiciones aplicando las reglas de

intercambio de cuantificadores
16.
a)
b)
c)
d)
e)
17.
18.
Ningn hombre es inmortal

Algunos polticos son deshonestos
Ningn peruano es chileno
Algunos artistas no son pintores
Todos
los
universitarios
son
estudiantes
f)
Es falso que ningn poltico sea

irresponsable
g) Es falso que algunos congresistas no
sean peruanos
h) Todos los americanos no son
europeos
Escriba el equivalente de las proposiciones del ejercicio (6) aplicando las

reglas de las proposiciones contradictorias
19.
U 1,2 ,3 ,4 ,5 ,6 ,7 ,8 ,9 ,10 ,11 ,12 ,
A 2 ,4 ,6 ,8 ,10 ,12 ,
20. Dados los conjuntos:
B 1,3 ,5 ,7 ,9 ,11 , C 2 ,4 ,8
D 2 ,3 ,4 ,5 ,6 ,7 ,8
21.
A
a.
A B
b.
c. C - B
A C
d.
A B C
e.
j.
E 2 ,3 ,5 ,7 ,11
. Calcular:
A - B A B
f.
g.
A - B A B
A C A B
h.
A B
i.
k.
Lgica
FILIAL JAEN
l.
m.
n. UNIDAD IV:
1.
CIRCUITOS
INTRODUCCION
o.
Las computadoras electrnicas es un ejemplo de aplicacin de las leyes lgicas. Puesto que la construccin
de las mquinas electrnicas se basa en la construccin de circuitos electrnicos y sta es posible mediante la
aplicacin de las leyes de la lgica proposicional.
p.
La aplicacin de la lgica proposicional a los circuitos elctricos es posible en virtud del isomorfismo existente
entre ambos. Llamamos isomorfismo a la relacin de igualdad estructural que existe entre dos objetos.
q.
En efecto, el matemtico e ingeniero norteamericano Claudio Shannon uno de los diseadores de las
modernas computadoras descubri, en 1936, el isomorfismo (igualdad de formas bsicas) existentes entre la lgica
de proposiciones y la teora de los circuitos elctricos.
r.
Gracias a este descubrimiento se ha desarrollado una teora sistemtica de los circuitos elctricos y sta ha
hecho posible resolver cualquier problema concerniente a la construccin y funcionamiento de estos circuitos bsicos
de las computadoras electrnicas.
s.
Para establecer el isomorfismo entre ambas teoras es necesario considerar slo 3 funciones lgicas: la
conjuncin, la disyuncin y la negacin. Como a travs de esas 3 funciones bsicas se puede definir las dems
funciones lgicas, entonces el isomorfismo es total.
t.
2.
CIRCUITOS ELECTRICOS:
u.
Se denomina circuito elctrico a un ensamblaje de interruptores automticos que permiten el paso de la
corriente elctrica o la interrumpen. Por lo tanto circuito elctrico es toda transmisin de impulsos elctricos. Los
circuitos elctricos reales tienen los siguientes elementos:
Fuente de energa (batera, pila, tomacorriente)
Cable de transmisin
Interruptores (llamados as porque interrumpen o permiten el flujo de electricidad)
Resistencia o receptor de informacin (foco, lmpara)
v.
w.
Circuito Elctrico
x.
La energa parte del polo negativo de la fuente y se transmite por el cable llega hasta el foco (que se prende)
y viaja por el cable hasta llegar al polo positivo de la fuente.
y.
3.
CIRCUITOS LOGICOS:
z.
Son estructuras formales (sistemas abstractos) que representan sistemas para la transmisin de informacin
de toda ndole (desde la electricidad hasta datos informticos) simulando el comportamiento real de un circuito
elctrico.
aa. A un interruptor se puede representar por medio de una proposicin p y viceversa, de tal manera que el valor
de verdad de la proposicin p se identifique con el paso de la corriente en este caso se dice que el circuito est
cerrado y cuando el valor es falso con la interrupcin de la corriente en este caso se dice que el circuito est abierto.
Lgica
FILIAL JAEN
ab.
ac.
Circuito Lgico
ad.
ae. La verdad o la falsedad de una proposicin puede representarse por 1 y 0. Mientras que el 1 indica
presencia, el 0 indica ausencia, de ah que 1 y 0 se asocian a lo verdadero y lo falso.
af.
PRIMER ISOMORFISMO
ag. Una proposicin simple puede ser verdadera o falsa. De igual manera podemos decir que un interruptor
puede estar cerrado o abierto. Ser verdadero es como estar cerrado y ser falso es como estar abierto. Las
posibilidades son anlogas:
ah.
V = 1 = interruptor cerrado pasa la informacin
ai.
V = 0 = interruptor abierto no pasa la informacin
aj.
ak.
SEGUNDO ISOMORFISMO
al.
Una proposicin compuesta puede ser verdadera o falsa. De igual manera, si fluye la informacin entonces el
foquito encender, y si no fluye entonces el foquito no encender.
am. El estado de encendido y apagado corresponden a los valores de verdad y falsedad respectivamente. De
nuevo, las posibilidades son anlogas:
an.
V = 1 = foco prendido la informacin est pasando.
ao.
F = 0 = foco apagado la informacin no est pasando.
ap.
aq.
TABLA DE ISOMORFISMO
ar.
as. ESTADO
LOGICO
at.
INTERRUPTOR
au. SITUACION DEL CIRCUITO

ax. Apagado
av. F = 0
aw. Abierto
ay. V = 1
az. Cerrado
ba. Encendido
bb.
bc. El interruptor determina si la informacin pasa o no pasa. El foquito forma parte del cable y, por tanto,
tambin su situacin depende de los interruptores.
bd.
4.
TIPOS DE CIRCUITOS:
4.1. CIRCUITO EN SERIE: Es aquel que est constituido por interruptores situados uno detrs de otro. Basta que uno
de los interruptores est abierto para que el foco no prenda. Se le representa mediante una conjuncin. Por lo
tanto, el circuito en serie y la conjuncin son dos funciones isomrficas tal como se observa en el siguiente
cuadro:
be.
bf.
p
bi.
bg.
bh.
Circuito Lgico
pbl.
bj.
1
p q
bk.
Lgica
FILIAL JAEN
bm.
1
bn.
0
bq.
0
br.
bu.
0
bv.
0
pbp.
bo.
bs.
bt.
bx.
bw.
by.
bz. En consecuencia, para que la corriente pase y se prenda el foco, es necesario que los interruptores estn
cerrados. Basta que uno de los interruptores este abierto para que la corriente no pase y no pueda encenderse el
foco. Asimismo, si los interruptores estn cerrados asumen el valor 1; en cambio, si los interruptores estn
abiertos, asumen el valor 0. Finalmente, el diseo del circuito en serie nos muestra que ste se comporta
exactamente igual que una conjuncin. Por lo tanto, en el lenguaje lgico este circuito se expresa a travs de la
p q
frmula conjuntiva:
ca.
4.2. CIRCUITO EN PARALELO: Es aquel que est constituido por interruptores situados uno al lado del otro. Basta
que uno de los interruptores este cerrado para que el foco prenda. Se le representa mediante una disyuncin.
Por lo tanto, el circuito en paralelo y la disyuncin son dos funciones isomrficas tal como se observa en el
siguiente cuadro
cb.
cc.
p
cf.
1
cd.
p q
ce.
Circuito Lgico
cg.
1
ch.
ci.
cj.
1
ck.
0
cl.
1
cm.
cn.
0
co.
1
cp.
1
cq.
cr.
0
cs.
0
ct.
cu.
cv.
cw. En consecuencia, para que la corriente pase y se prenda el foco es suficiente que uno de los interruptores
est cerrado. Asimismo, si los interruptores estn cerrados, entonces asumen el valor 1; mientras que si estn
abiertos, entonces asumen el valor 0. Finalmente, el diseo del circuito en serie nos muestra que ste se
comporta exactamente igual que una disyuncin. Por tanto, en el lenguaje lgico este circuito se expresa a travs
de la frmula disyuntiva: p
q.
cx.
cy.
5.
SIMBOLIZACION DE CIRCUITOS:
cz. Circuito en Serie:
da.
db.
Lgica
FILIAL JAEN
dc. Circuito en Paralelo:
dd.
de.
df.
dg.
dh. Proposicin Simple:
di.
Una proposicin simple se representa mediante un circuito con un solo interruptor. Ejemplo:
p
dj.
dk.
dl.
Cuando encontremos proposiciones simples negadas las representaremos de la siguiente manera. Ejemplo:
dm.
p
dn.
do.
6.
CONSTRUCCION DE CIRCUITOS
dp. Sobre la base de estas consideraciones es posible, construir circuitos para frmulas conjuntivas o
disyuntivas.
dq.
Ejemplos:
a)
r ( p q )
h)
[ p ( q p ) q ] p
b)
( p q ) r
i)
{[ ( r q ) p ] r } q
c)
( p q ) ( p q )
j)
[ ( p q ) ( p ( p q ) ) ]
d)
( p q ) ( p q )
k)
e)
[ ( p q ) ( p q ) ] ( p q )
l)
f)
[ p q ( p q ) ] [ ( p q ) p ]
g)
( p q ) [ ( q ( r q ) ) ( p q ) r ]
( p q ) ( p q )
[ ( p q ) ( p r ) ( r q p ) ]
m)
[ p ( p r ) ] [ q ( r p ) ] r
n)
o)
7.
( p q ) [ ( r s ) ( s r ) ] ( p q )
CAMBIOS DE CIRCUITOS LOGICOS A ESQUEMAS MOLECULARES:

p)
q)
Consiste en expresar los circuitos lgicos a frmulas moleculares (esquemas moleculares).

Ejemplos:
r)
1)
r
p
~q
q
s)
t)
u)
~r
[ p ( r q ) ] ( q r )
2)
p
~p
p
~p
{ p [ p ( p q ) ]} p
v)
w)
x)
y)
z)
~q
3)
4)
r
p
r
t
p
p
r
p
q
aa)
ab)
ac)
ad)
ae)
af)
q
5)
6)
7)
p
p
q
p
ag)
ah)
q p
ai)
8)
q
p
q
p
aj)
ak)
p
p
q
9)
p
q
p
q
p
q
al)
q
p
r
p
r
p
q
r
r
am) 10)
8.
an)
ao)
SIMPLIFICACION DE CIRCUITOS:
ap)
1.
aq)
2.
3.
as)
a p ( q r ) ( p q ) ( p r ) b p (q r) (p q)( p r )
at)
c p ( q r ) ( p q ) ( p r ) d p ( q r ) ( p q ) ( p r )
au)
Leyes De Morgan
a p q p q b ( p q ) p q
ay)
Leyes del Bicondicional
az)
6.
a ( p q ) p q b ( p q ) p q
aw)
Leyes del Condicional
ax)
5.
a p p p b p p p
ar)
Leyes Distributivas
av)
4.
Para la simplificacin de circuitos emplearemos las siguientes equivalencias tautolgicas:
Ley de la Idempotencia
a p q ( p q ) (q p)b p q ( p q ) ( p q) ( p q )
ba)
Leyes de la Absorcin
bb)
a p ( p q ) p b p ( p q ) p q
bc)
bd)
c p ( p q ) p d p ( p q ) p q
be)
bf) OBSERVACIN: A una tautologa se representa mediante un circuito siempre cerrado (donde la corriente
siempre est circulando).
bg)
bh) Ejemplos:
1.
Aplicando las equivalencias tautolgicas simplificar los siguientes esquemas moleculares y construir sus
circuitos lgicos:
p( p q)
a)
p ( q p )
b)
c)
p q
d)
[ p(
e)
{[ ( r q )
f)
( p q ) [( p q ) ( p q ) ]
g)
[ ( p q ) p ] [ ( p q)
h)
[ ( p q ) ( q p ) ] ( p q )
q r )]
p ( q r ) ]}
p]
( p q ) ( p q )
i)
j)
[ ( p q ) q ] p
k)
p ( q r ) ] [ ( p q ) ( p r ) ]
{[
l)
( p q ) q ] [ ( p q ) ]}
m)
[ ( p q) ( q p) r ] p
n)
( p q ) [ p ( q p ) ]
o)
[ ( p q ) q ] p
bi) EJERCICIOS DE APLICACIN
1)
2)
bj)
Construir un circuito para cada uno de los siguientes esquemas moleculares
bk)
a)
[ ( p q) ( r s ) ]
b)
[( p q ) (r s )]
c)
[ ( p q ) p ] ( q p )
d)
{[ ( q ) ( q ) ] [( p ) ( q ) ] } ( p q )
e)
p ( p q )
f)
[ ( p q) (q r ) ]
g)
p ( q p )
h)
{[ ( r q ) p ] r } q
i)
[ ( p q ) ( p r ) ( r q p ) ]
j)
( p q ) ( p q )
bl)
bm)
Hallar la proposicin equivalente ms simplificada de los siguientes circuitos:
bn)
p
bo) a)
bp) c)
b)
p
r
bq) d)
e)
p
p
p
q
q
r
r
q
r
q
p
r
br) f)
bs) h)
q
r
g)
p
p
p
r
bt) i)
r
t
p
q
p
q
q
bu) j)
p
t
q
bv) TRABAJO ENCARGADO

bw)
bx) PRACTICA DIRIGIDA
by)
bz)
p
q
q
r

LÓGICA Administración

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

LÓGICA Administración

Cargado por

Copyright:

Formatos disponibles

Lgica

UNIVERSIDAD ALAS PERUANAS

NOCIONES BASICAS DE LA LGICA PROPOSICIONAL

Einstein fue el creador de la teora de la relatividad

El Per est al norte del Ecuador

En estos ejemplos a) y b) son proposiciones: a) es verdadera y b) es falsa. En consecuencia, la verdad y la

Si eres limeo, entonces eres peruano

Ningn peruano es chileno

La Matemtica es una aproximacin si y slo si es un clculo. Si la matemtica es un clculo entonces la aritmtica

Profesor: Lic. Javier Saldarriaga Herrera

i llego tarde a la ceremonia de graduacin de Administracin, entonces no podr ingresar y se postergar mi

Profesor: Lic. Javier Saldarriaga Herrera

FUNCIONES BSICAS DEL LENGUAJE:

Profesor: Lic. Javier Saldarriaga Herrera

Las lluvias han provocado inundaciones en el norte del pas.

Por el Oeste, el Per limita con el Ocano Pacfico.

Bravo! Ganamos el partido.

Dios mo, Dios mo, por qu me has desamparado?

Oh si un instante contra el pecho mo

Al entrar cierre la puerta.

Cunto vale este libro?.

LAS FUNCIONES MLTIPLES DEL LENGUAJE:

Si al pasar por una heladera la dama dice:

Sabes que el Presidente de la Repblica viaj de urgencia a la frontera del pas?

1.3. EL LENGUAJE CIENTIFICO:

+ designa la suma de cantidades

1.4. EL LENGUAJE LGICO:

Profesor: Lic. Javier Saldarriaga Herrera

Si las premisas de una inferencia son:

Todos los nmeros pares son divisibles por dos.

Ocho es un nmero par.

La conclusin que se sigue es:

Ocho es divisible por dos.

Las tropas iraques invadieron Kuwait el 2 de agosto de 1990.

El Papa Juan Pablo II visit el Per en 1985.

Oh ms dura que mrmol a mis quejas,

El clera no es un problema clnico sino un problema ecolgico y ambiental.

1.5. FALACIAS DEL LENGUAJE COMN:

Profesor: Lic. Javier Saldarriaga Herrera

Falacias de atingencia: se cometen cuando en el razonamiento influye la conexin psicolgica

Argumentum ad Ignorantium: Es el argumento por la ignorancia. Se comete esta

Argumentum ad misericordiam: Es el argumento de un llamado a la piedad o a la

Argumentum ad Populum: Es el argumento dirigido al pueblo. Se comete esta falacia

Argumentum ad Verecundiam: es el argumento de apelacin a la autoridad. Se comete esta falacia

Profesor: Lic. Javier Saldarriaga Herrera

Falacias de Ambigedad: Llamadas tambin Falacias de Claridad. Contienen palabras o frases

Profesor: Lic. Javier Saldarriaga Herrera

QU FALACIA SE COMETE EN CADA UNO DE LOS SIGUIENTES ARGUMENTOS? JUSTIFIQUE SU

El perro de Pepito es carioso. Come de todo. Le gustan mucho los nios.

En una entrevista al astronauta Gagarin:

EL CARNICERO DE BAGDAD Saddam Hussein es un guerrero sanguinario. Usara las armas

Profesor: Lic. Javier Saldarriaga Herrera

Usted ha perdido cuernos? Si o no?

Un dilogo entre dos mujeres:

Luisa : Elia te sientes una mujer realizada?

Elia : Plenamente, hija,! Ya he realizado mi segundo divorcio y me voy por el tercero.

Marx es comunista, en consecuencia todo lo que dice sobre la economa es falso

Se vende casacas de cuero para caballeros de becerro.

1.6. LOGICA PROPOSICIONAL

Profesor: Lic. Javier Saldarriaga Herrera

1.7. PROPOSICION LOGICA:

- q: Lima es la capital del Per.

- r: 107 + 301 = 48.