Taller de Logica Proposicional

MDULO 2
2 Desarrollo del
pensamiento lgico
CONTENIDO
PORTADA 1
1. PRESENTACIN 2
2. OBJETIVOS .. 2
3. METODOLOGA ... 2
4. EVALUACIN .... 3
5. ACREDITACIN .. 3
6. BIBLIOGRAFA . 3
7. CONTENIDOS . 4
1. PRESENTACIN
El Taller de DESARROLLO DEL PENSAMIENTO LGICO est dirigido a los

estudiantes del mdulo dos, de la Carrera de Fsico-Matemticas del rea de la
Educacin, el Arte y la Comunicacin, como base que apoye su formacin profesional
especializada y le permita comprender e interpretar los fundamentos de la matemtica
que aborde en cada uno de los mdulos de la carrera y luego en su prctica
profesional.
Se desarrollar bajo la orientacin conceptual y metodolgica que orienta el Sistema

Acadmico Modular por Objetos de Transformacin SAMOT, e impulsa con rigurosidad
la aplicabilidad de los fundamentos cientficos, considerando las necesidades de los
estudiantes e incorpora la creatividad, valores y desarrollo de la inteligencia como ejes
transversales, sin perder la alegra, la creatividad y la interlocucin.
2. OBJETIVOS
2.1. OBJETIVOGENERAL
Comprender el papel que cumple el Pensamiento Lgico en el aprendizaje y

aplicacin de la matemtica, regocijarse con su uso y reconocer el valor del
pensamiento lgico, analtico, crtico y propositito en la bsqueda de
soluciones de los problemas naturales y sociales.
2.2. ESPECFICOS
Reconocer la importancia del juicio, la oracin y la proposicin.
Distinguir la importancia de los conectivos lgicos.
Explicar el clculo proposicional.
Aplicar las leyes del clculo proposicional.
Comprender y utilizar los mtodos para demostrar la validez de una
inferencia lgica
Interpretar los circuitos lgicos.
3. METODOLOGA
El proceso ser participativo, dinmico, integral y productivo, donde la aprehensin de

la realidad que modifica los esquemas de los participantes constituye los aprendizajes
significativos.
El trabajo acadmico, se apoya en procesos y tcnicas grupales que promuevan la

comunicacin en el grupo y el logro de conocimientos individuales significativos que
MDULO 2 3
Desarrollo del pensamiento lgico
modifiquen los esquemas mentales

Los asistentes al curso cuentan con un documento gua que facilita y habilita la
participacin en su proceso de formacin, as como el uso de la INTERNET y
programas de computacin.
4. EVALUACIN
El proceso de evaluacin ser permanente y sistemtico que permitir la reorientacin

y mejoramiento del interaprendizaje, mediante la observacin directa por parte del
docente y la participacin fundamentada los estudiantes.
El taller es de aprobacin independiente y se enmarca en el Capitulo II De la

Evaluacin, Acreditacin y Calificacin de los Aprendizajes del Reglamento de
Rgimen Acadmico de la UNL.
5. ACREDITACIN
La acreditacin se cumplir a travs de la verificacin del cumplimiento de:
Tareas extra clase 20%

Trabajo en clase 20%
Pruebas 60%
TOTAL 100%
Debiendo alcanzar un promedio mnimo de 7/10 para aprobar el taller.
6. BIBLIOGRAFA
1. FIGUEROA G., Ricardo, Matemtica Bsica 1, 8va ed., Editorial Amrica, Lima-
Per, 2003, 699 pp.
2. LIPSCHUTZ, Seymour, Matemticas para Computacin, Editorial Calypso,

Mxico, 1983, 333 pp.
3. PROAO V., Ramiro, Lgica, Conjuntos y Estructuras, 2da ed., Quito-Ecuador,

1992, 242 pp.
4. BARRERO DE NUDLER, TELDA. Lgica dinmica: nociones tericas y ejercicios

con sus soluciones de lgica tradicional y simblica. Editorial Kapeluzs, Buenos
Aires.1969, 183 pp.
MDULO 2
4 Desarrollo del
pensamiento lgico
INTRODUCCIN
Aprender matemticas y fsica es muy difcil; as se expresan la mayora de

estudiantes de todos los niveles, sin embargo pocas veces se busca una explicacin
del porqu no aprenden las ciencias exactas los alumnos.
Los alumnos no aprenden ciencias exactas, porque no saben relacionar las

conocimientos que se proporcionan en la escuela (leyes, teoremas, frmulas) con los
problemas que se le presentan en la vida real. Otro problema grave es que el
aprendizaje no es significativo. El presente trabajo pretende motivar a los estudiantes
para que con ayuda de la lgica matemtica, l sea capaz de encontrar estos
relacionamientos entre los diferentes esquemas de aprendizaje, para que de esta
manera tenga una buena estructura cognitiva. Consideramos que si el alumno sabe
lgica matemtica puede relacionar estos conocimientos, con los de otras reas para
de esta manera crear conocimiento.
La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas
y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en
la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un
razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones,
sin embargo la lgica permite saber el significado correcto. En las matemticas para
demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en
investigaciones. En la computacin para revisar programas. En general la lgica se
aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento
lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que
realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona
desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede
pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes
no pint la parte alta porque se manchara lo que ya tiene pintado, tambin
dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de
derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.
La lgica es pues muy importante; ya que permite resolver incluso problemas a los que
nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y
apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos
inventos innovaciones a los ya existentes o simplemente utilizacin de los mismos.
Al presentar el documento lo hemos estructurado de la siguiente manera:

Primeramente se establece la importancia de la lgica matemtica, despus se habla
de la historia de la misma; la relacin de la lgica con otras ciencias; la divisin de la
Lgica; definimos el concepto de proposicin. Se establece el significado y utilidad de
conectivos lgicos para formar proposiciones compuestas. Ms tarde abordamos las
proposiciones condicionales y bicondicionales. Definimos tautologa, contradiccin y
contingente, y proporcionamos una lista de las tautologas ms importantes, as mismo
explicamos a que se le llama proposiciones lgicamente equivalente apoyndonos de
tablas de verdad. Para finalizar; abordamos los mtodos de demostracin: directo y por
contradiccin, en donde incluye reglas de inferencia y por ltimo estudiaremos los
circuitos lgicos.
MDULO 2 5
El objetivo de la presente gua de lgica matemtica es facilitar al estudiante el

estudio, comprensin y razonamiento de: categoras, conceptos, teoremas, axiomas y
postulados; as como tambin el anlisis de las proposiciones desde el punto de vista
de la lgica formal y simblica as como el desarrollo de ejercicios modelos que les
servirn de base para el cumplimiento de sus tareas. Trata adems de presentar las
explicaciones con ejemplos que le sean familiares. Nuestro objetivo es que el alumno
aprenda a realizar demostraciones formales por el mtodo directo y el mtodo por
contradiccin. Ya que la mayora de los libros comerciales nicamente se quedan en
explicacin y demostracin de reglas de inferencia. Consideramos que s el alumno
aprende lgica matemtica no tendr problemas para aprender ciencias exactas y ser
capaz de programar computadoras, ya que un programa de computadora no es otra
cosa que una secuencia de pasos lgicos, que la persona establece para resolver un
problema determinado.
Es importante mencionar que en las demostraciones no hay un solo camino para llegar
al resultado. El camino puede ser ms largo o ms corto dependiendo de las reglas de
inferencia y tautologas que el alumno seleccione, pero definitivamente deber llegar al
resultado. Puede haber tantas soluciones como alumnos se tenga en clase y todas
estar bien. Esto permite que el estudiante tenga confianza en la aplicacin de reglas y
frmulas. De tal manera que cuando llegue a poner en prctica esto, l sea capaz de
inventar su propia solucin, porque en la vida cada quien resuelve sus problemas
aplicando las reglas de inferencia para relacionar los conocimientos y obtener el
resultado.
HISTORIA DE LA LGICA
En el pasado las matemticas eran consideradas como la ciencia de la cantidad,

referida a las magnitudes (como en la geometra), a los nmeros (como la aritmtica), o
a la generalizacin de ambos (como en lgebra). Hacia mediados del siglo XIX, las
matemticas se empezaron a considerar como la ciencia de las relaciones, o como la
ciencia que produce condiciones necesarias. Esta ltima nocin abarca la lgica
matemtica o simblica, ciencia que consiste en utilizar smbolos para generar una
teora exacta de deduccin e inferencia lgica basada en definiciones, axiomas,
postulados y reglas que transforman elementos primitivos en relaciones y teoremas
ms complejos.
Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo

histrico. En realidad, las matemticas son tan antiguas como la propia humanidad: En
los diseos prehistricos de cermica, tejidos, y en las pinturas rupestres se pueden
encontrar evidencias del sentido geomtrico y del inters en figuras geomtricas. Los
sistemas de clculo primitivo estaban basados, seguramente, en el uso de los dedos de
una o dos manos, lo que resulta evidente por la gran abundancia de sistemas
numricos en los que las bases son los nmeros 5 y 10.
LAS MATEMTICAS EN LA ANTIGEDAD
Las primeras referencias a matemticas avanzadas y organizadas datan del tercer

milenio antes de cristo, en Babilonia y Egipto. Estas matemticas estaban dominadas
por la aritmtica, con cierto inters en medida y clculos geomtricos y sin mencin de
conceptos matemticos como los axiomas o las demostraciones.
MDULO 2
6 Desarrollo del
pensamiento lgico
Los primeros libros egipcios, escritos hacia el ao de 1800 A.C., muestran un sistema
de numeracin decimal con distintos smbolos para las sucesivas potencias de 10 (1,
10, 100), similar al sistema utilizado por los romanos. Los nmeros se representaban
escribiendo el smbolo del 1 tantas veces como unidades tena el nmero dado, el
smbolo del 10 tantas veces como decenas haba en el nmero, y as sucesivamente.
Para sumar nmeros, se sumaban por separado las unidades, las decenas, las
centenas de cada nmero. La multiplicacin estaba basada en duplicaciones
sucesivas y la divisin era el proceso inverso.
Los egipcios utilizaban sumas de fracciones unidad a, junto con la fraccin b, para
expresar todas las fracciones. Utilizando este sistema, los egipcios fueron capaces de
resolver problemas aritmticos con fracciones, as como problemas algebraicos
elementales. En geometra encontraron las reglas correctas para calcular el rea de
tringulos, rectngulos y trapecios, y el volumen de figuras como ortoedros, cilindros y,
por supuesto, pirmides. Para calcular el rea de un crculo, los egipcios utilizaban un
cuadrado de lado U del dimetro del crculo, valor muy cercano al que se obtiene
utilizando la constate (3.1416).
El sistema babilnico de numeracin era bastante diferente del egipcio. En el

babilnico se utilizaban tablillas con varias muescas o marcas en forma de cua
(cuneiforme); una cua sencilla representaba al 1 y una marca en forma de flecha
representaba al 10. Los nmeros menores de 59 estaban formados por estos smbolos
utilizando un proceso aditivo, como en las matemticas egipcias. El nmero 60, sin
embargo, representaba con el mismo smbolo que el uno, y a partir de ah, el valor de
un smbolo vena dado por su posicin en el nmero completo. Por ejemplo, un
nmero compuesto por el smbolo del 2 seguido por el del 27 y terminado con el del
10, representaba 2 x 602 + 27 x 60 + 10. Este mismo principio fue ampliado a la
representacin de fracciones, de manera que el ejemplo anterior poda tambin
representar 2 x 60 + 27 + 10 x (), o 2 + 27 x () + 10 x () 2. Este sistema,
denominado sexagesimal (base 60), resultaba tan til como el sistema decimal (base
10).
Con el tiempo, los babilonios desarrollaron unas matemticas ms sofisticadas que les
permitieron encontrar las races positivas de cualquier ecuacin de segundo grado.
Fueron incluso capaces de encontrar las races de algunas ecuaciones de tercer grado,
y resolvieron problemas ms complicados utilizando el teorema de Pitgoras. Los
babilonios compilaron una gran cantidad de tablas, incluyendo tablas de multiplicar y de
dividir, tablas de cuadrados y tablas de inters compuesto. Adems, calcularon no solo
la suma de progresiones aritmticas y de algunas geomtricas, sino tambin de
sucesiones de cuadrados.
Existen algunos personajes que los citaremos a continuacin que han hecho historia
ya sea por sus frases clebres o por su pensamiento, como son:
PARMENIDES: Negaba el cambio, ya que para l cambiar significaba que una cosa
deje de ser lo que es.
SCRATES: Uno de los grandes personajes de la historia: su frase clebre slo se

que nada se
MDULO 2 7
PLATN: Discpulo de Scrates, al contrario de lo de su maestro deca que el

individuo nace sabindolo todo, pues el alma antes de venir al mundo de lo material
existe en el mundo de las ideas, en donde todo es perfecto.
ARISTTELES: Es considerado el padre de la Lgica, sealaba que el ser humano
nace limpio de conocimiento, y que debe adquirirlos a travs de la vida.
En su obra organn trata sobre la lgica como mtodo del conocimiento.

Categoras o conceptos
Juicios o interpretaciones
Silogismos
Demostraciones
HERCLITO: Sealaba que todo lo que existe es obra del cambio y evolucin.
Dialctica o razonamiento.
DEFINICIN Y OBJETO DE LA LGICA
La palabra lgica se deriva de la palabra griega logos que significa razonamiento o

discurso.
La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un

nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido
un argumento dado. El razonamiento lgico se emplea en matemticas para demostrar
teoremas; en ciencias de la computacin para verificar si son o no correctos los
programas; en las ciencias fsica y naturales, para sacar conclusiones de
experimentos; en las ciencias sociales y en la vida cotidiana, para resolver una
multitud de problemas. Ciertamente se usa en forma constante el razonamiento lgico
para realizar cualquier actividad.
Definicin de lgica de acuerdo a algunos autores:
Para Gorski: Lgica es la ciencia de las formas del pensamiento cientfico estudiadas
desde el punto de su estructura; la ciencia de las leyes que deben observarse para
obtener un conocimiento inferido; la lgica estudia tambin los procedimientos lgicos
generales utilizados para el conocimiento de la realidad.
Segn Fingemann: Lgica en la ciencia de las formas y leyes del pensamiento, que
nos da normas para la investigacin cientfica y nos suministra un criterio de verdad.
Entonces se puede decir que la lgica en una ciencia que ensea a razonar con
exactitud y que posee un lenguaje exacto, el cual para su desarrollo utiliza reglas las
cuales nos permite obtener una conclusin.
Castro Guerrero nos dice que segn Gorski Tabant el objeto de la lgica como ciencia
es el estudio del pensamiento humano. El estudio de la lgica permite que el
estudiante adquiera habilidades para razonar ya sea verbal o matemticamente
utilizando un lenguaje simblico que expresa el aspecto cuantitativo de la realidad.
Existen adems otras definiciones:

MDULO 2
8 Desarrollo del
pensamiento lgico
Lgica es la ciencia que estudia la estructura del pensamiento, prescindiendo del

contenido.
Lgica tambin es la manera ordenada de pensar y de expresar nuestras ideas.
El objetivo principal de la lgica es analizar la estructura del pensamiento, es decir su

forma lgica para descubrir leyes y reglas.
RELACIN DE LA LGICA CON LAS DEMS CIENCIAS
Con la filosofa: por ser parte de ella.

Con la psicologa: por cuanto el pensamiento es un proceso psicolgico.
Con la gramtica: el pensamiento se halla unido al lenguaje, a travs del cual se da
forma y expresin del pensamiento, cuyo material final es la palabra.
Con la sociologa: por que el hombre piensa de acuerdo con las leyes sociales.
Con las matemticas: por que ambas disciplinas tienen carcter formal.
Con la biologa: Porque el hecho lgico es un hbito y todo hbito es un hecho
biolgico.
Con la fsica: Porque cuando la lgica nos dice que puede ser o no ser, se refiere a
objetos fsicos y stos son un captulo de la fsica que trata sobre objetos de
cualquier naturaleza.
DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN
El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir

una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento
que objetivamente es verdadero o falso. (Astudillo, Dolores; Inciso, Liliana).
El enunciado.- Es la expresin verbal o escrita del juicio.
Ejemplos:
Pedro es estudiante de la Universidad Nacional de Loja
x+2=7
3+2=5
No son enunciados:
Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!,

auxilio! te quiero!
Las oraciones imperativas. (rdenes), Ej.: Cierra la puerta; te vas afuera.
Las desiderativas. (Deseos, splicas). Ej.: Ojala no haya clases.
Las oraciones interrogativas. (Preguntas). Ej.: Qu hora es?
Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al

que se supone que uno de ellos (llamado conclusin) se desprende o infiere del o los
otros (llamados premisas). La pretensin de que la conclusin se deriva de las
premisas se manifiesta a travs de expresiones especiales como: por lo tanto, luego,
por consiguiente, etc.
MDULO 2 9
La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas

cosas a la vez. La proposicin es un elemento fundamental de la lgica matemtica;
generalmente se las expresa en oraciones declarativas o aseverativas, tales como:
Oraciones afirmativas. (Informan). Ej.: Maana es lunes.
Oraciones descriptivas. (Describen). Ej.: La tiza es blanca
Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno
A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se

explica el porqu algunos enunciados no son proposiciones. Las proposiciones se
indican por medio de una letra minscula, dos puntos y la proposicin propiamente
dicha.
Ejemplo.
p La tierra es plana.
q -17 + 38 = 21
r x > y-9
s La Liga de Loja ser campen en la presente temporada de ftbol.
t: Hola como estas?
w Lava el coche por favor.
Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto
son proposiciones vlidas. El inciso r tambin es una proposicin vlida, aunque el
valor de falso o verdadero depende del valor asignado a las variables x y y en
determinado momento. La proposicin del inciso s, es vlida Sin embargo los
enunciados t y w no son vlidos, ya que no pueden tomar un valor de falso o
verdadero, uno de ellos es un saludo y el otro es una orden.
Tarea:
Escribir 10 proposiciones vlidas y 10 invlidas.
Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se

denotar por la letra V o el 1 y si es falsa se denotar por F o por el 0. Si no se
puede determinar su valor de verdad, se podr analizar los posibles valores de verdad
(tablas de certeza).
CLASES DE PROPOSICIONES:
Las proposiciones se clasifican en proposiciones simples o atmicas y proposiciones

compuestas o moleculares:
Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.
Ejemplo:
MDULO 2
10 Desarrollo del
pensamiento lgico
p: Todo organismo viviente se adapta a su medio fsico.
q: Si un nmero es divisible por 4 tambin lo es por 2.
r: (a +b)2 = a2 + 2ab + b2
Proposiciones compuestas o moleculares.- Son aquellos enunciados que estn

formados por dos o ms proposiciones simples y unidos por trmino lgico.
Ejemplos:
p: La nia Mara canta y su hermano Luis toca el piano.

q: Ecuador es un pas Amaznico y latinoamericano.
Podemos observar en los ejemplos anteriores que tanto p como q estn compuestas de
dos proposiciones simples.
Los conectivos lgicos son elementos gramaticales que unen dos o ms proposiciones
simples; estos son:
CONECTIVOS LGICOS

OPERADOR LGICO LGICA SIMBLICA TERMINOLOGA LGICA
Negacin no
Conjuncin y
Disyuncin o
Disyuncin exclusiva v o en sentido excluyente
Conjuncin negativa ni.ni
Disyuncin negativa / nono
Condicional Si., entonces
Bicondicional Si y slo si
PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS
Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas

por varias proposiciones). Los operadores o conectores bsicos son:
CONJUNCIN ( ) QUE SE LEE Y
Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda
obtener un resultado verdadero. Su smbolo que se lee y. Se lo conoce como la
multiplicacin lgica y tiene estrecha relacin con la interseccin de conjuntos.
Ejemplo.
Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y

tiene corriente la batera. Simbolizando tenemos:
p: el conche enciende cuando tiene gasolina en el tanque

q: tiene corriente la batera.
MDULO 2 11
V(p) = V
V(q) = V
En consecuencia:
V(p q) = V
Otro ejemplo:
3 + 4 = 6 y 3 + 7 = 10
p: 3 + 4 = 6 V(p) = F
q: 3 + 7 = 10 V(q) = V
Por consiguiente:
V (p q) = F
De tal manera que la representacin del enunciado anterior usando simbologa lgica
es como sigue:
pyq
p pero q
p q; que se lee: p aunque q
p incluso q
p tambin q; etc.
Su tabla de verdad es:

p q p q
V V V
V F F
F V F
F F F
TAREA:
Escribir 5 ejercicios de conjuncin y determine el valor de verdad de cada uno.
LA DISYUNCION:
LA DISYUNCIN INCLUSIVA: ( ) QUE SE LEE: O.
Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente

se lo representa as: p q que se lee p q o ambas. El enunciado es verdadero
cuando alguna de las proposiciones es verdadera o ambas son verdaderas; Se conoce
tambin como la suma lgica y se relaciona estrechamente con la unin de conjuntos.
Ejemplos:
Sea el siguiente enunciado Una persona puede entrar al cine si compra su boleto u
obtiene un pase. Donde.
p: Una persona puede entrar al cine si se compra su boleto.

q: Obtiene su pase.
MDULO 2
12 Desarrollo del
pensamiento lgico
Simblicamente tenemos:
pq
V( p ) = V
V( q ) = V
En consecuencia: V (p q) = V
4+3=9o3+5=8
p: 4 + 3 = 9 V ( p) = F
q: 3 + 5 = 8 V (q ) = V
En consecuencia: V (p q) = V
p q p q
V V V
V F V
F V V
F F F
TAREA:
Escriba 5 ejemplos de disyuncin inclusiva y determine su valor de verdad.
DISYUNCIN EXCLUSIVA.- ( V ) QUE SE LEE O EN SENTIDO EXCLUYENTE
El enunciado es verdadera cuando p es verdadero y q es falso o viceversa.

Simblicamente se lo representa por p q que se lee p o q pero no ambas.
Ejemplos:
Carmen es hija de Jos de Vicente

p: Carmen es hija de Jos V(p) = V

q: Carmen es hija de Vicente V (q) = V
En consecuencia: V (p q) = F
(p q) que se lee: p q, pero no ambas.
25 = 6 o 3 + 9 = 7
p: 25 = 6 V (p) F
q: 3 + 9 = 7 V 8q) = F
En consecuencia: V (p q) = F
MDULO 2 13
TAREA:
Escribir 5 ejercicios de disyuncin exclusiva y determine el valor de verdad.
p q (p q)
V V F
V F V
F V V
F F F
CONJUNCIN NEGATIVA:
El enunciado es verdadero cuando las proposiciones simples que la forman son falsas.
La conjuncin negativa de dos proposiciones p y q, se representa por p q o por p

q se lee: ni p, ni q
Ejemplos:
ni 3 + 2 = 5, ni 2 + 4 = 6
p q
p: 3 + 2 = 5 V (p) = V
q: 2 + 4 = 6 V (q) = V
Consecuentemente tenemos que:

V (p q) = F
p: 3 + 2 5 V ( p) = F
q: 2 + 4 6 V ( q) = F;
Consecuentemente:
V ( p q) = F
Entonces se deduce que:

(p q) ( p q )

(p
p q
q)
V V F
V F F
F V F
F F V
MDULO 2
14 Desarrollo del
pensamiento lgico
TAREA: Escribir 5 ejercicios de conjunciones negativas y determinar el valor de verdad.
DISYUNCIN NEGATIVA:
El enunciado es falso cuando las proposiciones simples que la forman son verdaderas.
La disyuncin negativa de proporciones se representa por p / q; que se lee no no q.
Ejemplo:
No eres pintor o no eres artista p / q
p: eres artista V (p) = V

q: eres pintor V ( q) = V
En consecuencia:
V (p / q) = F
p: no eres artista V (p) = F

q: no eres pintor V (q ) = F
Consecuentemente:
V (p q) = F
Luego: p / q (p q )
p q (p/q)
V V F
V F V
F V V
F F V
Negacin ( ) no
Su funcin es negar la proposicin. Esto significa que s alguna proposicin es

verdadera y se le aplica el operador no se obtendr su complemento o negacin (falso).
Al negar una proposicin simple, se transforma en una proposicin compuesta Este
operador se indica por medio de los siguientes smbolos: (~, ) Ejemplo.
Ejemplos:
p: Patricio est estudiando en la sala V (p) = V

p: Patricio no esta estudiando en la sala. V ( p) = F
q: Mara es novia de Ivn V (q) = F

q: No es cierto que Mara es novia de Ivn V (q) = V

p p
V F
MDULO 2 15
F V
A veces la negacin de una proposicin simple se obtiene mediante otra proposicin

simple, as:
p: x es mortal
p: x es inmortal
q: y es par
q: y es impar
La negacin en matemticas se realiza as:
p: 2 + 3 = 5 V (p) = V
p: 2 + 3 5 V (p) = F
NEGACIN DE PROPOSICIONES COMPUESTAS:
Se puede tambin utilizar otras formas de negar como: no es el caso que; no es cierto
que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan
proposiciones compuestas)
No es el caso que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )

No es cierto que: 3 2 y 4 + 1 = 5; simblicamente tenemos: ( p q )
p: 3 2 V (p) = F
q: 4 + 1 = 5 V (q) = V
Consecuentemente:
V(pq)=V
TAREA: Escriba 5 ejemplos de negacin.
PROPOSICIONES CONDICIONALES ( ) que se lee entonces
Una proposicin condicional, es aquella que est formada por dos proposiciones
simples (o compuesta) p y q. La cual se indica de la siguiente manera: que se lee si
p, entonces q; simblicamente se la representa por:
Se lee Si p, entonces q
Si p, q
pq p, slo si q
p es necesario para q; etc. En este caso p: es el antecedente y q: es el
consecuente.
Se lee:
q puesto que p
MDULO 2
16 Desarrollo del
pensamiento lgico
q, si p
q cuando p
qp q cada vez que p
q dado que p
q porque p
q ya que p; etc. Se caracterizan porque despus de cada uno de
estos conectivos est el antecedente o condicin.
Ejemplo: Simbolice y determine el valor de verdad:
Un candidato a presidente del Ecuador dice: Si salgo electo presidente de la Repblica

del Ecuador, entonces recibirn un 50% de aumento en su sueldo el prximo ao. Una
declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente:
p: Si salgo electo Presidente de la Repblica del Ecuador V (p) = V

q: Recibirn un 50% de aumento en su sueldo el prximo ao V (q) = V
De tal manera que el enunciado se puede expresar de la siguiente manera: p q

El V( p q ) = V
Otro ejemplo:
5+7=12 8- 5 = 4 ; Simblicamente tenemos: p q

p: 5 + 7 = 12 V( p) = V
q: 8 5 = 4 V( q ) = F
Su valor de verdad es: V (p q ) = F

p q p q
V V V
V F F
F V V
F F V
Esto significa que una proposicin condicional es falsa cuando p = V y q = F; en los

dems casos ser verdadera.
VARIANTES DE LA CONDICIONAL
A toda proposicin condicional se le asocia tres proposiciones igualmente importantes,

que son: proposicin recproca, inversa y contra recproca.
Proposicin recproca.- Dada la proposicin condicional p q , se llama

proposicin recproca a la proposicin que se denota por: q p
Ejemplo:
Si y es par, entonces, y es mltiplo de 2 ; simblicamente: p q. Condicional
Si y es mltiplo de 2, entonces, y es par ; simblicamente: p q. Su recproca:
MDULO 2 17
Si b es perpendicular a c, entonces c es perpendicular a b.

La proposicin anterior simblicamente la denotamos por p q; mientras que la
proposicin recproca ser: q p.
c es perpendicular a b, si b es perpendicular a c.
Proposicin inversa. - Dada la proposicin condicional p q , se llama

proposicin inversa a la proposicin que se denota por: p q.
Ejemplo: Si Juan consigue la beca, entonces viajar a Francia; simblicamente

tenemos: pq
La proposicin inversa ser: " p q, ser:
Si Juan no consigue la beca, entonces no viajar a Francia.. Simblicamente tenemos:

" p q
Proposicin contra recproca.- Dada la proposicin condicional: p q, se

denomina proposicin contra recproca a la que se denota por: q p.
Ejemplo:
Si vivo en Cariamanga, vivo en la provincia de Loja; simblicamente: p q
La proposicin contra recproca ser : No vivo en la provincia de Loja, si no vivo en

Cariamanga ; simblicamente: q p
En los siguientes ejercicios escribir la proposicin dada en la forma si p entonces q;

determine su valor de verdad. A continuacin, escribir la recproca y la contrarecproca
y determinar la verdad o falsedad de cada una.
a) Las lechugas son verduras

b) Slo las rectas paralelas no se cortan
c) Slo las rectas perpendiculares forman ngulos rectos.
d) Un tringulo equiltero tiene tres lados iguales
e) Si a es mayor que b entonces b es mayor que a
f) Los tringulos issceles son equilteros
g) Un hombre natural de Zapotillo es natural de Loja
h) Si x = 4 entonces x2 = 16
i) Ningn profesor de idiomas tiene mala ortografa
j) Toda persona mayor de 18 aos puede votar.
PROPOSICIN BICONDICIONAL: ( ), QUE SE LEE SI Y SLO SI
Sean p y q dos proposiciones simples entonces se puede indicar la proposicin

bicondicional de la siguiente manera: p q; que se lee p si y solo si q
Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa

si y solo si q tambin es falsa. Ejemplo; el enunciado siguiente es una proposicin
bicondicional
MDULO 2
18 Desarrollo del
pensamiento lgico
Luis es buen estudiante, si y solo si; tiene promedio de diez
p: Lus es buen estudiante V (p) = V
q: Tiene promedio de diez. V (q) = V
Por consiguiente: V (p q) = V
p q p q
V V V
V F F
F V F
F F V
La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o

bien ambas verdaderas.
La proposicin bicondicional, tambin se forma por la conjuncin de una proposicin

condicional y su recproca, simblicamente tememos:
pq = pq qp
Ejemplo: Juan viajar a la ciudad de Cuenca si y slo si obtiene un prstamo en el

Banco de Loja; Simblicamente tenemos: q p
Equivale a decir: Si Juan viaja a la ciudad de Cuenca, entonces obtiene un prstamo

en el Banco de Loja, y si obtiene un prstamo en el Banco de Loja viajar a la ciudad
de Cuenca. Simblicamente tenemos: = p q q p
Por lo tanto la primera y segunda proposicin son iguales:

pq = pq qp
SIGNOS DE PUNTUACIN, AGRUPACIN Y ORDEN DE LOS OPERADORES O

CONECTIVOS LGICOS
Los signos de agrupacin ms conocidos tenemos: el parntesis, corchete y llaves

( ); [ ] ;
Estos signos reemplazan a los signos gramaticales: punto (.), la coma (,), el punto y
como (;), y los dos puntos (:).
Los signos de agrupacin se usan en lgica cuando se trata de obtener esquemas

lgicos ms complejos con el fin de evitar la ambigedad de las frmulas:
1. Si las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe

colocar los parntesis de izquierda a derecha as:
p q r = (p q) r
p q r s = [(p q) r ] s
MDULO 2 19
p q r s = [(p q) r] s
2. Si no hay signos de puntuacin ni parntesis se debe considerar el siguiente orden

de menor a mayor jerarqua de los operadores y de izquierda a derecha, para ubicar
los parntesis.
, , , ,
Ejemplos:
p q r = (p q) r
p q r v s = (p q) (r v s )
p q r s = (p q) (r s)
3. Si la proposicin compuesta est escrita con parntesis, la ubicacin de stos nos

indicar cual es el operador predominante:
Ejemplo:
p q r = (p q) v r Es un esquema disyuntivo
p q r v s = (p q) ( r v s ) Es un esquema condicional
p q r s = (p q) (r s ) Es un esquema bicondicional.
4. Si un esquema molecular no lleva los signos de agrupacin, se puede indicar cual

es el operador predominante as:
1) Conjuncin prs (p r) s
2) Condicional pq s --------------------------------
3) Condicional p qr --------------------------------
4) Condicional rpq --------------------------------
5) Conjuncin rpq --------------------------------
6) Disyuncin rqt --------------------------------
7) Disyuncin qps --------------------------------
8) Disyuncin qps --------------------------------
9) Disyuncin qrs --------------------------------
10) Condicional qrs --------------------------------
11) Negacin pr --------------------------------
12) Condicional pr --------------------------------
13) Negacin ts --------------------------------
Dadas las siguientes proposiciones matemticas, incluir los parntesis.
1. Disyuncin x0 x>yy=z x 0 ( x > y y = z)

2. condicional x=0x>yyz --------------------------------
3. condicional x = 0 x 0 y z --------------------------------
4. condicional x>yx yy>z --------------------------------
5. conjuncin x = 0 x > 0 y= 0 --------------------------------
6. condicional x = y y = z x= z --------------------------------
7. conjuncin x=yy=zyz --------------------------------
En la proposicin compuesta: p ( q r ) el conector principal es .

MDULO 2
20 Desarrollo del
pensamiento lgico
En la proposicin compuesta: p q el conector principal es
En la proposicin compuesta: p ( p r) el conector principal es
En la proposicin compuesta: [ ( p q) (r s)] el conector principal es
Como podemos darnos cuenta, que los signos de puntuacin permiten, entre otras
cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O
CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA
Debemos recordar que un esquema molecular es la combinacin de las variables,

operadores lgicos y los signos de agrupacin.
CLCULO PROPOSICIONAL
VALORES DE VERDAD DE PROPOSICIONES COMPUESTAS
Hay dos formas de establecer los valores de verdad:
1. Por medio de las tablas de verdad
Las tablas de verdad permiten determinar el valor de verdad de una proposicin

compuesta y depende de las proposiciones simples y de los operadores que
contengan.
Es posible que no se conozca un valor de verdad especfico para cada proposicin; es

este caso es necesario elaborar una tabla de verdad que nos indique todas las
diferentes combinaciones de valores de verdad que pueden presentarse. Las
posibilidades de combinar valores de verdad dependen del nmero de proposiciones
dadas.
Para una proposicin (n = 1), tenemos 21 = 2 combinaciones

Para dos proposiciones (n = 2), tenemos 22 = 4 combinaciones
Para tres proposiciones (n = 3), tenemos 2 3 = 8 combinaciones
Para n proposiciones tenemos 2n combinaciones
Ejemplo: dado el siguiente esquema molecular, construir su tabla de valores de verdad:
Pasos para construir la tabla:
( p q) (p r)
1. Determinamos sus valores de verdad 2 3 = 8 combinaciones
2. Determinamos las combinaciones:
p q r
V V V
V V F
V F V
MDULO 2 21
V F F
F V V
F V F
F F V
F F F
3. Adjuntamos a ste cuadro el esquema molecular y colocamos debajo de cada una

de la variables sus valores de verdad :
p q r (p q ) (p r)
V V V F F V V V F F
V V F F F V F V V V
V F V F F F V V F F
V F F F F F F V V V
F V V V V V V F V F
F V F V V V V F V V
F F V V F F F F V F
F F F V F F F F V V
(4)
(5)
(6)
4. Aplicamos la conjuncin de:

(p q )
5. Aplicamos la condicional
(p r)
6. Aplicamos la bicondicional
(p q ) (p r)
El operador de mayor jerarqua es el que determina los valores de verdad del esquema
molecular.
Ejercicios:
Sabiendo que p es falsa, q es verdadera y r es falso, hallar el valor de verdad de las

siguientes proposiciones compuestas por medio de la tabla de verdad.
a) (p q) (p q)
b) p (q r)
c) q (p q)
d) ( p q) (p r)
MDULO 2
22 Desarrollo del
pensamiento lgico
e) ( q ) (q r)
f) (r r) r
2.- Por medio del diagrama de rbol.-
Es un procedimiento corto y fcil, se necesita conocer los valores de verdad de cada

variable y aplicar las tablas de certeza lgica:
Ejemplos:
a. Sabiendo que p es falsa, q es verdadera y r es verdadera. Cul es el valor de

verdad de la proposicin q (p r).
Solucin:
Tenemos: q ( p r )
V F V
Luego la proposicin: q (p r), es falsa.
b. Dado el siguiente esquema molecular:

( p q) (p r)
Si: p es falsa q es verdadera y r es verdadera. El conector dominante es el

bicondicional encontrar el valor de verdad del esquema por medio del diagrama del
rbol:
Solucin:
( p q ) ( p r)
V V F F
V V
Luego la proposicin: ( p q) (p r) es verdadera
Ejercicios
1. Si el valor de verdad de la proposicin: q p, es falsa, Cul ser el valor de

verdad de: q p.
MDULO 2 23
2. Completar con V o F, cada una de las siguientes proposiciones, justificar la

respuesta:
a. Se sabe que p q es verdadera. Por lo tanto el valor de verdad de p q es:

-----------------------
b. Se sabe que p q es falsa. Por lo tanto, el valor de verdad de p q es:

-----------------------
c. Se sabe que p q es falsa. Por lo tanto, el valor de vedad de p q es:

-----------------------
d. Se sabe que p es falsa y p q es verdadera. Por lo tanto, p q es:

-----------------------
e. Se sabe que q y r es verdadera. Por lo tanto q ( p r) es:
------------------------
3. Escribir simblicamente las proposiciones siguientes y encontrar el valor de verdad

por el diagrama del rbol:
a. 2 es nmero par y 21 es mltiplo de 3, 5 es la raz cuadrada de 10

b. Si el m.c.m. de 12 y 15 es 60 y 3 es el cuadrado de 9, entonces, estudio o juego
ajedrez.
CONTINGENTES, TAUTOLOGAS Y CONTRADICCIONES
Los esquemas moleculares se clasifican segn el resultado que se obtenga en el

operador de mayor jerarqua, pueden ser:
CONTINGENTES
Cuando en su resultado hay por lo menos una verdad y una falsedad Ejemplo: dado el
siguiente esquema: ( p q) (p r)
p q r (p q ) (p r)
V V V F F V V V F F
V V F F F V F V V V
V F V F F F V V F F
V F F F F F F V V V
F V V V V V V F V F
F V F V V V V F V V
F F V V F F F F V F
F F F V F F F F V V
El esquema es contingente
TAUTOLOGA
MDULO 2
24 Desarrollo del
pensamiento lgico
Es una proposicin que siempre es verdadera, independientemente del valor lgico de

las proposiciones simples que la componen..
Se puede decir tambin que un esquema es un tautolgico cuando los valores de

verdad del operador principal son todos verdaderos.
Ejemplo
Si p y q son proporciones simples distintas, demuestre mediante tablas de certeza que

el siguiente esquema proposicional es una tautologa.
(p q) (p q)
p q ( p q ) ( p q )
V V V V V V V V V
V F V F F V V F F
F V F F V V F F V
F F F F F V F V F
Es un esquema tautolgico
CONTRADICCIN
Es cuando en el resultado todos los valores de verdad son falsos o Un esquema A es

una contradiccin si no A ( A), es una contradiccin cuando todos los valores del
operador de mayor jerarqua son falsos.
Indeterminacin: es la sentencia que ni es verdadera ni falsa.
Ejemplo: Dado el siguiente esquema molecular:

( p q) r [ r ( p q ), determinar si se trata de una contradiccin:
p q r ( p q) r [r ( p q )
V V V F F V V F F V F F V V F
V V F F F V V V F F F F V V F
V F V F F F V F F V F F V V V
V F F F F F V V F F F F V V V
F V V V V V F F V V V V F F F
F V F V V V V V F F F V F F F
F F V V F F V F F V F F F V V
F F F V F F V V F F F F F V V
1 2 3 4 10 5 11 6 15 7 14 13 8 12 9
Podemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si

es un es un esquema contingente.
MDULO 2 25
OBSERVACIN:
A la tautologa se la simboliza con la letra T

A la idea de tautologa se la relaciona con el conjunto universal
A la contradiccin se la simboliza con la letra C
A la contradiccin se la relaciona con el conjunto vaco.
La negacin de una tautologa es una contradiccin
La negacin de una contradiccin es una tautologa.
EJERCICIOS
Comprobar por medio de una tabla de verdad que las siguientes esquemas
compuestas son tautologas, contingentes o contradictorios
1. pp
2. (p q) ( q p)
3. ( p q ) ( q r )] ( p r)
4. [p ( p q ) q
5. ( p q) ( q p)
INFERENCIA LGICA
IMPLICACIONES LGICAS
Se lo representa por el smbolo , no es un conectivo lgico, es un signo de relacin
Se dice que un esquema A implica a otro esquema B, cuando al unirlos por la

condicional nos da una tautologa. Simblicamente se lo representa as: A B.
Si la proposicin compuesta A implica a la proposicin compuesta B, entonces B se

deduce necesariamente de A, o tambin se dice que B se infiere lgicamente de A.
Ejemplo: Demostrar que el esquema A implica a B
A: p q
B: p q
Luego unimos con la condicional y construimos la tabla:

pq pq
p q p q p q
V V V V V
V F F V V
F V F V V
F F F V F
Como el resultado es una tautologa, se ha demostrado que A implica a B.

MDULO 2
26 Desarrollo del
pensamiento lgico
Nota: la relacin de implicacin no es recproca.
EQUIVALENCIAS LGICAS
Se lo representa por pero no es un operador lgico.
Decimos que dos proposiciones compuestas P y Q son equivalente, s al unir las dos
con la bicondicional nos da una tautologa, es decir que P y Q tienen los mismos
valores de verdad en su operador principal. Simblicamente se escribe as:
P Q P Q Se lee P es equivalente a Q Q es equivalente a P.
Si no son equivalentes se los escribe as: P Q

Si P y Q son equivalentes, entonces Q se deduce vlidamente a partir P, y a la vez
tambin P se deduce necesariamente a partir de Q.
Para demostrar que una proposicin compuesta es equivalente a otra, se lo puede
hacer por medio de las tablas de verdad o por medio de las leyes y reglas de inferencia
que veremos a continuacin.
A los esquemas moleculares compuestos se los representa con las letras maysculas
A, B, C,.. etc. con P, Q, R, etc.
Ejemplos:
Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de

verdad:
A : Si Pedro aprob el curso preuniversitario, entonces ingres a la UNL.

Simblicamente: p q
B: No es el caso que: Pedro apruebe el curso preuniversitario y no ingrese a la UNL
Simblicamente : ( p q )
Luego demostramos que: p q ( p q )

Seguidamente para demostrar que estos dos esquemas son equivalentes, los unimos
con la bicondicional as: ( p q ) ( p q ) y construimos una tabla de
verdad:
p q ( p q ) ( p q )
V V V V V F
V F F V F V
F V V V V F
F F V V V F
Dado que el resultado de la tabla es una tautologa, las proposiciones A y B son

equivalentes.
MDULO 2 27
Otro Ejemplo:
P: q p ; Q: ( q p )
p q ( q p ) ( q p )
V V F V F V
V F V V V F
F V V V V F
F F V V V F
1 3 2
Aqu observamos que la columna 1 y 3 de los operadores principales de las

proposiciones P y Q son iguales, por lo tanto son equivalentes.
Tambin las proposiciones P y Q son equivalentes porque al unirlas con la

bicondicional nos dio una tautologa.
Ejercicios: Demostrar que los siguientes esquemas moleculares son equivalentes
a) [ p ( q r ) ] [ ( p q ) ( p r )
b) p ( q r ) ] ( p q ) ( p r )
c) ( p ( q r) (p q ) r
d) (p (q r) (p q) r
e) ( p q ) ( p q )
f) ( p q ) ( p q )
LEYES DEL LGEBRA PROPOSICIONAL
En lgica, las tautologas son conocidas con el nombre de leyes o principios lgicos. A
continuacin anotamos las principales leyes que vamos a utilizarlos en el futuro y que
usted de familiarizarse:
L- 1: Leyes de Idempotencia para y para
Si p es una proposicin simple o compuesta, entonces:

a. (p p) p
b. (p p) p
Segn estas leyes, las proporciones ( p p) o (p p) pueden sustituirse por p.
L 2: Leyes de Identidad para y para
Si p es una proposicin simple o compuesta, entonces:

MDULO 2
28 Desarrollo del
pensamiento lgico
a) p ( V ) ( V ); es decir, cuando formamos la disyuncin de una

proporcin p, cuyo valor de verdad es desconocido, con otra
cuyo valor de verdad de ( V ), el resultado es ( V ), ya que la
disyuncin es ( V ) cuando al menos una de las proposiciones
dadas es verdadera.
b) p ( F ) p; es decir, el valor de verdad de la disyuncin de una

proposicin p, cuyo valor de verdad no conocemos, con otra cuyo
valor de verdad es ( F ), depende del valor de p.
c) p ( V ) p; en este caso el anlisis es similar a la parte b),

teniendo en cuenta que aqu el conector es
d) p ( F ) ( F ); el anlisis es similar al de la parte a), teniendo en

cuenta aqu que el conector es
L- 3: Leyes Conmutativas y para
Si p y q son proposiciones, entonces:
a) ( p q ) ( q p )
b) (p q ) (q p), es decir, dos proporciones conectadas con
pueden escribirse en cualquier orden.
L - 4: Leyes Asociativas
Si p, q, , son proposiciones cualesquiera, entonces:
g) ( p ( q r) (p q ) r
h) (p (q r) (p q) r
L 5: Leyes Distributivas:
Si p, q, r son proposiciones cualesquiera, entonces.
i) [ p ( q r ) ] [ ( p q ) ( p r )
j) p ( q r ) ] ( p q ) ( p r )
Estas leyes son similares a las que conocemos en el lgebra para la suma y la
multiplicacin. Recordemos que:
4( x + y ) = (4x) + ( 4y)
L 6: Ley de la Doble Negacin:
Si p es una proposicin simple cualquiera, entonces:

(p)p
MDULO 2 29
Al negar dos veces una proposicin obtenemos una afirmacin.
L 7: Ley del Tercer Excluido:
Si p es una proposicin cualesquiera, entonces:

( p p) ( V )
Esta propiedad establece que independientemente del valor de verdad que tenga p, la
proposicin: (p p) siempre es verdadera. Por tanto, en un esquema lgico
complejo podemos reemplazar (p p), (q q), (r r), (a b) (a b), etc.,
por ().
L 8: Ley de Contradiccin:
Si p es una proposicin cualesquiera, entonces:

(pp)(F)
Esquemas como (p p), (q q), (r r) pueden remplazarse por (F)

L 9: Leyes de De Morgan:
Si p, q son proposiciones simples o compuestas, entonces:

k) ( p q ) ( p q )
l) ( p q ) ( p q )
Estas leyes nos indican cmo negar una disyuncin y una conjuncin. La parte: a)
establece que para negar una conjuncin es necesario cambiar la conjuncin por
disyuncin ( por ) y negar las proposiciones dadas.
La parte b) establece que para negar una disyuncin debemos cambiar la disyuncin
por la conjuncin (la por ) y negar las proposiciones dadas.
Ejemplo:
Negar la proposicin: 7 es un nmero primo y 30 es divisible por 5.
Solucin:
Cambiamos y por o y negamos las proposiciones simples que forman el enunciado,
as:
7 no es un nmero primo o 30 no es divisible por 5.
L 10: Ley de la condicional:
Usando tablas de verdad podemos verificar que: p q equivale a p q .

La proposicin p q es una abreviacin de la proposicin p q; es decir:
( p q ) ( p q)
NOTA: Son muchos los esquemas lgicos que ofrecen alguna complejidad y pueden
simplificarse utilizando esta definicin alterna del condicional.
Ejemplo 1:
MDULO 2
30 Desarrollo del
pensamiento lgico
Escribamos sin condicional las proposiciones siguientes:
a. ( p q) r
b. p ( q )
c. p q
SOLUCIN:
a. (p q ) r ] ( p q ) r
b. p ( q r ) ] p ( q r )
c. ( p q ) ( p ) q p ( q )
Ejemplo 2:
Escribamos una proposicin equivalente a:
Si X es par entonces x es divisible por 2
SOLUCIN:
Usando la definicin alterna de la implicacin tenemos:
x no es par o x no es divisible por 2
Ejemplo 3:
Comprobemos que ( p q) ( p q)
SOLUCIN:
Elaboramos la tabla de verdad:
p q p ( p q) ( p q)
V V F V V V
V F F F V F
F V V V V V
F F V V V V
(1) (3) (2)
L- 11 Ley de la Bicondicional
p q (pq)(qp)
L- 12 Conjuncin Negativa.-
p q p q
L-13 Disyuncin Exclusiva.-
pq(pq)(pq)
Ejercicios: Demuestre las leyes mediante el uso de las tablas de verdad.
APLICACIONES DE LAS LEYES DEL ALGEBRA PROPOSICIONAL

MDULO 2 31
Las leyes nos pueden servir para demostrar que un esquema es equivalente a otro,
tambin podemos utilizar en la simplificacin de proposiciones etc.
Ejemplo 1:
Probemos que ( p q ) p q )]
SOLUCIN:
1. ( P Q ) ( p ) q Definicin alterna de implicacin

2. ( p) ( q ) Ley de De Morgan para
3. p ( q) Ley de la Doble Negacin
Luego: ( p q ) p (q)
Ejemplo 2:
Probemos que la proposicin ( p q) p es una tautologa.
SOLUCIN:
1. ( p q ) p ] ( p q ) p Definicin alterna de
2. ( p q) p Ley de De Morgan para
3. ( p p ) ( q) Ley Asociativa de la
4. (V)(q) Ley del Tercer excluido
5. (V) Ley Idntica de la
Por lo tanto, al ser ( p q ) p ( V ), concluimos que es una tautologa.
Ejemplos:
1. Probemos que la proposicin [ ( p q) ( q)] ( p) es una tautologa.

2. Probemos que la siguiente proposicin es una contradiccin:
[ p q ) ( p q ) ] [ ( p q ) ( p q )
Elaborar la tabla de verdad de las siguientes proposiciones y decir en cada caso si se

trata de una tautologa, una contradiccin o una determinacin.
a) ( p q) ( p q )
b) ( p q) ( p q)
c) p(qr)
d) p ( p q)
e) ( p q ) ( p q)
f) (pq)p
g) ( q r ) ( q r)
h) (rr)r
Los siguientes ejercicios deben resolverse aplicando las Leyes del lgebra
proposicional y no por tablas de verdad.-
MDULO 2
32 Desarrollo del
pensamiento lgico
Probar que las proposiciones siguientes son tautologas:
a) [ q ( p q ) ] ( p )
b) [ ( p q ) q ] ( p )
c) [(p(qr)][(pq)r]
d) [ p ( p q ) ] q
e) p(pq)
Simplificar las siguientes proposicin utilizando leyes:
a) p q ) ( p q )
b) p(pq)
c) m ( m n )
d) [t(mt)
e) (pq)(pq)]
INFERENCIA LGICA:
La inferencia es el paso de un conjunto de premisas a la conclusin.
Simblicamente se lo representa as:

P1
P2
P3
.
.
.
Pn
______
C
Al unir cada una de las premisas por el operador conjuntivo y estas a la vez con la
conclusin por medio del condicional, se obtiene la siguiente frmula inferencial:
P1 P2 P3 Pn C
Como las premisas y la conclusin estn constituidas por proposiciones, podemos decir
que la inferencia es una estructura de proposiciones, donde a partir de una o ms
proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin:
Ejemplos:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente
viaja al norte del pas entonces no se quedar en la capital.
2. Si Juan gana el concurso de poesa entonces obtendr una beca. Juan gan el
concurso de poesa. Luego Juan obtendr una beca.
MDULO 2 33
La conclusin se puede distinguir de sus premisas porque generalmente van

precedidas por alguno de los trminos como por lo tanto, luego, en consecuencia,
de ah que, etc. y las premisas podemos distinguirlas casi siempre por los signos de
puntuacin como el punto seguido o por el sentido que tiene el enunciado.
VALIDEZ Y VERDAD
La validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del

anlisis del contenido del pensamiento. En todo razonamiento o inferencia hay que
distinguir su validez de su verdad.
El razonamiento o la inferencia son vlidos cuando la conjuncin de premisas implica a

la conclusin; y, si esto no sucede, la inferencia es invlida.
La validez o invalidez de una inferencia depende nicamente de su forma lgica, y la

forma lgica depende de la funcin que desempean las conectivas en la estructura del
enunciado inferencial.
Si una inferencia vlida tiene su premisa o conjunto de premisas verdaderas, entonces

se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas
o conjunto de premisas no son verdaderas, as la inferencia sea vlida, lgicamente no
se puede saber la verdad o falsedad de la conclusin. Entonces, el nico caso que se
puede saber la verdad de la conclusin es cuando la inferencia es vlida y tiene
premisas verdaderas.
MTODOS PARA DETERMINAR LA VALIDEZ DE UNA INFERENCIA LGICA
Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la

inferencia es vlida o no, para esto conocemos dos mtodos:
1. POR LA TABLA DE VALORES
Se sugiere seguir los siguientes pasos:
a. Simbolizar las premisas y la conclusin:

b. Obtener la formula inferencial
c. Aplicar la tabla de valores. Si el resultado es tautolgico, la conjuncin de premisas
implica a la conclusin, y por tanto la inferencia es vlida, pero si el resultado no es
tautolgico, la inferencia no es vlida.
Ejemplos:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si

Vicente viaja al norte del pas entonces no se quedar en la capital.
a. Simbolizamos:
p q
_____________
pq
MDULO 2
34 Desarrollo del
pensamiento lgico
b. Obtenemos la formula inferencial:
(p q) (pq)
c. Elaboramos la tabla de valores:
p q (p q) (pq)
V V V F F
V F V V V
F V V V V
F F F V V
El esquema no es tautolgico, luego la premisa no implica a la conclusin y la

inferencia no es vlida,
a. Simbolizando tenemos:
pq
p
__________
q
[( p q ) p ] q
c. Elaboramos la tabla de valores:
p q [( p q ) p ] q
V V V V V
V F F F V
F V V F V
F F V F V
El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin y la

inferencia es vlida.
2. POR EL MTODO ABREVIADO
Es un procedimiento que evita estar construyendo la tabla de valores de verdad para

determinar la validez de la inferencia.
MDULO 2 35
Este mtodo consiste en suponer la conjuncin de premisas verdaderas y la conclusin

falsa, nica posibilidad que invalidad la implicacin.
P1 P2 P3 Pn C
V V V V F
Ejemplo:
1. Vicente viajar al norte del pas o se quedar en la capital. Por lo tanto, Si Vicente
viaja al norte del pas entonces no se quedar en la capital.
a. Simbolizamos:
p q
_____________
pq
(p q) (pq)
c. Suponemos valores, a las premisas verdaderas y la conclusin falsa
(p q) (pq)
V F
Como cada una de las variables (p, q), cumplen una sola funcin veritativa, decidimos
que la inferencia no es vlida. Esto es, se ha demostrado que la premisa es verdadera
y la conclusin es falsa.
a. Simbolizando tenemos:
pq
p
__________
q
[(p q) p] q
c. Suponemos valores, a las premisas verdaderas y la conclusin falsa:

[(p q) p] q
V V F
d. Comprobamos:
[( p q ) p ] q
F F
MDULO 2
36 Desarrollo del
pensamiento lgico
V V F
Como la variable p tiene dos valores: verdadero y falso a la vez. Por lo tanto, hay
implicacin y la inferencia es vlida.
Reglas de inferencia:
Para inferir un razonamiento a partir de otros se requiere de un proceso en el que se

aplican propiedades o leyes fijadas de antemano y que no hayan sido obtenidas de
casos particulares o para casos particulares.
Estas leyes dan la certeza de que solo es posible obtener conclusiones ciertas de
premisas ciertas.
1.- MODUS PONENDO PONENS ( REGLA DE SEPARACIN): Su abreviatura

es PP.
pq (1)
p (1)
_______
q (1)
Su frmula inferencial es:
[(p q)pq
Si una proposicin condicional es verdadera y si verdadero el antecedente, entonces

necesariamente ser verdadero el consecuente.
Ejemplo:
Premisa 1: Si l est en el partido de ftbol, entonces l est en el estadio.

Premisa 2: El est en el partido de ftbol
Conclusin: El est en el estadio.
Se simboliza de la siguiente manera el ejercicio anterior
pq (1)
p (1)
_______
q (1)
Ejercicios:
A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de

premisas?
Es decir qu proposicin lgica se sigue de las premisas?

MDULO 2 37
1) Si usted est en Madrid, entonces su reloj seala la misa hora que en Barcelona.
Usted est en Madrid.
2) Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos
despedimos ahora.
3) Si vivo en la capital del Ecuador, entonces no vivo en ninguno de las 21
provincias del Ecuador. Vivo en la capital del Ecuador.
B. Utilizando Modus Ponendo Ponens sacar una conclusin de cada uno de los
conjuntos de premisas siguientes. Escribir la conclusin en la lnea (3)
1) p q r
2) p q
3)
1) p r
2) p
3)
1) r
2) r q p
C. Poner una C junto a cada ejemplo en el que la conclusin es correcta segn el

Modus Poniendo Ponens. Poner una I junto a cada conclusin incorrecta.
1. Premisas: s y s t: conclusin: t
2. Premisas: t v y t: conclusin v
3. Premisas: p q y q: conclusin r
4. Premisas: s y r s
5. Premisas: r y r s
2. DOBLE NEGACIN. La regla de doble negacin es una regla simple que permite
pasar de una premisa nica a la conclusin.
p (1) p (1)
________ _______
p (1) p (1)
Ejemplo:
No ocurre que Mara no es estudiante

Simbolizando el ejemplo anterior tenemos:
p (1)
________
p (1)
La conclusin es que Mara es estudiante.
MDULO 2
38 Desarrollo del
pensamiento lgico
Ejercicios:
A. Qu conclusin podemos sacar de cada una de las proposiciones siguientes por la
doble negacin:
1. Todos los mamferos son animales de sangre caliente
2. El granito es un tipo de mineral gneo
3. No ocurre que un quinto no es el veinte por cierto
B. Demostrar que las conclusiones son consecuencia de las premisas dadas:

1. Demostrar: t 2. Demostrar: b
(1) s t (1) a
(2) s (2) a b
(3) (3)
(4) (4)
3.- MODUS TOLLENDO TOLLENS. Su abreviatura es TT.
(1) pq
(1) q
p (1)
Su frmula es:
[(pq)q] p
Si una proposicin condicional es verdadera y si es verdadera la negacin del
consecuente, entonces necesariamente ser verdadera la negacin del antecedente.
Ejemplo:
Premisa 1: Si tiene luz propia, entonces el astro es una estrella

Premisa 2: El astro no es una estrella.
Conclusin: Por tanto no tiene luz propia
Se simboliza de la siguiente manera el ejercicio anterior
P pq
P q
p TT 1, 2
Ejercicios:
A. Qu conclusin se puede deducir de cada uno de los conjuntos de premisas

siguientes utilizando TT? Escribir las conclusiones es castellano.
1) Si la luz fuera simplemente un movimiento ondulatorio continuo, entonces

la luz ms brillante dar lugar siempre a una emisin de electrones con mayor
energa que los originados por luz ms tenue. La luz ms brillante no siempre emite
electrones con mayor energa que los originados.
MDULO 2 39
2) Si un ngulo de un tringulo es mayor de 90 grados, entonces la suma de

los otros dos ngulos es menor de 90 grados. La sima de los otros dos ngulos no
es menor de 90 grados.
3) Si el arriendo se mantiene vlido, entonces el dueo es responsable de las

reparaciones. El dueo no es responsable de las reptaciones.
B. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes,

aplicando la regla del Modus Tollendo Tollens.
1. (1) q r 2. (1) q r 3. (1) ( p q) r

(2) r (2) r (2) r
(3) (3) (3)
C. Demostrar que las conclusiones son consecuencia de las premisas dadas. Indicar
la demostracin completa.
Demostrar: c Demostrar: r s Demostrar:

(1) b (1) p q (1) f
(2) a b (2) q (2) e f
(3) a c (3) p r s
4.- MODUS TOLLENDO PONENS. Su abreviatura es: MTP
(1)
(1) p q
p q (1)
(1)
(1) p q
q p (1)
Sus frmulas son:
(p q ) p q
(p q ) q p
Si una proposicin disyuntiva es verdadera y si es verdadera la negacin de una de sus

componentes, entonces necesariamente ser verdadera la otra componente de la
disyuncin.
Ejemplo:
Supngase que se tiene como premisa:
O esta sustancia contiene hidrgeno o contiene oxgeno

La segunda premisa dice:
Esta sustancia no contiene oxgeno
Por medio del Modus Tollendo Ponens se puede concluir:

MDULO 2
40 Desarrollo del
pensamiento lgico
Esta sustancia contiene oxgeno
Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo:
p: Esta sustancia contiene hidrgeno

q: Esta sustancia contiene oxgeno
La demostracin de la conclusin es:
pq P
p P
q TP 1, 2
Ejercicios:
A. Qu conclusin, en forma de proposicin escrita en

castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes
utilizando la regla TP?
1. Este hombre o es un abogado o es un poltico. No es un abogado.
2. Juan o ha terminado el libro o no ha ido a devolverlo hoy a la biblioteca.
3. Juan no ha terminado el libro.
B. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas

usando el Modus Tollendo Ponens.
(1) q r P (1) t ( p q) P (1) (s t) r P

(2) r P (2) t P (2) (s t) P
C. Demostrar que las conclusiones son consecuencia de las premisas dadas en los
Ejercicios que siguen. Dar una demostracin completa.
1) Demostrar: p 2) Demostrar a b 3) Demostrar: p

(1) p q P (1) a b P (1) t p q P
(2) t P (2) a e P (2) t P
(3) q t P (3) e P (3) q P
5.- TAUTOLOGA SIMPLIFICATIVA
pq
pq
q
Su frmula es:
(p q) p
(p q) q
MDULO 2 41
Si una conjuncin de proposiciones es verdadera entonces necesariamente ser

verdadera cada una de sus componentes.
Ejemplo:
Apruebo los talleres y apruebo el mdulo 2
Premisa 1: apruebo los talleres

Premisa 2: apruebo el mdulo 2
Conclusin: 1) apruebo los talleres
Conclusin: 2) apruebo el mdulo 2
6.- TAUTOLOGA ADJUNCIN
p
q
pq
Su frmula es:
( p ) ( q ) ( p q)
Si dos proporciones cualesquiera son verdaderas, entonces necesariamente ser

verdadera la conjuncin que con dichas proposiciones se forme.
Ejemplo:
Sal bien en el examen y tengo 10
p: sal bien en el examen

q: tengo 10
( p q ) : sal bien en el examen y tengo 10
7. TAUTOLOGA ADICIN
pq
Su frmula es:
p p q]
Si una proposicin cualesquiera es verdadera, entonces necesariamente ser

verdadera la disyuncin que se forme con dicha proposicin y cualquier otra.
Ejemplo:
MDULO 2
42 Desarrollo del
pensamiento lgico
Estudio con responsabilidad o pierdo el mdulo

p: estudio con responsabilidad
q: pierdo el mdulo
p q: estudio con responsabilidad o pierdo el mdulo.
8. SILOGISMO HIPOTTICO (LEY TRANSITIVA). Su abreviatura es HS

pq
q r
pr
Su frmula es:
( p q ) ( r s ) ( p r ) (q s)
Si una proposicin condicional es verdadera y si es verdadera otra condicional que

tenga como antecedente el consecuente de la primera, entonces necesariamente ser
verdadera otra condicional que tenga por antecedente el de la primea y por
consecuente el consecuente de la segunda.
Ejemplo:
(1) Si hace calor, entonces Juana va a nadar
(2) Si Juana va a nadar, entonces arregla la casa despus de comer.
Se puede concluir:
(3) Si hace calor, entonces arregla la casa despus de comer.
Ejercicios:
En los ejemplos siguientes de la ley del silogismo hipottico obsrvese que algunos de
los antecedentes y consecuentes son proposiciones moleculares. La forma, sin
embargo es la misma.
a. (1) p q P
(2) q r P
(3) p r HS 1,2
b. (1) (p q) r P
(2) r (q t ) P
(3) (p q) ( q t ) HS 1,2
A. Qu conclusiones se puede sacar, si se puede sacar alguna, por la ley de

silogismo hipottico de los conjuntos de proposiciones siguientes?
1. Si el agua se hiela, entonces sus molculas forman cristales. Si las molculas

forman cristales, entonces el agua aumenta de volumen.
MDULO 2 43
2. Si un haz fino de fotones penetran en un gas en una cmara de niebla, entonces los
fotones expulsan electrones de lo s tomos del gas. Si los fotones expulsan
electrones de tomos de gas, entonces la energa de la luz se convierte en energa
cintica de los electrones.
B. Traducir los razonamientos del ejercicio A en smbolos lgicos y demostrar que su

conclusin es consecuencia lgica de las premisas.
C. Utilizar la ley del silogismo hipottico y obtener una conclusin del siguiente
conjunto de premisas.
1. (1) q p 2. (1) s t r q
(2) p r (2) r q p
D. Indicar una deduccin formal de las siguientes conclusiones a partir de las premisas
dadas.
1. Demostrar: t 2. Demostrar: q
(1) ( q r) p (1) r s
(2) r t (2) s p q
(3) ( q r ) t (3) r t
(4) t
9.- SILOGISMO DISYUNTIVO (LEY DEL DILEMA). Su abreviatura es DS
pq
rs
pr
qs
Su frmula es:
(p q) (r s ) (p q) (q s)
Si dos proposiciones condicionales son verdaderas y si es verdadera la disyuncin que

se forme con los antecedentes de dichas condicionales, entonces necesariamente
ser verdadera la disyuncin que se forme con los consecuentes.
Ejemplo:
O llueve o el campo est seco
Si llueve, entonces jugaremos dentro.
Si el campo est seco, entonces jugaremos al baloncesto
Qu conclusin se puede sacar de estas proposiciones? La conclusin es que o

jugaremos dentro o jugaremos el baloncesto. La conclusin es otra disyuncin.
Simbolizamos:
r: llueve
MDULO 2
44 Desarrollo del
pensamiento lgico
d: el campo est seco
p: jugaremos dentro
b: jugaremos al baloncesto
Esto se simboliza as:

(1) r d P
(2) r p P
(3) d b P
(4) p b D S1, 2, y 3
Ejercicios:
A. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de

premisas, por la ley del silogismo disyuntivo? Dar como conclusin una proposicin
en lenguaje corriente.
4) O Juan tiene mayora o Pedro tiene mayora. Si Juan tiene mayora. Pedro
ser el tesorero. Si Pedro tiene mayora, entonces Juan ser el tesorero.
5) O la planta es un aplanta verde o es una planta no verde. Si es una planta

verde, entonces fabrica su propio elemento. Si es una planta no verde,
entonces depende de las materias de otras plantas para su alimento.
B. Simbolizar los razonamientos de los ejemplos anteriores y demostrar que las

conclusiones son consecuencia lgica de las premisas.
C. Utilizar la ley del silogismo disyuntivo (DS) para obtener una conclusin de cada uno
de los siguientes conjuntos de premisas.
1. (1) p q 2. (1) t s
(2) q r (2) s p
(3) p s (3) t q
D. Dar una deduccin completamente formal de las siguientes conclusiones a partir de

las premisas dadas.
1. Demostrar: r (p q ) 2. Demostrar: q s
(1) p q (1) s r
(2) q r (2) r t
(3) p t (3) q t
(4) t
10. CONMUTATIVA
pq pq
_______ ______
qp qp
MDULO 2 45
Su frmula es:
(p q ) (q p) (p q) ( q p)
Ejemplo:
Pedro trabaja y estudia pq

Por lo tanto:
Pedro estudia y trabaja qp
11. SIMPLIFICACION DISYUNTIVA:
p p
________
p
Su frmula es:
(p p) p
Ejemplo:
Pedro trabaja o Pedro trabaja pp

Se concluye: que Pedro trabaja.
12. LAS LEYES DE DE MORGAN:
a) (p q) b) p q
________ ________
pq (p q)
Ejemplos:
a) No ocurre a la vez que: hace calor o que hace fro (p q)
Se puede tambin expresar:
No hace calor y no hace fro pq
b) No llueve y no hace sol p q
Se puede tambin expresar:
No ocurre que: llueve o haga sol (p q)
Ejercicios:
A. Que se puede concluir de las premisas siguientes utilizando las leyes de De

Morgan?
MDULO 2
46 Desarrollo del
pensamiento lgico
1. O los arcnidos no son insectos o no tienen ocho patas
2. No ocurre que o el aire es un buen conductor del calor o el agua es un buen

conductor del calor.
3. No ocurre que los murcilagos son pjaros o que las focas son peces
B. Aplicar las leyes de De Morgan para deducir conclusiones:
1. ( p q)
2. r t
3. ( r s)
4. g h
C. Indicar una demostracin formal completa para cada uno de los razonamientos
simbolizados siguientes:
1. Demostrar: s 2. Demostrar: r q
(1) (p q) (1) s ( p t)
(2) q t (2) t (q r)
(3) p t (3) s
(4) s t
D. Dar una demostracin formal completa para cada uno de

los razonamientos siguientes:
1. Demostrar: x = 1
(1) (z 3) ( x y) y = 2
(2) x y x = 1
(3) x z x y
(4) x z x y
13.- REGLA DE LA BICONDICIONAL. Su abreviatura es LB
pq pq
___________________ qp
(p q ) (q p) ____________
pq
Ejercicios:
A. Simbolizar las siguientes proposiciones y dar una deduccin formal:
1. Esta ley ser aprobada en esta sesin si y solo si es apoyada por la mayora. O
es apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se
opone a ella, entonces ser pospuesta en las deliberaciones del comit. Por
tanto o esta ley ser aprobada en esta sesin o ser pospuesta en la
deliberacin del comit.
MDULO 2 47
2. 3 x 5 = 12 5 +5 +5 = 12
4 x 4 13
5 +5 +5 = 12 4 x 4 = 13
Por lo tanto: 3 x 5 12
B. Dar una demostracin formal completa de cada uno de los razonamientos

siguientes:
1. Demostrar: 2 x 5 = 5 + 5 2 x 4 = 4 + 4
(1) 2 x 4 = 4 + 4 2 x 5 = 5 + 5
2. Demostrar: x = 4 3x + 2 = 14
(1) 3x + 2 = 14 3x = 12
(2) 3x = 12 x = 4
14. CONJUNCIN NEGATIVA
Simblicamente:
pq
_________
p q
Su frmula es:
(p q) ( p q)
Ejemplo:
Ni Luis estudia ni Juan trabaja pq
Se concluye que:
Luis no estudia y Juan no trabaja. p q
15. DISYUNCIN EXCLUSIVA
Simblicamente:
pvq
_____________
(p q ) ( p q)
Ejemplo:
Ins es hija de Pedro o hija de Luis pvq
Se concluye:
Ins es hija de Pedro o Ins es hija de Luis y no es cierto que: Ins es hija de Pedro y
de Luis
PROCESOS DE DEDUCCIN
De un conjunto de premisas dadas, que se puede deducir:

MDULO 2
48 Desarrollo del
pensamiento lgico
1. Determinar el valor de verdad de las premisas. Si alguna de ellas es falsa no es

posible inferir nada de ellas.
Ejemplo: que se puede deducir de:
2+3=53=3
4 + 2 = 7 9 + 2 = 11
4+2=7 2=2
Determinamos el valor de verdad
2+3=53=3 V
4 + 2 = 7 9 + 2 = 11V
4+2=7 2=2 F
De este conjunto de premisas no se puede concluir nada.
2. Determinar si las premisas son inconsistentes o no.
a. Si las premisas no son consistentes (inconsistentes) no se puede inferir nada de

ellas.
b. Si las premisas son consistentes es posible deducir una conclusin utilizando las
reglas de inferencia.
Ejemplo: que se deduce de:
Si 3 + 2 = 5, 6 4 = 2
Si 6 4 = 2, 6 = 3 + 3
1. Determinamos el valor de verdad de las premisas:
3+2=5 64=2 V
64=2 6=3+3 V
2. Determinamos la conclusin:
3+2=56=3+3
Ejemplo:
Considerando que las premisas son verdaderas, que se puede deducir de:
pq
rp
q r
pq P1
rp P2
q r P3
MDULO 2 49
r C1 de P2 (Regla de la simplificacin)
q C2 de P3 y C1 (M T.T)
p C3 de P1 y C2 (M. T.T)
p C4 de P2 (Regla de la simplificacin)
p p C5 de C3 y C4 (Regla de adjuncin)
Las premisas son inconsistentes, en consecuencia nada se puede deducir de ellas
Ejercicios:
Que se puede deducir de:
1. 4+3=72=2 3. q vr
3+2=64+3=7 qp
3+2622 r ( s t)
2. pq 4. pq
p q s (r p)
sq
MTODOS DE DEMOSTRACIN
Los mtodos de demostracin pueden ser: directo, condicional e indirecto. La

demostracin de una proposicin tiene por objeto establecer que es verdad, infirindola
de verdades conocidas o ya demostradas.
MTODO DIRECTO:
Consiste en inferir una conclusin, partiendo nicamente de un conjunto de premisas.

Ejemplo:
Demostrar: s; de
pq pq P1
ps ps P2
qs qs P3
s C1; de P1, P2 y P3 (Regla del Silogismo Disy.)
s C; de C1 (Simplificacin Disyuntiva)
REGLA DE DEMOSTRACIN CONDICIONAL: (R.D.C)
Si de un conjunto de premisas y de p se deduce q, entonces de tal conjunto de

premisas se deduce p q.
La premisa p, puede ser introducida en cualquier momento del proceso deductivo .
Ejemplo:
Demuestre: q s; de:
pq
MDULO 2
50 Desarrollo del
pensamiento lgico
ps
No existe regla alguna que nos permita inferir la conclusin pedida, sin embargo por la
regla de la demostracin condicional si podemos concluir as:
pq P1
ps P2
q P
p C1; P1 y P (Modus T.P.)
s C2; P2 y C1 (Modus P. P)
qs C, (R.D.C)
DEMOSTRACIN INDIRECTA:
Esta demostracin se la denomina tambin demostracin por contradiccin o

reduccin al absurdo. Segn el Modus Tollens, se puede deducir la negacin del
antecedente de una condicional cuando se sabe que el consecuente es falso. Si el
consecuente es una contradiccin se sabe que es lgicamente falso. As de p ( q
q), se puede deducir p. (Ley del Absurdo)
Ejemplo:
Demuestre: s, de:
qs P1
pq P2
pr P3
sr P4
rs C1; P2, P1 y P3 (Silogismo disyuntivo)
s P
r C2; C1 y P (Doble Neg. Y M.T.P)
r C3; P4, y P (M.P.P)
rr C4; de C2 y C3 (Regla de Adjuncin)
s ( r r) C5; de P y C4 (Regla de contradiccin.)
s C; de C5 Ley del absurdo
REGLA DE LA DEMOSTRACIN CONTRA RECIPROCA (R. C. R)
Si de un conjunto de premisas, se infiere q p, de dicho conjunto se infiere

tambin: p q. (que es la contra recproca)
Ejemplo:
Demostrar: q (p r) de:
pq
r q
Demostraremos: (p r ) q de:
pq P1
MDULO 2 51
rq P2
pr P
p C1, de P (Simplificativa)
r C2, de P (Simplificativa)
q C3, de C1 y P1 (M.P.P)
(p r) q C4, de P y C3 (R.D. C)
q (p ) C. de C4 (R. C. R)
Tarea: Resolver ejercicios, aplicando los mtodos y reglas antes indicadas.
CIRCUITOS LGICOS
El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un

circuito elctrico controlado por un interruptor.
En efecto, para representar un interruptor mediante una proposicin p, se tiene:
p p
Circuito cerrado Circuito abierto
Es decir, el interruptor est cerrado (pasa corriente) si V(p) = V, y est abierto (no pasa
corriente) si V(p) = F. De aqu establecemos una identificacin entre las proposiciones y
los interruptores de un circuito elctrico. Las operaciones proposicionales (conjuncin,
disyuncin, etc.) pueden representarse mediante circuitos con tantos interruptores
como proposiciones componentes. Considerando las clases de instalaciones: en serie y
en paralelo, es factible disear esquemas de circuitos elctricos para representar a
proposiciones compuestas o viceversa.
CIRCUITOS EN SERIE:
Consideremos dos interruptores p y q conectados en serie:

p q
Se observa que este circuito admite poso de corriente cuando los dos (interruptores p y
q estn cerrados, en cualquier otro caso no hay paso de corriente. De aqu tenemos el
comportamiento de la conjuncin de las proposiciones p q. Por tanto:
a) p q: representa un circuito cerrado en serie, que deja posar corriente solo si los
interruptores p y q estn cerrados a la vez. Diremos que solo en este estado p q
es verdadera.
b) p q: representa un circuito abierto en serie que deja pasar corriente. Diremos

entonces que en este estado p q es falsa.
p q p q
MDULO 2
52 Desarrollo del
pensamiento lgico
pq pq
Circuitos en paralelo:
Consideremos ahora dos interruptores instalados en paralelo:
p
q
Se observa en el circuito que hay paso de corriente cuando uno de los interruptores o
ambos estn cerrados; no hay paso de corriente cuando los dos interruptores estn
abiertos. Tenemos, entonces, el comportamiento de la disyuncin de las proposiciones
p y q. La falsedad de p q, es decir, el hecho de que no pase corriente, solo se verifica
en el caso de la falsedad simultnea de p q; Por tanto:
a) p q: representa un circuito cerrado en paralelo que deja pasar corriente si por lo

menos uno de los interruptores elctricos est cerrado. Diremos que solo en este
estado p q es verdadero
b) p q: representa un circuito abierto en paralelo que no deja pasar corriente,

polo que en este estado p q es falsa.
p p
q q
pq pq
Las representaciones anteriores nos permiten disear o simbolizar redes de circuitos

elctricos conectados en serie y en paralelo, o tambin simplificar circuitos muy
complicados haciendo uso de las ya conocidas equivalencias notables.
Ejemplo:
Disertar circuitos lgicos de las siguientes proposiciones:
a) (p q) r b) p q c) p q
Solucin:
a) Vemos que (p q) r es la conjuncin de p q y r, que deben estar conectados

en serie:
pq r
Pero, p q se representa por: (1)
p
q
Luego sustituyendo en (1), tendremos la representacin pedida, esto es:

MDULO 2 53
p r
q
b) Segn la condicional: p q p q
Luego, la representacin de p q, es la disyuncin (conexin en paralelo) de p q.

Esto es:
p
q
c) De la equivalencia: p q (p q) (q p)
( p q ) ( q p)
Entonces, la representacin de p q es conjuncin (conexin en serie) de ( p v q ) y

( q p), esto es:
pq qp
Pero p q y q p, se representan, respectivamente, por:

(2)
p q
q p
Sustituyendo en (2) se tiene:

(3)
p q
q p
Pero, segn la equivalencia: p q ( p q ) ( p q)
Representando la disyuncin de p q y p q, tendremos:
pq p q
p q p q
Los circuitos (3) y (4) son representaciones de p q; se dice entonces que (3) y (4)
son circuitos equivalentes.
Ejercicios:
1. Describir simblicamente el circuito:
r
p
MDULO 2
54 Desarrollo del
pensamiento lgico
q
q r
2. . Determinar el circuito equivalente al circuito:
p q p
p q
q
q p
p
q
3. Construir el circuito lgico equivalente del esquema:
p q p p q p
p
q
4. La proposicin p q (Disyuncin exclusiva) a cules de los siguientes circuitos es

equivalente?
p q p p p q
(1) (2)
q p q q
p
q
q p p q
(3) (4)
p q q p
5. Qu representa el circuito equivalente a:
p p
q q
p q
p q
6. Hallar la menor expresin que representa el circuito:
p r q
q q
r
r q
MDULO 2 55
r q
7. Sea A el circuito lgico ms simple correspondiente a la proposicin:

p q p r p s p s y B el circuito lgico ms simple equivalente a:
q p q
p q q
Construir el circuito lgico correspondiente a: A B
8. Hallar la proposicin x de manera que sea una tautologa el circuito simplificado

siguiente:
p q p
p q q p q
p q
p
q
r
p r
9. Construir el circuito lgico ms simple equivalente a:
p q
p p
r s t q p
r s t
10. Si el costo de cada llave de Instalacin del circuito E de la figura adjunta

es $10, cunto se ahorrara si se reemplaza ste por un circuito lgico ms simple
equivalente?
A B
p r p p q
p t r r
q p q q
q
MDULO 2
56 Desarrollo del
pensamiento lgico
Continuar.

Taller de Logica Proposicional

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Taller de Logica Proposicional

Uploaded by

Copyright:

Available Formats

MDULO 2

El Taller de DESARROLLO DEL PENSAMIENTO LGICO est dirigido a los

Se desarrollar bajo la orientacin conceptual y metodolgica que orienta el Sistema

Comprender el papel que cumple el Pensamiento Lgico en el aprendizaje y

El proceso ser participativo, dinmico, integral y productivo, donde la aprehensin de

El trabajo acadmico, se apoya en procesos y tcnicas grupales que promuevan la

modifiquen los esquemas mentales

El proceso de evaluacin ser permanente y sistemtico que permitir la reorientacin

El taller es de aprobacin independiente y se enmarca en el Capitulo II De la

La acreditacin se cumplir a travs de la verificacin del cumplimiento de:

Tareas extra clase 20%

Debiendo alcanzar un promedio mnimo de 7/10 para aprobar el taller.

2. LIPSCHUTZ, Seymour, Matemticas para Computacin, Editorial Calypso,

3. PROAO V., Ramiro, Lgica, Conjuntos y Estructuras, 2da ed., Quito-Ecuador,

4. BARRERO DE NUDLER, TELDA. Lgica dinmica: nociones tericas y ejercicios

Aprender matemticas y fsica es muy difcil; as se expresan la mayora de

Los alumnos no aprenden ciencias exactas, porque no saben relacionar las

Al presentar el documento lo hemos estructurado de la siguiente manera:

El objetivo de la presente gua de lgica matemtica es facilitar al estudiante el

En el pasado las matemticas eran consideradas como la ciencia de la cantidad,

Trataremos la evolucin de los conceptos e ideas matemticas siguiendo su desarrollo

LAS MATEMTICAS EN LA ANTIGEDAD

Las primeras referencias a matemticas avanzadas y organizadas datan del tercer

El sistema babilnico de numeracin era bastante diferente del egipcio. En el

SCRATES: Uno de los grandes personajes de la historia: su frase clebre slo se

PLATN: Discpulo de Scrates, al contrario de lo de su maestro deca que el

En su obra organn trata sobre la lgica como mtodo del conocimiento.

DEFINICIN Y OBJETO DE LA LGICA

La palabra lgica se deriva de la palabra griega logos que significa razonamiento o

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un

Definicin de lgica de acuerdo a algunos autores:

Existen adems otras definiciones:

Lgica es la ciencia que estudia la estructura del pensamiento, prescindiendo del

Lgica tambin es la manera ordenada de pensar y de expresar nuestras ideas.

El objetivo principal de la lgica es analizar la estructura del pensamiento, es decir su

RELACIN DE LA LGICA CON LAS DEMS CIENCIAS

Con la filosofa: por ser parte de ella.

DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN

El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir

El enunciado.- Es la expresin verbal o escrita del juicio.

Las oraciones exclamativas. (Sentimientos, interjecciones). Ej.: socorro!,

Razonamiento.-Es un conjunto de afirmaciones o juicios relacionados de manera al

La proposicin.- Es un enunciado que puede ser falso o verdadero, pero no ambas

Oraciones afirmativas. (Informan). Ej.: Maana es lunes.

Oraciones descriptivas. (Describen). Ej.: La tiza es blanca

Oraciones explicativas. (Explican). Ej.: Si hace fro entonces es invierno

A continuacin se tienen algunos ejemplos de proposiciones vlidas y no vlidas, y se

Escribir 10 proposiciones vlidas y 10 invlidas.

Valor de verdad.- Una proposicin es verdadera o es falsa; si es verdadera se

Las proposiciones se clasifican en proposiciones simples o atmicas y proposiciones

Proposiciones simples.- Son aquellas proposiciones que no se pueden descomponer.

Proposiciones compuestas o moleculares.- Son aquellos enunciados que estn

p: La nia Mara canta y su hermano Luis toca el piano.

PROPOSICIONES COMPUESTAS Y CONECTIVOS LGICOS

Los operadores lgicos tambin permiten formar proposiciones compuestas (formadas

CONJUNCIN ( ) QUE SE LEE Y

Sea el siguiente enunciado El coche enciende cuando tiene gasolina en el tanque y

p: el conche enciende cuando tiene gasolina en el tanque

Su tabla de verdad es:

LA DISYUNCIN INCLUSIVA: ( ) QUE SE LEE: O.

Es la unin de dos proposiciones simples con el conectivo lgico o. Simblicamente

p: Una persona puede entrar al cine si se compra su boleto.

Escriba 5 ejemplos de disyuncin inclusiva y determine su valor de verdad.

DISYUNCIN EXCLUSIVA.- ( V ) QUE SE LEE O EN SENTIDO EXCLUYENTE